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

提案编号：CNS 07-08199 07- 08464 PI（s）： Gupta，Rajiv; Gupta，Neelam Zhang，Xiangyu机构：亚利桑那大学 Purdue University图森，AZ 85721-0001 Wes Lafayette，IN 47907- 2108标题： IAD：Advanced Infr for Generation，Storage，and Analysis of Program Execution Traces Project Proposed：这个合作项目，开发一个开源软件基础设施，能够跟踪和分析长时间的程序执行，具有可定制性，可扩展性，最重要的是，能够收集多产类型的执行跟踪，用于单线程和多线程程序的实际执行。该工作是可行的，因为事实上，目前，检查点/日志记录可以通过称为执行快速转发（EFF）的技术与跟踪有效地结合，该技术使得能够按数量级和称为整体执行跟踪（WET）的高度压缩的跟踪表示的可用性来扩展跟踪，该跟踪表示由静态程序表示组成，该静态程序表示用包括控制流、地址、值、以及可以包含压缩形式的完整程序执行历史的依赖性跟踪。基础设施包括。检查点/日志环境，将在提供的输入上执行给定的二进制文件，以产生一组检查点和日志，可用于重放执行;执行快进组件，将删除与再现给定事件无关的部分执行;。跟踪组件，用于生成、压缩和存储重放的执行间隔的WET（完整执行跟踪）;以及跟踪分析组件提供了一个API，使用户能够轻松访问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.