CRI: IAD An Advanced Infrastructure for Generation, Storage, and Analysis of Program Execution Traces

提案#：CNS07-08199 07-08464PI(S)：Gupta，Rajiv；Gupta，Neelam Zhang，祥宇研究所：亚利桑那州普渡大学图森分校，AZ 85721-001Wes Lafayette，In 47907-2108标题：IAD：用于生成、存储和分析程序执行轨迹的高级信息建议：这个合作项目，开发一个能够跟踪和分析长程序执行的开源软件基础设施，具有可定制化、可扩展性，最重要的是，能够收集大量类型的执行轨迹，用于单线程和多线程程序的现实执行。这项工作是可行的，因为目前检查点/日志记录可以有效地与通过称为执行快速转发(EFF)的技术的跟踪相结合，该技术使得能够按数量级放大跟踪并且能够获得称为整体执行跟踪(WET)的高度紧凑的跟踪表示，该高度紧凑的跟踪表示由静态程序表示和依赖跟踪组成，所述静态程序表示用包括控制流、地址、值的动态跟踪来注释，所述依赖跟踪可以以压缩形式包含完整的程序执行历史。基础设施的组件包括。检查点/日志记录环境，它将对提供的输入执行给定的二进制文件，以产生一组检查点和日志，可用于重播执行；执行快进组件，它将消除与重现给定事件无关的部分执行；跟踪组件，用于生成、压缩和存储重放的执行间隔的湿(整个执行轨迹)；以及跟踪分析组件，提供一个API，使用户能够轻松访问WEW，而不必了解WET的低层详细表示。动态分析技术分析程序执行的跟踪，以表征程序的运行时行为。然后，在设计系统时利用独特的运行时特性。通过检测错误、定位故障和测试程序来开发高度可靠的系统；通过检测信息泄漏和不安全行为以及执行软件标记来开发安全系统；通过将高度复杂的数据处理程序产生的输出与可大大便利核查结果的原始输入数据相关联，来验证和核实数据；为高度优化的系统(例如，必须优化性能、功率和内存使用的嵌入式系统)开发硬件和软件，利用广泛的运行时程序特征(例如，用于实现压缩的递归代码序列、用于开发高能效缓存设计和流水线的窄宽度数据等)。更广泛的影响：基础设施使数据验证、计算机体系结构、编译器、嵌入式系统、软件工程(如构建测试器和调试器)、安全性(如设计水印和信息流分析工具)能够快速成型。日志和WET的统一表示为轻松交换痕迹提供了标准接口。此外，为了鼓励项目之间的协同作用，课程项目将被设计并提供基础设施。

Proposal #: CNS 07-08199 07-08464PI(s): Gupta, Rajiv; Gupta, Neelam Zhang, XiangyuInstitution: University of Arizona Purdue University Tucson, AZ 85721-0001 Wes Lafayette, IN 47907-2108Title: IAD: Advanced Infr for Generation, Storage, and Analysis of Program Execution Traces Project Proposed:This collaborative project, developing an open source software infrastructure that is capable of tracing and analyzing long program executions, features customizability, extensibility, and most importantly, the capability of collecting prolific types of execution traces for realistic executions on single- and multi-threaded programs. The work is feasible due to the fact that, at present, checkpointing/logging can be effectively combined with tracing through a technique called Execution Fast Forwarding (EFF) that enables scaling up tracing by orders of magnitude and availability of a highly compacted trace representation called Whole Execution Trace (WET) composed of static program representation that is annotated with dynamic traces including control flow, address, value, and a dependence trace that can contain complete program execution history in compacted form. Components of the infrastructure include. Checkpointing/logging environment that will execute a given binary on the supplied input to produce a set of checkpoints and logs which can be used to replay the execution;. Execution fast forwarding components that will eliminate part of the execution that is not relevant to reproducing a given event;. Tracing component to generate, compress, and store the WET (Whole Execution Trace) of a replayed execution interval; and. Trace analysis component to provide an API that will enable users to access WET's with ease, without having to understand the low level detailed representation of WET.Dynamic analysis techniques analyze traces of program executions to characterize the runtime behavior of programs. Distinctive runtime characteristics are then exploited in designing the systems to . Develop highly reliable systems by detecting bugs, locating faults, and testing programs; . Develop secure systems by detecting information leaks and unsafe behavior, and performing software marking; . Validate and verify data by associating the output produced by highly complicated data processing procedures to the raw input data that can greatly facilitate verification of results;. Develop hardware and software for highly optimized systems (e.g., embedded systems that must optimize performance, power, & memory usage) exploiting a wide range of runtime program characteristics (e.g., recurring code sequences to achieve compression, narrow width data to develop energy efficient cache designs & pipelines, etc.). Broader Impacts: The infrastructure enables rapid prototyping for data verification, computer architecture, compilers, embedded systems, software engineering such as building testers and debuggers, security such as designing watermarking and information flow analysis tools. The uniform representation of logs and WETs provides standard interface to easily exchange traces. Moreover, encouraging synergy among projects, course projects will be designed and provided with the infrastructure.