병렬 루프 프로그램의 오류 수정을 위한 수행중 이상 탐지 = On - the - fly Anomaly Detection for Debugging Parallel - Loop Programs

국문 초록 (Abstract)

병렬 프로그램의 오류 수정 작업이 순차 프로그램에 비해 어려운 일반적인 원인은, 공유 변수에 병렬로 접근 가능한 타스크들에 의해 초래되는 비결정적 수행 양상 때문이다. 이러한 접근 이상들을 효과적으로 탐지해내기 위한 방법으로서, 프로그램의 수행 중에 변수들에 대한 접근 명령들을 감시하여 분석할 수 있다. 수행중 탐지 기법은 프로그램의 수행 후에 분석하는 기법들에 비해 기억 장소는 훨씬 적게 드나 수행 시간의 부담이 크다. 본 연구는 다중 수준으로 단일 내포 가능한 병렬 루프 프로그램의 수행 중에 접근 이상들을 탐지하기 위한 효율적인 기법을 보인다.

다국어 초록 (Multilingual Abstract)

It is more difficult to debug erroneous parallel programs than sequential programs, since they usually show nondeterministic behaviors which are from anomalies incurred by parallel tasks accessing shared variables. To detect access anomalies effectively, one can utilize the technique that monitors a program execution to detect instructions accessing shared variables in parallel. Compared with post-mortem techniques to detect access anomalies, it is still less expensive in storage space, but not in time. An efficient technique presented here attempts to detect the anomalies at a constant cost during an execution of parallel loop programs which can be nested in one way and multiple levels.

목차 (Table of Contents)

• 요약
• ABSTRACT
• 1. 서론
• 2. 연구 배경
• 3. 타스크의 꼬리표 부여 기법
• 4. 결론
• 참고문헌
• 저자소개