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

全行业向芯片多处理器(多核)的过渡意味着未来计算机系统的实用取决于开发有效的并发编程方法。事务存储器(Transaction Memory，TM)是解决这一问题的一种有前途的方法。软件TM(STM)的实施展示了TM的潜力并实现了早期部署，而硬件TM(HTMS)承诺在更广泛的语言和应用程序上提供更高的性能。该项目的目标是促进HTM技术与现有系统软件投资的互动。首先，作为基础，它将HTMS解构为具有可互换实现的机制。其次，它改进了这些机制，以与现有和未来的语言运行时、I/O系统、操作系统和管理程序共存。第三，它为大型、长期运行的交易开发技术，扩大了TM的适用性。第四，它探索了HTM机制在其他目的上的应用，如提高可靠性、正确性、安全性和性能。第五，它为所需的软件和硬件开发评估平台。该项目将导致HTM设计支持包括虚拟化和I/O在内的高级系统软件架构，并通过高效的长期运行事务简化并行编程。此外，这些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.