SI2-SSI: Collaborative Research: A Sustainable Infrastructure for Perfomance, Security, and Correctness Tools
SI2-SSI:协作研究:性能、安全性和正确性工具的可持续基础设施
基本信息
- 批准号:1450273
- 负责人:
- 金额:$ 150万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2015
- 资助国家:美国
- 起止时间:2015-08-01 至 2020-07-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Software has become indispensable to society, used by computational scientists for science and engineering, by analysts mining big data for value, and to connect society over the Internet. However, the properties of software systems for any of these purposes cannot be understood without accounting for code transformations applied by optimizing compilers used to compose algorithm and data structure templates, and libraries available only in binary form. To address this need, this project will overhaul, integrate, and enhance static binary analysis and runtime technologies to produce components that provide a foundation for performance, correctness, and security tools. The project will build upon three successful and widely adopted open source software packages: the DynInst library for analysis and transformation of application binaries, the MRNet infrastructure for control of large-scale parallel executions and data analysis of their results, and the HPCToolkit performance analysis tools. The project team will engage the community to participate in the design and evaluation of the emerging components, as well as to adopt its components. This project will have a wide range of impacts. First, software components built by the project will enable the development of sophisticated, high-quality, end-user performance, correctness, and security tools built by the project team, as well as others in academia, government, and industry. Software developed by the project team will help researchers and developers tackle testing, debugging, monitoring, analysis, and tuning of applications for systems at all scales. Second, end-user tools produced by the project have a natural place in the classroom to help students write efficient, correct, and secure programs. Third, components produced by the project will lower the barrier for new researchers to enter the field and build tools that have impact on production applications without years of investment. Fourth, the project will provide training for graduate students and interns in the area of software for performance, correctness, and security. Finally, through workshops and tutorials, the project will disseminate project results, provide training to enable others to leverage project software, and grow a community of tool researchers who depend on project components and thus have a strong motivation to help sustain project software into the future.Modernizing open-source software components and tools for binary analysis will enable static analysis of application characteristics at the level of executable machine code, transformation of binaries to inject monitoring code, measurement to capture a detailed record of application?s interactions with all facets of a target platform, analysis of recorded data in parallel, and attribution of analysis results back to application source code in meaningful ways. Providing innovative, software components that support development of robust performance, correctness, and security tools will accelerate innovation by tools researchers and help them grapple with the increasing complexity of modern software. Of particular note, helping tools researchers and computational scientists grapple with the challenges of software for modern parallel systems and producing training materials that help people use this software, addresses several of the needs identified in the NSF Vision for Cyberinfrastructure for the 21st Century.
软件已经成为社会不可或缺的一部分,被计算科学家用于科学和工程,被分析师用于挖掘大数据的价值,并通过互联网连接社会。然而,如果不考虑用于组成算法和数据结构模板的优化编译器以及仅以二进制形式可用的库所应用的代码转换,则无法理解用于任何这些目的的软件系统的属性。为了满足这一需求,该项目将全面检查、集成和增强静态二进制分析和运行时技术,以生成为性能、正确性和安全工具提供基础的组件。该项目将建立在三个成功和广泛采用的开放源码软件包之上:用于分析和转换应用程序二进制文件的DynInst库、用于控制大规模并行执行及其结果数据分析的MRNet基础设施以及HPCToolkit性能分析工具。项目小组将让社区参与设计和评价新出现的组成部分,并采纳其组成部分。该项目将产生广泛的影响。首先,由项目构建的软件组件将使项目团队以及学术界、政府和工业界的其他人能够开发复杂、高质量的最终用户性能、正确性和安全性工具。该项目团队开发的软件将帮助研究人员和开发人员解决各种规模系统的测试、调试、监控、分析和应用程序调优问题。其次,该项目产生的最终用户工具在课堂上有一个自然的地方,以帮助学生编写高效,正确和安全的程序。第三,该项目生产的组件将降低新研究人员进入该领域的门槛,并在无需多年投资的情况下构建对生产应用产生影响的工具。第四,该项目将为研究生和实习生提供软件性能、正确性和安全性方面的培训。最后,该项目将通过讲习班和辅导,传播项目成果,提供培训,使其他人能够利用项目软件,并发展一个依赖于项目组件的工具研究人员社区,从而有强烈的动机来帮助维持项目软件的未来。用于二进制分析的源软件组件和工具将使得能够在可执行机器代码的级别上对应用特性进行静态分析,转换二进制注入监控代码,测量捕获应用程序的详细记录?与目标平台所有方面的交互,并行分析记录的数据,以及以有意义的方式将分析结果归因于应用程序源代码。提供创新的软件组件,支持开发强大的性能,正确性和安全性工具,将加速工具研究人员的创新,并帮助他们应对现代软件日益复杂的问题。特别值得注意的是,帮助工具研究人员和计算科学家应对现代并行系统软件的挑战,并制作帮助人们使用此软件的培训材料,解决了NSF世纪网络基础设施愿景中确定的几个需求。
项目成果
期刊论文数量(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 }}
John Mellor-Crummey其他文献
Simplifying Control Flow in Compiler-Generated Parallel Code
- DOI:
10.1023/a:1018776615791 - 发表时间:
1998-10-01 - 期刊:
- 影响因子:0.900
- 作者:
John Mellor-Crummey;Vikram Adve - 通讯作者:
Vikram Adve
John Mellor-Crummey的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('John Mellor-Crummey', 18)}}的其他基金
Collaborative Research - SI2-S2I2: High-Performance Computational Science with Structured Meshes and Particles (HPCS-SMP)
合作研究 - SI2-S2I2:结构化网格和粒子的高性能计算科学 (HPCS-SMP)
- 批准号:
1216747 - 财政年份:2012
- 资助金额:
$ 150万 - 项目类别:
Standard Grant
MRI: Acquisition of Cyberinfrastructure for Computational Research (CCR)
MRI:收购用于计算研究 (CCR) 的网络基础设施
- 批准号:
0821727 - 财政年份:2008
- 资助金额:
$ 150万 - 项目类别:
Standard Grant
相似国自然基金
考虑SSI效应的导管架式海洋平台抗震性能研究
- 批准号:
- 批准年份:2022
- 资助金额:30 万元
- 项目类别:青年科学基金项目
考虑SSI的层间隔震高层建筑结构在三维地震下的响应研究
- 批准号:52168072
- 批准年份:2021
- 资助金额:35 万元
- 项目类别:地区科学基金项目
考虑SSI效应的大型储罐动力学特性及其隔板减晃研究
- 批准号:51978336
- 批准年份:2019
- 资助金额:61.0 万元
- 项目类别:面上项目
考虑SSI效应的摇摆墙-框架结构抗震机理及性能评估方法研究
- 批准号:51978524
- 批准年份:2019
- 资助金额:60.0 万元
- 项目类别:面上项目
考虑能量需求和SSI效应的RC梁式桥基于性能的抗震设计方法
- 批准号:50908014
- 批准年份:2009
- 资助金额:20.0 万元
- 项目类别:青年科学基金项目
相似海外基金
Collaborative Research: SI2-SSI: Expanding Volunteer Computing
合作研究:SI2-SSI:扩展志愿者计算
- 批准号:
2039142 - 财政年份:2020
- 资助金额:
$ 150万 - 项目类别:
Standard Grant
SI2-SSI: Collaborative Research: Einstein Toolkit Community Integration and Data Exploration
SI2-SSI:协作研究:Einstein Toolkit 社区集成和数据探索
- 批准号:
2114580 - 财政年份:2020
- 资助金额:
$ 150万 - 项目类别:
Continuing Grant
Collaborative Research: SI2-SSI: Expanding Volunteer Computing
合作研究:SI2-SSI:扩展志愿者计算
- 批准号:
2001752 - 财政年份:2019
- 资助金额:
$ 150万 - 项目类别:
Standard Grant
Collaborative Research: SI2-SSI: Open Source Support for Massively Parallel, Generic Finite Element Methods
合作研究:SI2-SSI:对大规模并行、通用有限元方法的开源支持
- 批准号:
1741870 - 财政年份:2017
- 资助金额:
$ 150万 - 项目类别:
Standard Grant
Collaborative Research: SI2-SSI: Expanding Volunteer Computing
合作研究:SI2-SSI:扩展志愿者计算
- 批准号:
1664022 - 财政年份:2017
- 资助金额:
$ 150万 - 项目类别:
Standard Grant
Collaborative Research: SI2-SSI: Cyberinfrastructure for Advancing Hydrologic Knowledge through Collaborative Integration of Data Science, Modeling and Analysis
合作研究:SI2-SSI:通过数据科学、建模和分析的协作集成推进水文知识的网络基础设施
- 批准号:
1664061 - 财政年份:2017
- 资助金额:
$ 150万 - 项目类别:
Standard Grant
SI2-SSI: Collaborative Research: Scalable Infrastructure for Enabling Multiscale and Multiphysics Applications in Fluid Dynamics, Solid Mechanics, and Fluid-Structure Interaction
SI2-SSI:协作研究:可扩展基础设施,支持流体动力学、固体力学和流固耦合中的多尺度和多物理场应用
- 批准号:
1836797 - 财政年份:2017
- 资助金额:
$ 150万 - 项目类别:
Standard Grant
Collaborative Research: SI2-SSI: Modules for Experiments in Stellar Astrophysics
合作研究:SI2-SSI:恒星天体物理实验模块
- 批准号:
1663684 - 财政年份:2017
- 资助金额:
$ 150万 - 项目类别:
Standard Grant
Collaborative Research: SI2-SSI: Inquiry-Focused Volumetric Data Analysis Across Scientific Domains: Sustaining and Expanding the yt Community
合作研究:SI2-SSI:跨科学领域以调查为中心的体积数据分析:维持和扩展 yt 社区
- 批准号:
1663893 - 财政年份:2017
- 资助金额:
$ 150万 - 项目类别:
Standard Grant
Collaborative Research: SI2-SSI: Cyberinfrastructure for Advancing Hydrologic Knowledge through Collaborative Integration of Data Science, Modeling and Analysis
合作研究:SI2-SSI:通过数据科学、建模和分析的协作集成推进水文知识的网络基础设施
- 批准号:
1664018 - 财政年份:2017
- 资助金额:
$ 150万 - 项目类别:
Standard Grant