SHF: Small: Ensuring Reliability and Portability of Scientific Software for Heterogeneous Architectures

SHF:小型:确保异构架构科学软件的可靠性和可移植性

基本信息

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

项目摘要

Numerical results of scientific computations are stored in computers asfloating-point numbers, an approximation of real numbers that accounts forthe fact that a computer's storage is limited. This need for approximationhas the unfortunate side effect that floating-point numbers don't abide bycommon laws of arithmetic known from high school, such as the associativityof addition. As a consequence, apparently equivalent implementations offloating-point operations on computer hardware may produce very differentresults, such as when the order of operands of an addition is changed by acompiler. Programs generically written for high-performance parallel computingplatforms are likely to be compiled using different floating-pointimplementations and schedulings, as the executable resulting from thecompilation depends on the available hardware. Such parallel scientificprograms are therefore susceptible to reliability and portability issuesthat can range from simple deviations in precision to drastic changes ofprogram control flow when moving from one architecture to another.The results of this research will be tools and techniques to help scientists find bugs more effectively in such programs. This research has important implications for the reliability of important scientific programs such as those used in biomedical imaging applications, climate modelling, and vehicle design. This project develops rigorous methods for analyzing parallel scientificcode, specifically written using the now emerging OpenCL parallelprogramming standard. The goal is to detect potential sources ofreliability and portability deficiencies in such code that are due todependencies of the floating-point behavior on the underlying hardware,which may be unknown to the programmer. Traditional reliability methodssuch as program testing and debugging are ineffective for parallel OpenCLprograms, because program behavior may vary across runs, making after-testbehavior uncertain. For these reasons, the investigators will use rigorousanalysis methods that are not solely based on program execution. Instead,the program is formally modeled as a transition system; the model isencoded symbolically, using logical formula representations that can oftencompactly represent the set of executions of the program without executingit. The program model is then analyzed for portability violations andprogram errors using floating point-capable decision procedures and modelcheckers. To achieve scalability, the investigators plan to exploit thehighly symmetric and parametric form of OpenCL programs, where identicaloperations are performed by many computational threads in SingleInstruction Multiple Data (SIMD) style.
科学计算的数值结果以浮点数的形式存储在计算机中,这是真实的数的近似值,这说明计算机的存储量是有限的。这种对近似值的需求有一个不幸的副作用,即浮点数不遵守高中时就知道的算术定律,比如加法的结合性。因此,在计算机硬件上的浮点运算的明显等效实现可能产生非常不同的结果,例如当加法的操作数的顺序被编译器改变时。一般为高性能并行计算平台编写的程序可能会使用不同的浮点实现和编译,因为编译产生的可执行文件取决于可用的硬件。因此,这种并行科学程序容易受到可靠性和可移植性问题的影响,这些问题的范围可以从简单的精度偏差到从一种体系结构转移到另一种体系结构时程序控制流的急剧变化。这项研究的结果将成为帮助科学家更有效地发现此类程序中错误的工具和技术。这项研究对重要科学项目的可靠性具有重要意义,例如用于生物医学成像应用,气候建模和车辆设计的项目。该项目开发了用于分析并行科学代码的严格方法,特别是使用现在新兴的OpenCL并行编程标准编写的。我们的目标是检测潜在的源ofreliability和可移植性的缺陷,在这样的代码是由于依赖的浮点行为对底层硬件,这可能是未知的程序员。传统的可靠性方法,如程序测试和调试是无效的并行OpenCL程序,因为程序的行为可能会有所不同的运行,使测试后的行为不确定。由于这些原因,研究人员将使用严格的分析方法,而不仅仅是基于程序的执行。相反,程序被形式化地建模为一个转换系统;该模型被符号化地编码,使用逻辑公式表示,这些逻辑公式表示通常可以在不执行程序的情况下简单地表示程序的执行集。然后使用浮点决策过程和模型检查器分析程序模型的可移植性违规和程序错误。为了实现可扩展性,研究人员计划利用OpenCL程序的高度对称和参数化形式,其中相同的操作由许多单指令多数据(SIMD)风格的计算线程执行。

项目成果

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

Thomas Wahl其他文献

MatFlood: An efficient algorithm for mapping flood extent and depth
MatFlood:一种绘制洪水范围和深度的有效算法
  • DOI:
  • 发表时间:
    2023
  • 期刊:
  • 影响因子:
    4.9
  • 作者:
    A. Enriquez;Thomas Wahl;Stefan A. Talke;P. M. Orton;James F. Booth;Miguel Agulles;S. Santamaria
  • 通讯作者:
    S. Santamaria
Advances in extreme value analysis and application to natural hazards
  • DOI:
    10.1007/s11069-019-03628-x
  • 发表时间:
    2019-08-22
  • 期刊:
  • 影响因子:
    3.700
  • 作者:
    Ivan D. Haigh;Thomas Wahl
  • 通讯作者:
    Thomas Wahl
Transdisciplinary research promoting clean and resilient energy systems for socially vulnerable communities: A review
促进社会弱势群体清洁和有复原力的能源系统的跨学科研究:综述
  • DOI:
    10.1016/j.rser.2025.115434
  • 发表时间:
    2025-05-01
  • 期刊:
  • 影响因子:
    16.300
  • 作者:
    Sara Belligoni;Elizabeth Trader;Mengjie Li;Mohammad Siddiqur Rahman;Javed Ali;Alejandra Rodriguez Enriquez;Meghana Nagaraj;Sanam K. Aksha;Kelly A. Stevens;Thomas Wahl;Christopher T. Emrich;Zhihua Qu;Kristopher O. Davis
  • 通讯作者:
    Kristopher O. Davis
Observations reveal changing coastal storm extremes around the United States
观察结果显示美国周围沿海极端风暴在不断变化
  • DOI:
    10.1038/s41558-025-02315-z
  • 发表时间:
    2025-04-17
  • 期刊:
  • 影响因子:
    27.100
  • 作者:
    Joao Morim;Thomas Wahl;D. J. Rasmussen;Francisco M. Calafat;Sean Vitousek;Soenke Dangendorf;Robert E. Kopp;Michael Oppenheimer
  • 通讯作者:
    Michael Oppenheimer
Trends in Europe storm surge extremes match the rate of sea-level rise
欧洲风暴潮极端事件的趋势与海平面上升速率相匹配
  • DOI:
    10.1038/s41586-022-04426-5
  • 发表时间:
    2022-03-30
  • 期刊:
  • 影响因子:
    48.500
  • 作者:
    Francisco M. Calafat;Thomas Wahl;Michael Getachew Tadesse;Sarah N. Sparrow
  • 通讯作者:
    Sarah N. Sparrow

Thomas Wahl的其他文献

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

{{ truncateString('Thomas Wahl', 18)}}的其他基金

CAREER: The Effects of Spatiotemporal Storm Surge Clusters on Coastal Flood Risk
职业:时空风暴潮集群对沿海洪水风险的影响
  • 批准号:
    2141461
  • 财政年份:
    2022
  • 资助金额:
    $ 49.99万
  • 项目类别:
    Continuing Grant
NSFGEO-NERC: CHANCE - understanding Compound flooding in the past, present and future for nortH AtlaNtic CoastlinEs
NSFGEO-NERC:机会 - 了解北大西洋海岸线过去、现在和未来的复合洪水
  • 批准号:
    1929382
  • 财政年份:
    2019
  • 资助金额:
    $ 49.99万
  • 项目类别:
    Standard Grant
PREEVENTS Track 2: Collaborative Research: Geomorphic Versus Climatic Drivers of Changing Coastal Flood Risk
预防事件轨道 2:协作研究:变化的沿海洪水风险的地貌与气候驱动因素
  • 批准号:
    1854896
  • 财政年份:
    2019
  • 资助金额:
    $ 49.99万
  • 项目类别:
    Continuing Grant
NSF Student Travel Grant for 2017 Conference on Computer Aided Verification
2017 年计算机辅助验证会议 NSF 学生旅费补助金
  • 批准号:
    1732205
  • 财政年份:
    2017
  • 资助金额:
    $ 49.99万
  • 项目类别:
    Standard Grant
