From Atomic variables to data-centric concurrency control

Hervé Paulino, Daniel Parreira, Nuno Delgado, António Ravara, Ana Matos

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)


The mainstream use of concurrent programming is bound to the provision of constructs that abstract details intrinsic to concurrency, while ensuring safety and liveness properties. Several control-centric approaches meet these requirements but decentralise concurrency management, hindering reasoning. The alternative data-centric approach promotes local rather than distributed reasoning, however it is a fairly new approach embraced only by Atomic Sets [4, 8], a rather complex model that does not guarantee progress in all scenarios. In this paper we propose a simple data-centric concurrency control model that builds only on the notion of atomic variable. We informally present the model and its properties, as well as a prototype implementation that we used to compare our approach against the aforementioned Atomic Sets and control-centred approaches in general.

Original languageEnglish
Title of host publication2016 Symposium on Applied Computing, SAC 2016
PublisherAssociation for Computing Machinery
Number of pages6
ISBN (Electronic)978-145033739-7
Publication statusPublished - 8 Apr 2016
Event31st Annual ACM Symposium on Applied Computing, SAC 2016 - Pisa, Italy
Duration: 4 Apr 20168 Apr 2016


Conference31st Annual ACM Symposium on Applied Computing, SAC 2016


  • Concurrency control
  • Data-centric
  • Java language

Fingerprint Dive into the research topics of 'From Atomic variables to data-centric concurrency control'. Together they form a unique fingerprint.

Cite this