[논문 리뷰] Execution replay and debugging

Michiel Ronsse, Koenraad De Bosschere외 1명|ArXiv.org|2000. 11. 06.

Parallel Computing and Optimization Techniques참고 문헌 26인용 수 37

한 줄 요약

이 논문은 비결정성 병렬 및 분산 프로그램 디버깅을 위한 실행 재생 기법에 대한 종합적인 설문 조사와 함께, 실행 추적을 기록하고 이를 결정적으로 재생하는 이단계적 접근을 제안한다. 주요 기여는 비결정성 시스템에 표준 순환 디버깅 도구를 적용할 수 있도록, 벡터 클록과 메시지 추적 기법을 사용해 최소한의 성능 오버헤드로 실행 이벤트를 캡처하고 재생하는 데 있다.

ABSTRACT

As most parallel and distributed programs are internally non-deterministic -- consecutive runs with the same input might result in a different program flow -- vanilla cyclic debugging techniques as such are useless. In order to use cyclic debugging tools, we need a tool that records information about an execution so that it can be replayed for debugging. Because recording information interferes with the execution, we must limit the amount of information and keep the processing of the information fast. This paper contains a survey of existing execution replay techniques and tools.

연구 동기 및 목표

• 수작업으로 작성된 병렬 및 분산 프로그램에 대해 효과적인 디버깅 도구가 부족한 문제를 해결한다. 이러한 프로그램은 본질적으로 비결정성이다.
• 시간 간섭으로 인해 비결정성 동작(예: 히젠버그 버그)에서 실패하는 전통적 디버거의 한계를 극복한다.
• 브레이크포인트와 데이터 레이스 탐지와 같은 표준 순환 디버깅 기법을 병렬 및 분산 프로그램에 적용할 수 있도록 결정적 재생을 통해 가능하게 한다.
• 순차적, 병렬, 분산 프로그램에서의 비결정성 원인을 식별하고 분류하여 추적 수집 및 재생 설계를 안내한다.
• 기존의 실행 재생 방법을 설문 조사하고 평가하며, 재생의 결정성 확보와 함께 성능 및 스토리지 오버헤드를 최소화하는 데 초점을 맞춘다.

제안 방법

• 정상 실행 동안 프로그램 실행 추적을 기록하고, 동일한 입력과 기록된 이벤트를 사용해 결정적으로 재생하는 이단계 실행 재생 모델을 사용한다.
• 벡터 클록을 적용해 이벤트 간 인과 관계를 추적하고, 특히 공유 메모리 시스템에서 데이터 레이스를 탐지한다.
• 인과적으로 관련 없는 메모리 작업을 기각함으로써 메모리 오버헤드를 줄이기 위해 스쿠프드 매트릭스 클록을 활용한다.
• MPI, PVM 등의 메시지 전달 라이브러리를 인스트루멘터링하여, 비차단 테스트 연산을 포함한 전송 및 수신 작업을 로깅함으로써 재생의 결정성을 확보한다.
• 일반 수신 연산의 경우 실제 송신자를 기록하여 재생 시 포인트 투 포인트 수신으로 대체함으로써 비결정성을 제거한다.
• 태그가 부여된 메시지와 체크포인트를 사용해 시뮬레이션 또는 부분적인 재생을 수행하며, 특히 PVM과 같은 분산 시스템이나 아타파스칸과 같은 하이브리드 시스템에서 유용하다.

실험 결과

연구 질문

• RQ1 비결정성 병렬 및 분산 프로그램의 비결정성 행동을 어떻게 캡처하고 결정적으로 재생하여 표준 디버깅을 가능하게 할 수 있는가?
• RQ2 병렬 및 분산 프로그램에서의 비결정성의 주요 원인은 무엇이며, 순차적 프로그램과의 차이는 무엇인가?
• RQ3 정확하고 완전한 실행 재생을 보장하면서도 성능 및 스토리지 오버헤드를 최소화하는 기법은 무엇인가?
• RQ4 일반 수신 연산을 포함한 메시지 전달 시스템은 재생 시 어떻게 결정적으로 만들 수 있는가?
• RQ5 추적 및 메시지 로깅의 진전에도 불구하고, 왜 입력 재생은 여전히 해결되지 않은 문제인가?

주요 결과

• 실행 재생을 통해 재생 실행을 결정적으로 만들었기 때문에, 비결정성 병렬 및 분산 프로그램에서 표준 순환 디버깅 도구를 사용할 수 있게 되었다.
• 벡터 클록은 메모리 작업 간의 인과적 의존성을 추적함으로써 재생 중 데이터 레이스 탐지에 효과적이다.
• 스쿠프드 매트릭스 클록은 인과적으로 관련 없는 작업을 기각함으로써 데이터 레이스 탐지 시 메모리 오버헤드를 크게 감소시킨다.
• 메시지 전달 시스템(MPI, PVM 등)에서의 메시지 로깅은 결정적 재생을 가능하게 하지만, 비차단 테스트 연산은 정확성을 확보하기 위해 명시적으로 기록되어야 한다.
• 실제 송신자를 기록함으로써 일반 수신 연산은 재생 시 포인트 투 포인트 수신으로 대체 가능해져 비결정성을 제거할 수 있다.
• 진전이 있었음에도 불구하고, 현재까지도 프로그램 입력(예: 키보드, 파일 I/O)의 결정적 재생을 완전히 지원하는 도구는 존재하지 않아 디버깅 파이프라인에서 중요한 격차가 존재한다.