AVIO: Detecting Atomicity Violations via Access Interleaving Invariants
S. Lu, J. Tucek, F. Qin, и Y. Zhou. Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, стр. 37--48. ACM, (2006)
DOI: 10.1145/1168857.1168864
%0 Conference Paper
%1 Lu:2006:ADA
%A Lu, Shan
%A Tucek, Joseph
%A Qin, Feng
%A Zhou, Yuanyuan
%B Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems
%D 2006
%I ACM
%K Atomicity Concurrency atomicity bug concurrency detection hardware invariant program support violation
%P 37--48
%R 10.1145/1168857.1168864
%T AVIO: Detecting Atomicity Violations via Access Interleaving Invariants
%@ 1-59593-451-0
@inproceedings{Lu:2006:ADA,
acmid = {1168864},
added-at = {2017-02-09T13:58:02.000+0100},
author = {Lu, Shan and Tucek, Joseph and Qin, Feng and Zhou, Yuanyuan},
biburl = {https://www.bibsonomy.org/bibtex/285d5382f5a58abc477f95b76e67616c4/gron},
booktitle = {Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems},
doi = {10.1145/1168857.1168864},
interhash = {04cb7f3ded33d14f18a08d5c689c32ce},
intrahash = {85d5382f5a58abc477f95b76e67616c4},
isbn = {1-59593-451-0},
keywords = {Atomicity Concurrency atomicity bug concurrency detection hardware invariant program support violation},
location = {San Jose, California, USA},
numpages = {12},
pages = {37--48},
publisher = {ACM},
series = {ASPLOS XII},
timestamp = {2017-02-09T13:58:02.000+0100},
title = {AVIO: Detecting Atomicity Violations via Access Interleaving Invariants},
year = 2006
}