Two locking protocols are defined for distributed database systems. One protocol provides deadlock avoidance without the need to roll back transactions. The other allows a useful weakening of the protocol in which onl...
详细信息
A large array is an array whose storage is distributed among primary and secondary storage and whose processing may be distributed among several tasks in a distributed system. This paper presents a semantic model (set...
详细信息
In this paper we consider a resource allocation problem which is local in the sense that the maxim~a number of users competing for a particular resource at any time instant is bounded and also at any time instant the ...
详细信息
Grapevine is a distributed, replicated system running on a large internet within the Xerox research and development community. The internet extends from coast to coast in the USA, to Canada and to Europe, and contains...
详细信息
The proceedings contain 23 papers. The topics discussed include: converting a swap-based system to do paging in an architecture lacking page-referenced bits;WSClock - a simple and effective algorithm for virtual memor...
ISBN:
(纸本)0897910621
The proceedings contain 23 papers. The topics discussed include: converting a swap-based system to do paging in an architecture lacking page-referenced bits;WSClock - a simple and effective algorithm for virtual memory management;a study of file sizes and functional lifetimes;hierarchical take-grant protection systems;cryptographic sealing for information secrecy and authentication;a unified model and implementation for interprocess communication in a multiprocessor environment;iMAX: a multiprocessor operating system for an object- based computer;the iMAX-432 object filing system;a distributed UNIX system based on a virtual circuit switch;LOCUS: a network transparent, high reliability distributed system;Grapevine: an exercise in distributedcomputing;BRUWIN: an adaptable design strategy for window manager/virtual terminal systems;the FELIX file server;a comparison of two network-based file servers;a reliable object-oriented repository for a distributed computer system;sequencing computation steps in a network;Accent: a communication oriented network operating system kernel;and performing remote operations efficiently on a local computer network.
The Tandem NonStop System is a faulttolerant [1], expandable, and distributed computer system designed expressly for online transaction processing. This paper describes the key primitives of the kernel of the operatin...
详细信息
This paper reviews some of the difficulties that arise in the verification of kernelized secure systems and suggests new techniques for their resolution. It is proposed that secure systems should be conceived as distr...
详细信息
Accent is a communication oriented operating system kernel being built at Carnegie-Mellon University to support the distributed personal computing project, Spice, and the development of a fault-tolerant distributed se...
详细信息
The University of Washington's Eden project is a five-year research effort to design, build and use an "integrated distributed" computing environment. The underlying philosophy of Eden involves a fresh a...
详细信息
The repository described in this paper is a component of a distributed data storage system for a network of many autonomous machines that might run diverse applications. The repository is a server machine that provide...
详细信息
暂无评论