CRI: IAD An Advanced Infrastructure for Generation, Storage, and Analysis of Program Execution Traces
CRI:IAD 用于生成、存储和分析程序执行跟踪的高级基础设施
基本信息
- 批准号:0708464
- 负责人:
- 金额:--
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2007
- 资助国家:美国
- 起止时间:2007-09-01 至 2010-09-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
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- 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的低级详细表示。动态分析技术分析程序执行的跟踪,以表征程序的运行时行为。然后,在设计系统时利用独特的运行时特性。通过检测错误,定位故障和测试程序来开发高度可靠的系统;通过检测信息泄漏和不安全行为,并执行软件标记,开发安全系统;。通过将高度复杂的数据处理程序产生的输出与原始输入数据相关联来验证和核实数据,这可以极大地促进结果的核实;。为高度优化的系统开发硬件和软件(例如, 必须优化性能、功率、存储器使用的嵌入式系统)利用广泛的运行时程序特性(例如,循环代码序列以实现压缩,窄宽度数据以开发节能高速缓存设计流水线等)。更广泛的影响:该基础设施可以实现数据验证、计算机架构、编译器、嵌入式系统、软件工程(如构建测试器和调试器)、安全(如设计水印和信息流分析工具)的快速原型设计。日志和日志的统一表示提供了标准接口,可以轻松交换跟踪。此外,为了鼓励项目之间的协同作用,将设计课程项目并提供基础设施。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Xiangyu Zhang其他文献
Fast Human Motion reconstruction from sparse inertial measurement units considering the human shape
考虑人体形状的稀疏惯性测量单元的快速人体运动重建
- DOI:
10.1038/s41467-024-46662-5 - 发表时间:
2024 - 期刊:
- 影响因子:16.6
- 作者:
Xuan Xiao;Jianjian Wang;P. Feng;Ao Gong;Xiangyu Zhang;Jianfu Zhang - 通讯作者:
Jianfu Zhang
Self-supervised Adversarial Training of Monocular Depth Estimation against Physical-World Attacks.
针对物理世界攻击的单目深度估计的自监督对抗训练。
- DOI:
- 发表时间:
2024 - 期刊:
- 影响因子:23.6
- 作者:
Zhiyuan Cheng;Cheng Han;James Liang;Qifan Wang;Xiangyu Zhang;Dongfang Liu - 通讯作者:
Dongfang Liu
Effect of interphase on mechanical properties and microstructures of 3D Cf/SiBCN composites at elevated temperatures
高温界面相对 3D Cf/SiBCN 复合材料力学性能和微观结构的影响
- DOI:
10.1111/jace.16202 - 发表时间:
2019 - 期刊:
- 影响因子:3.9
- 作者:
Qi Ding;Dewei Ni;Zhen Wang;Yanmei Kan;Ping He;Xiangyu Zhang;Yusheng Ding;Shaoming Dong - 通讯作者:
Shaoming Dong
Mechanistic molecular responses of the giant clam Tridacna crocea to Vibrio coralliilyticus challenge
大砗磲对解珊瑚弧菌挑战的机制分子反应
- DOI:
10.1371/journal.pone.0231399 - 发表时间:
2020-04 - 期刊:
- 影响因子:3.7
- 作者:
Duo Xu;Zehui Zhao;Zihua Zhou;YueLin;Xiangyu Zhang;Yang Zhang;Yuehuan Zhang;Jun li;FanMao;Shu Xiao;Haitao Ma;Zhiming Xiang;Ziniu Yu - 通讯作者:
Ziniu Yu
Digital Twin-Driven Surface Roughness Prediction Based on Multi-sensor Fusion
基于多传感器融合的数字孪生驱动表面粗糙度预测
- DOI:
10.1007/978-981-33-6318-2_29 - 发表时间:
2020 - 期刊:
- 影响因子:0
- 作者:
Xiangyu Zhang;Lilan Liu;Fang Wu;Xiang Wan - 通讯作者:
Xiang Wan
Xiangyu Zhang的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Xiangyu Zhang', 18)}}的其他基金
SHF: Small: AI Model Debugging by Analyzing Model Internals with Python Program Analysis
SHF:小:通过 Python 程序分析分析模型内部结构进行 AI 模型调试
- 批准号:
1910300 - 财政年份:2019
- 资助金额:
-- - 项目类别:
Standard Grant
EAGER: A Python Program Analysis Infrastructure to Facilitate Better Data Processing
EAGER:Python 程序分析基础设施,促进更好的数据处理
- 批准号:
1748764 - 财政年份:2017
- 资助金额:
-- - 项目类别:
Standard Grant
CSR: Small: Elastic and Robust Cloud Programming
CSR:小型:弹性且稳健的云编程
- 批准号:
1618923 - 财政年份:2016
- 资助金额:
-- - 项目类别:
Standard Grant
Travel Support For ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2014)
ACM SIGSOFT 软件工程基础研讨会 (FSE 2014) 的差旅支持
- 批准号:
1434610 - 财政年份:2014
- 资助金额:
-- - 项目类别:
Standard Grant
SHF: Small: Collaborative Research: Towards Automated Model Synthesis of Library and System Functions for Program-Environment Co-Analysis
SHF:小型:协作研究:面向程序-环境协同分析的库和系统功能的自动模型综合
- 批准号:
1320326 - 财政年份:2013
- 资助金额:
-- - 项目类别:
Standard Grant
SHF: Small: Reliable Data Processing by Dynamic Program Analysis
SHF:小型:通过动态程序分析进行可靠的数据处理
- 批准号:
1320444 - 财政年份:2013
- 资助金额:
-- - 项目类别:
Standard Grant
SHF: CSR: Small: Collaborative Research: Automated Model Synthesis of Library and System Functions for Program-Environment Co-Analysis
SHF:CSR:小型:协作研究:用于程序-环境协同分析的库和系统功能的自动模型合成
- 批准号:
1218993 - 财政年份:2012
- 资助金额:
-- - 项目类别:
Standard Grant
CSR: Small: Automated Software Failure Causal Path Computation
CSR:小:自动化软件故障因果路径计算
- 批准号:
0917007 - 财政年份:2009
- 资助金额:
-- - 项目类别:
Standard Grant
CAREER: Scalable Dynamic Program Reasoning
职业:可扩展的动态程序推理
- 批准号:
0845870 - 财政年份:2009
- 资助金额:
-- - 项目类别:
Continuing Grant
CSR-AES-RCS: Scalable and Efficient Dynamic Information Flow Tracking in Multithreaded Programs
CSR-AES-RCS:多线程程序中可扩展且高效的动态信息流跟踪
- 批准号:
0720516 - 财政年份:2007
- 资助金额:
-- - 项目类别:
Standard Grant
相似国自然基金
串联的分子内苷元传递反应(IAD)构建beta-甘露糖苷键
- 批准号:21877043
- 批准年份:2018
- 资助金额:67.0 万元
- 项目类别:面上项目
基于制度分析与发展(IAD)框架的参与式灌溉管理研究
- 批准号:70973064
- 批准年份:2009
- 资助金额:26.0 万元
- 项目类别:面上项目
相似海外基金
IADによる会陰部および臀部皮膚の掻痒に関するケア方法の検討
IAD会阴部及臀部皮肤瘙痒护理方法思考
- 批准号:
24K14072 - 财政年份:2024
- 资助金额:
-- - 项目类别:
Grant-in-Aid for Scientific Research (C)
Exploring new risk factors for incontinence-associated dermatitis (IAD) and its prevention based on skin microbiome
探索失禁相关皮炎(IAD)的新危险因素及其基于皮肤微生物组的预防
- 批准号:
21H03220 - 财政年份:2021
- 资助金额:
-- - 项目类别:
Grant-in-Aid for Scientific Research (B)
CRI: IAD: A Service-Oriented Architecture for The Computation, Visualization, and Management of Scientific Data
CRI:IAD:面向服务的科学数据计算、可视化和管理架构
- 批准号:
1153503 - 财政年份:2011
- 资助金额:
-- - 项目类别:
Standard Grant
Development of IAD risk assessment index using skin morphology and skincolor
使用皮肤形态和肤色开发 IAD 风险评估指数
- 批准号:
23792702 - 财政年份:2011
- 资助金额:
-- - 项目类别:
Grant-in-Aid for Young Scientists (B)
The present and future of the Japan's coastal fisheries systems : An analysis based on the IAD framework
日本近海渔业系统的现状与未来:基于IAD框架的分析
- 批准号:
23651033 - 财政年份:2011
- 资助金额:
-- - 项目类别:
Grant-in-Aid for Challenging Exploratory Research
Efficacy of inhalative gelatine nanoparticle bound CpG-ODN in horses affected by Inflammatory Airway Disease (IAD) and Recurrent Airway Obstruction (RAO)
吸入性明胶纳米颗粒结合 CpG-ODN 对受炎症性气道疾病 (IAD) 和复发性气道阻塞 (RAO) 影响的马的功效
- 批准号:
191005663 - 财政年份:2010
- 资助金额:
-- - 项目类别:
Research Grants
CRI: IAD - A Pressing Need for Observation, Facilitation and Computer Support of Group Interactions for Advancing United States National Priorities--Homeland Security and Economic
CRI:IAD - 迫切需要对群体互动进行观察、便利和计算机支持,以推进美国国家优先事项——国土安全和经济
- 批准号:
1037598 - 财政年份:2010
- 资助金额:
-- - 项目类别:
Standard Grant
CRI: IAD: Acquisition of Research Infrastructure for Knowledge-enhanced, Large-scale Learning of Multimodality Visual Data
CRI:IAD:收购研究基础设施,以实现多模态视觉数据的知识增强、大规模学习
- 批准号:
0751045 - 财政年份:2008
- 资助金额:
-- - 项目类别:
Continuing Grant
Collaborative Research: CRI: IAD: A Testbed for Research and Development of Next Generation 9-1-1 Services
合作研究:CRI:IAD:下一代 9-1-1 服务研究和开发的测试平台
- 批准号:
0751094 - 财政年份:2008
- 资助金额:
-- - 项目类别:
Continuing Grant
Collaborative Research: CRI: IAD A Miniaturized Robotic Testbed for Development, Testing, and Evaluation of Protocols for Multi-Hop Wireless Networks
合作研究:CRI:IAD 用于开发、测试和评估多跳无线网络协议的小型机器人测试台
- 批准号:
0751121 - 财政年份:2008
- 资助金额:
-- - 项目类别:
Standard Grant