Toward Integration of Data Race Detection in DSM Systems

Journal of Parallel and Distributed Computing

Volumn 59, Issue 2, 1999, Pages 180-203

  Itzkovitz, Ayal ^a   Schuster, Assaf ^b   Zeev Ben Mordehai, Oren ^b  

^a POLYTECHNIC UNIVERSITY   (United States)

^b NONE

Author keywords

Data race detection; Debugging tools; Distributed shared memory; Parallel computation

Indexed keywords

EID: 0000842827     PISSN: 07437315     EISSN: None     Source Type: Journal    
DOI: 10.1006/jpdc.1999.1574     Document Type: Article

References (23)

1. Adve S. V., Hill M. D., Miller B. P., Netzer R. H. B. Detecting data races on weak memory systems. Proc. 18th Annual International Symposium on Computer Architecture (ISCA'91). May 1991;. p. 234-243.
2. Bailey D., Barton J., Lasinski T., Simon H. Technical Report. Aug. 1991.
3. Ben-Asher Y., Feitelson D., Rudolph L. ParC: An extension of C for shared memory parallel processing. Software Practice Experience. 26:May 1996;581-612.
4. Boden N. J., Cohen D., Felderman R. E., Kulawik A. E., Seitz C. L., Seizovic J. N., Su W.-K. Myrinet: A gigabit-per-second local area network. IEEE Micro. 15:Feb. 1995;29-36.
5. Choi J., Min S. L. An efficient cache-based access anomaly detection scheme. Proc. 4th Symposium on Architectural Support for Programming Languages and Operating Systems (ASPLOS-IV). Apr. 1991.
6. Dinning A., Schonberg E. An empirical comparison of monitoring algorithms for access anomaly detection. Proc. Second ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP'90). Mar. 1990;. p. 1-10.
7. Hood R., Kennedy K., Mellor-Crummey J. Parallel program debugging with on-the-fly anomaly detection. Proc. Supercomputing'90. Nov. 1990;. p. 74-81.
8. A. Itzkovitz, N. Niv, and, A. Schuster, Dynamic adaptation of sharing granularity in DSM Systems, in, Proc. 1999 International Conference on Parallel Processing (ICPP'99), in press.
9. Itzkovitz A., Schuster A. MultiView and Millipage - Fine-grain sharing in page-based DSMs. Proc. 3rd Symposium on Operating Systems Design and Implementation (OSDI'99). Feb. 1999;. p. 215-228.
10. Keleher P., Dwarkadas S., Cox A. L., Zwaenepoel W. Treadmarks: Distributed shared memory on standard workstations and operating systems. Proc. Winter 1994 USENIX Conference. Jan. 1994;. p. 115-131.
11. Lamport L. Time, clocks, and the ordering of events in a distributed system. Comm. ACM. 21:July 1978;558-564.
12. Mattern F. Virtual time and global states of distributed systems. C. M. Parallel and Distributed Algorithms. 1989;215-226 Elsevier/North-Holland, Amsterdam.
13. Mellor-Crummey J. On-the-fly detection of data races for programs with nested fork-join parallelism. Proc. Supercomputing'91. Nov. 1991;. p. 24-33.
14. Netzer R. H., Miller B. P. Detecting Data Races in Parallel Program Executions. Research Monographs in Parallel and Distributed Computing. 1991.
15. Netzer R. H., Miller B. P. Improving accuracy of data race detection. Proc. Third ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP'91). Apr. 1991.
16. Netzer R. H. B. Race Condition Detection for Debugging Shared-Memory Parallel Programs. Aug. 1991;University of Wisconsin-Madison.
17. Netzer R. H. B., Miller B. P. What are race conditions? Some issues and formalizations. ACM Lett. Programming Languages Systems. 1:Mar. 1992;74-88.
18. Nudler I., Rudolph L. Tools for the efficient development of efficient parallel programs. Proc. First Israeli Conference on Computer System Engineering. 1988.
19. Pakin S., Karamacheti V., Chien A. Fast messages: Efficient, portable communication for workstation clusters and massively-parallel processors. IEEE Concurrency. 5:1997;60-73.
20. Perkovic D., Keleher P. Online data-race detection via coherency guarantees. Proc. 2nd Symposium on Operating Systems Design and Implementation (OSDI'96). Oct. 1996;. p. 47-57.
21. Richards B., Larus J. R. Protocol-based data-race detection. Proc. 2nd SIGMETRCIS Symposium on Parallel and Distributed Tools (SPDT'98). Aug. 1998.
22. Savage S., Burrows M., Nelson G., Sobalvarro P., Anderson T. Eraser: A dynamic data race detector for multi-threaded programs. Proc. 16th ACM Symposium on Operating Systems Principles (SOSP-16). Oct. 1997.
23. Woo S., Ohara M., Torrie E., Singh J., Gupta A. The SPLASH-2 programs: Characterization and methodological considerations. Proc. 22nd Annual International Symposium on Computer Architecture (ISCA'95). Jun. 1995.