Distributed Snapshots In Spite of Failures
| dc.contributor.author | Shah, Amitabh | en_US |
| dc.contributor.author | Toueg, Sam | en_US |
| dc.date.accessioned | 2007-04-23T16:52:25Z | |
| dc.date.available | 2007-04-23T16:52:25Z | |
| dc.date.issued | 1984-07 | en_US |
| dc.description.abstract | An extension of the Chandy-Lamport algorithm ([Chan84]) to find global states of distributed systems is presented where benign failures of processes and channels are permitted. The scope of the algorithm in detecting stable properties in distributed systems is discussed. As an application, an algorithm to detect deadlocks in failure-prone distributed systems is presented. | en_US |
| dc.format.extent | 1132398 bytes | |
| dc.format.extent | 308535 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/TR84-624 | en_US |
| dc.identifier.uri | https://hdl.handle.net/1813/6463 | |
| 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 | Distributed Snapshots In Spite of Failures | en_US |
| dc.type | technical report | en_US |