- Sponsor:
- sigops
No abstract available.
Proceeding Downloads
Computation & communication in R: a distributed database manager
R* is an experimental prototype distributed database management system. The computation needed to perform a sequence of multisite user transactions in R* is structured as a tree of processes communicating over virtual circuit communication links. ...
Implementing Remote procedure calls
Remote procedure calls (RPC) are a useful paradigm for providing communication across a network between programs written in a high level language. This paper describes a package, written as part of the Cedar project, providing a remote procedure call ...
An asymmetric stream communication system
Input and output are often viewed as complementary operations, and it is certainly true that the direction of data flow during input is the reverse of that during output. However, in a conventional operating system, the direction of control flow is the ...
Resource management in a decentralized system
The heterogeneous collection of machines constituting the Processor Bank at Cambridge represents an important set of resources which must be managed. The Resource Manager incorporates these machines into a wider view of resources in a network. It will ...
A file system supporting cooperation between programs
File systems coordinate simultaneous access of files by concurrent client processes. Although several processes may read a file simultaneously, the file system must grant exclusive access to one process wanting to write the file. Most file systems ...
New methods for dynamic storage allocation (Fast Fits)
The classical methods for implementing dynamic storage allocation can be summarized thus
First Fit and Best Fit
The available blocks of storage are linked together in address order. Storage is allocated from the first available block of sufficient ...
Hints for computer system design
Experience with the design and implementation of a number of computer systems, and study of many other systems, has led to some general hints for system design which are described here. They are illustrated by a number of examples, ranging from hardware ...
The LOCUS distributed operating system
LOCUS is a distributed operating system which supports transparent access to data through a network wide filesystem, permits automatic replication of storage, supports transparent distributed process execution, supplies a number of high reliability ...
A nested transaction mechanism for LOCUS
Atomic transactions are useful in distributed systems as a means of providing reliable operation in the face of hardware failures. Nested transactions are a generalization of traditional transactions in which transactions may be composed of other ...
A message system supporting fault tolerance
A simple and general design uses message-based communication to provide software tolerance of single-point hardware failures. By delivering all interprocess messages to inactive backups for both the sender and the destination, both backups are kept in a ...
Publishing: a reliable broadcast communication mechanism
Publishing is a model and mechanism for crash recovery in a distributed computing environment. Published communication works for systems connected via a broadcast medium by recording messages transmitted over the network. The recovery mechanism can be ...
Process migration in DEMOS/MP
Process migration has been added to the DEMOS/MP operating system. A process can be moved during its execution, and continue on another processor, with continuous access to all its resources. Messages are correctly delivered to the process's new ...
The TRIPOS filing machine, a front end to a file server
This paper discusses an experiment which sets out to improve the performance of a number of single user computers which rely on a general purpose file server for their filing systems. The background is described in detail in reference [1], but for ...
The distributed V kernel and its performance for diskless workstations
The distributed V kernel is a message-oriented kernel that provides uniform local and network interprocess communication. It is primarily being used in an environment of diskless workstations connected by a high-speed local network to a set of file ...
Experience with Grapevine (Summary): the growth of a distributed system
Grapevine is a distributed, replicated system that provides message delivery, naming, authentication, resource location, and access control services in an internet of computers. The system, described in a previous paper [1], was designed and implemented ...
Reflections on the verification of the security of an operating system kernel
This paper discusses the formal verification of the design of an operating system kernel's conformance to the multilevel security property. The kernel implements multiple protection structures to support both discretionary and nondiscretionary security ...
Cited By
- Jia X, Zhang J, Yu B, Qian X, Qi Z and Guan H (2022). GiantVM: A Novel Distributed Hypervisor for Resource Aggregation with DSM-aware Optimizations, ACM Transactions on Architecture and Code Optimization, 19:2, (1-27), Online publication date: 30-Jun-2022.
- Zhang J, Ding Z, Chen Y, Jia X, Yu B, Qi Z and Guan H GiantVM Proceedings of the 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, (30-44)
Index Terms
- Proceedings of the ninth ACM symposium on Operating systems principles