Reaching Approximate Agreement in the Presence of Faults

This paper considers a variant of the Byzantine Generals problem, in which processes start with arbitrary real values rather than Booleann values or values from some bounded range, and in which approximate, rather than exact, agreement is the desired goal. Algorithms are presented to reach approxima...

Full description

Bibliographic Details
Main Authors: Dolev, Danny, Lynch, Nancy A., Pinter, Shlomit S., Stark, Eugene W., Weihl, William E.
Published: 2023
Online Access:https://hdl.handle.net/1721.1/149086
_version_ 1826192374274981888
author Dolev, Danny
Lynch, Nancy A.
Pinter, Shlomit S.
Stark, Eugene W.
Weihl, William E.
author_facet Dolev, Danny
Lynch, Nancy A.
Pinter, Shlomit S.
Stark, Eugene W.
Weihl, William E.
author_sort Dolev, Danny
collection MIT
description This paper considers a variant of the Byzantine Generals problem, in which processes start with arbitrary real values rather than Booleann values or values from some bounded range, and in which approximate, rather than exact, agreement is the desired goal. Algorithms are presented to reach approximate agreement in aynchronous, as well as synchornous systems. The asynchronous agreement algorithm is an interesting contrast to a result of Fischer, Lynch, and Paterson, who show that exact agreement is not attainable in an asychronous system with as few as one fault process. The algorithms work by successive approximation, with a provable convergence rate that depends on the ratio between the number of faulty processes and the total number of processes. Lower bounds on the convergence rate for algorithms of this form are proven, and the algorithms presented are shown to be optimal.
first_indexed 2024-09-23T09:11:03Z
id mit-1721.1/149086
institution Massachusetts Institute of Technology
last_indexed 2024-09-23T09:11:03Z
publishDate 2023
record_format dspace
spelling mit-1721.1/1490862023-03-30T04:13:08Z Reaching Approximate Agreement in the Presence of Faults Dolev, Danny Lynch, Nancy A. Pinter, Shlomit S. Stark, Eugene W. Weihl, William E. This paper considers a variant of the Byzantine Generals problem, in which processes start with arbitrary real values rather than Booleann values or values from some bounded range, and in which approximate, rather than exact, agreement is the desired goal. Algorithms are presented to reach approximate agreement in aynchronous, as well as synchornous systems. The asynchronous agreement algorithm is an interesting contrast to a result of Fischer, Lynch, and Paterson, who show that exact agreement is not attainable in an asychronous system with as few as one fault process. The algorithms work by successive approximation, with a provable convergence rate that depends on the ratio between the number of faulty processes and the total number of processes. Lower bounds on the convergence rate for algorithms of this form are proven, and the algorithms presented are shown to be optimal. 2023-03-29T14:25:59Z 2023-03-29T14:25:59Z 1985-05 https://hdl.handle.net/1721.1/149086 14574414 MIT-LCS-TM-276 application/pdf
spellingShingle Dolev, Danny
Lynch, Nancy A.
Pinter, Shlomit S.
Stark, Eugene W.
Weihl, William E.
Reaching Approximate Agreement in the Presence of Faults
title Reaching Approximate Agreement in the Presence of Faults
title_full Reaching Approximate Agreement in the Presence of Faults
title_fullStr Reaching Approximate Agreement in the Presence of Faults
title_full_unstemmed Reaching Approximate Agreement in the Presence of Faults
title_short Reaching Approximate Agreement in the Presence of Faults
title_sort reaching approximate agreement in the presence of faults
url https://hdl.handle.net/1721.1/149086
work_keys_str_mv AT dolevdanny reachingapproximateagreementinthepresenceoffaults
AT lynchnancya reachingapproximateagreementinthepresenceoffaults
AT pintershlomits reachingapproximateagreementinthepresenceoffaults
AT starkeugenew reachingapproximateagreementinthepresenceoffaults
AT weihlwilliame reachingapproximateagreementinthepresenceoffaults