Cooperative empirical failure avoidance for multithreaded programs

International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS

Volumn , Issue , 2013, Pages 39-50

  Lucia, Brandon ^a   Ceze, Luis ^a  

^a UNIVERSITY OF WASHINGTON   (United States)

Author keywords

Concurrency; Cooperative failure avoidance

Indexed keywords

CLOUD APPLICATIONS; CONCURRENCY; CONCURRENT PROGRAMMING; ERROR HANDLING AND RECOVERY; FAILURE AVOIDANCE; MULTI-THREADED PROGRAMS; ORDERS OF MAGNITUDE; TESTING AND DEBUGGING;

PARALLEL PROGRAMMING;

EID: 84875657084     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2451116.2451121     Document Type: Conference Paper

References (28)

1. Issue 127: incr/decr operations are not thread safe. http://code.google. com/p/memcached/issues/detail?id=127.
2. T. Bergan et al. Coredet: a compiler and runtime system for deterministic multithreaded execution. In ASPLOS, 2010.
3. S. Burckhardt, P. Kothari, M. Musuvathi, and S. Nagarakatte. A Randomized Scheduler with Probabilistic Guarantees of Finding Bugs. In ASPLOS, 2010.
4. G. Jin et al. Automatic atomicity-violation fixing. In PLDI, 2011.
5. G. Jin, A. Thakur, B. Liblit, and S. Lu. Instrumentation and sampling strategies for Cooperative Concurrency Bug Isolation. In OOPSLA, 2010.
6. H. Jula, P. Tozun, and G. Candea. Communix: A collaborative deadlock immunity framework. In DSN, 2011.
7. H. Jula, D. M. Tralamazza, C. Zamfir, and G. Candea. Deadlock immunity: Enabling systems to defend against deadlocks. In OSDI, pages 295-308, 2008.
8. B. Kasikci, C. Zamfir, and G. Candea. Data races vs. data race bugs: telling the difference with portend. In ASPLOS '12, 2012.
9. C. Lattner and V. Adve. LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation. In CGO, 2004.
10. S. Lu, S. Park, E. Seo, and Y. Zhou. Learning from Mistakes - A Comprehensive Study on Real World Concurrency Bug Characteristics. In ASPLOS, 2008.
11. S. Lu, J. Tucek, F. Qin, and Y. Zhou. AVIO: Detecting Atomicity Violations via Access Interleaving Invariants. In ASPLOS, 2006.
12. B. Lucia, L. Ceze, and K. Strauss. ColorSafe: Architectural Support for Debugging and Dynamically Avoiding Multi-Variable Atomicity Violations. In ISCA, 2010.
13. B. Lucia, J. Devietti, K. Strauss, and L. Ceze. Atom-Aid: Detecting and Surviving Atomicity Violations. In ISCA, 2008.
14. C.-K. Luk et al. Pin: Building Customized Program Analysis Tools with Dynamic Instrumentation. In PLDI, 2005.
15. P. Montesinos, L. Ceze, and J. Torrellas. DeLorean: Recording and Deterministically Replaying Shared-Memory Multiprocessor Execution Efficiently. In ISCA, 2008.
16. G. Novark, E. D. Berger, and B. G. Zorn. Exterminator: automatically correcting memory errors with high probability. In PLDI '07, 2007.
17. M. Olszewski, J. Ansel, and S. Amarasinghe. Kendo: efficient deterministic multithreading in software. In ASPLOS, 2009.
18. S. Park, S. Lu, and Y. Zhou. CTrigger: Exposing Atomicity Violation Bugs from Their Hiding Places. In ASPLOS, 2009.
19. J. H. Perkins et al. Automatically patching errors in deployed software. In SOSP, 2009.
20. F. Qin, J. Tucek, J. Sundaresan, and Y. Zhou. Rx: treating bugs as allergies-a safe method to survive software failures. In SOSP, 2005.
21. S. Rajamani et al. Isolator: Dynamically ensuring isolation in concurrent programs. In MICRO, 2009.
22. P. Ratanaworabhan et al. Detecting and tolerating asymmetric races. In IEEE Transactions on Computers, 2011.
23. M. Rinard et al. Enhancing server availability and security through failure-oblivious computing. In OSDI, 2004.
24. Y. Shi et al. Do I use the wrong definition? defuse: definition-use invariants for detecting concurrency and sequential bugs. In OOPSLA, 2010.
25. H. Volos, A. J. Tack, M. M. Swift, and S. Lu. Applying transactional memory to concurrency bugs. In ASPLOS 2012, 2012.
26. J. Wu, H. Cui, and J. Yang. Bypassing races in live applications with execution filters. In OSDI, 2010.
27. J. Yu and S. Narayanasamy. A Case for an Interleaving Constrained Shared-Memory Multi-Processor. In ISCA, 2009.
28. J. Yu and S. Narayanasamy. Tolerating concurrency bugs using transactions as lifeguards. In MICRO, 2010.