메시지전달 프로그램의 디버깅을 위한 경합의 확장적 시각화 = Scalable Race Visualization for Debugging Message-Passing Programs

다국어 초록 (Multilingual Abstract)

unaffected race conditions is important for debugging message-passing programs effectively, because such races can influence other races to occur or not. The previous technique used in detecting unaffected races detects a race by halting the execution of a process at the receive event of the race that occurs first in the process. However this technique does not guarantee that all of the detected races are unaffected, because halting the execution of processes does disconnect some chains of affects-relations among those races. In this paper, we improved the second pass algorithm of the previous technique by producing information about affects-relations of the races that occur first in each process. Then we effectively visualize affect-relations among the races detected in each process. This visualization is effective in detecting visually unaffected races by simplifying affects-relations among the races which occur first in each process.

국문 초록 (Abstract)

프로그램에서 발생하는 임의의 메시지경합은 다른 경합의 발생에 영향을 줄 수 있으므로, 효과적인 디버깅을 위해서 영향받지 않은 경합을 탐지하는 것이 중요하다. 이러한 경합을 효율적으로 탐지하기 위한 기존의 기법은 각 프로세스에서 가장 먼저 발생하는 경합의 수신사건에서 수행을 중단하여 경합하는 메시지들을 탐지한다. 그러나 프로세스의 수행 중단은 경합들간에 존재하는 영향관계의 단절을 초래하므로, 탐지된 모든 경합이 영향받지 않은 경합임을 보장하지 못한다. 본 논문은 기존의 두 번째 수행을 위한 알고리즘에 각 프로세스에서 가장 먼저 발생한 경합의 영향관계 정보를 생성하는 알고리즘을 추가하여, 탐지된 경합들간의 관계를 효과적으로 시각화하는 기법을 제안한다. 이러한 시각화는 각 프로세스에서 최초로 발생한 경합들간에 형성된 영향관계를 보임으로써 영향받지 않은 경합을 시각적으로 탐지하는데 효과적이다.

참고문헌 (Reference)

1 "and the Ordering of Events in a Distributed System Communications of the ACM" 558-565,

2 "Virtual Time and Global States of Distributed Systems" North holland 215-226, 1989.

3 "User's Guide for Mpich A Portable Implementation of MPI" Argonne National Laboratory 1996.

4 "The Semantics of Blocking and Nonblocking Send and Receive Primitives" pp. 729-735 : apr.1994.

5 "Testing and Debugging in Message Passing Parallel Programs ACM/ONR Workshop on Parallel and Distributed Debugging" sigplan (sigplan): 118-128,

6 "Testing Races in Parallel Programs with an OtOt Strategy" pp. 216-227 : aug.1994.

7 "Reachability Testing of Asynchronous Message-Passing Programs" pp. 50-61 : 1997.05

8 "Re-execution of Distributed Programs to Detect Bugs Hidden by Racing Messages" 1 : 423-432, jan.1997.

9 "Race Analysis of Traces of Asynchronous Message-Passing Programs" pp. 261-268 : 1997.05

10 "Partial Orders for Parallel Debugging" pp. 183-194 : 1988.05

11 "Optimal Tracing and Replay for Debugging Message-Passing Parallel Programs" pp. 502-511 : nov.1992.

12 "MPI: The Complete Reference" MIT Press 1996.

13 "Efficient Race Detection for Message-Passing Programs with Nonblocking Sends and Receives 7th Symp. on Parallel and Distributed Processing" 534-541, 1995.

14 "Debugging Race Conditions in Message- Passing Programs" acm : -1996, andk.d.suresh

15 "A Users' Guide and Tutorial for Networked Parallel Computing" MIT Press 1994.