Efficient and precise datarace detection for multithreaded object-oriented programs

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 2002, Pages 258-269

  Choi, Jong Deok ^a   Lee, Keunwoo ^a   Loginov, Alexey ^a   O'Callahan, Robert ^a   Sarkar, Vivek ^a   Sridharan, Manu ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

Dataraces; Debugging; Multithreaded programming; Object oriented programming; Parallel programs; Race conditions; Static dynamic co analysis; Synchronization

Indexed keywords

COMPUTER PROGRAMMING; MULTITASKING; OPTIMIZATION; PARALLEL PROCESSING SYSTEMS; PROGRAM DEBUGGING; SOFTWARE ENGINEERING; SYNCHRONIZATION;

DATARACE DETECTION; MULTITHREADING;

OBJECT ORIENTED PROGRAMMING;

EID: 0036040605     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/543552.512560     Document Type: Conference Paper

References (27)

1. Barrier inference
2. The Jalapeño virtual machine
3. Guava: A dialect of java without data races
4. Escape analysis for object oriented languages: Application to java
5. Removing unnecessary synchronization in java
6. A parameterized type system for race-free java programs
7. Flow-insensitive interprocedural alias analysis in the presence of pointers
8. Detecting data races in Cilk programs that use locks
9. A perturbation-free replay platform for cross-optimized multithreaded applications
10. Escape analysis for java
11. Race frontier: Reproducing data races in parallel-program debugging
12. TRaDe, a topological approach to on-the-fly race detection in java programs
13. Detecting access anomalies in programs with critical sections
14. Type-based race detection for java
15. Trie memory
16. An efficient cache-based access anomaly detection scheme
17. What are race conditions? Some issues and formalizations
18. Object race detection
19. Protocol-based data-race detection
20. Effective synchronization removal for java
21. Eraser: A dynamic data race detector for multi-threaded programs
22. On-The-Fly detection of access anomalies
23. Points-to analysis in almost linear time
24. Warlock: A static data race analysis tool