Loading...
Please wait, while we are loading the content...
Similar Documents
An extension to schneider's general paradigm for fault-tolerant clock synchronization
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Miner, Paul S. |
| Copyright Year | 1992 |
| Description | In 1987, Schneider presented a general paradigm that provides a single proof of a number of fault tolerant clock synchronization algorithms. His proof was subsequently subjected to the rigor of mechanical verification by Shankar. However, both Schneider and Shankar assumed a condition Shankar refers to as a bounded delay. This condition states that the elapsed time between synchronization events (i.e., the time that the local process applies an adjustment to its logical clock) is bounded. This property is really a result of the algorithm and should not be assumed in a proof of correctness. This paper remedies this by providing a proof of this property in the context of the general paradigm proposed by Schneider. The argument given is a generalization of Welch and Lynch's proof of a related property for their algorithm. |
| File Size | 1653247 |
| Page Count | 58 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_19920021433 |
| Archival Resource Key | ark:/13960/t6qz75194 |
| Language | English |
| Publisher Date | 1992-06-01 |
| Access Restriction | Open |
| Subject Keyword | Fault Tolerance Theorems Algorithms Theorem Proving Computer Techniques Synchronism Architecture Computers Clocks Real Time Operation Ntrs Nasa Technical Reports Server (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Technical Report |
