skip to main content
10.1145/800217acmconferencesBook PagePublication PagessospConference Proceedingsconference-collections
SOSP '83: Proceedings of the ninth ACM symposium on Operating systems principles
ACM1983 Proceeding
Publisher:
  • Association for Computing Machinery
  • New York
  • NY
  • United States
Conference:
Bretton Woods New Hampshire USA October 10 - 13, 1983
ISBN:
978-0-89791-115-3
Published:
10 October 1983
Sponsors:
Next Conference
October 13 - 16, 2025
Seoul , Republic of Korea
Reflects downloads up to 13 Feb 2025Bibliometrics
Abstract

No abstract available.

Skip Table Of Content Section
Article
Free
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. ...

Article
Free
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 ...

Article
Free
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 ...

Article
Free
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 ...

Article
Free
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 ...

Article
Free
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 ...

Article
Free
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 ...

Article
Free
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 ...

Article
Free
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 ...

Article
Free
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 ...

Article
Free
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 ...

Article
Free
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 ...

Article
Free
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 ...

Article
Free
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 ...

Article
Free
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 ...

Article
Free
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 ...

Contributors
  • Massachusetts Institute of Technology
  • Microsoft Research

Index Terms

  1. Proceedings of the ninth ACM symposium on Operating systems principles

    Recommendations

    Acceptance Rates

    Overall Acceptance Rate 174 of 961 submissions, 18%
    YearSubmittedAcceptedRate
    SOSP '242454318%
    SOSP '232324319%
    SOSP '151813017%
    SOSP '031282217%
    SOSP '01851720%
    SOSP '99901921%
    Overall96117418%