课题基金 / 基金详情

SHF: Small: Concurrency with Specified Orders

SHF: Small: Concurrency with Specified Orders
SHF:小:指定订单并发
批准号:
1815496
负责人:
Jens Palsberg
金额:
$39.6万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2018
资助国家:
美国
项目状态:
已结题
起止时间:
2018-10-01 至 2024-09-30

项目摘要

项目成果

Jens Palsberg的其他基金

相似基金

相关文献

中文摘要
翻译
对并发编程的需求正在增长,尤其是在多核革命之后。这个项目旨在帮助并发程序员提高生产力,并生产出更高质量的软件。这将对社会的软件基础设施至关重要。该项目将开发易于适用于许多主流编程语言(如c++、Java和Scala)的通用技术。该项目的新颖之处是指定顺序的概念,以及众所周知的并发算法的程序逻辑和机器检查证明。项目的影响是并发编程的方法,它允许程序员一次编写,一次验证,并在任何地方高效运行。研究者将与一名博士生一起研究该项目,并将研究结果教授给本科生和研究生。对于并发程序,程序员经常面临他们关于执行的假设与特定体系结构的内存模型之间的不匹配。例如,程序员可能需要执行两条指令才能使程序正确,但大多数体系结构的执行顺序是乱的。这个项目将使程序员能够指定这样的假设,证明正确性,并在各种各样的体系结构上有效地运行。与屏障(汇编语言)、原子排序(c++)和volatile (Java、Scala)等现有机制相比,指定的顺序更容易理解、推理和优化。该奖项反映了美国国家科学基金会的法定使命,并通过使用基金会的知识价值和更广泛的影响审查标准进行评估,被认为值得支持。
英文摘要
The need for concurrent programming is growing, especially after the multi-core revolution. This project aims to help concurrent programmers be more productive and produce software of higher quality. This will be of paramount importance for society's software infrastructure. The project will develop general techniques that are easily applicable to many mainstream programming languages such as C++, Java, and Scala. The project's novelties are a notion of specified orders along with a program logic and machine-checked proofs of well-known concurrent algorithms. The project's impacts are approaches to concurrent programming that allow programmers to write once, prove once, and run efficiently anywhere. The investigator will work with a PhD student on the project and will teach the results to students in an undergraduate course and a graduate course.For concurrent programs, programmers often face a mismatch between their assumptions about execution and the memory model of a specific architecture. For example, a programmer may need two instructions to execute in order for the program to be correct, yet most architectures execute out of order. This project will enable programmers to specify such assumptions, prove correctness, and run efficiently on a wide variety of architectures. Specified orders are easier to understand, reason with, and optimize than existing mechanisms such as barriers (assembly language), atomic orderings (C++), and volatiles (Java, Scala).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.
期刊论文(4)
专著(0)
科研奖励(0)
会议论文
DOI: 10.1145/3468264.3468549
发表时间: 2021-08
期刊: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
影响因子: --
作者: [Yan Cai;Hao Yun;Jinqiu Wang;L. Qiao;J. Palsberg]
通讯作者: Yan Cai;Hao Yun;Jinqiu Wang;L. Qiao;J. Palsberg
A formalization of Java’s concurrent access modes
Java 并发访问模式的形式化
DOI: 10.1145/3360568
发表时间: 2019
期刊: Proceedings of the ACM on Programming Languages
影响因子: --
作者: [Bender, John, Palsberg, Jens]
通讯作者: Palsberg, Jens
DOI: 10.1145/3377811.3380367
发表时间: 2020-06
期刊: 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE)
影响因子: --
作者: [Yan Cai;Ruijie Meng;J. Palsberg]
通讯作者: Yan Cai;Ruijie Meng;J. Palsberg
Compiling Volatile Correctly in Java
在 Java 中正确编译 Volatile
DOI: --
发表时间: 2022
期刊: 36th European Conference on Object-Oriented Programming (ECOOP 2022
影响因子: --
作者: [Liu, Shuyang, Bender, John, Palsberg, Jens]
通讯作者: Palsberg, Jens
CRI: CI-New: Collaborative Research: NJR: A Normalized Java Resource
Collaborative Research: CI-P: NJR: A National Java Resource
Workshop on High-Level Programming Models for Parallelism
SHF: Small: Typed Self-Application
  • 批准号:
    1219240
  • 项目类别:
    Standard Grant
  • 资助金额:
    $49.36万
  • 财政年份:
    2012
  • 负责人:
    Jens Palsberg
  • 依托单位:
国内基金
海外基金
昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
  • 批准号:
  • 项目类别:
    省市级项目
  • 资助金额:
    --
  • 批准年份:
    2024
  • 负责人:
  • 依托单位:
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
  • 批准号:
  • 项目类别:
    省市级项目
  • 资助金额:
    10.0万元
  • 批准年份:
    2022
  • 负责人:
    张祥忠
  • 依托单位:
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
  • 批准号:
    31972324
  • 项目类别:
    面上项目
  • 资助金额:
    58.0万元
  • 批准年份:
    2019
  • 负责人:
    高学文
  • 依托单位: