CORD: Cost-effective (and nearly overhead-free) order-recording and data race detection

Proceedings - International Symposium on High-Performance Computer Architecture

Volumn 2006, Issue , 2006, Pages 232-247

  Prvulovic, Milos ^a  

^a GEORGIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; COST EFFECTIVENESS; DATA PROCESSING; DATA REDUCTION; MAGNETIC RECORDING; PROGRAM DEBUGGING; SYNCHRONIZATION;

COST-EFFECTIVE ORDER-RECORDING AND DATA RACE DETECTION (CORD); ORDER-RECORDING MECHANISMS; PARALLEL SOFTWARE;

MICROPROCESSOR CHIPS;

EID: 33748872472     PISSN: 15300897     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HPCA.2006.1598132     Document Type: Conference Paper

References (27)

1. S. V. Adve and M. D. Hill. Weak ordering - a new defhition. In 17th Intl. Symp. on Computer Architecture, pages 2-14, 1990.
2. S. V. Adve, M. D. Hill, B. P. Miller, and R. H. B. Netzer. Detecting Data Races on Weak Memory Systems. In 18th Intl. Symp. on Computer Architecture, pages 234-243, 1991.
3. K. Audenaert and L. Levrouw. Space efftient data race detection for parallel programs with series-parallel task graphs. In 3rd Euromicro Workshop on Parallel and Distributed Processing, page 508, 1995.
4. J.-D. Choi, K. Lee, A. Loginov, R. O'Callahan, V. Sarkar, and M. Sridharan. Efftient and Precise Datarace Detection for Multithreaded Object-Oriented Programs. In ACM SIGPLAN 2002 Conf. on Prog. Lang. Design and Implementation, pages 258-269, 2002.
5. J.-D. Choi and S. L. Min. Race Frontier: Reproducing Data Races in Parallel-Program Debugging. In 3rd ACM SIGPLAN Symp. on Principles & Practice of Parallel Programming, pages 145-154, 1991.
6. K. D. Cooper, M. W. Hall, R. T. Hood, K. Kennedy, K. S. McKinley, J. M. Mellor-Crummey, L. Torczon, and S. K. Warren. The ParaScope Parallel Programming Environment. Proc. of the IEEE, 81(2):244-263, 1993.
7. K. De Bosschere and M. Ronsse. Clock snooping and its application in on-the-fly data race detection. In third Intl. Symp. on Parallel Architectures, Algorithms, and Networks (I-SPAN), pages 324-330, 1997.
8. A. Dinning and E. Schonberg. An empirical comparison of monitoring algorithms for access anomaly detection. In second ACM SIGPLAN Symp. on Principles and Practice of Parallel Programming, pages 1-10, 1990.
9. C. Fidge. Logical Time in Distributed Computing Systems. IEEE Computer, 24(8):23-33, 1991.
10. R. Hood, K. Kennedy, and J. Mellor-Crummey. Parallel program debugging with on-the-fly anomaly detection. In 7990 Conf. on Supercomputing, pages 74-81, 1990.
11. L. Lamport. Time, Clocks, and the Ordering of Events in a Distributed System. Communications of the ACM, 21(7):558-565, 1978.
12. S. L. Min and J.-D. Choi. An Efftient Cache-Based Access Anomaly Detection Scheme. In 4th Intl. Conf. on Arch. Support for Prog. Lang. and Operating Sys., pages 235-244, 1991.
13. S. Narayanasamy, G. Pokam, and B. Calder. BugNet: Continuously Recording Program Execution for Deterministic Replay Debugging. In 32nd Intl. Symp. on Computer Architecture, 2005.
14. R. H. B. Netzer and B. P. Miller. Improving the accuracy of data race detection. In third ACM SIGPLAN Symp. on Principles and Practice of Parallel Programming, pages 133-144, 1991.
15. R. H. B. Netzer and B. P. Miller. What are race conditions?: Some issues and formalizations. ACM Letters on Prog. Lang, and Systems, 1(1):74-88, 1992.
16. D. Perkovic and P. J. Keleher. A Protocol-Centric Approach to On-the-Fly Race Detection. IEEE Trans. on Parallel and Distributed Systems, 11(10):1058-1072, 2000.
17. M. Prvulovic and J. Torrellas. ReEnact: Using Thread-Level Speculation Mechanisms to Debug Data Races in Multithreaded Codes. In 30th Intl. Symp. on Computer Architecture, pages 110-121, 2003.
18. M. Prvulovic, Z. Zhang, and J. Torrellas. ReVive: Cost-Effective Architectural Support for Rollback Recovery in Shared-Memory Multiprocessors. In 29th Intl. Symp. on Computer Architecture, pages 111-122, 2002.
19. B. Richards and J. R. Larus. Protocol-based data-race detection. In BIOMETRICS Symp. on Parallel and Distributed Tools, pages 40-47, 1998.
20. M. Ronsse and K. De Bosschere. RecPlay: A Fully Integrated Practical Record/Replay System. ACM Trans. on Computer Systems, 17(2):133-152, 1999.
21. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson. Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs. ACM Trans. on Computer Systems, 15(4):391-411, 1997.
22. D. Shasha and M. Snir. Efftient and Correct Execution of Parallel Programs that Share Memory. ACM Trans. on Prog. Lang. and Systems, 10(2):282-312, 1988.
23. S. Srinivasan, C. Andrews, S. Kandula, and Y. Zhou. Flashback: A Light-weight Extension for Rollback and Deterministic Replay for Software Debugging. In Usenix technical conference (USENIX), 2004.
24. C. Valot. Characterizing the Accuracy of Distributed Times-tamps. In 1993 ACM/ONR Workshop on Parallel and Distributed Debugging, pages 43-52, 1993.
25. S. C. Woo, M. Ohara, E. Torrie, J. P. Singh, and A. Gupta. The SPLASH-2 Programs: Characterization and Methodological Considerations. In 22nd Intl. Symp. on Computer Architecture, pages 24-38, 1995.
26. M. Xu, R. Bodik, and M. D. Hill. A "Flight Data Recorder" for Enabling Full-System Multiprocessor Deterministic Replay. In 30th Intl. Symp. on Computer Architecture, pages 122-135, 2003.
27. M. Xu, R. Bodk, and M. D. Hill. A Serializability Violation Detector for Shared-Memory Server Programs. In ACM SIGPLAN 2005 Conf. on Prog. Lang. Design and Implementation (PLDI), 2005.