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

Whakaahuatanga katoa

Ngā taipitopito rārangi puna kōrero

Ngā kaituhi matua:	Attiya, Hagit, Castañeda, Armando, Enea, Constantin
Hōputu:	Tuhinga
I whakaputaina:	2025
Ngā marau:	Distributed, Parallel, and Cluster Computing Distributed, Parallel, and Cluster Computing (cs.DC)
Urunga tuihono:	https://arxiv.org/abs/2506.18401 http://arxiv.org/abs/2506.18401
Ngā Tūtohu:	Tāpirihia he Tūtohu Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!