Linearizable Counting Networks
The counting problem requires n asynchronous processors to assign themselves successive values. A solution is linearizable if the order of the values assigned reflects the real-time order in which they were requested. Linearizable counting lies at the heart of concurrent timestamp generation, as wel...
Main Authors: | Merlihy, Maurice, Shavit, Nir, Waarts, Orli |
---|---|
Published: |
2023
|
Online Access: | https://hdl.handle.net/1721.1/149186 |
Similar Items
-
Counting Networks
by: Aspnes, James, et al.
Published: (2023) -
Verifying linearizability via optimized refinement checking
by: Dong, Jin Song, et al.
Published: (2013) -
On the nature of progress
by: Herlihy, Maurice, et al.
Published: (2012) -
Small-Depth Counting Networks and Related Topics
by: Klugerman, Michael Richard
Published: (2023) -
Small-depth counting networks and related topics
by: Klugerman, Michael Richard
Published: (2005)