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
The Sprite Network Operating System
Computer
Guide to OSF/1: a technical synopsis
Guide to OSF/1: a technical synopsis
Application-controlled physical memory using external page-cache management
ASPLOS V Proceedings of the fifth international conference on Architectural support for programming languages and operating systems
Performance of the V storage server: a preliminary report
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
The file system of an integrated local network
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
Redirecting System Calls in Mach 3.0, An alternative to the Emulator
USENIX MACH III Symposium
Data Movement in Kernelized Systems
Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures
Experience with SVR4 Over Chorus
Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures
Architecture independent virtual memory management for parallel and distributed environments: the mach approach
Physical memory management in a network operating system
Physical memory management in a network operating system
Exporting a user interface to memory management from a communication-oriented operating system
Exporting a user interface to memory management from a communication-oriented operating system
Naming, state management, and user-level extensions in the sprite distributed file system
Naming, state management, and user-level extensions in the sprite distributed file system
The multics system: an examination of its structure
The multics system: an examination of its structure
| Hi-index | 0.00 |
This paper describes the Unix file access and caching mechanisms in a version of the OSF/1 Unix operating system designed to run in a multicomputer environment. The multicomputer hard-ware platforms targeted can consist of hundreds or even thousands of individual nodes, where each node consists of one or more processors. The multicomputer version of OSF/1 (called OSF/1 AD) uses Mach memory objects to cache data from Unix files, and relies on an in-kernel distributed shared memory implementation to maintain coherency for data cached across multiple nodes. The focus of this paper is on the modifications made to standard OSF/1 functionality to support distributed, efficient access to memory objects. Of particular interest are the introduction of a mapped files module for synchronizing clients and maintaining file meta data, the elimination of the traditional Unix buffer cache from the file data access path, and the implementation of a disk block reservation scheme to correctly support Unix write() semantics. An evaluation of the technology is presented, providing insight into how it can be improved in the future, including several possible enhancements to Mach. As will be seen, most of this insight would equally apply to a single-node operating system based on Mach.