Consensus in the Presence of Partial Synchrony
The concept of partial synchrony in a distributed system is introduced. Partial synchrony lies between the cases of a synchronous system and an asynchronous system. In a synchronous system, there is a known fixed upper bound Δ on the time required for a message to be sent from one processor to anoth...
| Main Authors: | , , |
|---|---|
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149080 |
| _version_ | 1811070204774449152 |
|---|---|
| author | Dwork, Cynthia Lynch, Nancy A. Stockmeyer, Larry |
| author_facet | Dwork, Cynthia Lynch, Nancy A. Stockmeyer, Larry |
| author_sort | Dwork, Cynthia |
| collection | MIT |
| description | The concept of partial synchrony in a distributed system is introduced. Partial synchrony lies between the cases of a synchronous system and an asynchronous system. In a synchronous system, there is a known fixed upper bound Δ on the time required for a message to be sent from one processor to another and a known fixed upper bound Φ on the relative speeds of different processors. In an asynchronous system, no fixed uppper bounds Δ and Φ exist. In one version of partial synchrony, fixed bounds Δ and Φ exist but they are not know a priori. The problem is to design protocols which work correctly in the partially synchronous system regardless of the actual values of the bounds Δ and Φ. In another version of partial synchrony, the bounds are known but they are only guaranteed to hold starting at some unknown time T, and protocols must be designed to work correctly regardless of when the time T occurs. Fault tolerant consensus protocols are given for various cases of parial synchrony and various fault models. Lower bounds are also given which show in many cases that out protocols are optimal with respect to the number of faults tolerated. Our consensus protocols for partially synchronous processors use new protocols for fault-tolerant "distributed clocks" which allow partially synchronous processors to reach some approximately common notion of time. |
| first_indexed | 2024-09-23T08:31:58Z |
| id | mit-1721.1/149080 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T08:31:58Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1490802023-03-30T04:21:01Z Consensus in the Presence of Partial Synchrony Dwork, Cynthia Lynch, Nancy A. Stockmeyer, Larry The concept of partial synchrony in a distributed system is introduced. Partial synchrony lies between the cases of a synchronous system and an asynchronous system. In a synchronous system, there is a known fixed upper bound Δ on the time required for a message to be sent from one processor to another and a known fixed upper bound Φ on the relative speeds of different processors. In an asynchronous system, no fixed uppper bounds Δ and Φ exist. In one version of partial synchrony, fixed bounds Δ and Φ exist but they are not know a priori. The problem is to design protocols which work correctly in the partially synchronous system regardless of the actual values of the bounds Δ and Φ. In another version of partial synchrony, the bounds are known but they are only guaranteed to hold starting at some unknown time T, and protocols must be designed to work correctly regardless of when the time T occurs. Fault tolerant consensus protocols are given for various cases of parial synchrony and various fault models. Lower bounds are also given which show in many cases that out protocols are optimal with respect to the number of faults tolerated. Our consensus protocols for partially synchronous processors use new protocols for fault-tolerant "distributed clocks" which allow partially synchronous processors to reach some approximately common notion of time. 2023-03-29T14:25:20Z 2023-03-29T14:25:20Z 1985-10 https://hdl.handle.net/1721.1/149080 23057023 MIT-LCS-TM-270 application/pdf |
| spellingShingle | Dwork, Cynthia Lynch, Nancy A. Stockmeyer, Larry Consensus in the Presence of Partial Synchrony |
| title | Consensus in the Presence of Partial Synchrony |
| title_full | Consensus in the Presence of Partial Synchrony |
| title_fullStr | Consensus in the Presence of Partial Synchrony |
| title_full_unstemmed | Consensus in the Presence of Partial Synchrony |
| title_short | Consensus in the Presence of Partial Synchrony |
| title_sort | consensus in the presence of partial synchrony |
| url | https://hdl.handle.net/1721.1/149080 |
| work_keys_str_mv | AT dworkcynthia consensusinthepresenceofpartialsynchrony AT lynchnancya consensusinthepresenceofpartialsynchrony AT stockmeyerlarry consensusinthepresenceofpartialsynchrony |