Matching Micro-Kernels to Modern Applications using Fine-Grained Memory Protection - Université de Rennes Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1995

Matching Micro-Kernels to Modern Applications using Fine-Grained Memory Protection

Résumé

Scalable distributed systems, systems whose processing power remains proportional to the number of component processors, require a programming methodology where an application developer may take existing software modules and plug them together to form a new application. To allow mistrusting modules to interact, the underlying kernel support must offer protection barriers which do not impede performance. The wide-ranging nature of modern applications used on larger scale systems means that existing kernel functions may not necessarily be the most efficient for an application. The kernel must therefore allow an application to dynamically install a function in the kernel; this is one aspect of customization. This paper argues that customization support is one aspect of fine-grained protection for modules needing CPU supervisor privilege. We describe the kernel support required for fine grained protection. Basically, our approach relies on the assignment of a single address space to an application with application modules having their own domain of protection. An experiment was made by modifying the Mach kernel; results show that inter-domain communication by protected procedure call is up to 5 times faster than Mach~3.0 IPC.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-2647.pdf (238.37 Ko) Télécharger le fichier

Dates et versions

inria-00074043 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00074043 , version 1

Citer

Ciaran Bryce, Gilles Muller. Matching Micro-Kernels to Modern Applications using Fine-Grained Memory Protection. [Research Report] RR-2647, INRIA. 1995. ⟨inria-00074043⟩
132 Consultations
210 Téléchargements

Partager

Gmail Facebook X LinkedIn More