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...
שמור ב:
| Autores principales: | , , |
|---|---|
| פורמט: | Artículo |
| יצא לאור: |
2025
|
| נושאים: | |
| גישה מקוונת: | https://arxiv.org/abs/2506.18401 http://arxiv.org/abs/2506.18401 |
| תגים: |
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
|