CSR---AES: Deconstructing Transactional Memory: System Support for Robust Concurrent Programming

全行业向芯片多处理器（多核）的过渡意味着未来计算机系统的实用性取决于开发有效的并发编程方法。事务性内存（TM）是解决这个问题的一种很有前途的方法。软件TM （STM）的实现展示了TM的潜力并支持早期部署，而硬件TM （HTMs）承诺在更广泛的语言和应用程序中具有更高的性能。该项目的目标是促进HTM技术与系统软件中大量现有投资的相互作用。首先，作为基础，它将html分解为具有可互换实现的机制。其次，它对这些机制进行了细化，使其与现有和未来的语言运行时、I/O系统、操作系统和管理程序兼容。第三，它为大型、长时间运行的事务开发了技术，扩大了TM的适用性。第四，探讨HTM机制在其他方面的应用，比如提高可靠性、正确性、安全性和性能。第五，开发了所需软硬件的评估平台。该项目将产生支持高级系统软件架构（包括虚拟化和I/O）的HTM设计，并通过高效的长时间运行事务简化并行编程。此外，这些HTM机制将被设计成支持进一步简化或改进软件的替代用途。此外，该项目力求通过对受资助学生的多学科培训产生更广泛的影响，并通过工业附属会议、会谈、论文等方式对计算机行业产生影响。最后，它推进了gpl发布的通用执行驱动多处理器仿真（GEMS），以便其他研究人员可以利用该项目开发的评估基础设施。

The industry-wide transition to chip multiprocessors (multicores) means that the utility of future computer systems depends on developing effective concurrent programming methods. Transactional memory (TM) is one promising approach to this problem. Software TM (STM) implementations demonstrate TM's potential and enable early deployment, while Hardware TMs (HTMs) promise higher performance across a broader range of languages and applications.This goal of this project is to advance the interaction of HTM technology with the large existing investment in system software. First, as a foundation, it deconstructs HTMs into mechanisms with interchangable implementations. Second, it refines these mechanisms to cohabit with existing and future language runtimes, I/O systems, operating systems and hypervisors. Third, it develops technologies for large, long-running transactions, broadening TM's applicability. Fourth, it explores applications of HTM mechanisms to other purposes, such as improving reliability, correctness, security, and performance. Fifth, it develops evaluation platforms for the required software and hardware.The project will result in HTM designs that support advanced system software architectures, including virtualization and I/O, and simplify parallel programming through efficient long-running transactions. Additionally, these HTM mechanisms will be designed to support alternative uses that further simplify or improve software. Moreover, the project seeks a broader impact via multidisciplinary training for supported students and influence on the computer industry through industrial affiliates meetings, talks, papers, etc. Finally, it advances the GPL-released General Execution-driven Multiprocessor Simulation (GEMS) so that other researchers can leverage the evaluation infrastructure the project develops.