Loading...
Please wait, while we are loading the content...
Similar Documents
A unified fault-tolerance protocol
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Miner, Paul Gedser Sr., Alfons Maddalon, Jeffrey Pike, Lee |
| Copyright Year | 2004 |
| Description | Davies and Wakerly show that Byzantine fault tolerance can be achieved by a cascade of broadcasts and middle value select functions. We present an extension of the Davies and Wakerly protocol, the unified protocol, and its proof of correctness. We prove that it satisfies validity and agreement properties for communication of exact values. We then introduce bounded communication error into the model. Inexact communication is inherent for clock synchronization protocols. We prove that validity and agreement properties hold for inexact communication, and that exact communication is a special case. As a running example, we illustrate the unified protocol using the SPIDER family of fault-tolerant architectures. In particular we demonstrate that the SPIDER interactive consistency, distributed diagnosis, and clock synchronization protocols are instances of the unified protocol. |
| File Size | 217355 |
| Page Count | 16 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_20040139869 |
| Archival Resource Key | ark:/13960/t2j72df65 |
| Language | English |
| Publisher Date | 2004-01-01 |
| Access Restriction | Open |
| Subject Keyword | Computer Programming And Software Distributed Processing Time Division Multiple Access Fault Tolerance Protocol Computers Approximation Electromagnetism Redundancy Reliability Analysis Mathematical Models Applications Programs Computers Architecture Computers Time Synchronization Ntrs Nasa Technical Reports Server (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Article |
