The properties of the state of knowledge of a system of n processes taking part in a distributed computation are investigated. It is assumed that a global event--the ticking of the clock--takes place even if no local ...
详细信息
ISBN:
(纸本)0818687203
The properties of the state of knowledge of a system of n processes taking part in a distributed computation are investigated. It is assumed that a global event--the ticking of the clock--takes place even if no local events take place at a particular moment, and so the length of a global history is just the amount of time elapsed. However, what each process sees at any moment of time is its local event, if any, and its local history is simply the sequence of local events.
A paradigm for the system and software design of distributed systems is presented with application to an actual large scale computer network involving both local area networks and a wide area network. A number of desi...
详细信息
ISBN:
(纸本)0444700226
A paradigm for the system and software design of distributed systems is presented with application to an actual large scale computer network involving both local area networks and a wide area network. A number of design principles are offered with particular reference to how they can be applied to the design of distributed systems. The major contribution of this paper to the field of distributed systems is an explanation of how to make design decisions about distributed systems in a way which will enhance maintainability and understandability of the software and, at the same time, result in good system performance. Our aim is to recognize explicitly the implications for software quality of various decisions which must be made in the process of specifying a distributed system.
This paper describes the role of a simulation program in the performance evaluation of a wide range of concepts for transaction processing in distributed data base management Systems. As part of the coverage the model...
详细信息
These days it is difficult to find a distributed computer system design that does not include a set of fault tolerance mechanisms. Yet, the demonstrated fault tolerance capabilities of the distributed systems designed...
详细信息
ISBN:
(纸本)0444700226
These days it is difficult to find a distributed computer system design that does not include a set of fault tolerance mechanisms. Yet, the demonstrated fault tolerance capabilities of the distributed systems designed so far as much below the fault tolerance potential that the distributedcomputing approach presents. This paper is an overview of the fault tolerance mechanisms incorporated at the operating system level within various real-time distributed computer systems. The paper focuses on how the operating systems support error detection, hardware and software reconfiguration, and computation recovery. Some of the issues that remain for further research are also briefly discussed.
A distributed data structure Is a data structure that can be manipulated by many paralisi processes simultaneously. distributed data structures are the natural complement to parallel program structures, where a parall...
详细信息
ISBN:
(纸本)089791175X
A distributed data structure Is a data structure that can be manipulated by many paralisi processes simultaneously. distributed data structures are the natural complement to parallel program structures, where a parallel program (for our purposes) is one that is made up of many simultaneously active, communicating processes. distributed data structures are impossible in most parallel programming languages, but they are supported In the parallel language Linda and they are central to .Linda programming style. We outline Linda, then discuss some distributed data structures that have arisen In Linda programming experiments to date. Our intent is neither to discuss the design of the Linda system nor the performance of Linda programs, though we do comment on both topics;we are concerned instead with a few of the simpler and more basic techniques made possible by a language model that, we argue, is subtly but fundamentally different in its implications from most others.
There is a need to design distributed systems that are not rigid in their choice of algorithms and that are responsive to faults/failures and performance degradation. To meet this challenge, we formalize and experimen...
详细信息
An efficient algorithm for synchronized termination of iterative solution of simultaneous equations in a distributed message passing system is presented. The algorithm is based on an assumption that distributed proces...
详细信息
暂无评论