SHF: Small: Mainstream Transactional Memory

SHF：小型：主流事务内存

• 批准号: 1422649
• 负责人: Michael Scott
• 金额: $ 49.94万
• 依托单位: University of Rochester
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2014
• 资助国家: 美国
• 起止时间: 2014-09-01 至 2019-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1422649&HistoricalAwards=false
• 关键词: SHF; Small; Mainstream; Transactional; Memory

Title: SHF: Small: Mainstream Transactional MemoryTransactional Memory (TM) is the union of two transformative ideas: first, that parallel programming will be easier if programmers can simply specify which operations in their code should be atomic, without specifying how to make them atomic; second, that this simplicity can be supported -- and performance often improved -- by a speculative implementation that executes atomic blocks in parallel, and backs out and retries when -- and only when -- those blocks conflict with one another. After many years of research, TM is now entering widespread use. Hardware support is commercially available from both IBM and Intel; software support is standard in Haskell and under consideration in several other programming languages -- notably C++. The sponsored research extends the state of the art in transactional memory by focusing on (1) software acceleration of fast hardware transactions and (2) hardware acceleration of rich software transactions.The intellectual merits in focus area 1 comprise compiler-based techniques to increase speculation success rates, by safely and automatically moving commonly conflicting operations out of transactions, and by "pipelining" execution to serialize the remaining causes of conflict. The intellectual merits in focus area 2 comprise enhancements to the STM run-time system for the Haskell programming language, where hardware support can be used to accelerate transactions whose semantics are too complex to implement directly with commercial hardware. The broader impacts begin with easier construction of correct, efficient parallel code that will allow programmers of all skill levels to write that code more easily. Moreover, the work will impact computer science and allied fields by smoothing the transition to ubiquitous multithreading, thereby extending performance improvements through the next generation of computing. In summary, the work will lead to progress in almost any domain that is driven by parallel computing, across academia and industry.

职务名称：SHF：小：主流的transmittance memory transmittance Memory（TM）是两种变革思想的结合：第一，如果程序员可以简单地指定代码中的哪些操作应该是原子的，而不指定如何使它们成为原子的，那么并行编程将更容易;第二，这种简单性可以通过并行执行原子块的推测性实现来支持，并且性能通常会得到改善，只有当这些块相互冲突时，才退出并重试。 经过多年的研究，TM现在正在广泛使用。 IBM和Intel都提供商业硬件支持; Haskell中的软件支持是标准的，其他几种编程语言也在考虑中，特别是C++。 赞助的研究通过关注（1）快速硬件事务的软件加速和（2）丰富软件事务的硬件加速来扩展事务存储器的最新技术。重点领域1的知识优势包括基于编译器的技术，通过安全和自动地将通常冲突的操作移出事务，以及通过“流水线”执行来串行化冲突的剩余原因。 重点领域2的知识优势包括增强Haskell编程语言的STM运行时系统，其中硬件支持可用于加速语义过于复杂而无法直接用商业硬件实现的事务。更广泛的影响开始与正确的更容易的构造，高效的并行代码，将允许所有技能水平的程序员更容易地编写代码。此外，这项工作将通过平滑过渡到无处不在的多线程来影响计算机科学和相关领域，从而通过下一代计算扩展性能改进。总之，这项工作将在学术界和工业界几乎所有由并行计算驱动的领域取得进展。

项目成果

Safe, Fast Sharing of memcached as a Protected Library

安全、快速地共享 memcached 作为受保护的库

• DOI: 10.1145/3404397.3404443
• 发表时间: 2020
• 期刊: International Conference on Parallel Processing
• 作者: Kjellqvist, Chris;Hedayati, Mohammad;Scott, Michael L.
• 通讯作者: Scott, Michael L.

Hodor: intra-process isolation for high-throughput data plane libraries

Hodor：高吞吐量数据平面库的进程内隔离

• 发表时间: 2019
• 期刊: Proceedings of the 2019 Usenix Annual Technical Conference
• 作者: Mohammad Hedayati, Spyridoula Gravani

Nonblocking Persistent Software Transactional Memory

非阻塞持久软件事务内存

• DOI: 10.1109/hipc50609.2020.00042
• 发表时间: 2020
• 期刊: and Analytics (HiPC
• 作者: Beadle, H. Alan;Cai, Wentao;Wen, Haosen;Scott, Michael L.
• 通讯作者: Scott, Michael L.

Interval-based memory reclamation

基于间隔的内存回收

• DOI: 10.1145/3178487.3178488
• 发表时间: 2018
• 期刊: Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
• 作者: Wen, Haosen;Izraelevitz, Joseph;Cai, Wentao;Beadle, H. Alan;Scott, Michael L.
• 通讯作者: Scott, Michael L.

Understanding and optimizing persistent memory allocation

• DOI: 10.1145/3381898.3397212
• 发表时间: 2020-03
• 期刊: Proceedings of the 2020 ACM SIGPLAN International Symposium on Memory Management
• 作者: Wentao Cai;Haosen Wen;H. A. Beadle;Chris Kjellqvist;Mohammad Hedayati;M. Scott