[논문 리뷰] A Particular Bug Trap: Execution Replay Using Virtual Machines

Oliver Oppitz|ArXiv.org|2003. 10. 15.

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

한 줄 요약

이 논문은 사용자 모드 리눅스(UML)를 활용한 가상 머신을 이용해 데스크톱 시스템용 실용적이고 일반적인 실행 재생(ER) 인프라를 제안한다. 이는 수정되지 않은 응용 프로그램을 인스트루멘테이션 없이 또는 재컴파일 없이 재생할 수 있도록 하며, 하드웨어 명령어 카운터와 결정론적 가상화를 활용해 시간에 민감하고 다중 스레드 소프트웨어 디버깅을 위한 정확하고 재생 가능한 실행을 달성한다.

ABSTRACT

Execution-replay (ER) is well known in the literature but has been restricted to special system architectures for many years. Improved hardware resources and the maturity of virtual machine technology promise to make ER useful for a broader range of development projects. This paper describes an approach to create a practical, generic ER infrastructure for desktop PC systems using virtual machine technology. In the created VM environment arbitrary application programs will run and be replayed unmodified, neither instrumentation nor recompilation are required.

연구 동기 및 목표

• 기존의 특수 아키텍처에 국한된 실행 재생(ER) 시스템의 제한을 극복하고 일반 목적의 데스크톱 소프트웨어 개발을 위한 실행 재생을 가능하게 하기.
• 일반 PC 시스템에서 결정론적 재생을 달성하기 위해 가상 머신(VM) 기술을 사용해 비결정론적 입력을 격리하고 기록함으로써 도전 과제를 해결하기.
• 기존의 가상화 및 하드웨어 성능 모니터링 기능을 활용해 표준 하드웨어에서 일반적이고 침습적이지 않은 ER 인프라가 구현 가능한지 보여주기.
• 정확한 타이밍과 입력 자극을 재현함으로써 시간에 민감하고 다중 스레드 응용 프로그램의 디버깅을 가능하게 하기.

제안 방법

• 사용자 공간에서 리눅스 커널과 사용자 영역 바이너리를 실행하는 경량 가상 머신인 사용자 모드 리눅스(UML)를 사용하여 커널 수정 없이도 전체 시스템 가상화를 구현한다.
• 고정밀도로 실행된 명령어를 추적하기 위해 하드웨어 성능 카운터(예: PowerPC MPC7441)를 활용하여 결정론적 명령어 수준의 재생을 가능하게 한다.
• 인터럽트, 시스템 호출, 장치 I/O와 같은 비결정론적 입력을 가상 장치 드라이버를 통해 기록하고, 실행 중에 재생 핸들러로 리디렉션한다.
• 사전 기록된 명령어 수 이후에 성능 모니터 인터럽트를 트리거하여 재생과 동기화하고, 타이밍 민감한 이벤트를 시뮬레이션한다.
• 기존 디버거(gdb 또는 kgdb 등)를 수정하여 호스트 OS에서 직접 실행함으로써 재생 중에 게스트 프로세스 상태, 레지스터 내용, 스택 트레이스를 직접 검사할 수 있도록 한다.
• 인터럽트 전환 시 일괄적으로 한 명령어가 과다 카운트되는 등의 결정론적 카운터 정확도 오차를 알고리즘적으로 보정하기 위해 알려진 오버헤드를 제거함으로써 재생 무결성을 확보한다.

실험 결과

연구 질문

• RQ1 일반적인 데스크톱 시스템에서 상용 가상 머신 기술을 사용해 프로그램이나 운영체제 수정 없이 실행 재생을 구현할 수 있는가?
• RQ2 x86 및 PowerPC와 같은 아키텍처에서 하드웨어 성능 카운터가 가상화 환경에서 결정론적 재생을 위해 명령어 실행을 얼마나 정확히 추적할 수 있는가?
• RQ3 가상 장치 드라이버와 성능 모니터 인터럽트가 인터럽트와 I/O와 같은 시스템 자극을 얼마나 정확하게 기록하고 재생할 수 있는가?
• RQ4 호스트 OS에서 작동하는 디버거를 통해 재생 중인 가상 머신 내부의 프로세스를 검사하고 제어하는 것이 가능한가?
• RQ5 하드웨어 카운터와 침습적이지 않은 배경 인스트루멘테이션을 사용함으로써 기록의 프로브 효과를 최소화할 수 있는가?

주요 결과

• PowerPC MPC7441 프로세서는 매우 정확한 명령어 카운터를 제공하며, 인터럽트 전환마다 결정론적으로 한 명령어가 과다 카운트되는 것으로 나타났고, 이는 알고리즘적으로 보정이 가능하다.
• x86 명령어 카운터(Pentium III, IV, AMD Athlon 등)는 문서화된 정확도 결함으로 인해 신뢰할 수 없으며, 추가 보정 없이 정밀한 재생에 부적합하다.
• Itanium 프로세서는 카운터 정확도가 보장되지 않으며, 문서 부족으로 인해 신뢰할 수 있는 테스트가 불가능했다.
• UML 가상 머신 환경은 수정되지 않은 응용 프로그램이 정확하게 실행되고 재생될 수 있도록 하며, 인스트루멘테이션이나 재컴파일이 필요하지 않다.
• 가상 장치 드라이버와 성능 모니터 인터럽트를 활용해 인터럽트와 I/O를 포함한 모든 비결정론적 입력이 성공적으로 기록되고 재생되었다.
• 수정된 디버거(예: gdb 또는 kgdb 등)는 호스트 OS에서 게스트의 메모리 레이아웃과 레지스터 상태에 직접 액세스함으로써 재생 중에 게스트 프로세스 상태를 검사할 수 있다.