II-New: A Computational Infrastructure for Scalable Transactional Memory Abstractions in Managed Languages
II-新:托管语言中可扩展事务内存抽象的计算基础设施
基本信息
- 批准号:0958465
- 负责人:
- 金额:$ 55.63万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2010
- 资助国家:美国
- 起止时间:2010-06-01 至 2014-05-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
This proposal supports the acquisition of an Azul Vega 3 compute appliancefor research on developing an open-source general-purpose transactionalinfrastructure for high-level managed languages. This appliance is equippedwith hundreds of processor cores, substantial memory, and bandwidthavailability. The cores compute in a flat SMP configuration, simplifyingprogrammability and management. The appliance has a number of novelfeatures including hardware support for concurrent garbage collection, andoptimistic lock elision that provide critical building blocks for efficienttransactional memory (TM) support. The project's research agenda is toexplore new approaches to scalable parallel program construction thatexploits underlying hardware primitives that mask or mitigate criticalbottlenecks that have thus far hampered effective scalable softwaretransactional memory systems.The project will use the novel features of the Azul appliance to (i) explorenew language abstractions with special focus on scalability of transactionalapplications; (ii) understand how primitive support for garbage collectionand transactions influence algorithm and application development built usingthese abstractions; (iii) examine the impact of these mechanisms oncompiler and runtime design; and (iv) develop a large number of benchmarksand workloads to better understand TM performance characteristics.This project is part of a larger NSF-funded effort to catalyze TM research,which in turn is a key technique to improving software development forgeneral-purpose parallel computers. Widespread adoption of new scalableconcurrency abstractions such as transactional memory is an essentialcomponent in the technology roadmap of major industry players, and the focusof much attention in academia.
该提案支持购买 Azul Vega 3 计算设备,用于研究开发高级托管语言的开源通用事务基础设施。 该设备配备了数百个处理器核心、大量内存和带宽可用性。 这些内核采用扁平 SMP 配置进行计算,从而简化了可编程性和管理。 该设备具有许多新颖的功能,包括对并发垃圾收集的硬件支持,以及为高效事务内存 (TM) 支持提供关键构建块的乐观锁省略。 该项目的研究议程是探索可扩展并行程序构建的新方法,该方法利用底层硬件原语来掩盖或减轻迄今为止阻碍有效可扩展软件事务内存系统的关键瓶颈。该项目将使用 Azul 设备的新颖功能来 (i) 探索新语言特别关注事务应用程序的可扩展性的抽象; (ii) 了解对垃圾收集和事务的原始支持如何影响使用这些抽象构建的算法和应用程序开发; (iii) 检查这些机制对编译器和运行时设计的影响; (iv) 开发大量基准测试和工作负载,以更好地了解 TM 性能特征。该项目是 NSF 资助的更大项目的一部分,旨在促进 TM 研究,而这反过来又是改进通用并行计算机软件开发的关键技术。 事务内存等新的可扩展并发抽象的广泛采用是主要行业参与者技术路线图中的重要组成部分,也是学术界高度关注的焦点。
项目成果
期刊论文数量(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 }}
Jan Vitek其他文献
Reusing Just-in-Time Compiled Code
重用即时编译的代码
- DOI:
- 发表时间:
2023 - 期刊:
- 影响因子:0
- 作者:
Meetesh Kalpesh Mehta;Sebastián Krynski;Hugo Musso Gualandi;Manas Thakur;Jan Vitek - 通讯作者:
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
Jan Vitek的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Jan Vitek', 18)}}的其他基金
SHF: Small: Predictable Performance for Just-in-Time Compilation
SHF:小型:可预测的即时编译性能
- 批准号:
2139612 - 财政年份:2022
- 资助金额:
$ 55.63万 - 项目类别:
Standard Grant
CCRI: ENS: Collaborative Research: Enhancing R for Scalability and Deployment
CCRI:ENS:协作研究:增强 R 的可扩展性和部署
- 批准号:
1925644 - 财政年份:2019
- 资助金额:
$ 55.63万 - 项目类别:
Standard Grant
SHF: Small: Program Analysis for Data Science
SHF:小型:数据科学程序分析
- 批准号:
1910850 - 财政年份:2019
- 资助金额:
$ 55.63万 - 项目类别:
Standard Grant
SHF: Small: Collaborative Research: A Rational Reconstruction of the Julia Type System
SHF:小型:协作研究:Julia 类型系统的合理重建
- 批准号:
1908389 - 财政年份:2019
- 资助金额:
$ 55.63万 - 项目类别:
Standard Grant
NSF Student Travel Grant for 2017 Programming Language Implementation Summer School (PLISS)
NSF 2017 年编程语言实施暑期学校学生旅费补助金 (PLISS)
- 批准号:
1723053 - 财政年份:2017
- 资助金额:
$ 55.63万 - 项目类别:
Standard Grant
SHF: PROJECT DARWIN_ Towards Principled Language Evolution
SHF:达尔文计划_迈向有原则的语言进化
- 批准号:
1544542 - 财政年份:2016
- 资助金额:
$ 55.63万 - 项目类别:
Standard Grant
SHF: Small: Foundations of Just-in-Time Compilation
SHF:小型:即时编译的基础
- 批准号:
1618732 - 财政年份:2016
- 资助金额:
$ 55.63万 - 项目类别:
Standard Grant
European Conference on Object Oriented Programming
欧洲面向对象编程会议
- 批准号:
1521864 - 财政年份:2015
- 资助金额:
$ 55.63万 - 项目类别:
Standard Grant
CPS: Medium: Robust Distributed Wind Power Engineering
CPS:中:稳健的分布式风电工程
- 批准号:
1523426 - 财政年份:2014
- 资助金额:
$ 55.63万 - 项目类别:
Standard Grant
相似国自然基金
顺层边坡变形调控新结构——让剪让压型锚拉桩的承载机理与计算方法
- 批准号:52378327
- 批准年份:2023
- 资助金额:50 万元
- 项目类别:面上项目
一种非累乘型联合条件概率计算的新证据权方法及其在矿产资源定量评价中的应用研究
- 批准号:41562018
- 批准年份:2015
- 资助金额:38.0 万元
- 项目类别:地区科学基金项目
基于2型糖尿病新靶点Smad3设计的新型化合物的合成及活性研究
- 批准号:81302639
- 批准年份:2013
- 资助金额:23.0 万元
- 项目类别:青年科学基金项目
铂催化剂的新载体-核壳型纳米复合物的设计、制备及作用机理
- 批准号:20706010
- 批准年份:2007
- 资助金额:18.0 万元
- 项目类别:青年科学基金项目
基于概率型算子与概率分布的曲线曲面造型新算法研究
- 批准号:10571145
- 批准年份:2005
- 资助金额:28.0 万元
- 项目类别:面上项目
相似海外基金
Defining the shared transcriptional network underlying Toxoplasma extracellular stress and stage transition
定义弓形虫细胞外应激和阶段转变背后的共享转录网络
- 批准号:
10682134 - 财政年份:2023
- 资助金额:
$ 55.63万 - 项目类别:
Clinical Translation of Nuclear Export Inhibitor in Metastatic Pancreatic Cancer
核输出抑制剂在转移性胰腺癌中的临床转化
- 批准号:
10443040 - 财政年份:2023
- 资助金额:
$ 55.63万 - 项目类别:
Non-invasive characterization of human soft tissue sarcoma response to radiation therapy
人类软组织肉瘤对放射治疗反应的非侵入性表征
- 批准号:
10684135 - 财政年份:2022
- 资助金额:
$ 55.63万 - 项目类别:
Non-invasive characterization of human soft tissue sarcoma response to radiation therapy
人类软组织肉瘤对放射治疗反应的非侵入性表征
- 批准号:
10448722 - 财政年份:2022
- 资助金额:
$ 55.63万 - 项目类别:
Identification of Causal T-Cell Mechanisms in Immune Checkpoint Inhibitor Induced Myocarditis
免疫检查点抑制剂诱发心肌炎的 T 细胞机制鉴定
- 批准号:
10545278 - 财政年份:2022
- 资助金额:
$ 55.63万 - 项目类别: