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...
Na minha lista:
| Autores principales: | , , |
|---|---|
| Formato: | Artigo |
| Publicado em: |
2025
|
| Assuntos: | |
| Acesso em linha: | https://arxiv.org/abs/2506.18401 http://arxiv.org/abs/2506.18401 |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|