Automated inference of atomic sets for safe concurrent execution

Peter Dinges, Minas Charalambides, Gul Agha

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

Abstract

Atomic sets are a synchronization mechanism in which the programmer specifies the groups of data that must be accessed as a unit. The compiler can check this specification for consistency, detect deadlocks, and automatically add the primitives to prevent interleaved access. Atomic sets relieve the programmer from the burden of recognizing and pruning execution paths which lead to interleaved access, thereby reducing the potential for data races. However, manually converting programs from lock-based synchronization to atomic sets requires reasoning about the program's concurrency structure, which can be a challenge even for small programs. Our analysis eliminates the challenge by automating the reasoning. Our implementation of the analysis allowed us to derive the atomic sets for large code bases such as the Java collections framework in a matter of minutes. The analysis is based on execution traces; assuming all traces reflect intended behavior, our analysis enables safe concurrency by preventing unobserved interleavings which may harbor latent Heisenbugs.

Original languageEnglish (US)
Title of host publicationProceedings of the 11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE 2013
PublisherAssociation for Computing Machinery
Pages1-8
Number of pages8
ISBN (Print)9781450321280
DOIs
StatePublished - 2013
Event11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE 2013 - Seattle, WA, United States
Duration: Jun 20 2013Jun 20 2013

Publication series

NameProceedings of the 11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE 2013

Other

Other11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE 2013
CountryUnited States
CitySeattle, WA
Period6/20/136/20/13

Keywords

  • Atomic sets
  • Data-centric synchronization

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'Automated inference of atomic sets for safe concurrent execution'. Together they form a unique fingerprint.

Cite this