Meta-analysis for Atomicity Violations under Nested Locking

@inproceedings{Farzan2009MetaanalysisFA,
  title={Meta-analysis for Atomicity Violations under Nested Locking},
  author={Azadeh Farzan and P. Madhusudan and Francesco Sorrentino},
  booktitle={CAV},
  year={2009}
}
We study the problem of determining, given a run of a concurrent program, whether there is any alternate execution of it that violates atomicity, where atomicity is defined using marked blocks of local runs. We show that if a concurrent program adopts nested locking, the problem of predicting atomicity violations is efficiently solvable, without exploring all interleavings. In particular, for the case of atomicity violations involving only two threads and a single variable, which covers many of… CONTINUE READING
Highly Cited
This paper has 42 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 30 extracted citations

Similar Papers

Loading similar papers…