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

  • Published : 2015.12.15

Abstract

Keywords

References

  1. 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. https://doi.org/10.1145/130616.130623
  2. 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.
  3. 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.
  4. 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. https://doi.org/10.1145/312203.312214
  5. 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. https://doi.org/10.1016/j.jpdc.2012.02.008
  6. 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. https://doi.org/10.1145/265924.265927
  7. 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.
  8. 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.
  9. 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. https://doi.org/10.1016/S0167-8191(02)00134-5
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. 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.
  15. 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. https://doi.org/10.1002/cpe.1064
  16. 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.
  17. 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.
  18. 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.
  19. 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.
  20. 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. https://doi.org/10.1145/359545.359563
  21. 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.
  22. 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. https://doi.org/10.1007/s10703-012-0143-7
  23. 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.