| タイトル | The Use of Efficient Broadcast Protocols in Asynchronous Distributed Systems |
| 本文（外部サイト） | http://hdl.handle.net/2060/19900008042 |
| 著者（英） | Schmuck, Frank Bernhard |
| 著者所属（英） | Cornell Univ. |
| 発行日 | 1988-08-01 |
| 言語 | eng |
| 内容記述 | Reliable broadcast protocols are important tools in distributed and fault-tolerant programming. They are useful for sharing information and for maintaining replicated data in a distributed system. However, a wide range of such protocols has been proposed. These protocols differ in their fault tolerance and delivery ordering characteristics. There is a tradeoff between the cost of a broadcast protocol and how much ordering it provides. It is, therefore, desirable to employ protocols that support only a low degree of ordering whenever possible. This dissertation presents techniques for deciding how strongly ordered a protocol is necessary to solve a given application problem. It is shown that there are two distinct classes of application problems: problems that can be solved with efficient, asynchronous protocols, and problems that require global ordering. The concept of a linearization function that maps partially ordered sets of events to totally ordered histories is introduced. How to construct an asynchronous implementation that solves a given problem if a linearization function for it can be found is shown. It is proved that in general the question of whether a problem has an asynchronous solution is undecidable. Hence there exists no general algorithm that would automatically construct a suitable linearization function for a given problem. Therefore, an important subclass of problems that have certain commutativity properties are considered. Techniques for constructing asynchronous implementations for this class are presented. These techniques are useful for constructing efficient asynchronous implementations for a broad range of practical problems. |
| NASA分類 | COMPUTER SYSTEMS |
| レポートNO | 90N17358
NAS 1.26:186272
TR-88-928
NASA-CR-186272 |
| 権利 | No Copyright |
| URI | https://repository.exst.jaxa.jp/dspace/handle/a-is/139085 |
|
