Loading...
Please wait, while we are loading the content...
Similar Documents
A System for Detecting, Preventing and Exposing Atomicity Violations in Multithreaded Programs
| Content Provider | Semantic Scholar |
|---|---|
| Author | Chew, Lee |
| Copyright Year | 2009 |
| Abstract | Multi-core machines have become common and have led to an increase in multithreaded software. In turn, the number of concurrency bugs has also increased. Such bugs are elusive and remain difficult to solve, despite existing research. Thus, this thesis proposes a system which detects, prevents and optionally helps expose concurrency bugs. Specifically, we focus on bugs caused by atomicity violations, which occur when thread interleaving violates the programmer's assumption that a code section executes atomically. At compile-time, our system performs static analysis to identify code sections where violations could occur. At run-time, we use debug registers to monitor these sections for interleaving thread accesses which would cause a violation. If detected, we undo their effects and thus prevent the violation. Optionally, we help expose atomicity violations by perturbing thread scheduling during execution. Our results demonstrate that the system is effective and imposes low overhead. iii Acknowledgments First, I would like to thank Professor David Lie for his guidance. His insight, knowledge and expertise have greatly improved this work. Second, I would like to thank my fellow graduate students, I would like to also thank the Ontario Graduate Scholarship program and the University of Toronto for funding my studies. Finally, I would to thank my family for their love and support. They have made this endeavour even more worthwhile. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.eecg.toronto.edu/~lie/papers/lchew_msthesis.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
