Accentuating the positive: Atomicity inference and enforcement using correct executions

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn , Issue , 2011, Pages 19-34

  Weeratunge, Dasarath ^a   Zhang, Xiangyu ^a   Jaganathan, Suresh ^a  

^a PURDUE UNIVERSITY   (United States)

Author keywords

Atomicity; Concurrency bugs; Debugging; Locking; Profile

Indexed keywords

ATOMICITY; CONCURRENCY BUGS; EVALUATION RESULTS; INTERLEAVINGS; LOCKING; OPEN-SOURCE PROGRAM; PRODUCTION RUN; PROFILE; RUNTIME OVERHEADS;

COMPUTER DEBUGGING; COMPUTER SYSTEMS PROGRAMMING; OBJECT ORIENTED PROGRAMMING; SOFTWARE TESTING;

PROGRAM DEBUGGING;

EID: 81455141894     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2048066.2048071     Document Type: Conference Paper

References (35)

1. R. Agarwal, L. Wang, and S. D. Stoller. Detecting Potential Deadlocks with Static Analysis and Runtime Monitoring. In PADTAD'05.
2. T. Bergan, O. Anderson, J. Devietti, L. Ceze, D. Grossman. CoreDet: A Compiler and Runtime System for Deterministic Multithreaded Execution. In ASPLOS'10.
3. E. Bodden and K. Havelund. Racer: Effective Race Detection Using AspectJ. In ISSTA'08.
4. S. Burckhardt, P. Kothari, M. Musuvathi and S. Nagarakatte. A randomized scheduler with probabilistic guarantees of finding bugs. In ASPLOS'10.
5. M. D. Bond, K. E. Coons and K. S. McKinley. Pacer: Proportional Detection of Data Races. In PLDI'10.
6. R. Jr. Bocchino, S. Heumann, N. Honarmand, S. V. Adve, V. S. Adve, A. Welc and T. Shpeisman, Safe nondeterminism in a deterministic-by-default parallel language, In POPL'11.
7. L. Chew and D. Lie, Kivati: fast detection and prevention of atomicity violations, In EuroSys'10.
8. F. Chen, T. F. Serbanuta, and G. Rosu. JPredictor: A Predictive Runtime Analysis Tool for Java. In ICSE'08.
9. S. Cherem, T. M. Chilimbi, S. Gulwani. Inferring Locks for Atomic Sections. In PLDI'08.
10. H. Cui, J. Wu, C. Tsai and J. Yang. Stable Deterministic Multithreading through Schedule Memoization. In OSDI'10.
11. D. Cunningham, K. Gudka and S. Eisenbach, Keep off the grass: locking the right path for atomicity, In CC'08/ETAPS'08.
12. P. Diniz and M. Rinard, Lock Coarsening: Eliminating Lock Overhead in Automatically Parallelized Object-Based Programs, In Journal of Parallel and Distributed Computing, 49(1):218-244, 1996. (Pubitemid 128343521)
13. G. W. Dunlap, D. G. Lucchetti, M. A. Fetterman, and P. M. Chen. Execution Replay of Multiprocessor Virtual Machines. In VEE'08.
14. M. Emmi, J. S. Fischer, R. Jhala, and R. Majumdar. Lock allocation, In POPL'07.
15. C. Flanagan and S. N Freund. Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs. In POPL'04.
16. C. Hammer, J. Dolby, M. Vaziri, and F. Tip. Dynamic Detection of Atomic-Set-Serializability Violations. In ICSE'08.
17. P. Joshi, M. Naik, K. Sen, and D. Gay. An Effective Dynamic Analysis for Detecting Generalized Deadlocks. In FSE'10.
18. Z. Jin, L. Song, W. Zhang, S. Lu, and S. B. Liblit, Automated Atomicity-Violation Fixing. In PLDI'11.
19. S. Lu and S. Park and C. Hu and X. Ma, and W. Jiang and Z. Li and R. Popa, R. and Y. Zhou. MUVI: Automatically Inferring Multi-Variable Access Correlations and Detecting Related Semantic and Concurrency Bugs. In SOSP'07.
20. S. Lu, S. Park, E. Seo, and Y. Zhou. Learning from Mistakes: A Comprehensive Study on Real-World Concurrency Bug Characteristics. In ASPLOS'08.
21. B. McCloskey, F. Zhou, D. Gay and E. Brewer. Autolocker: Synchronization Inference for Atomic Sections. In POPL'06.
22. P. Montesinos, M. Hicks, S. T. King, and J. Torrellas. Capo: A Software-Hardware Interface for Practical Deterministic Multiprocessor Replay. In ASPLOS'09.
23. M. Musuvathi and S. Qadeer. Fair Stateless Model Checking. In PLDI'08.
24. R. O'Callahan and J.-D. Choi. Hybrid Dynamic Data Race Detection. In PPoPP'03.
25. S. Park, S. Lu, and Y. Zhou. CTrigger: Exposing Atomicity Violation Bugs from their Hiding Places. In ASPLOS'09.
26. P. Pratikakis, J. S. Foster and M. Hicks. LOCKSMITH: Context-Sensitive Correlation Analysis for Race Detection. In PLDI'06.
27. S. Rajamani, G. Ramalingam, V. P. Ranganath, and K. Vaswani, ISOLATOR: dynamically ensuring isolation in concurrent programs, In ASPLOS'09.
28. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson. Eraser: A Dynamic Data Race Detector for Multithreaded Programs. ACM Trans. Comp. Sys., 1997.
29. M. Vaziri, F. Tip and J. Dolby. Associating Synchronization Constraints with Data in an Object-Oriented Language. In POPL'06.
30. L. Wang and S. D. Stoller. Accurate and Efficient Runtime Detection of Atomicity Errors in Concurrent Programs. In PPoPP'06.
31. D. Weeratunge, X. Zhang and S. Jagannathan, Analyzing multicore dumps to facilitate concurrency bug reproduction. In ASPLOS'10.
32. D. Weeratunge, X. Zhang and S. Jagannathan, Suppressing Concurrency Bugs Using Scheduler Shepherding. Feb. 04, 2011, TR-11-002 http://www.cs.purdue.edu/ research/technical-reports/2011/TR%2011-002.pdf.
33. J. Wu, H. Cui and J. Yang. Bypassing Races in Live Applications with Execution Filters. In OSDI'10.
34. M. Xu, R. Bodik, and M. D. Hill. A Serializability Violation Detector for Shared-Memory Server Programs. In PLDI'05.
35. J. Yu and S. Narayanasamy. A Case for an Interleaving Constrained Shared-Memory Multi-Processor. In ISCA'09.