SHF: Small: Whole-application Coordiated Parallelization Through The Optimization Of Abstraction Hierarchies
SHF:小型:通过抽象层次结构的优化实现全应用程序协调并行化
基本信息
- 批准号:1910488
- 负责人:
- 金额:$ 49.95万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2019
- 资助国家:美国
- 起止时间:2019-10-01 至 2024-09-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Large computer software is based on programming abstractions, e.g., functions and object-oriented types, to organize computation and data, which are in turn parallelized by invoking a variety of lower-level library support. A correct and efficient software implementation requires meticulous attention to coding details and is often error-prone. However, these implementations frequently need to be adapted to run on different hardware platforms as part of the software evolution and maintenance process. This project develops new cutting-edge compiler technology to automatically enhance the parallelization efficiency of large computer software, thereby simultaneously enhancing their productivity, correctness assurance, performance, and hardware portability. This project is aligned with object-oriented design principles in modern software engineering and therefore is expected to impact a modern software practices by enabling automatic exploration of alternative parallelization and data structure designs for better performance, maintainability, and hardware portability. The compiler toolsets developed in this project will be disseminated open source and will be used as an educational toolkit in the teaching of programming languages, compilers, high performance computing, and parallel programming courses.The research methodology of this project explores a new scope of optimization at the user-defined abstraction level, by grouping and encapsulating related operations into hierarchies of abstractions, and by adapting a set of concepts traditionally used in the practice of software engineering, specifically abstract data types, abstraction adapters, and application abstraction hierarchy, to automatically discover higher-level semantics of user-defined abstractions and to isolate algorithm-level structures and logistics from their lower-level implementations. Pattern-driven analysis techniques are then developed to automatically discover a whole-application task graph, and coordinated optimizations are applied across abstraction boundaries to maximize overall application efficiency. A uniform interface is designed to concisely document the higher-level semantics of abstractions. Empirical performance tuning is used to support the performance portability of applications on a variety of modern computing platforms.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.
大型计算机软件基于编程抽象,例如,函数和面向对象的类型来组织计算和数据,这些计算和数据又通过调用各种较低级别的库支持来并行化。一个正确而有效的软件实现需要对编码细节进行细致的关注,而且往往容易出错。然而,作为软件演进和维护过程的一部分,这些实现经常需要进行调整以在不同的硬件平台上运行。该项目开发新的尖端编译器技术,以自动提高大型计算机软件的并行化效率,从而同时提高其生产率,正确性保证,性能和硬件可移植性。该项目符合现代软件工程中面向对象的设计原则,因此预计将通过自动探索替代并行化和数据结构设计来影响现代软件实践,以获得更好的性能,可维护性和硬件可移植性。该项目开发的编译器工具集将以开放源代码的方式传播,并将作为编程语言、编译器、高性能计算和并行编程课程教学的教育工具包。该项目的研究方法探索了一种新的优化范围,即在用户定义的抽象级别上,通过将相关操作分组并封装到抽象层次中,并且通过调整传统上在软件工程实践中使用的一组概念,特别是抽象数据类型、抽象适配器和应用抽象层次结构,来自动发现用户定义的抽象的高级语义,并将算法级结构和逻辑与它们的低级实现隔离。然后开发模式驱动的分析技术来自动发现整个应用程序任务图,并跨抽象边界应用协调优化以最大限度地提高整体应用程序效率。一个统一的接口被设计成简洁地记录抽象的高级语义。经验性能调优用于支持各种现代计算平台上应用程序的性能可移植性。该奖项反映了NSF的法定使命,并通过使用基金会的知识价值和更广泛的影响审查标准进行评估,被认为值得支持。
项目成果
期刊论文数量(3)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Enhancing the Effectiveness of Inlining in Automatic Parallelization
增强自动并行化中内联的有效性
- DOI:10.1007/s10766-021-00722-1
- 发表时间:2022
- 期刊:
- 影响因子:1.5
- 作者:Guo, Jichi;Yi, Qing;Psarris, Kleanthis
- 通讯作者:Psarris, Kleanthis
Automating Non-Blocking Synchronization In Concurrent Data Abstractions
- DOI:10.1109/ase.2019.00074
- 发表时间:2019-11
- 期刊:
- 影响因子:0
- 作者:Jiange Zhang;Qing Yi;D. Dechev
- 通讯作者:Jiange Zhang;Qing Yi;D. Dechev
Modeling optimization of stencil computations via domain-level properties
通过域级属性对模板计算进行建模优化
- DOI:10.1145/3528425.3529103
- 发表时间:2022
- 期刊:
- 影响因子:0
- 作者:Nesterenko, Brandon;Yi, Qing;Lin, Pei-Hung;Liao, Chunhua;Runnels, Brandon
- 通讯作者:Runnels, Brandon
{{
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 }}
Qing Yi其他文献
Automatically Optimizing Stencil Computations on Many-Core NUMA Architectures
自动优化多核 NUMA 架构上的模板计算
- DOI:
- 发表时间:
2016 - 期刊:
- 影响因子:0
- 作者:
Pei;Qing Yi;D. Quinlan;C. Liao;Yongqing Yan - 通讯作者:
Yongqing Yan
An Evaluation of Rater Agreement Indices Using Generalizability Theory
使用概括性理论评估评估者一致性指数
- DOI:
10.1007/978-3-319-77249-3_7 - 发表时间:
2017 - 期刊:
- 影响因子:0
- 作者:
Dongmei Li;Qing Yi;Benjamin Andrews - 通讯作者:
Benjamin Andrews
Time-frequency spillovers between carbon, fossil fuels, and clean energy markets: New insights from the TVP-VAR framework
碳、化石燃料和清洁能源市场之间的时频溢出效应:来自TVP - VAR框架的新见解
- DOI:
10.1016/j.energy.2025.135737 - 发表时间:
2025-05-15 - 期刊:
- 影响因子:9.400
- 作者:
Qing Yi;Yuanying Jiang - 通讯作者:
Yuanying Jiang
R-ISS Stage-Dependent Single-Cell Sequencing Analysis Uncovers Oncogenes and Potential Immunotherapeutic Targets in Multiple Myeloma
- DOI:
10.1182/blood-2023-179654 - 发表时间:
2023-11-02 - 期刊:
- 影响因子:
- 作者:
Ling Zhong;Ji Luo;Lan Luo;Qing Yi;Tao Jiang - 通讯作者:
Tao Jiang
Mechanization Services, Farm Productivity and Institutional Innovation in China
中国机械化服务、农业生产力与制度创新
- DOI:
10.1108/caer-12-2018-0244 - 发表时间:
2019-06 - 期刊:
- 影响因子:5.1
- 作者:
Qing Yi;Moyu Chen;Yu Sheng;Jikun Huang - 通讯作者:
Jikun Huang
Qing Yi的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Qing Yi', 18)}}的其他基金
I-Corps: Optimized Compiler Applications
I-Corps:优化的编译器应用程序
- 批准号:
1723712 - 财政年份:2017
- 资助金额:
$ 49.95万 - 项目类别:
Standard Grant
SHF: Small: Specializing Compilers For High Performance Computing Through Coordinated Data and Algorithm Optimizations
SHF:小型:通过协调数据和算法优化实现高性能计算的专用编译器
- 批准号:
1421443 - 财政年份:2014
- 资助金额:
$ 49.95万 - 项目类别:
Standard Grant
CAREER: Multilayer Code Synthesis For Correctness and Performance
职业:多层代码合成以确保正确性和性能
- 批准号:
1261811 - 财政年份:2012
- 资助金额:
$ 49.95万 - 项目类别:
Continuing Grant
SHF: Small: Collaborative Research: Programming Interface And Runtime For Self-Tuning Scalable C/C++ Data Structures
SHF:小型:协作研究:自调整可扩展 C/C 数据结构的编程接口和运行时
- 批准号:
1261584 - 财政年份:2012
- 资助金额:
$ 49.95万 - 项目类别:
Standard Grant
Programmable Code Optimization and Empirical Tuning For High-end Computing
高端计算的可编程代码优化和经验调整
- 批准号:
1261778 - 财政年份:2012
- 资助金额:
$ 49.95万 - 项目类别:
Standard Grant
SHF: Small: Collaborative Research: Programming Interface And Runtime For Self-Tuning Scalable C/C++ Data Structures
SHF:小型:协作研究:自调整可扩展 C/C 数据结构的编程接口和运行时
- 批准号:
1218179 - 财政年份:2012
- 资助金额:
$ 49.95万 - 项目类别:
Standard Grant
CAREER: Multilayer Code Synthesis For Correctness and Performance
职业:多层代码合成以确保正确性和性能
- 批准号:
0747357 - 财政年份:2008
- 资助金额:
$ 49.95万 - 项目类别:
Continuing Grant
Programmable Code Optimization and Empirical Tuning For High-end Computing
高端计算的可编程代码优化和经验调整
- 批准号:
0833203 - 财政年份:2008
- 资助金额:
$ 49.95万 - 项目类别:
Standard Grant
相似国自然基金
昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
- 批准号:
- 批准年份:2024
- 资助金额:0.0 万元
- 项目类别:省市级项目
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
- 批准号:n/a
- 批准年份:2022
- 资助金额:10.0 万元
- 项目类别:省市级项目
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
- 批准号:32000033
- 批准年份:2020
- 资助金额:24.0 万元
- 项目类别:青年科学基金项目
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
- 批准号:31972324
- 批准年份:2019
- 资助金额:58.0 万元
- 项目类别:面上项目
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
- 批准号:81900988
- 批准年份:2019
- 资助金额:21.0 万元
- 项目类别:青年科学基金项目
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
- 批准号:31802058
- 批准年份:2018
- 资助金额:26.0 万元
- 项目类别:青年科学基金项目
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
- 批准号:31870821
- 批准年份:2018
- 资助金额:56.0 万元
- 项目类别:面上项目
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
- 批准号:31772128
- 批准年份:2017
- 资助金额:60.0 万元
- 项目类别:面上项目
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
- 批准号:81704176
- 批准年份:2017
- 资助金额:20.0 万元
- 项目类别:青年科学基金项目
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
- 批准号:91640114
- 批准年份:2016
- 资助金额:85.0 万元
- 项目类别:重大研究计划
相似海外基金
III: Small: RUI: Designing Structure-Phenotype Query-Retrieval and Analysis Systems for Microscopy-Based Whole Organism Studies
III:小:RUI:为基于显微镜的整个生物体研究设计结构表型查询检索和分析系统
- 批准号:
2401096 - 财政年份:2023
- 资助金额:
$ 49.95万 - 项目类别:
Standard Grant
Development of method for long-read whole genome methylation analysis from small amount of DNA
开发从少量 DNA 进行长读长全基因组甲基化分析的方法
- 批准号:
21K15074 - 财政年份:2021
- 资助金额:
$ 49.95万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
A whole-animal small molecule screen to identify and characterize modifiers of Apolipoprotein B
用于识别和表征载脂蛋白 B 修饰物的全动物小分子筛选
- 批准号:
10261421 - 财政年份:2020
- 资助金额:
$ 49.95万 - 项目类别:
Impact of pretreatment whole-tumor perfusion and diffusion parameters combined with glucose metabolism on local control for non-small cell lung cancer treated with stereotactic body radiotherapy
治疗前全瘤灌注和扩散参数联合糖代谢对非小细胞肺癌立体定向放疗局部控制的影响
- 批准号:
20K08098 - 财政年份:2020
- 资助金额:
$ 49.95万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
A whole-animal small molecule screen to identify and characterize modifiers of Apolipoprotein B
用于识别和表征载脂蛋白 B 修饰物的全动物小分子筛选
- 批准号:
10460567 - 财政年份:2020
- 资助金额:
$ 49.95万 - 项目类别:
WHOLE-BODY, HIGH RESOLUTION, 3D, SMALL ANIMAL PHOTOACOUSTIC AND ULTRASOUND COMPUTED TOMOGRAPHY SYSTEM
全身、高分辨率、3D、小动物光声和超声计算机断层扫描系统
- 批准号:
EP/T014369/1 - 财政年份:2020
- 资助金额:
$ 49.95万 - 项目类别:
Research Grant
III: Small: RUI: Designing Structure-Phenotype Query-Retrieval and Analysis Systems for Microscopy-Based Whole Organism Studies
III:小:RUI:为基于显微镜的整个生物体研究设计结构表型查询检索和分析系统
- 批准号:
1817239 - 财政年份:2018
- 资助金额:
$ 49.95万 - 项目类别:
Standard Grant
CSR: Small: Development of Distributed Neural Processing Electronics for Whole-Body Computing and Biomedical Sensor Fusion
CSR:小型:用于全身计算和生物医学传感器融合的分布式神经处理电子设备的开发
- 批准号:
1816870 - 财政年份:2018
- 资助金额:
$ 49.95万 - 项目类别:
Standard Grant
SHF: Small: The Whole Program Critical Path Approach to Parallelism
SHF:小:整个程序的并行关键路径方法
- 批准号:
1814654 - 财政年份:2018
- 资助金额:
$ 49.95万 - 项目类别:
Standard Grant
Impact of pretreatment whole-tumor perfusion parameter and glucose metabolism on local control for non-small cell lung cancer treated with stereotactic body radiotherapy
治疗前全瘤灌注参数及糖代谢对非小细胞肺癌立体定向放疗局部控制的影响
- 批准号:
17K10466 - 财政年份:2017
- 资助金额:
$ 49.95万 - 项目类别:
Grant-in-Aid for Scientific Research (C)