Generic virtual memory management for operating system kernels
- 1 November 1989
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 23 (5) , 123-136
- https://doi.org/10.1145/74850.74863
Abstract
International audienceWe 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 systemsKeywords
This publication has 6 references indexed in Scilit:
- Caching in the Sprite network file systemACM Transactions on Computer Systems, 1988
- Machine-independent virtual memory management for paged uniprocessor and multiprocessor architecturesIEEE Transactions on Computers, 1988
- The duality of memory and communication in the implementation of a multiprocessor operating systemPublished by Association for Computing Machinery (ACM) ,1987
- Memory coherence in shared virtual memory systemsPublished by Association for Computing Machinery (ACM) ,1986
- The file system of an integrated local networkPublished by Association for Computing Machinery (ACM) ,1985
- TENEX, a paged time sharing system for the PDP - 10Communications of the ACM, 1972