Resolving Conflicts with Grace: Dynamically Concurrent Universality

Kuznetsov, Petr

doi:10.4230/LIPIcs.OPODIS.2025.33

Resolving Conflicts with Grace: Dynamically Concurrent Universality

2026-01-01

0

PRE

AI

K

Kuznetsov, Petr *

S

Schrodt, Nathan Josia *

DOI：10.4230/LIPIcs.OPODIS.2025.33

Original

Original request for help

Save

Abstract

En 中文

Synchronization is the major obstacle to scalability in distributed computing. Concurrent operations on the shared data engage in synchronization when they encounter a conflict, i.e., their effects depend on the order in which they are applied. Ideally, one would like to detect conflicts in a 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 dynamic concurrency: an operation employs strong synchronization primitives only if it has to arbitrate with concurrent operations, given the current system state. We then present a dynamically concurrent universal construction.

Keywords:

Universal Construction

Consensus

Dynamic Concurrency

Resolving Conflicts with Grace: Dynamically Concurrent Universality

Abstract

Journal

Organization