Generic Virtual Memory Management for Operating System Kernels

Abstract : We discuss the rationale and design of a Generic Memory management Interface, for a family of scalable operating systems. It consists of a general interface for managing virtual memory, independently of the underlying hardware architecture (e.g. paged versus segmented memory), and independently of the operating system kernel in which it is to be integrated. In particular, this interface provides abstractions for support of a single, consistent cache for both mapped objects and explicit I/O, and control of data caching in real memory. Data management policies are delegated to external managers. A portable implementation of the Generic Memory management Interface for paged architectures, the Paged Virtual Memory manager, is detailed. The PVM uses the novel history object technique for efficient deferred copying. The GMI is used by the Chorus Nucleus, in particular to support a distributed version of Unix. Performance measurements compare favorably with other systems.
Keywords : chorus mem
Type de document :
Communication dans un congrès
Symp. on Op. Sys. Principles (SOSP), 1989, Litchfield Park AZ, United States. pp.123--136, 1989, 〈10.1145/74850.74863〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01248228
Contributeur : Alain Monteil <>
Soumis le : jeudi 24 décembre 2015 - 09:43:46
Dernière modification le : vendredi 25 mai 2018 - 12:02:05

Identifiants

Collections

Citation

Vadim Abrossimov, Marc Rozier, Marc Shapiro. Generic Virtual Memory Management for Operating System Kernels. Symp. on Op. Sys. Principles (SOSP), 1989, Litchfield Park AZ, United States. pp.123--136, 1989, 〈10.1145/74850.74863〉. 〈hal-01248228〉

Partager

Métriques

Consultations de la notice

74