Safe non-blocking synchronization in Ada2x

Johann Blieberger, Bernd Burgstaller

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

1 Citation (Scopus)

Abstract

The mutual-exclusion property of locks stands in the way to scalability of parallel programs on many-core architectures. Locks do not allow progress guarantees, because a task may fail inside a critical section and keep holding a lock that blocks other tasks from accessing shared data. With non-blocking synchronization, the drawbacks of locks are avoided by synchronizing access to shared data by atomic read-modify-write operations. To incorporate non-blocking synchronization in Ada 202x, programmers must be able to reason about the behavior and performance of tasks in the absence of protected objects and rendezvous. We therefore extend Ada’s memory model by synchronized types, which support the expression of memory ordering operations at a sufficient level of detail. To mitigate the complexity associated with non-blocking synchronization, we propose concurrent objects as a novel high-level language construct. Entities of a concurrent object execute in parallel, due to a fine-grained, optimistic synchronization mechanism. Synchronization is framed by the semantics of concurrent entry execution. The programmer is only required to label shared data accesses in the code of concurrent entries. Labels constitute memory-ordering operations expressed through aspects and attributes. To the best of our knowledge, this is the first approach to provide a non-blocking synchronization construct as a first-class citizen of a high-level programming language. We illustrate the use of concurrent objects by several examples.

Original languageEnglish
Title of host publicationReliable Software Technologies – Ada-Europe 2018 - 23rd Ada-Europe International Conference on Reliable Software Technologies, Proceedings
EditorsAntónio Casimiro, Pedro M. Ferreira
PublisherSpringer Verlag
Pages53-69
Number of pages17
ISBN (Print)9783319924311
DOIs
Publication statusPublished - 2018 Jan 1
Event23rd International Conference on Reliable Software Technologies, Ada-Europe 2018 - Lisbon, Portugal
Duration: 2018 Jun 182018 Jun 22

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10873 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other23rd International Conference on Reliable Software Technologies, Ada-Europe 2018
CountryPortugal
CityLisbon
Period18/6/1818/6/22

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Safe non-blocking synchronization in Ada2x'. Together they form a unique fingerprint.

  • Cite this

    Blieberger, J., & Burgstaller, B. (2018). Safe non-blocking synchronization in Ada2x. In A. Casimiro, & P. M. Ferreira (Eds.), Reliable Software Technologies – Ada-Europe 2018 - 23rd Ada-Europe International Conference on Reliable Software Technologies, Proceedings (pp. 53-69). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10873 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-319-92432-8_4