19 May, 2015

9 commits

  • Introduce 4 subsections to make Section 3 more readable.

    Signed-off-by: Luca Abeni
    Signed-off-by: Peter Zijlstra (Intel)
    Cc: Linus Torvalds
    Cc: Peter Zijlstra
    Cc: Thomas Gleixner
    Cc: henrik@austad.us
    Cc: juri.lelli@gmail.com
    Cc: raistlin@linux.it
    Link: http://lkml.kernel.org/r/1431954032-16473-10-git-send-email-luca.abeni@unitn.it
    Signed-off-by: Ingo Molnar

    Luca Abeni
     
  • …solute scheduling deadlines

    Clarify what is the relationship between tasks' parameters and scheduling
    parameters, explaining how to set the scheduling parameters so that all the
    absolute deadlines of a task are respected.

    Signed-off-by: Luca Abeni <luca.abeni@unitn.it>
    Signed-off-by: Peter Zijlstra (Intel) <peterz@infradead.org>
    Cc: Linus Torvalds <torvalds@linux-foundation.org>
    Cc: Peter Zijlstra <peterz@infradead.org>
    Cc: Thomas Gleixner <tglx@linutronix.de>
    Cc: henrik@austad.us
    Cc: juri.lelli@gmail.com
    Cc: raistlin@linux.it
    Link: http://lkml.kernel.org/r/1431954032-16473-9-git-send-email-luca.abeni@unitn.it
    Signed-off-by: Ingo Molnar <mingo@kernel.org>

    Luca Abeni
     
  • Add a description of the Dhall's effect, some discussion about
    schedulability tests for global EDF, and references to real-time
    literature.

    Signed-off-by: Luca Abeni
    Signed-off-by: Peter Zijlstra (Intel)
    Cc: Linus Torvalds
    Cc: Peter Zijlstra
    Cc: Thomas Gleixner
    Cc: henrik@austad.us
    Cc: juri.lelli@gmail.com
    Cc: raistlin@linux.it
    Link: http://lkml.kernel.org/r/1431954032-16473-8-git-send-email-luca.abeni@unitn.it
    Signed-off-by: Ingo Molnar

    Luca Abeni
     
  • Add a short discussion about sufficient and necessary schedulability tests,
    and add a simple example showing that if D_i != P_i then density based tests
    are only sufficient.

    Also add some references to scientific papers on schedulability tests for
    EDF that are both necessary and sufficient, and on their computational
    complexity.

    Signed-off-by: Luca Abeni
    Signed-off-by: Peter Zijlstra (Intel)
    Cc: Linus Torvalds
    Cc: Peter Zijlstra
    Cc: Thomas Gleixner
    Cc: henrik@austad.us
    Cc: juri.lelli@gmail.com
    Cc: raistlin@linux.it
    Link: http://lkml.kernel.org/r/1431954032-16473-7-git-send-email-luca.abeni@unitn.it
    Signed-off-by: Ingo Molnar

    Luca Abeni
     
  • The "_i" index is used in this document to to denote a particular task,
    so "sum_i", "max_i" and "min_i" might be confusing.

    Signed-off-by: Luca Abeni
    Signed-off-by: Peter Zijlstra (Intel)
    Cc: Linus Torvalds
    Cc: Peter Zijlstra
    Cc: Thomas Gleixner
    Cc: henrik@austad.us
    Cc: juri.lelli@gmail.com
    Cc: raistlin@linux.it
    Link: http://lkml.kernel.org/r/1431954032-16473-6-git-send-email-luca.abeni@unitn.it
    Signed-off-by: Ingo Molnar

    Luca Abeni
     
  • The name "C_i" was used (without previously defining it)
    instead of "WCET_i".

    Signed-off-by: Luca Abeni
    Signed-off-by: Peter Zijlstra (Intel)
    Cc: Linus Torvalds
    Cc: Peter Zijlstra
    Cc: Thomas Gleixner
    Cc: henrik@austad.us
    Cc: juri.lelli@gmail.com
    Cc: raistlin@linux.it
    Link: http://lkml.kernel.org/r/1431954032-16473-5-git-send-email-luca.abeni@unitn.it
    Signed-off-by: Ingo Molnar

    Luca Abeni
     
  • Signed-off-by: Luca Abeni
    Signed-off-by: Peter Zijlstra (Intel)
    Cc: Linus Torvalds
    Cc: Peter Zijlstra
    Cc: Thomas Gleixner
    Cc: henrik@austad.us
    Cc: juri.lelli@gmail.com
    Cc: raistlin@linux.it
    Link: http://lkml.kernel.org/r/1431954032-16473-4-git-send-email-luca.abeni@unitn.it
    Signed-off-by: Ingo Molnar

    Luca Abeni
     
  • This file previously mixed American and British English; switch to American
    for consistency.

    Signed-off-by: Luca Abeni
    Signed-off-by: Peter Zijlstra (Intel)
    Cc: Linus Torvalds
    Cc: Peter Zijlstra
    Cc: Thomas Gleixner
    Cc: henrik@austad.us
    Cc: juri.lelli@gmail.com
    Cc: raistlin@linux.it
    Link: http://lkml.kernel.org/r/1431954032-16473-3-git-send-email-luca.abeni@unitn.it
    Signed-off-by: Ingo Molnar

    Luca Abeni
     
  • C_i/min{D_i,T_i}, where T_i is not referred before, should be
    substituted with C_i/min{D_i,P_i}.

    Signed-off-by: Zhiqiang Zhang
    Signed-off-by: Peter Zijlstra (Intel)
    Cc: Linus Torvalds
    Cc: Peter Zijlstra
    Cc: Thomas Gleixner
    Cc: henrik@austad.us
    Cc: juri.lelli@gmail.com
    Cc: raistlin@linux.it
    Link: http://lkml.kernel.org/r/1431954032-16473-2-git-send-email-luca.abeni@unitn.it
    Signed-off-by: Ingo Molnar

    Zhiqiang Zhang
     

