[论文解读] On-the-fly Query-Based Debugging with Examples

Raimondas Lencevicius|ArXiv.org|Nov 16, 2000

Parallel Computing and Optimization Techniques参考文献 21被引用 11

一句话总结

本文提出了一种面向 Java 的实时查询式调试系统，通过在执行过程中持续监控对象间关系，实现程序错误的实时检测。该方法利用高效的类文件字节码织入与动态查询优化技术，在保持可移植性的同时缩小了因果差距，并提供了交互式灵活性，已在燃气罐小程序和 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.

研究动机与目标

• 为解决程序调试中的因果差距问题，即错误在根源原因发生后长时间才显现的问题。
• 实现在无需预处理或复杂配置的前提下，运行时有效调试。
• 提供一种可移植的、交互式的调试解决方案，通过优化技术保持高性能。
• 证明查询式调试在真实世界 Java 应用中的可行性和有效性。
• 通过支持持续运行时检查，弥合静态分析与动态调试之间的差距。

提出的方法

• 系统使用运行时动态字节码织入技术，在类文件上插入监控代码，实现无需预处理的动态查询求值。
• 结合程序织入与加载时代码生成技术，在保持可移植性的同时最小化运行时开销。
• 通过查询优化与增量重求值，加速程序执行期间的动态求值过程。
• 调试器通过用户定义的查询持续检查对象间关系，当条件被违反时触发警报。
• 通过允许在执行过程中添加或修改查询，支持交互式调试。
• 实现完全可移植，使用 Java 编写，并利用标准 JVM 机制进行字节码织入。

实验结果

研究问题

• RQ1 如何通过运行时监控有效缩小程序调试中的因果差距？
• RQ2 哪些技术能够在可移植的 Java 环境中实现高效、实时的查询求值？
• RQ3 查询式调试是否能在不带来不可接受性能开销的前提下应用于真实世界的应用？
• RQ4 与静态或动态替代方案相比，实时织入在灵活性与开销方面有何差异？
• RQ5 增量重求值在持续查询检查过程中对性能保持起到何种作用？

主要发现

• 实时查询式调试器通过在程序执行期间实现实时错误检测，成功缩小了因果差距。
• 通过织入、加载时代码生成与查询优化的结合，尽管存在持续监控，运行时开销仍保持在可接受范围内。
• 该系统通过成功调试一个燃气罐小程序和 SPECjvm98 基准测试套件中的应用程序，证明了其实际有效性。
• 该方法提供了交互式调试能力，允许在执行过程中修改查询，显著提升了开发者的灵活性。
• 通过仅依赖标准 Java 织入机制与运行时环境，实现保持了完全的可移植性。
• 结果证实，当针对性能进行优化时，查询式调试在生产级应用中是可行的。