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...

Olles dieđut

Furkejuvvon:
Bibliográfalaš dieđut
Váldodahkkit: Attiya, Hagit, Castañeda, Armando, Enea, Constantin
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: Lasit fáddágilkoriid
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!