首页> 外文期刊>Theory and Practice of Logic Programming >Design And Implementation Of A Tracer Driver:easy And Efficient Dynamic Analyses Of constraint Logic Programs
【24h】

Design And Implementation Of A Tracer Driver:easy And Efficient Dynamic Analyses Of constraint Logic Programs

机译:示踪驱动程序的设计与实现:约束逻辑程序的简便高效的动态分析

获取原文
获取原文并翻译 | 示例

摘要

Tracers provide users with useful information about program executions. In this article, we propose a "tracer driver". From a single tracer, it provides a powerful front-end enabling multiple dynamic analysis tools to be easily implemented, while limiting the overhead of the trace generation. The relevant execution events are specified by flexible event patterns and a large variety of trace data can be given either systematically or "on demand". The proposed tracer driver has been designed in the context of constraint logic programming (CLP); experiments have been made within GNU-Prolog. Execution views provided by existing tools have been easily emulated with a negligible overhead. Experimental measures show that the flexibility and power of the described architecture lead to good performance. The tracer driver overhead is inversely proportional to the average time between two traced events. Whereas the principles of the tracer driver are independent of the traced programming language, it is best suited for high-level languages, such as CLP, where each traced execution event encompasses numerous low-level execution steps. Furthermore, CLP is especially hard to debug. The current environments do not provide all the useful dynamic analysis tools. They can significantly benefit from our tracer driver which enables dynamic analyses to be integrated at a very low cost.
机译:跟踪器为用户提供有关程序执行的有用信息。在本文中,我们提出了“跟踪驱动程序”。它从单个跟踪器提供了一个功能强大的前端,可以轻松实施多个动态分析工具,同时限制了跟踪生成的开销。通过灵活的事件模式来指定相关的执行事件,并且可以系统地或“按需”提供大量的跟踪数据。拟议的跟踪器驱动程序是在约束逻辑编程(CLP)的背景下设计的。已经在GNU-Prolog中进行了实验。现有工具提供的执行视图可以轻松模拟,而开销却可以忽略不计。实验方法表明,所描述架构的灵活性和强大功能可带来良好的性能。跟踪器驱动程序开销与两个跟踪事件之间的平均时间成反比。跟踪器驱动程序的原理与跟踪的编程语言无关,但是它最适合高级语言,例如CLP,其中每个跟踪的执行事件都包含许多低级执行步骤。此外,CLP特别难以调试。当前的环境并未提供所有有用的动态分析工具。他们可以从我们的跟踪器驱动程序中受益匪浅,该驱动程序可以以非常低的成本集成动态分析。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号