Skip to Main content Skip to Navigation
Conference papers

A dependable kernel design for resource isolation and protection

Abstract : Anaxagoros is microkernel designed to support dependable, concurrent execution of tasks with different safety levels, some of them having real-time constraints. Following microkernel philosophy of secure resource sharing, it allows resources to be separated into pools accessed only through a dedicated system service. This ensures spatial and behavioral protection of system resources. Anaxagoros also provides means to guarantee temporal isolation and availability when accessing the shared services. This is achieved by providing adequate kernel mechanisms, like communication with resource lending; but also by careful kernel design and implementation, like the decision to make all kernel operations of (small) constant time complexity, even on multicore architectures, thus making the kernel behavior predictable. This led to an efÞcient kernel, that does not perform any dynamic memory allocation, and is highly parallelizable. This paper presents an overview of the design and implementation of the kernel, along their higher-level rationales.
Document type :
Conference papers
Complete list of metadatas

https://hal-supelec.archives-ouvertes.fr/hal-00517703
Contributor : Evelyne Faivre <>
Submitted on : Wednesday, September 15, 2010 - 11:33:48 AM
Last modification on : Monday, February 10, 2020 - 6:12:33 PM

Identifiers

  • HAL Id : hal-00517703, version 1

Collections

Citation

Matthieu Lemerre, Vincent David, Guy Vidal-Naquet. A dependable kernel design for resource isolation and protection. The First Workshop on Isolation and Integration in Dependable Systems (IIDS'2010), Apr 2010, Paris, France. 6 p. ⟨hal-00517703⟩

Share

Metrics

Record views

172