Are Wait-free Algorithms Fast?

The time complexity of wait-free algorithms in "normal" executions, where no failures occure and processes operate at approximately the same speed, is considered. A lower bound of log n on the time complexity of any wait-free algorithm that achieves approximate agreements among n processes...

Full description

Bibliographic Details
Main Authors: Attiya, Hagit, Lynch, Nancy A., Shavit, Nir
Published: 2023
Online Access:https://hdl.handle.net/1721.1/149170
_version_ 1826207650524692480
author Attiya, Hagit
Lynch, Nancy A.
Shavit, Nir
author_facet Attiya, Hagit
Lynch, Nancy A.
Shavit, Nir
author_sort Attiya, Hagit
collection MIT
description The time complexity of wait-free algorithms in "normal" executions, where no failures occure and processes operate at approximately the same speed, is considered. A lower bound of log n on the time complexity of any wait-free algorithm that achieves approximate agreements among n processes is proved. In contrast, there exists a non-wait-free algorithm that solves this problem in constant time. This implies an Ω(log n) time separation between the wait-free and non-wait-free computation models. On the positive side, we present an O(log n) time wait-free approximate agreement algorithm; the complexity of this algorithm is within a small constant of the lower bound.
first_indexed 2024-09-23T13:52:49Z
id mit-1721.1/149170
institution Massachusetts Institute of Technology
last_indexed 2024-09-23T13:52:49Z
publishDate 2023
record_format dspace
spelling mit-1721.1/1491702023-03-30T03:35:18Z Are Wait-free Algorithms Fast? Attiya, Hagit Lynch, Nancy A. Shavit, Nir The time complexity of wait-free algorithms in "normal" executions, where no failures occure and processes operate at approximately the same speed, is considered. A lower bound of log n on the time complexity of any wait-free algorithm that achieves approximate agreements among n processes is proved. In contrast, there exists a non-wait-free algorithm that solves this problem in constant time. This implies an Ω(log n) time separation between the wait-free and non-wait-free computation models. On the positive side, we present an O(log n) time wait-free approximate agreement algorithm; the complexity of this algorithm is within a small constant of the lower bound. 2023-03-29T14:34:34Z 2023-03-29T14:34:34Z 1991-03 https://hdl.handle.net/1721.1/149170 23361408 MIT-LCS-TM-442 application/pdf
spellingShingle Attiya, Hagit
Lynch, Nancy A.
Shavit, Nir
Are Wait-free Algorithms Fast?
title Are Wait-free Algorithms Fast?
title_full Are Wait-free Algorithms Fast?
title_fullStr Are Wait-free Algorithms Fast?
title_full_unstemmed Are Wait-free Algorithms Fast?
title_short Are Wait-free Algorithms Fast?
title_sort are wait free algorithms fast
url https://hdl.handle.net/1721.1/149170
work_keys_str_mv AT attiyahagit arewaitfreealgorithmsfast
AT lynchnancya arewaitfreealgorithmsfast
AT shavitnir arewaitfreealgorithmsfast