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

CRI：IAD 用于生成、存储和分析程序执行跟踪的高级基础设施

• 批准号: 0708199
• 负责人: Rajiv Gupta
• 金额: $ 5万
• 依托单位: University of Arizona
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2007
• 资助国家: 美国
• 起止时间: 2007-09-01 至 2007-10-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0708199&HistoricalAwards=false
• 关键词: CRI; IAD; Advanced; Infrastructure; Generation

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.

提案＃：CNS 07-08199 07-08464PI（S）：Rajiv Gupta；古普塔（Gupta），尼拉姆·张（Neelam Zhang），西亚吉（Xiangyuinstitution）：亚利桑那大学普渡大学图森大学，亚利桑那州，亚利桑那州85721-0001 Wes Lafayette，Wes Lafayette，47907-2108title：IAD：IAD：高级基础：用于生成，存储和分析程序执行的项目的生成，存储和分析，该计划的延长途径是开放式延长的项目，该计划是开放式的，该计划的延长效果，该延长的途径，该延长的途径，该途径能够制定指示，以下机构，以下机构，以下机构，以下机构，以下机构，以下机构，以下机构，以下机构，以下机构，该途径能够建立了一个指令，该计划是指定的。具有可定制性，可扩展性，最重要的是，在单线和多线程程序上收集多产类型的执行轨迹的能力。 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历史以压实形式。基础架构的组成部分包括。检查点/记录环境将在提供的输入上执行给定的二进制文件，以产生一组检查点和日志，可用于重播执行；执行快速转发组件将消除与复制给定事件无关的执行的一部分。跟踪组件以生成，压缩和存储重播执行间隔的湿（整个执行跟踪）；和。跟踪分析组件提供了一个API，该API将使用户轻松访问WET，而不必了解湿的低级别详细表示。DYNAGINIC分析技术分析程序执行的痕迹以表征程序的运行时行为。然后在设计系统时利用独特的运行时特性。通过检测错误，定位故障和测试程序来开发高度可靠的系统； 。通过检测信息泄漏和不安全的行为以及执行软件标记来开发安全系统； 。通过将高度复杂的数据处理过程与原始输入数据相关联，验证和验证数据，这些数据可以极大地促进结果验证。为高度优化的系统（例如，必须优化性能，功率和内存使用情况）开发硬件和软件，以利用广泛的运行时程序特征（例如，重新发生的代码序列以实现压缩，狭窄的宽度数据以开发能源有效的高速缓存设计和管道等）。更广泛的影响：基础架构可以快速制作数据验证，计算机架构，编译器，嵌入式系统，诸如建筑测试人员和调试器之类的软件工程，例如设计水印和信息流分析工具等安全性。日志和WET的均匀表示提供了标准接口，以轻松交换轨迹。此外，鼓励项目之间的协同作用，课程项目将由基础设施设计和提供。