SHF: Small: Predictable Performance for Just-in-Time Compilation

SHF:小型:可预测的即时编译性能

基本信息

  • 批准号:
    2139612
  • 负责人:
  • 金额:
    $ 49.96万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2022
  • 资助国家:
    美国
  • 起止时间:
    2022-10-01 至 2025-09-30
  • 项目状态:
    未结题

项目摘要

Performance is serious business for a scientific programming language. Success in that niche hinges on fostering a rich ecosystem of highly-optimized mathematical libraries. The Julia language is predicated on the bet that its users can write efficient numerical code without having to resort to C or Fortran. Julia programmers strive to write code that will be compiled with predictable performance. In particular, they believe that, for performance-critical sections, the high-level abstractions provided by the language will melt into code equivalent (or close enough) to what one would have written in a performance language like C. There is an inherent tension between the need for predictable speed and the desire of developers to write generic and reusable high-level code. High-level code uses abstractions such as dynamic binding, generic types, and automatic memory management. Equipped with sufficient information about the expected behavior of a particular program, a compiler can indeed compile these abstractions down to efficient code. Unfortunately, the kind of information needed for this is non-local, and it can be accrued either by whole-program static analysis or by feedback-directed speculative compilation. Either one is sensitive to small changes in the program. Programmers may thus not be able to predict how efficient their code will be without testing it extensively after each code change. To avoid this, the designers of Julia have included two novel features in their language design: world age and type stability. These features allow programmers to have greater confidence in their code, and are part of a dialogue between the compiler and programmers. This project's novelties are to formalize existing concepts in Julia for predictable performance and to argue about their correctness. The project’s impacts are a better understanding of the language that can be leveraged by programmers and tool-builders.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.
对于一门科学编程语言来说,性能是一件严肃的事情。在这个利基市场的成功取决于培育一个高度优化的数学库的丰富生态系统。Julia语言的前提是它的用户可以编写有效的数字代码,而不必求助于C或Fortran。Julia程序员努力编写将以可预测的性能编译的代码。特别是,他们认为,对于性能关键的部分,语言提供的高级抽象将融入代码等效(或足够接近)的代码中,以像C这样的性能语言编写。在对可预测速度的需求和开发人员编写通用和可重用的高级代码的愿望之间存在固有的紧张关系。高级代码使用动态绑定、泛型类型和自动内存管理等抽象。有了关于特定程序的预期行为的足够信息,编译器确实可以将这些抽象编译成有效的代码。 不幸的是,这类所需的信息是非本地的,它可以通过整个程序的静态分析或反馈导向的推测性编译来获得。任何一个都对程序中的微小变化敏感。因此,程序员可能无法预测他们的代码在每次代码更改后没有广泛测试的情况下将有多高效。为了避免这种情况,Julia的设计者在他们的语言设计中加入了两个新颖的特性:世界年龄和类型稳定性。这些特性使程序员对自己的代码有更大的信心,并且是编译器和程序员之间对话的一部分。 这个项目的新颖之处在于形式化Julia中现有的概念,以获得可预测的性能,并讨论它们的正确性。这个奖项反映了NSF的法定使命,并通过使用基金会的知识价值和更广泛的影响审查标准进行评估,被认为值得支持。

项目成果

期刊论文数量(1)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Deoptless: speculation with dispatched on-stack replacement and specialized continuations
Deoptless:通过调度堆栈替换和专门的延续进行推测
{{ 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 }}

Jan Vitek其他文献

Julia’s efficient algorithm for subtyping unions and covariant tuples (Pearl)
Julia 用于子类型联合和协变元组的高效算法 (Pearl)
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Benjamin Chung;Francesco Zappa;Nardelli Inria;Jan Vitek;Francesco Zappa Nardelli
  • 通讯作者:
    Francesco Zappa Nardelli
