CSR:Small:New Slicing Techniques for Program Parallelization

CSR:Small:程序并行化的新切片技术

基本信息

  • 批准号:
    0915414
  • 负责人:
  • 金额:
    $ 42.91万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2009
  • 资助国家:
    美国
  • 起止时间:
    2009-09-01 至 2013-08-31
  • 项目状态:
    已结题

项目摘要

This award is funded under the American Recovery and Reinvestment Act of 2009 (Public Law 111-5).Multicore processors have become main-stream. At the same time, CPU clock rates are no longer increasing. Operating within this environment, application developers are under competitive pressure to parallelize software in order to achieve an aceptable performance level for computationally intensive features. Unfortunately, fully automated parallelization is constrained by sequential semantics and by limits of a compiler?s analytical abilities. Consequently, designing parallel programming languages for developing efficient yet reliable main-stream applications continues to be a challenge. Rewriting software completely by hand is undesireable, because this kind of activity may waste years of investment in large scale software. Therefore, ideally, existing software should be automatically converted to new parallel forms.To address this problem, new program slicing techniques are investigated in this project to enable programmers to convert existing sequential programs, with minimum hand-made changes, into forms which can be safely parallelized by automatic tools. This research will result in a set of novel program analysis and transformation techniques to support the new slicing methods. The project will have a broad impact on the US software industry?s ability to compete globally in its endeavor to retrofit existing software for the emerging hardware platforms. The tool and techniques developed in the project will be used in compiler and architecture courses offered at both graduate and undergraduate levels. The project also engages both graduate and undergraduate students in the key research activities, providing advanced technical training which will be critical to future success of a new generation of computer scientists and software engineers.
这个奖项是根据2009年美国复苏和再投资法案(公法111-5)资助的。多核处理器已经成为主流。同时,CPU时钟频率不再增加。在这种环境下运行,应用程序开发人员面临着将软件并行化的竞争压力,以便为计算密集型功能实现可接受的性能水平。不幸的是,全自动并行化受到顺序语义和编译器S分析能力的限制。因此,为开发高效而可靠的主流应用程序设计并行编程语言仍然是一个挑战。完全手工重写软件是不可取的,因为这种活动可能会浪费多年来对大型软件的投资。因此,理想情况下,现有软件应该自动转换成新的并行形式。为了解决这个问题,本项目研究了新的程序切片技术,使程序员能够以最小的手工更改将现有的顺序程序转换为可以通过自动工具安全并行化的形式。这项研究将产生一套新的程序分析和转换技术来支持新的切片方法。该项目将对美国软件业产生广泛影响-S有能力在全球范围内竞争其为新兴硬件平台改造现有软件的努力。该项目开发的工具和技术将用于研究生和本科生提供的编译器和建筑课程。该项目还让研究生和本科生参与关键的研究活动,提供先进的技术培训,这将是新一代计算机科学家和软件工程师未来成功的关键。

项目成果

期刊论文数量(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 }}

Zhiyuan Li其他文献

Expression of endothelin‐1 in macrophages and mast cells in hyperplastic human tonsils
增生性人扁桃体巨噬细胞和肥大细胞中内皮素α1的表达
  • DOI:
  • 发表时间:
    1999
  • 期刊:
  • 影响因子:
    3.5
  • 作者:
    Zhiyuan Li;Y. Niwa;K. Rokutan;Yutaka Nakaya
  • 通讯作者:
    Yutaka Nakaya
Molecular Basis for Cephalic Mechanosensitivity of Drosophila Larvae
果蝇幼虫头部机械敏感性的分子基础
  • DOI:
    10.1007/s12264-020-00555-x
  • 发表时间:
    2020-08
  • 期刊:
  • 影响因子:
    5.6
  • 作者:
    Zhenyu Zhang;Zhiyuan Li;Ting Liu;Wei Zhang
  • 通讯作者:
    Wei Zhang
Transient receptor potential ankyrin 1 contributes to the ATP-elicited oxidative stress and inflammation in THP-1-derived macrophage
瞬时受体电位锚蛋白 1 有助于 THP-1 衍生巨噬细胞中 ATP 引发的氧化应激和炎症
  • DOI:
    10.1007/s11010-020-03818-3
  • 发表时间:
    2020-07
  • 期刊:
  • 影响因子:
    4.3
  • 作者:
    Chao Tian;Xiaobo Han;Lang He;Feng Tang;Rongqi Huang;Zuoxian Lin;Shuai Li;Sihao Deng;Junjie Xu;Hualin Huang;Huifang Zhao;Zhiyuan Li
  • 通讯作者:
    Zhiyuan Li
Uniqueness for fractional nonsymmetric diffusion equations and an application to an inverse source problem
分数非对称扩散方程的唯一性及其在逆源问题中的应用
Beauville–Voisin Filtrations on Zero-Cycles of Moduli Space of Stable Sheaves on K3 Surfaces
K3 表面稳定滑轮模空间零循环上的 Beauville-Voisin 过滤

Zhiyuan Li的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Zhiyuan Li', 18)}}的其他基金

XPS:EXPL:DSD: Language Abstraction, Annotation, Compiler Optimization Techniques for Efficient CFD Computation
XPS:EXPL:DSD:用于高效 CFD 计算的语言抽象、注释、编译器优化技术
  • 批准号:
    1533822
  • 财政年份:
    2015
  • 资助金额:
    $ 42.91万
  • 项目类别:
    Standard Grant
CRI: Planning - A Testbed for Compiler-supported Scalable Error Monitoring and Diagnosis for Reliable and Secure Sensor Networks
CRI:规划 - 编译器支持的可扩展错误监控和诊断的测试平台,用于可靠且安全的传感器网络
  • 批准号:
    0751101
  • 财政年份:
    2008
  • 资助金额:
    $ 42.91万
  • 项目类别:
    Standard Grant
