멀티 스레드 프로그램의 자료경합 탐지를 위한 수행 중 감시 도구 


42권  2호, pp. 155-161, 2월  2015


PDF

  요약

멀티 스레드 프로그램의 수행 중에 발생하는 자료경합과 원자성 위배 등과 같은 동시성 오류는 스레드들의 비결정적 수행으로 인해 다양한 수행 순서를 고려해야 하고 재생산 또한 어렵기 때문에 디버깅하기 어렵고 귀찮은 오류로 잘 알려져 있다. 이러한 자료경합을 디버깅하기 위해서는 스레드의 수행순서와 메모리 접근 및 동기화 정보 등과 같은 프로그램의 수행 중에 발생한 정보를 수집 및 분석해야 한다. 본 논문에서는 멀티 스레드 프로그램의 수행 중에 벡터 클록 시스템을 기반으로 스레드의 병행성과 접근사건들 간의 순서관계를 생성 및 유지함으로써 정확하면서도 효율적인 감시와 분석이 가능한 도구인 VcTrace를 제시한다. 제시된 감시 도구를 사용하여 멀티 스레드 기반의 응용 프로그램을 대상으로 수행중 발생한 스레드와 접근사건 등의 정보를 감시 및 유지하고, 자료경합을 탐지하는 기술과 접목하여 실용성을 분석한다.


  통계
2022년 11월부터 누적 집계
동일한 세션일 때 여러 번 접속해도 한 번만 카운트됩니다. 그래프 위에 마우스를 올리면 자세한 수치를 확인하실 수 있습니다.
  논문 참조

[IEEE Style]

B. Paeng, S. Park, I. Kuh, O. Ha, Y. Jun, "On-the-fly Monitoring Tool for Detecting Data Races in Multithread Programs," Journal of KIISE, JOK, vol. 42, no. 2, pp. 155-161, 2015. DOI: .


[ACM Style]

Bong-Jun Paeng, Se-Won Park, In-Bon Kuh, Ok-Kyoon Ha, and Yong-Kee Jun. 2015. On-the-fly Monitoring Tool for Detecting Data Races in Multithread Programs. Journal of KIISE, JOK, 42, 2, (2015), 155-161. DOI: .


[KCI Style]

팽봉준, 박세원, 구인본, 하옥균, 전용기, "멀티 스레드 프로그램의 자료경합 탐지를 위한 수행 중 감시 도구," 한국정보과학회 논문지, 제42권, 제2호, 155~161쪽, 2015. DOI: .


[Endnote/Zotero/Mendeley (RIS)]  Download


[BibTeX]  Download



Search




Journal of KIISE

  • ISSN : 2383-630X(Print)
  • ISSN : 2383-6296(Electronic)
  • KCI Accredited Journal

사무국

  • Tel. +82-2-588-9240
  • Fax. +82-2-521-1352
  • E-mail. chwoo@kiise.or.kr