SHF: Small: Collaborative Research:Concurrent Programming with Composable Transactional Objects

SHF：小型：协作研究：使用可组合事务对象进行并发编程

基本信息

批准号：
1550879
负责人：
Eric Koskinen
金额：
$ 24.09万
依托单位：
Yale University
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
2015
资助国家：
美国
起止时间：
2015-04-21 至 2017-06-30
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=1550879&HistoricalAwards=false
关键词：
SHF Small Collaborative Research Concurrent

项目摘要

SHF: Small: Collaborative Research: Concurrent Programming with Composable Transactional ObjectsWith multicore architectures becoming increasingly prevalent, the problem of constructing scalable and efficient concurrent software has attracted increasing attention. There has been growing interest programming models that allow programmers to demarcate regions of thread code---so-called transactions---that should appear to occur atomically, when viewed from the perspective of other threads.The premise of this project is that current, monolithic software transactional memory (STM) designs are inherently too inefficient and permit too little parallelism. Instead we propose a very different approach: a library of customized concurrent data structures that can be composed, through a very light-weight run-time, to form transactions. Each data structure is optimized to exploit the semantics of its type. The intellectual merits are the development of new type-specific synchronization and recovery algorithms, along with formal tools to reason about their correctness. These ideas will be embodied in a novel concurrency library and verification toolkit, which will be used to construct benchmarks and applications. The boarder impacts involve incorporating concurrency into education and the potential to benefit society through higher performing, more reliable, and less expensive software.

SHF：小：协作研究：与可组合的交易对象设备多核心体系结构的同时编程变得越来越普遍，构建可扩展和高效的并发软件的问题引起了人们越来越多的关注。越来越多的兴趣编程模型使程序员能够划定线程代码的区域---所谓的交易---当从其他线程的角度查看时，似乎是原子发生的。，整体软件交易记忆（STM）设计本质上太低效率，并且允许太少。取而代之的是，我们提出了一种非常不同的方法：可以通过非常轻巧的运行时间组成的定制并发数据结构库，以形成交易。优化每个数据结构以利用其类型的语义。智力优点是开发新型类型的特定同步和恢复算法，以及正式的工具来推理其正确性。这些想法将体现在新颖的并发库和验证工具包中，该工具包将用于构建基准和应用。寄宿生的影响涉及将并发纳入教育，并通过更高的性能，更可靠和较便宜的软件来使社会受益。