[논문 리뷰] A brief overview of the MAD debugging activities

Dieter Kranzlmueller, Christian Schaubschlaeger외 1명|arXiv (Cornell University)|2000. 12. 16.

Parallel Computing and Optimization Techniques참고 문헌 4인용 수 10

한 줄 요약

이 논문은 MPI 기반 병렬 프로그램을 위한 그래픽 디버깅 환경인 MAD(Monitoring And Debugging)를 제시한다. MAD는 실행 과정을 시각화하고 레이스 컨dition과 같은 비결정적 행동을 분석하기 위해 시공간 다이어그램을 사용한다. 기록 및 재생 기능과 상호작용 가능한 이벤트 조작을 통합함으로써, MAD는 분산 배열 검사, 그래픽 브레이크포인트 설정, 대체 실행 경로 평가 기능을 제공하여 고성능 계산 환경에서의 디버깅 복잡성을 크게 감소시킨다.

ABSTRACT

Debugging parallel and distributed programs is a difficult activitiy due to the multiplicity of sequential bugs, the existence of malign effects like race conditions and deadlocks, and the huge amounts of data that have to be processed. These problems are addressed by the Monitoring And Debugging environment MAD, which offers debugging functionality based on a graphical representation of a program's execution. The target applications of MAD are parallel programs applying the standard Message-Passing Interface MPI, which is used extensively in the high-performance computing domain. The highlights of MAD are interactive inspection mechanisms including visualization of distributed arrays, the possibility to graphically place breakpoints, a mechanism for monitor overhead removal, and the evaluation of racing messages occuring due to nondeterminism in the code.

연구 동기 및 목표

• MPI 표준을 사용하는 병렬 및 분산 프로그램 디버깅의 복잡성을 해결하기 위해.
• 그래픽 실행 시각화를 통해 디버깅 오버헤드를 줄이고 프로그램 이해도를 향상시키기 위해.
• 레이스 컨dition과 같은 비결정적 행동을 분석하고 해결하기 위한 메커니즘을 제공하기 위해.
• 배포된 데이터 구조물(예: 배열)의 상호작용적 검사를 지원하기 위해.
• 통합된 그래픽 인터페이스 내에서 브레이크포인트 설정 및 모니터 오버헤드 제거와 같은 고급 디버깅 기능을 통합하기 위해.

제안 방법

• 병렬 프로그램 실행을 시각화하기 위해 중심적인 디버깅 추상화로 시공간 다이어그램을 사용한다.
• 런타임 인스트루멘테이션 및 트레이스 수집을 위해 NOPE(Nondeterministic Program Evaluator)를 활용한다.
• 사용자 정의 모니터링 이벤트를 매크로(예: monARRAYTRACE)를 통해 삽입하여 배열 및 변수 검사를 가능하게 한다.
• 비결정적 프로그램 행동을 재현하고 분석하기 위해 기록 및 재생 메커니즘을 적용한다.
• 와일드카드 수신 작업에서의 대체 실행 순서를 시뮬레이션하기 위해 그래픽 이벤트 조작을 가능하게 한다.
• 선택한 와일드카드 수신에서 모든 경쟁 메시지를 강조 표시하고, 메시지 순서를 상호작용적으로 선택할 수 있도록 시각화한다.

실험 결과

연구 질문

• RQ1 그래픽 실행 시각화는 병렬 프로그램 디버깅의 복잡성을 어떻게 감소시킬 수 있는가?
• RQ2 메시지 전달 프로그램에서 레이스 컨dition을 효과적으로 분석할 수 있는 메커니즘은 무엇인가?
• RQ3 비결정적 행동는 어떻게系통적으로 평가하고 재현할 수 있는가?
• RQ4 고성능 계산 환경에서 디버깅 정밀도를 유지하면서 모니터 오버헤드를 최소화할 수 있는가?
• RQ5 배포된 데이터 구조물(예: 배열)은 병렬 프로그램 디버깅 중 어떻게 효과적으로 검사할 수 있는가?

주요 결과

• 텍스트 기반 디버거에 비해 그래픽적 시공간 표현 방식은 프로그램 이해도를 크게 향상시키고 디버깅 복잡성을 감소시킨다.
• 기록 및 재생 기능과 이벤트 조작의 통합은 개발자가 대체 실행 경로를 탐색하고 레이스 컨dition의 영향을 평가할 수 있도록 한다.
• monARRAYTRACE를 통한 배열 시각화 기능은 디버깅 중 분산 다차원 배열의 효과적인 검사를 가능하게 한다.
• 도구는 와일드카드 수신 작업과 그에 관련된 경쟁 메시지를 성공적으로 식별하고 강조 표시하여 타겟 분석을 지원한다.
• 선택적 인스트루멘테이션 및 동적 제거 메커니즘을 통해 모니터 오버헤드를 감소시켜 디버깅 중 성능을 향상시켰다.
• 비결정적 행동의 재현 가능한 분석이 가능해져 병렬 디버깅에서 발생하는 재현 불가 및 불완전성 문제를 완화시켰다.