Proceedings of the First International Workshop on Aliasing, Confinement and Ownership in Object-oriented Programming (IWACO)
第一届面向对象编程中的别名、限制和所有权国际研讨会 (IWACO) 论文集
  • DOI:
  • 发表时间:
    2003
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Dave Clarke;Chandrasekhar Boyapati;Robert Lee;Richard Paige;J. Ostroff;Phillip Brooke;James Noble;Robert Biddle;E. Tempero;A. Potanin;Tian Zhao;Jens Palsberg;Jan;Sophia Drosspoulou;Workshop Organisers;Jonathan Aldrich;Doug Lea;Suny Oswego;David Naumann;Queen Mary;Martin Rinard;Jan Vitek;Anindya Banerjee;S. Drossopoulou;Matthew Smith;C. Pierik;Tobias Wrigstad;P. O 'hearn;John Tang Boyland;M. Fähndrich;K. Rustan;M. Leino;Scott F Smith;Mark Thober Discussion
  • 通讯作者:
    Mark Thober Discussion
Scoped types and aspects for real-time Java memory management
  • DOI:
    10.1007/s11241-007-9024-3
  • 发表时间:
    2007-05-23
  • 期刊:
  • 影响因子:
    1.300
  • 作者:
    Chris Andreae;Yvonne Coady;Celina Gibbs;James Noble;Jan Vitek;Tian Zhao
  • 通讯作者:
    Tian Zhao
Reusing Just-in-Time Compiled Code
重用即时编译的代码
  • DOI:
  • 发表时间:
    2023
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Meetesh Kalpesh Mehta;Sebastián Krynski;Hugo Musso Gualandi;Manas Thakur;Jan Vitek
  • 通讯作者:
    Jan Vitek
The JavaSeal Mobile Agent Kernel

Jan Vitek的其他文献

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

{{ truncateString('Jan Vitek', 18)}}的其他基金

CCRI: ENS: Collaborative Research: Enhancing R for Scalability and Deployment
CCRI:ENS:协作研究:增强 R 的可扩展性和部署
  • 批准号:
    1925644
  • 财政年份:
    2019
  • 资助金额:
    $ 49.96万
  • 项目类别:
    Standard Grant
SHF: Small: Program Analysis for Data Science
SHF:小型:数据科学程序分析
  • 批准号:
    1910850
  • 财政年份:
    2019
  • 资助金额:
    $ 49.96万
  • 项目类别:
    Standard Grant
SHF: Small: Collaborative Research: A Rational Reconstruction of the Julia Type System
SHF:小型:协作研究:Julia 类型系统的合理重建
  • 批准号:
    1908389
  • 财政年份:
    2019
  • 资助金额:
    $ 49.96万
  • 项目类别:
    Standard Grant
NSF Student Travel Grant for 2017 Programming Language Implementation Summer School (PLISS)
NSF 2017 年编程语言实施暑期学校学生旅费补助金 (PLISS)
  • 批准号:
    1723053
  • 财政年份:
    2017
  • 资助金额:
    $ 49.96万
  • 项目类别:
    Standard Grant
SHF: PROJECT DARWIN_ Towards Principled Language Evolution
SHF:达尔文计划_迈向有原则的语言进化
  • 批准号:
    1544542
  • 财政年份:
    2016
  • 资助金额:
    $ 49.96万
  • 项目类别:
    Standard Grant
ECOOP Travel support
ECOOP 旅行支持
  • 批准号:
    1643041
  • 财政年份:
    2016
  • 资助金额:
    $ 49.96万
  • 项目类别:
    Standard Grant
SHF: Small: Foundations of Just-in-Time Compilation
SHF:小型:即时编译的基础
  • 批准号:
    1618732
  • 财政年份:
    2016
  • 资助金额:
    $ 49.96万
  • 项目类别:
    Standard Grant
European Conference on Object Oriented Programming
欧洲面向对象编程会议
  • 批准号:
    1521864
  • 财政年份:
    2015
  • 资助金额:
    $ 49.96万
  • 项目类别:
    Standard Grant
