[논문 리뷰] Temporal Debugging using URDB

Ana Maria Visan, Artem Y. Polyakov외 4명|ArXiv.org|2009. 10. 27.

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

한 줄 요약

이 논문은 DMTCP의 빠른 체크포인트-재시작 메커니즘을 활용하여 소스 코드 수정 없이 다중 스레드, 다중 프로세스, 분산 프로그램에서 시간적 디버깅을 가능하게 하는 유니버설 리버시블 디버거인 URDB를 소개한다. 이는 gdb, MATLAB, Python, Perl을 지원하며, 프로세스 수준의 체크포인트를 통해 기존의 로깅 기반 리버시블 디버거의 한계를 넘어선 새로운 기능인 시간적 검색과 표현식 워치포인트를 제공한다.

ABSTRACT

A new style of temporal debugging is proposed. The new URDB debugger can employ such techniques as temporal search for finding an underlying fault that is causing a bug. This improves on the standard iterative debugging style, which iteratively re-executes a program under debugger control in the search for the underlying fault. URDB acts as a meta-debugger, with current support for four widely used debuggers: gdb, MATLAB, python, and perl. Support for a new debugger can be added in a few hours. Among its points of novelty are: (i) the first reversible debuggers for MATLAB, python, and perl; (ii) support for today's multi-core architectures; (iii) reversible debugging of multi-process and distributed computations; and (iv) temporal search on changes in program expressions. URDB gains its reversibility and temporal abilities through the fast checkpoint-restart capability of DMTCP (Distributed MultiThreaded CheckPointing). The recently enhanced DMTCP also adds ptrace support, enabling one to freeze, migrate, and replicate debugging sessions.

연구 동기 및 목표

• 현대의 다중 코어, 다중 프로세스, 분산 프로그램에서 발생하는 복잡하고 시간적으로 산산이 흩어진 버그를 디버깅하는 데 도전하는 것.
• 대규모 또는 동시성 계산에 대해 비효율적이거나 비가능한 기존의 반복적이고 로깅 기반 리버시블 디버거의 한계를 극복하는 것.
• 프로세스를 일급 객체로 간주함으로써 프로세스 수명 주기 상에서 시간적 검색과 메타프로그래밍을 가능하게 하는 것.
• 기존 디버거의 소스 코드를 수정하지 않고도 리버시빌리티를 추가할 수 있는 경량이고 확장 가능한 프레임워크를 제공하는 것.
• gdb, MATLAB, Python, Perl과의 통합 및 인터랙티브 게임에서의 프로토 타입 구현을 통해 실용적 적용 가능성을 입증하는 것.

제안 방법

• URDB는 기존 디버거 주위에 메타디버거 래퍼로 작동하며, DMTCP의 빠른 체크포인트-재시작 기능을 사용해 로깅 없이 프로그램 상태의 시간적 스냅샷을 생성한다.
• 디스크 기반 체크포인트에서 복원함으로써 실행을 뒤로가거나 앞으로 이동할 수 있도록 리버시블 실행을 가능하게 한다.
• 250줄의 파이썬 템플릿을 사용해 몇 시간 내에 새로운 디버거 개성(예: MATLAB, Python, Perl용)을 구현할 수 있으며, 대상 디버거의 소스 코드에 대한 변경 사항이 필요 없다.
• 표현식 워치포인트는 프로세스 수명 주기 상에서 이진 탐색을 통해 구현되며, 프로그램 표현식의 값 변화를 탐색할 수 있도록 시간적 검색을 가능하게 한다.
• 전체 프로세스 그룹과 그 간의 프로세스 간 통신 상태를 체크포인트함으로써 다중 스레드, 다중 프로세스, 분산 계산을 지원한다.
• 프로그램이 자신의 실행 이력을 재생, 수정, 분석할 수 있도록 허용함으로써 사전 실행과 프로그램 내부 분석을 가능하게 한다.

실험 결과

연구 질문

• RQ1 소스 코드 접근 권한이 없더라도 다양한 디버거를 지원하는 유니버설 리버시블 디버거를 구축할 수 있는가?
• RQ2 로깅 기반 접근 방식이 실패하는 장시간 실행되거나 다중 코어 및 분산 프로그램에 대해 체크포인트 기반 리버시블 디버깅이 확장 가능한가?
• RQ3 시간적으로 떨어진 결함을 디버깅할 수 있도록 시간적 검색과 표현식 워치포인트를 효과적으로 구현할 수 있는가?
• RQ4 프로세스 수명 주기를 일급 객체로 간주함으로써 사전 실행 및 종속성 분석과 같은 메타프로그래밍을 가능하게 할 수 있는가?
• RQ5 증분 체크포인트와 명령 기반 일시적 체크포인트를 통해 체크포인트의 성능 및 스토리지 오버헤드를 최소화할 수 있는가?

주요 결과

• URDB는 소스 코드 수정 없이 널리 사용되는 네 가지 디버거—gdb, MATLAB, Python(pdb), Perl(perl -d)—에 대해 리버시블 디버깅을 성공적으로 구현했다.
• 이 시스템은 대부분의 이전 리버시블 디버거에서 부재했던 다중 코어, 다중 스레드, 분산 프로그램에서의 리버시블 실행을 지원한다.
• 표현식 워치포인트를 통해 사용자가 지정한 표현식의 값이 변경된 순간을 식별함으로써 시간적 검색이 가능해졌으며, 실행 이력에서 가설 테스트를 효율적으로 수행할 수 있게 되었다.
• MATLAB, Python, Perl 디버거의 리버시블 구현은 소스 코드 접근 권한이 없이도 달성되었으며, 이는 프레임워크의 일반성과 타당성을 입증한다.
• 클래식 유닉스 게임(rogue와 robots)에서의 프로토 타입 응용을 통해 사전 실행과 시간여행 디버깅이 인터랙티브 시뮬레이션 환경에서 실현 가능하다는 것을 보여주었다.
• 로깅 기반 시스템의 결정론적 재현 제약을 피하면서도 동시성 및 분산 실행을 지원하여, 전통적인 리버시블 디버거에 비해 확장 가능한 대안을 제공한다.