The Community for Technology Leaders
Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on (2005)
Sedona, Arizona
Feb. 2, 2005 to Feb. 4, 2005
ISSN: 1530-1443
ISBN: 0-7695-2347-1
pp: 219-230
Gilles Muller , Obasco Group, EMN-INRIA, LINA 44307 Nantes Cedex 3, France
Julia L. Lawall , DIKU, University of Copenhagen 2100 Copenhagen, Denmark
Herve Duchesne , Obasco Group, EMN-INRIA, LINA 44307 Nantes Cedex 3, France
ABSTRACT
<p>Writing a new scheduler and integrating it into an existing OS is a daunting task, requiring the understanding multiple low-level kernel mechanisms. Indeed, implementing a new scheduler is outside the expertise of application programmers, even they are the ones who understand best the scheduling needs of their applications.</p> <p>To address these problems, we present the design of Bossa, a language targeted toward the development of scheduling policies. Bossa provides high-level abstractions that are specific to the domain of scheduling. These constructs simplify the task of specifying a new scheduling policy and facilitate the static verification of critical safety properties.</p> <p>We illustrate our approach by presenting an implementation of the EDF scheduling policy. The overhead of Bossa is acceptable. Overall, we have found that Bossa simpliflies scheduler development to the point that kernel expertise is not required to add a new scheduler to an existing kernel.</p>
INDEX TERMS
null
CITATION

H. Duchesne, J. L. Lawall and G. Muller, "A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation," 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems(WORDS), Sedona, Arizona, USA, 2005, pp. 219-230.
doi:10.1109/WORDS.2005.7
92 ms
(Ver 3.3 (11022016))