Commit protocols guarantee the consistency of distributed databases in absence of any failures. A commit protocol is resilient to a class of failures if it is possible to guarantee that a) databases at all operational...
详细信息
ISBN:
(纸本)0897910974
Commit protocols guarantee the consistency of distributed databases in absence of any failures. A commit protocol is resilient to a class of failures if it is possible to guarantee that a) databases at all operational sites in presence of these failures are consistent and b) other sites can be recovered consistently with these sites when the failure is repaired. It is proved that quorum-based termination protocols perform very well in the presence of network partitioning. If the central site is reliable, we can prove that centralized commit protocols indeed perform better than all decentralized ones. Thus, the general preference for centralized commit protocols is justified.
The proceedings contain 30 papers. The topics discussed include: dynamic systems and their distributed termination;UIDs as internal names in a distributed file system;testing incomplete specifications of distributed s...
ISBN:
(纸本)0897910818
The proceedings contain 30 papers. The topics discussed include: dynamic systems and their distributed termination;UIDs as internal names in a distributed file system;testing incomplete specifications of distributed systems;distributed communication via global buffer;language constructs and support systems for distributedcomputing;efficient schemes for parallel communication;distributed multi-destination routing: the constraints of local information;randomized parallel communication;language concepts for distributed processing of large arrays;four combinators for concurrency;bounds on information exchange for byzantine agreement;a refinement of Kahn's semantics to handle nondeterminism and communication refinement of Kaiin's semantics to handle non-determinism and communication;understanding and using asynchronous message passing;on the distribution of an assertion;real time resource allocation in distributed systems;finding safe paths in a faulty environment;on-the-fly deadlock prevention;edge locks and deadlock avoidance in distributed systems;and a distributed algorithm for detecting resource deadlocks in distributed systems.
Complex systems (such as distributed ones) should be specified before they are implemented. Even more advantages accrue if the specifications are executable, so that behaviors of the specified systems can be tested. T...
详细信息
This paper describes a new model for dynamic distributed systems, where new processes are added and terminated at execution time. It is an extension of the static model underlying CSP. The model uses CSP I/O commands ...
详细信息
The use of UIDs as internal names in an operating system for a local network is discussed. The use of internal names in other distributed systems is briefly surveyed. For this system, UIDs were chosen because of their...
详细信息
Design and implementation of an interaddress- space communication mechanism for the SBN network computer are described. SBN's basic communication primitives appear in context of a new distributed systems programmi...
详细信息
An n-failure-resilient protocol for distributed transaction processing regarding site crash, network partitioning, and local failures like abort of subtransactions is specified. The three-phased protocol contains conc...
详细信息
Over the past years, stress has been put on global deadlock processing in distributed database management systems. This paper presents the main results of evaluation studies which were intended to provide clues for th...
详细信息
In this paper, we have proposed a new conceptual tool for organizing distributed software called an 'activity.' The structuring achieved by activities is orthogonal to that of objects. The model includes a set...
详细信息
This paper presents a distributed algorithm to detect deadlocks in distributed data bases. Features of this paper are (I) a formal model of the problem is presented, (2) the correctness of the algorithm is proved, i.e...
暂无评论