Condition-Based Synchronization in Data-Centric Concurrency Control

Data-Centric Concurrency Control (DCCC) shifts the focus of synchronization from control structures to data declaration. It provides a high-level mechanism that abstracts from the low-level concurrency mechanism in use, such as locks, while providing safety properties. When addressing synchronization, the concerns may be split into two categories: atomicity in the accesses to shared resources and predictable execution ordering. Like other high-level concurrency control models, DCCC only deals with the first, precluding its use in many problems that require the second. We tackle this limitation by proposing a novel high-level data-centric condition-based synchronization model, named DCCond, whose expressiveness covers most of the uses of common condition variables, while providing comparable performances.