Enhancing a Dependable Multiserver Operating System with Temporal Protection via Resource Reservations

Abstract : MINIX 3 is a microkernel-based, multiserver operating system for uniprocessors that is designed to be highly dependable. Servers are restricted according to the principle of least privilege. For example, access to resources such as system memory and device I/O is fully protected. Although MINIX 3 is a potential candidate for embedded platforms, it currently cannot safeguard processes with stringent timing requirements, such as real-time applications. In this paper, we present the design and the implementation of a user-space resource-reservation framework (RRES) in order to augment MINIX 3's dependability infrastructure with temporal protection. In particular, we implemented the Constant Bandwidth Server (CBS), either in Soft or in Hard Reservation (CBS-HR) mode and the Idle-time Reclaiming Improved Server (IRIS) resource reservation algorithms. Important, practical applications of temporal protection include real-time computing as well as prevention of certain denial of service (DoS) attacks that monopolize the CPU. Experiments on a prototype implementation showed improved dependability in the temporal domain.
Type de document :
Communication dans un congrès
Giorgio Buttazzo and Pascale Minet. 16th International Conference on Real-Time and Network Systems (RTNS 2008), Oct 2008, Rennes, France. 2008
Liste complète des métadonnées

Littérature citée [29 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00336445
Contributeur : Anne Jaigu <>
Soumis le : mardi 4 novembre 2008 - 10:12:08
Dernière modification le : mardi 4 novembre 2008 - 14:54:51
Document(s) archivé(s) le : lundi 7 juin 2010 - 22:41:33

Fichier

mancina.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00336445, version 1

Collections

Citation

Antonio Mancin, Giuseppe Lipari, Jorrit N. Herder, Ben Gras, Andrew S. Tanenbaum. Enhancing a Dependable Multiserver Operating System with Temporal Protection via Resource Reservations. Giorgio Buttazzo and Pascale Minet. 16th International Conference on Real-Time and Network Systems (RTNS 2008), Oct 2008, Rennes, France. 2008. 〈inria-00336445〉

Partager

Métriques

Consultations de la notice

237

Téléchargements de fichiers

359