It was shown by Michael Rabin that a sequence of random 0-1 values ("coin tosses"), prepared and distributed by a trusted "dealer," can be used to achieve Byzantine agreement in constant expected t...
详细信息
Easy proofs are given, of the impossibility of solving several consensus problems (Byzantine agreement, weak agreement, Byzantine firing squad, approximate agreement and clock synchronization) in certain communication...
详细信息
Similarity is introduced as a model-independent characterization of symmetry. It can be used to decide when a concurrent system has a solution to the selection problem. It can also be used to compare different models ...
This conference proceedings contains 27 papers. The main topics discussed are: distributed computer systems, computer networks protocols, distributed database systems, and some aspects of automata theory. Some general...
详细信息
ISBN:
(纸本)0897911431
This conference proceedings contains 27 papers. The main topics discussed are: distributed computer systems, computer networks protocols, distributed database systems, and some aspects of automata theory. Some general applications of concurrent programming, and the deadlock detection and resolution are also presented.
An efficient distributed algorithm to detect deadlocks in distributed and dynamically changing systems is presented. In our model, processes can request any N available resources from a pool of size M. This is a gener...
详细信息
ISBN:
(纸本)0897911431
An efficient distributed algorithm to detect deadlocks in distributed and dynamically changing systems is presented. In our model, processes can request any N available resources from a pool of size M. This is a generalization of the well-known AND-OR request model. The algorithm is incrementally derived and proven correct. Its communication, computational, and space complexity compares favorably with those of previously known distributed AND-OR deadlock detection algorithms.
The design and implementation study discussed in this paper can be viewed in two ways. On one hand, it represents a contribution to the active area of design of 'smart' communications controllers which use inc...
详细信息
ISBN:
(纸本)0897911431
The design and implementation study discussed in this paper can be viewed in two ways. On one hand, it represents a contribution to the active area of design of 'smart' communications controllers which use increasingly sophisticated processor memory configurations to improve the performance of interprocessor communication. On the other hand, it represents an application of the minimalist principles of the RISC (Reduced Instruction-Set Computer) architecture to operating systems kernel design.
This paper presents two distributed algorithms for detecting and resolving deadlocks. By insuring that only one of the deadlock processes will detect it, the problem of resolving the deadlock is simplified. That proce...
详细信息
ISBN:
(纸本)0897911431
This paper presents two distributed algorithms for detecting and resolving deadlocks. By insuring that only one of the deadlock processes will detect it, the problem of resolving the deadlock is simplified. That process could simply abort itself. In one version of the algorithm, an arbitrary process detects deadlock;and in a second version, the process with the lowest priority detects deadlock.
暂无评论