SHF: Small: Stabilizing Numeric Programs Against Platform Uncertainties
SHF:小型:针对平台不确定性稳定数值程序
  • 批准号:
    1718235
  • 财政年份:
    2017
  • 资助金额:
    $ 49.99万
  • 项目类别:
    Standard Grant
FMCAD 2015 Student Forum
FMCAD 2015学生论坛
  • 批准号:
    1529480
  • 财政年份:
    2015
  • 资助金额:
    $ 49.99万
  • 项目类别:
    Standard Grant
CAREER: Verifying Threaded Software Using Resource Bounds -- An Approach Towards Dependable Concurrency
职业:使用资源界限验证线程软件——一种实现可靠并发的方法
  • 批准号:
    1253331
  • 财政年份:
    2013
  • 资助金额:
    $ 49.99万
  • 项目类别:
    Continuing 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 万元
  • 项目类别:
    重大研究计划

相似海外基金

CIF: Small: Ensuring Accuracy in Differentially Private Decentralized Optimization
CIF:小:确保差分隐私去中心化优化的准确性
  • 批准号:
    2334449
  • 财政年份:
    2024
  • 资助金额:
    $ 49.99万
  • 项目类别:
    Standard Grant
CNS Core: Small: Ensuring Privacy by Runtime Analog Sanitization of Solid State Storage Devices
CNS 核心:小型:通过固态存储设备的运行时模拟清理确保隐私
  • 批准号:
    2403540
  • 财政年份:
    2023
  • 资助金额:
    $ 49.99万
  • 项目类别:
    Standard Grant
Collaborative Research: RI: Small: Post hoc Explanations in the Wild: Exposing Vulnerabilities and Ensuring Robustness
合作研究:RI:小型:事后解释:暴露漏洞并确保稳健性
  • 批准号:
    2008461
  • 财政年份:
    2020
  • 资助金额:
    $ 49.99万
  • 项目类别:
    Standard Grant
Collaborative Research: RI: Small: Post hoc Explanations in the Wild: Exposing Vulnerabilities and Ensuring Robustness
合作研究:RI:小型:事后解释:暴露漏洞并确保稳健性
  • 批准号:
    2008956
  • 财政年份:
    2020
  • 资助金额:
    $ 49.99万
  • 项目类别:
    Standard Grant
CNS Core: Small: Ensuring Privacy by Runtime Analog Sanitization of Solid State Storage Devices
CNS 核心:小型:通过固态存储设备的运行时模拟清理确保隐私
  • 批准号:
    2007403
  • 财政年份:
    2020
  • 资助金额:
    $ 49.99万
  • 项目类别:
    Standard Grant
Providing new and essential capabilities for situational awareness of small marine craft ensuring safe and efficient operation in dynamic sea conditio
为小型船舶的态势感知提供新的基本功能,确保在动态海洋条件下安全高效地运行
  • 批准号:
    2428271
  • 财政年份:
    2019
  • 资助金额:
    $ 49.99万
  • 项目类别:
    Studentship
CIF: Small: Ensuring robustness of communication between networked energy harvesting nodes
CIF:小:确保网络能量收集节点之间通信的稳健性
  • 批准号:
    1618145
  • 财政年份:
    2016
  • 资助金额:
    $ 49.99万
  • 项目类别:
    Standard Grant
RES'EAU-WaterNet: A Network ensuring safe drinking water for small and rural communities
RESEAU-WaterNet:确保小型和农村社区安全饮用水的网络
  • 批准号:
    364635-2007
  • 财政年份:
    2013
  • 资助金额:
    $ 49.99万
  • 项目类别:
    Strategic Network Grants Program
RES'EAU-WaterNet: A Network ensuring safe drinking water for small and rural communities
RESEAU-WaterNet:确保小型和农村社区安全饮用水的网络
  • 批准号:
    364635-2007
  • 财政年份:
    2012
  • 资助金额:
    $ 49.99万
  • 项目类别:
    Strategic Network Grants Program
RES'EAU-WaterNet: A Network ensuring safe drinking water for small and rural communities
RESEAU-WaterNet:确保小型和农村社区安全饮用水的网络
  • 批准号:
    364635-2007
  • 财政年份:
    2011
  • 资助金额:
    $ 49.99万
  • 项目类别:
    Strategic Network Grants Program
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了