AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants

  title={AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants},
  author={Shan Lu and Joseph Tucek and Feng Qin and Yuanyuan Zhou},
  journal={IEEE Micro},
Concurrency bugs are among the most difficult to test and diagnose of all software bugs. The multicore technology trend worsens this problem. Most previous concurrency bug detection work focuses on one bug subclass, data races, and neglects many other important ones such as atomicity violations, which will soon become increasingly important due to the emerging trend of transactional memory models.This paper proposes an innovative, comprehensive, invariantbased approach called AVIO to detect… CONTINUE READING
9 Citations
10 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 10 references

Similar Papers

Loading similar papers…