HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Improvements in the configuration of Posix 1003.1b scheduling

Mathieu Grenier 1 Nicolas Navet 1
1 TRIO - Real time and interoperability
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Posix 1003.1b compliant systems provide two well-specified scheduling policies, namely sched_rr (Round-Robin like) and sched_fifo (FPP like). Recently, an optimal priority and policy assignment algorithm for Posix 1003.1b has been proposed in the case where the quantum value is a system-wide constant. In this study, we extend this analysis to the case where quanta can be chosen on a task-per-task basis. The algorithm is shown to be optimal with regards to the power of the feasibility test (i.e. its ability to distinguish feasible and non feasible configurations). Though much less complex than an exhaustive exploration of the search space, the exponential complexity of the algorithm limits its applicability to small or medium-size problems. In this context, as it is shown in the experiments, our proposal allows achieving a significant gain in terms of feasibility over FPP and Posix with system-wide quanta, and therefore using the computational resources at their fullest potential.
Document type :
Conference papers
Complete list of metadata

Cited literature [9 references]  Display  Hide  Download

Contributor : Mathieu Grenier Connect in order to contact the contributor
Submitted on : Tuesday, August 28, 2007 - 11:46:59 AM
Last modification on : Friday, February 4, 2022 - 3:22:02 AM
Long-term archiving on: : Tuesday, April 6, 2010 - 10:42:59 PM


Files produced by the author(s)


  • HAL Id : inria-00113954, version 1



Mathieu Grenier, Nicolas Navet. Improvements in the configuration of Posix 1003.1b scheduling. 15th International Conference on Real-Time and Network systems - RTNS'2007, Mar 2007, Nancy, France. pp.141-150. ⟨inria-00113954⟩



Record views


Files downloads