Consider a ring of n anonymous processors, i.e. the processors have no id's. Each processor receives an input string and the ring is to compute a function of the circular input configuration in the asynchronous bi...
详细信息
This paper describes our experience implementing CES, a distributed Collaborative Editing System written in Argus, a language that includes facilities for managing long-lived distributed data. Argus provides atomic ac...
详细信息
ISBN:
(纸本)089791175X
This paper describes our experience implementing CES, a distributed Collaborative Editing System written in Argus, a language that includes facilities for managing long-lived distributed data. Argus provides atomic actions, which simplify the handling of concurrency and failures, and mechanisms for implementing atomic data types, which ensure serializability and recoverability of actions that use them. This paper focuses on the support for atomicity in Argus, especially the support for building new atomic types. Overall the mechanisms in Argus made it relatively easy to build CES;however, we encountered interesting problems in several areas. For example, much of the processing of an atomic action in Argus is handled automatically by the run-time system;several examples are presented that illustrate areas where more explicit control in the implementations of atomic types would be useful.
An analysis is made of a number of interesting actual or potential parallels between the problems and techniques associated with achieving high reliability, and those associated with the provision of security, in dist...
详细信息
ISBN:
(纸本)0818606908
An analysis is made of a number of interesting actual or potential parallels between the problems and techniques associated with achieving high reliability, and those associated with the provision of security, in distributedcomputing systems.
One of the most studied problems in combinatorial optimization is the maximum matching problem. A new technique for designing algorithms for finding maximum matchings is presented. This technique is based on finding t...
详细信息
The distributedcomputing Software project at Oxford University is using formal spécification techniques to explore the design of services in a distributed operating system. Our goal is to construct and publish t...
详细信息
The proceedings contain 29 papers. The topics discussed include: storage management in a prolog compiler;developing application independent interfaces for workstations in a distributed environment;moving decision poin...
ISBN:
(纸本)089791211X
The proceedings contain 29 papers. The topics discussed include: storage management in a prolog compiler;developing application independent interfaces for workstations in a distributed environment;moving decision points outward from applications and utilities and into command level;performance characteristics of microcomputer prolog implementations;a C language extension for machine-independent programming;KOALA : a cost effective workstation for fast lisp interpretation;recent developments in PC software;viewing messages as objects;reliable commit and optimistic concurrency control for dynamically reconfigurable distributed databases;remote operations across a network of small computers;parallel computing on personal computers;a stream-oriented approach to distributed query processing in a local area network;a packet voice communications over pc based local area networks;a practical, distributed environment for Macintosh software development;languages for expert system building: a comparison;and SFM: synchronizing forms manager.
This paper addresses the problem of maintaining high availability in a dynamically reconfigurable distri buted database system. A dynamically reconfigurable distributed database system is one in which clients and/or s...
详细信息
A special purpose Data Base Machine (DBM) designed to translate queries between data models is examined. The DBM will provide a means of direct communication between different DBMSs in a distributed database system. T...
详细信息
Many reports have been published on the design strategies employed in the development of multi-database systems. This paper examines some of these strategies and compares the design of the ADDS system to other efforts...
详细信息
The growing interest in distributedcomputing with the use of multiple microcomputers is discussed. A case study of an experimental project of this kind is described. Several aspects of distributedcomputing and the a...
详细信息
ISBN:
(纸本)0444700226
The growing interest in distributedcomputing with the use of multiple microcomputers is discussed. A case study of an experimental project of this kind is described. Several aspects of distributedcomputing and the application of a set of loosely coupled computers are presented.
暂无评论