Providing Design Abstractions in Distributed Systems
| dc.contributor.author | Neiger, Gilbert A. | en_US |
| dc.contributor.author | Toueg, Sam | en_US |
| dc.date.accessioned | 2007-04-23T17:34:59Z | |
| dc.date.available | 2007-04-23T17:34:59Z | |
| dc.date.issued | 1988-11 | en_US |
| dc.description.abstract | The design of protocols for distributed systems is more complex than for centralized systems because coordination and cooperation between processors are difficult to achieve. Among the factors complicating this design are the failure of processors and the lack of processor synchronization. In this paper, we show how to simplify the design of fault-tolerant protocols using methods that automatically translate protocols tolerant of benign failures into ones tolerant of more severe failures. Such methods provide the abstraction of restricted faulty behavior. We also show how to circumvent the lack of processor synchronization by using logical clocks, which provide the abstraction of perfectly synchronized clocks in solutions to a large class of problems, both in asynchronous and partially synchronized systems. | en_US |
| dc.format.extent | 2094828 bytes | |
| dc.format.extent | 429552 bytes | |
| dc.format.mimetype | application/pdf | |
| dc.format.mimetype | application/postscript | |
| dc.identifier.citation | http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR88-945 | en_US |
| dc.identifier.uri | https://hdl.handle.net/1813/6785 | |
| dc.language.iso | en_US | en_US |
| dc.publisher | Cornell University | en_US |
| dc.subject | computer science | en_US |
| dc.subject | technical report | en_US |
| dc.title | Providing Design Abstractions in Distributed Systems | en_US |
| dc.type | technical report | en_US |