ECOOP-PLOS 2004
| Home |
| Call for Contributions |
| Paper Submission |
| Program |
| Results |
ECOOP-PLOS 2004
ECOOP Workshop onProgramming Languages and Operating Systems
at ECOOP 2004, Oslo, Norway, June 15th, 2004
Invited Talk by Gilles Muller
"Domain Specific Languages : A Safe and Efficient Approach for Developing OSes"Abstract
Domain-specific languages are languages that are restricted to express a family of applications. They offer a high level of abstraction over the considered domain. The advantages are that programming is easier, faster, and more concise. Also domain-specific languages enable strict constraints to be enforced and specific properties to be determined. Therefore, domain-specific languages permit to increase software quality and the productivity level. This talk motivates the interest of using domain-specific languages for operating system development.We present this approach by describing Bossa, a framework and a DSL for 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. Bossa has been prototyped in Linux and can transparently replace the 2.4 kernel. Its overhead is negligeable on standard applications such as compilation, web servers and multimedia players. 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. As such Bossa is used to teach scheduling in several French Universities.
[Home]
[Call for Contributions]
[Paper Submission]
[Program]
[Results]