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

CSR---AES：解构事务内存：对鲁棒并发编程的系统支持

• 批准号: 0720565
• 负责人: Mark Hill
• 金额: --
• 依托单位: University of Wisconsin-Madison
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2007
• 资助国家: 美国
• 起止时间: 2007-07-01 至 2011-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0720565&HistoricalAwards=false
• 关键词: CSR; AES; Deconstructing; Transactional; Memory

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.

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