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：小：主流交易记忆转录内存（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.

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

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.