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...
Guardado en:
| Autores principales: | , , |
|---|---|
| 格式: | Artículo |
| 出版: |
2025
|
| 主題: | |
| 在線閱讀: | https://arxiv.org/abs/2506.18401 http://arxiv.org/abs/2506.18401 |
| 標簽: |
沒有標簽, 成為第一個標記此記錄!
|