The performance of μ-kernel-based systems

Härtig, Hermann; Hohmuth, Michael; Liedtke, Jochen; Schönberg, Sebastian

doi:10.1145/268998.266660

Cited by 169 publications

(78 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In addition, these codes form a useful basis on which specific error handling could be implemented. Another recommended approach to restrict the impact of faulty drivers would be to enforce a clear separation between the driver address space and the kernel address space (e.g., see [23]). The use of specific languages excluding pointer arithmetic and explicitly including IMM (e.g., see [24]) is another promising approach to develop more robust drivers.…”

Section: Resultsmentioning

confidence: 99%

Characterization of the impact of faulty drivers on the robustness of the Linux kernel

Albinet

Arlat

Fabre

2004

International Conference on Dependable Systems and Networks, 2004

View full text Add to dashboard Cite

Drivers are becoming the larger part of operating systems kernels. Previous studies have shown that device drivers seem to be one of the most important sources of operating systems misbehavior. Their failure can have significant impact on the kernel and cause significant damages to the system as a whole. To objectively characterize the impact of faulty drivers, we have carried out a series of fault injection experiments. To conduct these experiments we have targeted the DPI (Driver Programming Interface) that implements the way device drivers interact with the kernel. Faults are injected on the parameters of these kernel core functions. This allows for the derivation of useful results about the failure modes induced and thus characterization of the robustness of a target kernel with respect to faulty drivers. The information gathered also enables to improve these interaction facilities.

show abstract

Section: Resultsmentioning

confidence: 99%

Characterization of the impact of faulty drivers on the robustness of the Linux kernel

Albinet

Arlat

Fabre

2004

International Conference on Dependable Systems and Networks, 2004

View full text Add to dashboard Cite

show abstract

“…based on a µ-kernel like L4 (Härtig et al, 1997), and target languages, (e.g. using RTSJ, http://www.rtsj.org/specjavadoc/book index.html; Wellings, 2004);…”

Section: Discussionmentioning

confidence: 99%

Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines

2006

View full text Add to dashboard Cite

This paper proposes a methodology for the development of distributed real-time systems. The methodology consists of the Hierarchical Communicating Real-Time State Machines (H-CRSM) modelling language, and the VIOLIN toolset. H-CRSM combines Statecharts constructs with CSP-like timed communications. VIOLIN provides a visual environment supporting in a seamless way all the life-cycle development phases of an H-CRSM system. Temporal validation rests on assertion checking during system simulation. Code generation is based on Java and a customizable runtime. The practical use of H-CRSM/VIOLIN is shown by an example.

show abstract

“…For instance, it is impossible to run a para-virtualized on different VMMs because the OS is modified for only a single VMM. Examples of paravirtualization hypervisors and its guest OSes are Xen and XenoLinux [2], the L4 microkernel and L4Linux [8]. L4Linux is a para-virtualized Linux which is ported to run on a L4 microkernel.…”

Section: Para-virtualizationmentioning

confidence: 99%

SIGMA System: A Multi-OS Environment for Embedded Systems

Kanda

Murata

Nakajima

2008

J Sign Process Syst Sign Image Video Technol

View full text Add to dashboard Cite

Embedded systems are becoming increasingly sophisticated and there exists a wide variety of requirements such as traditional realtime requirements, multimedia support, etc. It is hard to satisfy all of the requirements by a single OS. Would they be satisfied, the system would become complex and this would cause new problems. A multi OS environment is an efficient approach to deal with these problems and to satisfy complex requirements while keeping the system simple. We propose a multi OS environment named the SIGMA system targeted especially at multiprocessor architectures. On the SIGMA system, guest OSes are corresponded one-to-one with cores. As a result, opposing to existing multi OS environment using virtualization techniques, the system does not degrade the performance of the guest OSes. In addition, the guest OS running on the SIGMA system requires almost no modification to its source code.

show abstract

The performance of μ-kernel-based systems

Cited by 169 publications

References 19 publications

Characterization of the impact of faulty drivers on the robustness of the Linux kernel

Characterization of the impact of faulty drivers on the robustness of the Linux kernel

Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines

SIGMA System: A Multi-OS Environment for Embedded Systems

Contact Info

Product

Resources

About