CPS: Medium: Robust Distributed Wind Power Engineering
CPS:中:稳健的分布式风电工程
  • 批准号:
    1523426
  • 财政年份:
    2014
  • 资助金额:
    $ 49.96万
  • 项目类别:
    Standard Grant
CSR: CC: Small: Collaborative Research: Language and Runtime Support for Large-Scale Data Analytics
CSR:CC:小型:协作研究:大规模数据分析的语言和运行时支持
  • 批准号:
    1460683
  • 财政年份:
    2014
  • 资助金额:
    $ 49.96万
  • 项目类别:
    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 万元
  • 项目类别:
    重大研究计划

相似海外基金

CIF: Small: NSF-DST: Zak-OTFS - How to Make Communication and Radar Sensing More Predictable in 6G
CIF:小型:NSF-DST:Zak-OTFS - 如何使 6G 中的通信和雷达传感更具可预测性
  • 批准号:
    2342690
  • 财政年份:
    2024
  • 资助金额:
    $ 49.96万
  • 项目类别:
    Standard Grant
CNS Core: Small: Towards Timing-Predictable Autonomy in DNN-driven Embedded Systems
CNS 核心:小型:在 DNN 驱动的嵌入式系统中实现时序可预测的自主性
  • 批准号:
    2300525
  • 财政年份:
    2022
  • 资助金额:
    $ 49.96万
  • 项目类别:
    Standard Grant
CNS Core: Small: Towards Timing-Predictable Autonomy in DNN-driven Embedded Systems
CNS 核心:小型:在 DNN 驱动的嵌入式系统中实现时序可预测的自主性
  • 批准号:
    2135625
  • 财政年份:
    2022
  • 资助金额:
    $ 49.96万
  • 项目类别:
    Standard Grant
CSR: Small: The Deterministic Memory Approach for Predictable and High Performance Cyber Physical Systems
CSR:小:用于可预测和高性能网络物理系统的确定性内存方法
  • 批准号:
    1718880
  • 财政年份:
    2017
  • 资助金额:
    $ 49.96万
  • 项目类别:
    Standard Grant
CSR: Small: System and Middleware Approaches to Predictable Services in Multi-Tenant Clouds
CSR:小:多租户云中可预测服务的系统和中间件方法
  • 批准号:
    1649502
  • 财政年份:
    2016
  • 资助金额:
    $ 49.96万
  • 项目类别:
    Standard Grant
CSR: Small: Predictable Real-Time Computing in GPU-enabled Systems
CSR:小型:支持 GPU 的系统中的可预测实时计算
  • 批准号:
    1527727
  • 财政年份:
    2015
  • 资助金额:
    $ 49.96万
  • 项目类别:
    Standard Grant
CSR: Small: A Time-Predictable Integrated CPU-GPU Architecture for Hard Real-Time Systems
CSR:小型:用于硬实时系统的时间可预测集成 CPU-GPU 架构
  • 批准号:
    1421577
  • 财政年份:
    2014
  • 资助金额:
    $ 49.96万
  • 项目类别:
    Standard Grant
CSR: Small: System and Middleware Approaches to Predictable Services in Multi-Tenant Clouds
CSR:小:多租户云中可预测服务的系统和中间件方法
  • 批准号:
    1320122
  • 财政年份:
    2013
  • 资助金额:
    $ 49.96万
  • 项目类别:
    Standard Grant
CSR: Small: Bringing Predictable Low Latency and Strong Consistency to Data Center Services
CSR:小:为数据中心服务带来可预测的低延迟和强一致性
  • 批准号:
    1217597
  • 财政年份:
    2012
  • 资助金额:
    $ 49.96万
  • 项目类别:
    Standard Grant
NeTS: Small: Collaborative Research: Protocols and Analysis for Predictable Wireless Sensor Networks
NetS:小型:协作研究:可预测无线传感器网络的协议和分析
  • 批准号:
    1144664
  • 财政年份:
    2011
  • 资助金额:
    $ 49.96万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了