DocumentCode :
3090965
Title :
A framework for simplifying the development of kernel schedulers: design and performance evaluation
Author :
Muller, Gilles ; Lawall, Julia L. ; Duchesne, Hervé
Author_Institution :
Obasco Group, EMN-INRIA, Nantes, France
fYear :
2005
fDate :
12-14 Oct. 2005
Firstpage :
56
Lastpage :
65
Abstract :
Writing a new scheduler and integrating it into an existing OS is a daunting task, requiring the understanding of multiple low-level kernel mechanisms. Indeed, implementing a new scheduler is outside the expertise of application programmers, even though they are the ones who understand best the scheduling needs of their applications. 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. 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 simplifies scheduler development to the point that kernel expertise is not required to add a new scheduler to an existing kernel.
Keywords :
formal specification; formal verification; operating system kernels; performance evaluation; program compilers; program diagnostics; scheduling; Bossa language; EDF scheduling policy; critical safety properties; high-level abstraction; kernel schedulers; performance evaluation; static verification; DSL; Dynamic scheduling; Kernel; Linux; Multimedia systems; Programming profession; Real time systems; Safety; Scheduling algorithm; Writing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
High-Assurance Systems Engineering, 2005. HASE 2005. Ninth IEEE International Symposium on
ISSN :
1530-2059
Print_ISBN :
0-7695-2377-3
Type :
conf
DOI :
10.1109/HASE.2005.1
Filename :
1581283
Link To Document :
بازگشت