Memory coherence in shared virtual memory systems
PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing
The duality of memory and communication in the implementation of a multiprocessor operating system
SOSP '87 Proceedings of the eleventh ACM Symposium on Operating systems principles
Caching in the Sprite network file system
ACM Transactions on Computer Systems (TOCS)
IEEE Transactions on Computers - Special issue on architectural support for programming languages and operating systems
The file system of an integrated local network
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
TENEX, a paged time sharing system for the PDP - 10
Communications of the ACM
Virtual Memory Management in Chorus
Proceedings of the European Workshop on Process in Distributed Operating Systems and Distributed Systems Management
COOL: kernel support for object-oriented environments
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Analysis of the paging behavior of UNIX
ACM SIGMETRICS Performance Evaluation Review
Experiences in integrating distributed shared memory with virtual memory management
ACM SIGOPS Operating Systems Review
The Apertos reflective operating system: the concept and its implementation
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
The effects of virtually addressed caches on virtual memory design and performance
ACM SIGOPS Operating Systems Review
Distribution in a single address space operating system
ACM SIGOPS Operating Systems Review
COOL: system support for distributed programming
Communications of the ACM
Extensibility safety and performance in the SPIN operating system
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
The performance of μ-kernel-based systems
Proceedings of the sixteenth ACM symposium on Operating systems principles
Virtual memory versus file interfaces for large, memory-intensive scientific applications
Supercomputing '96 Proceedings of the 1996 ACM/IEEE conference on Supercomputing
Distribution in a single address space operating system
EW 5 Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring
The COOL architecture and abstractions for object-oriented distributed operating systems
EW 5 Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring
The new structure of an operating system: the Apertos approach
EW 5 Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring
Flexible Robust Programming in Distributed Object Systems
IEEE Transactions on Knowledge and Data Engineering
Virtual memory on data diffusion architectures
Parallel Computing
Symerton--using virtualization to accelerate packet processing
Proceedings of the 2006 ACM/IEEE symposium on Architecture for networking and communications systems
Kernel support for the Wisconsin wind tunnel
moas'93 USENIX Symposium on USENIX Microkernels and Other Kernel Architectures Symposium - Volume 4
A flexible external paging interface
moas'93 USENIX Symposium on USENIX Microkernels and Other Kernel Architectures Symposium - Volume 4
Technical Section: O-Buffer based IFT watershed from markers for large medical datasets
Computers and Graphics
| Hi-index | 0.02 |
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.