CPA-SEL-T: Collaborative Research: Unified Open Source Transactional Infrastructure
CPA-SEL-T:协作研究:统一开源事务基础设施
基本信息
- 批准号:0811631
- 负责人:
- 金额:$ 50万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2008
- 资助国家:美国
- 起止时间:2008-09-15 至 2012-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
As general-purpose computing moves into the age of pervasive parallelism, programmability becomes the key hurdle limiting the effective use of available computing resources. Transactional memory promises to simplify parallel programming for application programmers. However, research in Transactional Memory is being seriously hampered by the lack of a reusable open source infrastructure. The project will develop the key pieces necessary to overcome this situation: A transactional memory library built out of highly decomposed pieces will provide reusable and replaceable parts suitable for investigating tradeoffs in software TM implementations. Standardized interfaces will allow libraries conforming to the interfaces to be used in a variety of environments. TM-aware run-time analysis tools, particularly profilers and debuggers, will provide the necessary tool support for TM implementors and application programmers to understand and improve the performance of software using transactions. Interesting benchmarks, in a variety of high-level languages, will move forward our understanding of TM performance characteristics.
随着通用计算进入普适并行时代,可编程性成为限制有效使用可用计算资源的关键障碍。 transmitted内存承诺为应用程序员简化并行编程。然而,由于缺乏可重用的开源基础设施,Transmitted Memory的研究受到严重阻碍。该项目将开发克服这种情况所需的关键部分:由高度分解的部分构建的事务内存库将提供可重用和可替换的部分,适用于研究软件TM实现中的权衡。 标准化的接口将允许符合接口的库在各种环境中使用。TM感知的运行时分析工具,特别是剖析器和调试器,将为TM实现者和应用程序员提供必要的工具支持,以理解和改进使用事务的软件的性能。 有趣的基准测试,在各种高级语言,将推动我们的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其他文献
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
- DOI:
10.1023/a:1012715226170 - 发表时间:
2001-12-01 - 期刊:
- 影响因子:2.600
- 作者:
Ciarán Bryce;Jan Vitek - 通讯作者:
Jan Vitek
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
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
CCRI: ENS: Collaborative Research: Enhancing R for Scalability and Deployment
CCRI:ENS:协作研究:增强 R 的可扩展性和部署
- 批准号:
1925644 - 财政年份:2019
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
SHF: Small: Program Analysis for Data Science
SHF:小型:数据科学程序分析
- 批准号:
1910850 - 财政年份:2019
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
SHF: Small: Collaborative Research: A Rational Reconstruction of the Julia Type System
SHF:小型:协作研究:Julia 类型系统的合理重建
- 批准号:
1908389 - 财政年份:2019
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
NSF Student Travel Grant for 2017 Programming Language Implementation Summer School (PLISS)
NSF 2017 年编程语言实施暑期学校学生旅费补助金 (PLISS)
- 批准号:
1723053 - 财政年份:2017
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
SHF: PROJECT DARWIN_ Towards Principled Language Evolution
SHF:达尔文计划_迈向有原则的语言进化
- 批准号:
1544542 - 财政年份:2016
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
SHF: Small: Foundations of Just-in-Time Compilation
SHF:小型:即时编译的基础
- 批准号:
1618732 - 财政年份:2016
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
European Conference on Object Oriented Programming
欧洲面向对象编程会议
- 批准号:
1521864 - 财政年份:2015
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
CPS: Medium: Robust Distributed Wind Power Engineering
CPS:中:稳健的分布式风电工程
- 批准号:
1523426 - 财政年份:2014
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
相似国自然基金
C19ORF18通过抑制SEL1L-HRD1 ERAD功能
激活IRE1α在肝脏脂代谢紊乱中的作用
及机制
- 批准号:
- 批准年份:2025
- 资助金额:10.0 万元
- 项目类别:省市级项目
刺参METTL3靶向内质网相关降解蛋白SEL1L激活体腔细胞凋亡的分子机制
- 批准号:LY23C190003
- 批准年份:2023
- 资助金额:0.0 万元
- 项目类别:省市级项目
基于Sel1L探讨ERAD在泌乳调节中的作用与机制
- 批准号:82301824
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
内质网相关降解关键因子Sel1L调控CD8+T细胞稳态及免疫应答机制研究
- 批准号:
- 批准年份:2022
- 资助金额:53 万元
- 项目类别:面上项目
胰岛素抵抗通过Sel1l-Hrd1介导的内质网相关蛋白降解途径引起神经元线粒体功能异常的机制研究
- 批准号:82270850
- 批准年份:2022
- 资助金额:52 万元
- 项目类别:面上项目
SEL1L-CNX-FUNDC1轴诱导选择性自噬障碍在黑素细胞氧化损伤中的机制研究
- 批准号:
- 批准年份:2021
- 资助金额:55 万元
- 项目类别:面上项目
内质网膜接头蛋白Sel1L在巨噬细胞中的作用及其病理意义研究
- 批准号:
- 批准年份:2021
- 资助金额:58 万元
- 项目类别:面上项目
内质网接头蛋白Sel1L调控CD4+T细胞分化的机制及在EAE疾病发生中的作用
- 批准号:81871234
- 批准年份:2018
- 资助金额:57.0 万元
- 项目类别:面上项目
Sel1L缺失对肝脏线粒体活性氧及脂质代谢平衡的影响研究
- 批准号:31501154
- 批准年份:2015
- 资助金额:20.0 万元
- 项目类别:青年科学基金项目
宿主肝细胞内SEL1L基因对乙型肝炎病毒复制的调控机制以及miRNA-125b对SEL1L基因表达的表观遗传学修饰
- 批准号:81471933
- 批准年份:2014
- 资助金额:63.0 万元
- 项目类别:面上项目
相似海外基金
Collaborative Research: CPA-SEL: Implementation Techniques for High-level Parallel Languages
合作研究:CPA-SEL:高级并行语言的实现技术
- 批准号:
1010568 - 财政年份:2009
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
CPA-SEL: Collaborative Research: Trace-Driven Verification of Multithreaded Software
CPA-SEL:协作研究:多线程软件的跟踪驱动验证
- 批准号:
0810865 - 财政年份:2008
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
CPA-SEL-T: Collaborative Research: Traceability+: a Service Oriented Framework to Support Value-Added Software Traceability
CPA-SEL-T:协作研究:可追溯性:支持增值软件可追溯性的面向服务的框架
- 批准号:
0811021 - 财政年份:2008
- 资助金额:
$ 50万 - 项目类别:
Continuing Grant
Collaborative Research: CPA-SEL: Implementation Techniques for High-level Parallel Languages
合作研究:CPA-SEL:高级并行语言的实现技术
- 批准号:
0811419 - 财政年份:2008
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
CPA-SEL-T: Collaborative Research: Unified Open Source Transactional Infrastructure
CPA-SEL-T:协作研究:统一开源事务基础设施
- 批准号:
0811405 - 财政年份:2008
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
Collaborative Research: CPA-SEL : Implementation Techniques for High- level Parallel Languages
合作研究:CPA-SEL:高级并行语言的实现技术
- 批准号:
0811389 - 财政年份:2008
- 资助金额:
$ 50万 - 项目类别:
Continuing Grant
CPA-SEL-T: Collaborative Research: Traceability+: a Service Oriented Framework to Support Value-Added Software Traceability
CPA-SEL-T:协作研究:可追溯性:支持增值软件可追溯性的面向服务的框架
- 批准号:
0810924 - 财政年份:2008
- 资助金额:
$ 50万 - 项目类别:
Continuing Grant
CPA-SEL: Collaborative Research - Continuing Progress Toward Verified Software
CPA-SEL:协作研究 - 不断取得验证软件的进展
- 批准号:
0811748 - 财政年份:2008
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
CPA-SEL-T: Collaborative Research: Traceability+: a Service Oriented Framework to Support Value-Added Software Traceability
CPA-SEL-T:协作研究:可追溯性:支持增值软件可追溯性的面向服务的框架
- 批准号:
0811140 - 财政年份:2008
- 资助金额:
$ 50万 - 项目类别:
Continuing Grant
CPA-SEL: Collaborative Research: Trace-Driven Verification of Multithreaded Software
CPA-SEL:协作研究:多线程软件的跟踪驱动验证
- 批准号:
0811287 - 财政年份:2008
- 资助金额:
$ 50万 - 项目类别:
Standard Grant