Resolving Conflicts with Grace: Dynamically Concurrent Universality
Fuente:
arXiv
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866908652572508160 |
|---|---|
| author | Kuznetsov, Petr Schrodt, Nathan Josia |
| author_facet | Kuznetsov, Petr Schrodt, Nathan Josia |
| contents | Synchronization is the major obstacle to scalability in distributed computing. Concurrent operations on the shared data engage in synchronization when they encounter a \emph{conflict}, i.e., their effects depend on the order in which they are applied. Ideally, one would like to detect conflicts in a \emph{dynamic} manner, i.e., adjusting to the current system state. Indeed, it is very common that two concurrent operations conflict only in some rarely occurring states. In this paper, we define the notion of \emph{dynamic concurrency}: an operation employs strong synchronization primitives only if it \emph{has} to arbitrate with concurrent operations, given the current system state. We then present a dynamically concurrent universal construction. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2511_04631 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Resolving Conflicts with Grace: Dynamically Concurrent Universality Kuznetsov, Petr Schrodt, Nathan Josia Distributed, Parallel, and Cluster Computing Synchronization is the major obstacle to scalability in distributed computing. Concurrent operations on the shared data engage in synchronization when they encounter a \emph{conflict}, i.e., their effects depend on the order in which they are applied. Ideally, one would like to detect conflicts in a \emph{dynamic} manner, i.e., adjusting to the current system state. Indeed, it is very common that two concurrent operations conflict only in some rarely occurring states. In this paper, we define the notion of \emph{dynamic concurrency}: an operation employs strong synchronization primitives only if it \emph{has} to arbitrate with concurrent operations, given the current system state. We then present a dynamically concurrent universal construction. |
| title | Resolving Conflicts with Grace: Dynamically Concurrent Universality |
| topic | Distributed, Parallel, and Cluster Computing |
| url | https://arxiv.org/abs/2511.04631 |