Constructing component-based extension interfaces in legacy systems code

Muller, Gilles; Lawall, Julia; Menaud, Jean-Marc; Südholt, Mario

doi:10.1145/1133572.1133605

Cited by 3 publications

(1 citation statement)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In particular, the complete implementation of process election is removed and replaced by the event notification bossa.schedule. We have developed an automated tool to help the OS expert in the re-engineering process [22]. The OS expert also creates a formal model describing the expected behavior of the scheduler handler for each event.…”

Section: The Bossa Kernel Interfacementioning

confidence: 99%

A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation

Muller¹,

Lawall²,

Duchesne³

Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05)

View full text Add to dashboard Cite

Writing a new scheduler and integrating it into an exist-ing 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.

show abstract

Section: The Bossa Kernel Interfacementioning

confidence: 99%

A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation

Muller¹,

Lawall²,

Duchesne³

Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05)

View full text Add to dashboard Cite

show abstract

Design and Implementation of an Agile Kernel Component Runtime

Jun

Chen

Wang

Second International Conference on Embedded Software and Systems (ICESS'05)

View full text Add to dashboard Cite

In this paper, we describe ARMOR, an Agile keRnel coMpOnent Runtime which seeks to greatly enhance operating system reliability and performance at the same time. ARMOR is made up of AKE, Agile Kernel Engine which is implemented in kernel, and system servers which are user processes. In ARMOR, the kernel functions are encapsulated through component and can be loaded both into kernel address space for performance and into system server's user address space for reliability at runtime. ARMOR isolates kernel components through loading them into system server's user address space, where hardware and software prevent them from corrupting the kernel.To prove the feasibility of our approach, we implemented ARMOR in Linux operating system and some experiments are given to evaluate our work.

show abstract

Semantic patches considered helpful

Muller

Padioleau

Lawall

et al. 2006

SIGOPS Oper. Syst. Rev.

View full text Add to dashboard Cite

Modern software development is characterized by the use of libraries and interfaces. This software architecture carries down even to the operating system level. Linux, for example, is organized as a small kernel, complemented with libraries providing generic functionalities for use in implementing network access, file management, access to physical devices, etc. Much of the Linux source code then consists of service-specific files that use these libraries. These libraries are also used by the many OS-level services that are maintained outside of the Linux source tree.

show abstract

Constructing component-based extension interfaces in legacy systems code

Cited by 3 publications

References 11 publications

A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation

A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation

Design and Implementation of an Agile Kernel Component Runtime

Semantic patches considered helpful

Contact Info

Product

Resources

About