SIGOPS

When a database is replicated at many sites, maintaining mutual consistency among the sites in the face of updates is a significant problem. This paper describes several randomized algorithms for distributing updates and driving the replicas toward ...

TURING PLUS is a general purpose programming language that is well suited to systems applications such as operating systems, network controllers and embedded software. This note briefly explains how device management is efficiently handled in TURING ...

DUNIX is an operating system that integrates several computers, connected by a packet switching network, into a single UNIX machine. As far as the users and their software can tell, the system is a single large computer running UNIX. This illusion is ...