CPA-CPL: Compiler and Software Solutions for the Memory Bottleneck on Multicore
CPA-CPL:针对多核内存瓶颈的编译器和软件解决方案
  • 批准号:
    0811587
  • 财政年份:
    2008
  • 资助金额:
    $ 42.91万
  • 项目类别:
    Standard Grant
CT-ISG: Compiler-Enabled Adaptive Security Monitoring on Networked Embedded Systems
CT-ISG:网络嵌入式系统上启用编译器的自适应安全监控
  • 批准号:
    0716271
  • 财政年份:
    2007
  • 资助金额:
    $ 42.91万
  • 项目类别:
    Continuing Grant
Parametric Compiler Optimization for Multi-Core Architectures
多核架构的参数编译器优化
  • 批准号:
    0702245
  • 财政年份:
    2007
  • 资助金额:
    $ 42.91万
  • 项目类别:
    Continuing Grant
CSR-EHS: Resource-Efficient Monitoring, Diagnosis, and Programming Support for Reliable Networked Embedded Systems
CSR-EHS:为可靠的网络嵌入式系统提供资源高效的监控、诊断和编程支持
  • 批准号:
    0509394
  • 财政年份:
    2005
  • 资助金额:
    $ 42.91万
  • 项目类别:
    Continuing Grant
AAD: Software Tool for Asynchronous-Algorithm Development
AAD:异步算法开发软件工具
  • 批准号:
    0444285
  • 财政年份:
    2005
  • 资助金额:
    $ 42.91万
  • 项目类别:
    Standard Grant
Compiler Schemes for Server-assisted Energy-efficient Mobile Computing on Handheld Devices
手持设备上服务器辅助节能移动计算的编译器方案
  • 批准号:
    0208760
  • 财政年份:
    2002
  • 资助金额:
    $ 42.91万
  • 项目类别:
    Standard Grant
ITR: Dynamic Code Enhancement and Scheduling Techniques for Complex Simulations
ITR:复杂模拟的动态代码增强和调度技术
  • 批准号:
    0082834
  • 财政年份:
    2000
  • 资助金额:
    $ 42.91万
  • 项目类别:
    Continuing Grant
Compiler Techniques for Improving Data Locality in Complex Program Constructs
用于改进复杂程序结构中的数据局部性的编译器技术
  • 批准号:
    9975309
  • 财政年份:
    1999
  • 资助金额:
    $ 42.91万
  • 项目类别:
    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 万元
  • 项目类别:
    重大研究计划

相似海外基金

Collaborative Research: AF: Small: New Directions in Algorithmic Replicability
合作研究:AF:小:算法可复制性的新方向
  • 批准号:
    2342244
  • 财政年份:
    2024
  • 资助金额:
    $ 42.91万
  • 项目类别:
    Standard Grant
SHF: SMALL: A New Semantics for Type-Level Programming in Haskell
SHF:SMALL:Haskell 中类型级编程的新语义
  • 批准号:
    2345580
  • 财政年份:
    2024
  • 资助金额:
    $ 42.91万
  • 项目类别:
    Standard Grant
SHF: Small: QED - A New Approach to Scalable Verification of Hardware Memory Consistency
SHF:小型:QED - 硬件内存一致性可扩展验证的新方法
  • 批准号:
    2332891
  • 财政年份:
    2024
  • 资助金额:
    $ 42.91万
  • 项目类别:
    Standard Grant
Collaborative Research: AF: Small: New Connections between Optimization and Property Testing
合作研究:AF:小型:优化和性能测试之间的新联系
  • 批准号:
    2402572
  • 财政年份:
    2024
  • 资助金额:
    $ 42.91万
  • 项目类别:
    Standard Grant
Collaborative Research: AF: Small: New Directions in Algorithmic Replicability
合作研究:AF:小:算法可复制性的新方向
  • 批准号:
    2342245
  • 财政年份:
    2024
  • 资助金额:
    $ 42.91万
  • 项目类别:
    Standard Grant
Collaborative Research: AF: Small: New Connections between Optimization and Property Testing
合作研究:AF:小型:优化和性能测试之间的新联系
  • 批准号:
    2402571
  • 财政年份:
    2024
  • 资助金额:
    $ 42.91万
  • 项目类别:
    Standard Grant
Collaborative Research: SaTC: CORE: Small: Understanding the Limitations of Wireless Network Security Designs Leveraging Wireless Properties: New Threats and Defenses in Practice
协作研究:SaTC:核心:小型:了解利用无线特性的无线网络安全设计的局限性:实践中的新威胁和防御
  • 批准号:
    2316720
  • 财政年份:
    2023
  • 资助金额:
    $ 42.91万
  • 项目类别:
    Standard Grant
Collaborative Research: AF: Small: New Directions and Approaches in Discrepancy Theory
合作研究:AF:小:差异理论的新方向和方法
  • 批准号:
    2327010
  • 财政年份:
    2023
  • 资助金额:
    $ 42.91万
  • 项目类别:
    Standard Grant
Collaborative Research: AF: Small: New Directions and Approaches in Discrepancy Theory
合作研究:AF:小:差异理论的新方向和方法
  • 批准号:
    2327011
  • 财政年份:
    2023
  • 资助金额:
    $ 42.91万
  • 项目类别:
    Standard Grant
Collaborative Research: CSR: Small: Caphammer: A New Security Exploit in Energy Harvesting Systems and its Countermeasures
合作研究:CSR:小型:Caphammer:能量收集系统的新安全漏洞及其对策
  • 批准号:
    2314681
  • 财政年份:
    2023
  • 资助金额:
    $ 42.91万
  • 项目类别:
    Continuing Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了