aComment: mining annotations from comments and code to detect interrupt related concurrency bugs

PDF DOI 10.1145/1985793.1985796 dblp

Abstract

Concurrency bugs in an operating system (OS) are detrimental as they can cause the OS to fail and affect all applications running on top of the OS. Detecting OS concurrency bugs is challenging due to the complexity of the OS synchronization, particularly with the presence of the OS specific interrupt context. Existing dynamic concurrency bug detection techniques are designed for user level applications and cannot be applied to operating systems.

BibTeX

@inproceedings{Tan-al:ICSE11,
  author    = {Lin Tan and
               Yuanyuan Zhou and
               Yoann Padioleau},
  title     = {{aComment:} mining annotations from comments and code to detect interrupt related concurrency bugs},
  booktitle = {ICSE},
  pages     = {11--20},
  publisher = {{ACM}},
  year      = {2011},
}

aComment: mining annotations from comments and code to detect interrupt related concurrency bugs

Abstract

Related papers