[논문 리뷰] On-the-fly Query-Based Debugging with Examples

Raimondas Lencevicius|ArXiv.org|2000. 11. 16.

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

한 줄 요약

이 논문은 실행 중에 지속적으로 상호 객체 관계를 모니터링함으로써 실시간으로 프로그램 오류를 탐지할 수 있도록 하는, 자바용 실시간 쿼리 기반 디버깅 시스템을 제안한다. 효율적인 클래스 파일 인스트루멘테이션과 동적 쿼리 최적화를 통해 디버깅에서의 원인-결과 간격을 줄이고, 이식성과 상호작용 유연성을 유지하면서도 성능을 확보한다. 이는 가스 탱크 애플릿과 SPECjvm98 응용 프로그램에서의 성공적인 디버깅을 통해 입증되었다.

ABSTRACT

Program errors are hard to find because of the cause-effect gap between the time when an error occurs and the time when the error becomes apparent to the programmer. Although debugging techniques such as conditional and data breakpoints help to find error causes in simple cases, they fail to effectively bridge the cause-effect gap in many situations. Query-based debuggers offer programmers an effective tool that provides instant error alert by continuously checking inter-object relationships while the debugged program is running. To enable the query-based debugger in the middle of program execution in a portable way, we propose efficient Java class file instrumentation and discuss alternative techniques. Although the on-the-fly debugger has a higher overhead than a dynamic query-based debugger, it offers additional interactive power and flexibility while maintaining complete portability. To speed up dynamic query evaluation, our debugger implemented in portable Java uses a combination of program instrumentation, load-time code generation, query optimization, and incremental reevaluation. This paper discusses on-the-fly debugging and demonstrates the query-based debugger application for debugging Java gas tank applet as well as SPECjvm98 suite applications.

연구 동기 및 목표

• 오류의 근본 원인이 발생한 지 오랜 시간이 지난 후에 나타나는 디버깅의 원인-결과 간격 문제를 해결하기 위해.
• 사전 인스트루멘테이션 또는 복잡한 설정 없이도 런타임 중 효과적인 디버깅을 가능하게 하기 위해.
• 최적화 기법을 통해 성능을 유지하면서도 이식성 있고 상호작용 가능한 디버깅 솔루션을 제공하기 위해.
• 쿼리 기반 디버깅이 실제 자바 응용 프로그램에 적용 가능한지의 타당성과 효율성을 입증하기 위해.
• 지속적인 런타임 검사 기능을 통해 정적 분석과 동적 디버깅 사이의 격차를 메우기 위해.

제안 방법

• 시스템은 런타임에 실시간으로 자바 클래스 파일 인스트루멘테이션을 사용하여 모니터링 코드를 삽입함으로써 사전 처리 없이도 동적 쿼리 평가를 가능하게 한다.
• 프로그램 인스트루멘테이션과 로드 타임 코드 생성을 결합하여 런타임 오버헤드를 최소화하면서도 이식성을 유지한다.
• 쿼리 최적화와 증분 재평가를 통해 프로그램 실행 중 동적 평가 속도를 향상시킨다.
• 디버거는 사용자가 정의한 쿼리를 사용하여 객체 간 관계를 지속적으로 검사하고, 조건 위반이 발생할 경우 경고를 트리거한다.
• 실행 중에 쿼리를 추가하거나 수정할 수 있도록 하여 상호작용 디버깅을 지원한다.
• 구현은 완전히 이식 가능하며, 자바로 작성되었으며 표준 JVM 메커니즘을 활용한다.

실험 결과

연구 질문

• RQ1 런타임 모니터링을 통해 디버깅에서의 원인-결과 간격을 효과적으로 줄일 수 있는가?
• RQ2 이식 가능한 자바 환경에서 효율적인 실시간 쿼리 평가를 가능하게 하는 기법은 무엇인가?
• RQ3 쿼리 기반 디버깅이 금지적인 성능 비용 없이 실제 응용 프로그램에 적용될 수 있는가?
• RQ4 실시간 인스트루멘테이션은 정적 또는 동적 대안 대비 어떤 유연성과 오버헤드를 가지는가?
• RQ5 증분 재평가가 지속적인 쿼리 검사 중 성능을 유지하는 데 어떤 역할을 하는가?

주요 결과

• 실시간 쿼리 기반 디버거는 프로그램 실행 중 실시간 오류 탐지 기능을 통해 원인-결과 간격을 효과적으로 줄였다.
• 인스트루멘테이션, 로드 타임 코드 생성, 쿼리 최적화의 조합 덕분에 지속적인 모니터링에도 불구하고 런타임 오버헤드를 관리 가능한 수준으로 유지했다.
• 가스 탱크 애플릿과 SPECjvm98 벤치마크 세트의 응용 프로그램에서 성공적으로 디버깅을 수행함으로써 실용적 효과를 입증했다.
• 실행 중에 쿼리를 수정할 수 있도록 하여 상호작용 디버깅 기능을 제공함으로써 개발자의 융통성과 유연성을 향상시켰다.
• 표준 자바 인스트루멘테이션과 런타임 메커니즘에만 의존함으로써 전체 이식성을 유지했다.
• 결과적으로 최적화된 환경에서는 쿼리 기반 디버깅이 성능을 고려한 생산 환경 유사 응용 프로그램에 적용 가능한 것으로 확인되었다.