Impossibility Results for Strong Linearizability: The Difficulty of Consistent Refereeing
This paper studies the relation between agreement and strongly linearizable implementations of various objects. This leads to new results about implementations of concurrent objects from various primitives including window registers, interfering primitives and stacks. We identify that lock-free, r...
Furkejuvvon:
| Váldodahkkit: | , , |
|---|---|
| Materiálatiipa: | Artihkal |
| Almmustuhtton: |
2025
|
| Fáttát: | |
| Liŋkkat: | https://arxiv.org/abs/2506.18401 http://arxiv.org/abs/2506.18401 |
| Fáddágilkorat: |
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!
|