Toward Integration of Data Race Detection in DSM Systems

作者: Ayal Itzkovitz , Assaf Schuster , Oren Zeev-Ben-Mordehai

DOI: 10.1006/JPDC.1999.1574

关键词:

摘要: We present a distributed algorithm, called djit, for detecting data races in dsm systems. djit is designed as add-on, race condition soon one created. It instantly displays to the user precise place program where occurred. There are no false detections, and missed. have implemented on top of millipage?a fine granularity, page-based system. Our implementation makes novel use operating system protection mechanisms. In particular, we propose cache, which can be used local logging accesses variables. As result, our does not increase message complexity execution, piggybacking all its communication activity dsm-related messages. The performance figures show that detection mechanism has only minor influence performance. measured overheads, averaging few percent, two orders magnitude smaller than those achieved previous work. Thus, technique integration on-the-fly during regular execution feasible first time.

参考文章(22)
所真理雄, None, Tenth ACM Symposium on Operating Systems Principles コンピュータソフトウェア = Computer software. ,vol. 3, pp. 165- 168 ,(1986)
Sandhya Dwarkadas, Alan L. Cox, Willy Zwaenepoel, Pete Keleher, TreadMarks: distributed shared memory on standard workstations and operating systems usenix winter technical conference. pp. 10- 10 ,(1994)
Robert Harry Benson Netzer, Pace condition detection for debugging shared-memory parallel programs University of Wisconsin at Madison. ,(1992)
A. Itzkovitz, N. Niv, A. Schuster, Dynamic adaptation of sharing granularity in DSM systems international conference on parallel processing. pp. 220- 227 ,(1999) , 10.1109/ICPP.1999.797407
Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson, Eraser: a dynamic data race detector for multithreaded programs ACM Transactions on Computer Systems. ,vol. 15, pp. 391- 411 ,(1997) , 10.1145/265924.265927
YOSI BEN‐ASHER, DROR G. FEITELSON, LARRY RUDOLPH, ParC —an extension of C for shared memory parallel processing Software - Practice and Experience. ,vol. 26, pp. 581- 612 ,(1996) , 10.1002/(SICI)1097-024X(199605)26:5<581::AID-SPE53>3.0.CO;2-P
Brad Richards, James R. Larus, Protocol-based data-race detection Proceedings of the SIGMETRICS symposium on Parallel and distributed tools - SPDT '98. pp. 40- 47 ,(1998) , 10.1145/281035.281040
Robert H. B. Netzer, Barton P. Miller, What are race conditions?: Some issues and formalizations ACM Letters on Programming Languages and Systems. ,vol. 1, pp. 74- 88 ,(1992) , 10.1145/130616.130623