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

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

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.