Detailed Information
Cited 0 time in 
Cited 0 time in 
Cited 0 time in
Metadata Downloads
OpenMP 디렉티브 프로그램을 위한 자료경합 검증도구A Verification Tool of Data Races in Programs with OpenMP Directives
- Other Titles
- A Verification Tool of Data Races in Programs with OpenMP Directives
- Issue Date
- 2007
- Publisher
- 한국정보과학회
- Keywords
- OpenMP 프로그램; 경합검증; Intel Thread Checker; OpenMP Programs; Race Verification; Intel Thread Checker
- Citation
- 정보과학회논문지 : 시스템 및 이론, v.34, no.9, pp 395 - 406
- Pages
- 12
- Indexed
- KCI
- Journal Title
- 정보과학회논문지 : 시스템 및 이론
- Volume
- 34
- Number
- 9
- Start Page
- 395
- End Page
- 406
- ISSN
- 1229-683X
- Abstract
- 디렉티브를 가진 프로그램에서 경합은 프로그램의 의도하지 않은 비결정적 수행결과를 초래하기 때문에 디버깅을 위해서 반드시 탐지되어야 한다. 하지만 이를 위한 기존의 경합탐지 도구인 Intel사의 Thread Checker는 경합의 존재를 검증하지 못하고 경합을 탐지하는 비용이 크므로 비실용적이다. 본 논문에서는 OpenMP 프로그램의 특성 및 사용자 요구사항의 분석결과를 이용하여 최적의 기능과 성능으로 경합을 검증하는 웹 기반 도구를 제시한다. 그리고 합성 프로그램을 이용하여 실험한 결과로서 Thread Checker는 경합의 존재를 검증하지 못하고 경합탐지 시에 소요되는 시간의 증가비율은 총 접근사건수 n에 대해서 O(n2)이지만 제안된 도구는 경합의 존재를 검증하고 소요되는 시간의 증가비율은 O(n)이므로 기능 및 성능적인 측면에서 실용적인 도구이다.
- Files in This Item
- There are no files associated with this item.
- Appears in
Collections - 공과대학 > Department of Aerospace and Software Engineering > Journal Articles
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.