16 Sep, 2014

5 commits

  • Add an appendix providing a simple self-contained code snippet
    showing how SCHED_DEADLINE reservations can be created by
    application developers.

    Signed-off-by: Juri Lelli
    Reviewed-by: Henrik Austad
    Cc: Randy Dunlap
    Cc: Peter Zijlstra
    Cc: Dario Faggioli
    Cc: Juri Lelli
    Cc: Linus Torvalds
    Link: http://lkml.kernel.org/r/1410256636-26171-6-git-send-email-juri.lelli@arm.com
    [ Fixed some whitespace inconsistencies. ]
    Signed-off-by: Ingo Molnar

    Juri Lelli
     
  • Add an appendix briefly describing tools that can be used to
    test SCHED_DEADLINE (and the scheduler in general). Links to
    where source code of the tools is hosted are also provided.

    Signed-off-by: Juri Lelli
    Reviewed-by: Henrik Austad
    Cc: Randy Dunlap
    Cc: Peter Zijlstra
    Cc: Dario Faggioli
    Cc: Juri Lelli
    Cc: Linus Torvalds
    Link: http://lkml.kernel.org/r/1410256636-26171-5-git-send-email-juri.lelli@arm.com
    Signed-off-by: Ingo Molnar

    Juri Lelli
     
  • Admission control is of key importance for SCHED_DEADLINE, since
    it guarantees system schedulability (or tells us something about
    the degree of guarantees we can provide to the user).

    This patch improves and clarifies bits and pieces regarding AC,
    both for UP and SMP systems.

    Signed-off-by: Luca Abeni
    Signed-off-by: Juri Lelli
    Reviewed-by: Henrik Austad
    Cc: Randy Dunlap
    Cc: Peter Zijlstra
    Cc: Dario Faggioli
    Cc: Juri Lelli
    Cc: Linus Torvalds
    Link: http://lkml.kernel.org/r/1410256636-26171-4-git-send-email-juri.lelli@arm.com
    Signed-off-by: Ingo Molnar

    Luca Abeni
     
  • Section 4 intro was still describing the old interface. Rewrite
    it.

    Signed-off-by: Juri Lelli
    Signed-off-by: Luca Abeni
    Reviewed-by: Henrik Austad
    Cc: Randy Dunlap
    Cc: Peter Zijlstra
    Cc: Dario Faggioli
    Cc: Juri Lelli
    Cc: Linus Torvalds
    Link: http://lkml.kernel.org/r/1410256636-26171-3-git-send-email-juri.lelli@arm.com
    Signed-off-by: Ingo Molnar

    Juri Lelli
     
  • Several small changes regarding SCHED_DEADLINE documentation
    that fix terminology and improve clarity and readability:

    - "current runtime" becomes "remaining runtime"

    - readablity of an equation is improved by introducing more spacing

    - clarify when admission control will certainly fail

    - new URL for CBS technical report

    - substitue "smallest" with "earliest"

    Signed-off-by: Luca Abeni
    Signed-off-by: Juri Lelli
    Reviewed-by: Henrik Austad
    Cc: Randy Dunlap
    Cc: Peter Zijlstra
    Cc: Dario Faggioli
    Cc: Juri Lelli
    Cc: Linus Torvalds
    Link: http://lkml.kernel.org/r/1410256636-26171-2-git-send-email-juri.lelli@arm.com
    Signed-off-by: Ingo Molnar

    Luca Abeni
     

28 Jan, 2014

1 commit

  • Add in Documentation/scheduler/ some hints about the design
    choices, the usage and the future possible developments of the
    sched_dl scheduling class and of the SCHED_DEADLINE policy.

    Reviewed-by: Henrik Austad
    Signed-off-by: Dario Faggioli
    Signed-off-by: Juri Lelli
    [ Re-wrote sections 2 and 3. ]
    Signed-off-by: Luca Abeni
    Signed-off-by: Peter Zijlstra
    Link: http://lkml.kernel.org/r/1390821615-23247-1-git-send-email-juri.lelli@gmail.com
    Signed-off-by: Ingo Molnar

    Dario Faggioli