TY - GEN
T1 - Condition-based synchronization in data-centric concurrency control
AU - Neves, David
AU - Paulino, Hervé
N1 - Funding Information:
info:eu-repo/grantAgreement/FCT/3599-PPCDT/PTDC%2FCCI-COM%2F32166%2F2017/PT
info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UIDB%2F04516%2F2020/PT#
Publisher Copyright:
© 2022 ACM.
PY - 2022/4
Y1 - 2022/4
N2 - 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.
AB - 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.
KW - conditions
KW - data-centric concurrency control
KW - synchronization
UR - http://www.scopus.com/inward/record.url?scp=85130381124&partnerID=8YFLogxK
U2 - 10.1145/3477314.3507120
DO - 10.1145/3477314.3507120
M3 - Conference contribution
AN - SCOPUS:85130381124
SN - 978-145038713-2
T3 - Proceedings of the ACM Symposium on Applied Computing
SP - 1268
EP - 1275
BT - SAC '2022
PB - ACM - Association for Computing Machinery
CY - New York
T2 - 37th ACM/SIGAPP Symposium on Applied Computing, SAC 2022
Y2 - 25 April 2022 through 29 April 2022
ER -