Locking discipline inference and checking

Michael D. Ernst, Alberto Lovato, Damiano Macedonio, Fausto Spoto, Javier Thaine

Abstract

Concurrency is a requirement for much modern software, but the implementation of multithreaded algorithms comes at the risk of errors such as data races. Programmers can prevent data races by documenting and obeying a locking discipline, which indicates which locks must be held in order to access which data.

BibTeX

@inproceedings{Ernst-al:ICSE16,
  author    = {Michael D. Ernst and
               Alberto Lovato and
               Damiano Macedonio and
               Fausto Spoto and
               Javier Thaine},
  title     = {Locking discipline inference and checking},
  booktitle = {ICSE},
  pages     = {1133--1144},
  publisher = {{ACM}},
  year      = {2016},
}

Locking discipline inference and checking

Abstract

Related papers