Browse > Article

멀티 스레드 프로그램을 위한 동적 자료경합 탐지 기술 현황  

Ha, Ok-Gyun (국립경상대학교)
Jeon, Yong-Gi (국립경상대학교)
Publication Information
Communications of the Korean Institute of Information Scientists and Engineers / v.33, no.12, 2015 , pp. 45-51 More about this Journal
Keywords
Citations & Related Records
연도 인용수 순위
  • Reference
1 O.-K. Ha, I.-B. Kuh, G. M. Tchamgoue, and Y.-K. Jun, "On-the-fly detection of data races in OpenMP programs," in Proceedings of the Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD '12), pp. 1 - 10, ACM, New York, NY, USA, 2012.
2 L. Lamport, "Time, clocks, and the ordering of events in a distributed system," Communications of the ACM, vol. 21, no. 7, pp. 558 - 565, 1978.   DOI
3 R. Baldoni and M. Raynal, "Fundamentals of distributed computing: a practical tour of vector clock systems," IEEE Distributed Systems Online, vol. 3, no. 2, 2002.
4 R. Raman, J. Zhao, V. Sarkar, M. Vechev, and E. Yahav, "Efficient data race detection for async-finish parallelism," Formal Methods in System Design, vol. 41, no. 3, pp. 321 - 347, 2012.   DOI
5 O.-K. Ha and Y.-K. Jun, "An efficient algorithm for on-the-fly data race detection using an epoch-based technique," Scientific Programming, vol. 2015, Article ID 205827, 14 pages, 2015.
6 R. H. B. Netzer and B. P. Miller, "What are race conditions?: some issues and formalizations," ACM Letters on Programming Languages and Systems, vol. 1, no. 1, pp. 74 - 88, 1992.   DOI
7 U. Banerjee, B. Bliss, Z. Ma, and P. Petersen, "A theory of data race detection," in Proceedings of the Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD '06), pp. 69 - 78, ACM, New York, NY, USA, 2006.
8 E. Pozniansky and A. Schuster, "Efficient on-the-fly data race detection in multithreaded c++ programs," in Proceedings of the 9th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP '03), pp. 179 - 190, ACM, June 2003.
9 X. Zhou, K. Lu, X. Wang, and X. Li, "Exploiting parallelism in deterministic shared memory multiprocessing," Journal of Parallel and Distributed Computing, vol. 72, no. 5, pp. 716 - 727, 2012.   DOI
10 M. Ronsse and K. De Bosschere, "RecPlay: a fully integrated practical record/replay system," ACM Transactions on Computer Systems, vol. 17, no. 2, pp. 133 - 152, 1999.   DOI
11 S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson, "Eraser: a dynamic data race detector for multithreaded programs," ACM Transactions on Computer Systems, vol. 15, no. 4, pp. 391 - 411, 1997.   DOI
12 A. Dinning and E. Schonberg, "Detecting access anomalies in programs with critical sections," in Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging (PADD '91), pp. 85 - 96, ACM, New York, NY, USA, May 1991.
13 J. Mellor-Crummey, "On-the-fly detection of data races for programs with nested fork-join parallelism," in Proceedings of the ACM/lIEEE conference on Supercomputing (Supercomputing '91), pp. 24 - 33, ACM, New York, NY, USA, November 1991.
14 M. Christiaens, M. Ronsse, and K. De Bosschere, "Bounding the number of segment histories during data race detection," Parallel Computing, vol. 28, no. 9, pp. 1221 - 1238, 2002.   DOI
15 C. Flanagan and S. N. Freund, "FastTrack: efficient and precise dynamic race detection," in Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '09), pp. 121 - 133, ACM, June 2009.
16 A. Muzahid, D. Suarez, S. Qi, and J. Torrellas, "Sigrace: signaturebased data race detection," SIGARCH's Computer Architecture News, vol. 37, no. 3, pp. 337 - 348, 2009.
17 E. Pozniansky and A. Schuster, "MultiRace: efficient on-the-fly data race detection in multithreaded C++ programs: research articles," Concurrency and Computation: Practice & Experience, vol. 19, no. 3, pp. 327 - 340, 2007.   DOI
18 K. Serebtyany and T. Iskhodzhanov, "Threadsanitizer-data race detection in practice," in Proceedings of the Workshop on Binary Instrumentation and Applications (WBIA '09), pp. 62 - 71, ACM, New York, NY, USA, December 2009.
19 J. J. Harrow, "Runtime checking of multithreaded applications with visual threads," in SPIN Model Checking and Software Verification: 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000. Proceedings, vol. 1885 of Lecture Notes in Computer Science, pp. 331 - 342, Springer, Berlin, Germany, 2000.
20 A. Jannesari and W. F. Tichy, "On-the-fly race detection in multi-threaded programs," in Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD '08), ACM, New York, NY, USA, July 2007.
21 X. Xie and J. Xue, "Acculock: accurate and efficient detection of data races," in Proceedings of the 9th Annual IEEE/ACM International Symposium on Code Generation and Optimization (CGO'11), pp. 201 - 212, IEEE Computer Society, Chamonix, France, April 2011.
22 Y. Yu, T. Rodeheffer, and W. Chen, "RaceTrack: efficient detection of data race conditions via adaptive tracking," in Proceedings of the 20th ACM Symposium on Operating Systems Principles (SOSP'05), pp. 221 - 234, ACM, October 2005.
23 R. O'Callahan and J.-D. Choi, "Hybrid dynamic data race detection," in Proceedings of the 9th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP '03), pp. 167 - 178, ACM, New York, NY, USA, June 2003.