CSR: Small: Nested Distributed Software Transactional Memory: Protocols, Mechanisms, and Java Package

CSR：小型：嵌套分布式软件事务内存：协议、机制和 Java 包

• 批准号: 1116190
• 负责人: Binoy Ravindran
• 金额: $ 45万
• 依托单位: Virginia Polytechnic Institute and State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2011
• 资助国家: 美国
• 起止时间: 2011-08-01 至 2015-01-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1116190&HistoricalAwards=false
• 关键词: CSR; Small; Nested; Distributed; Software

In this project, protocols, mechanisms, and a Java implementation of nested distributed transactional memory (TM) are developed. Distributed TM promises to alleviate the programmability, scalability, and performance challenges of lock-based distributed concurrency control. Emerging distributed TM implementations export a simple programming interface that precludes locks and are yielding performance comparable to, or better than lock-based distributed concurrency control. Nesting is essential to distributed TM for composability, functionality, fault-management, and performance. The project is developing protocols and mechanisms to support closed and open nesting in distributed TM. Closed nesting allows a nested transaction to be aborted without aborting the parent transaction, but not vice versa. Open nesting allows a parent transaction to be aborted without aborting the nested transaction, and vice versa, permitting greater concurrency. To support these nesting models, the project is developing distributed transactional conflict resolution protocols, distributed cache coherence protocols, and mechanisms for transparently executing compensating transactions to undo the effects of committed transactions. The project is implementing these techniques in the open-source, HyFlow distributed TM Java package (hyflow.org). The project is also transitioning this technology (techniques and HyFlow implementation) to US Navy's Aegis Combat System, which uses distributed concurrency control. Additionally, the project's results are being incorporated into advanced graduate courses at Virginia Tech that includes students at Blacksburg, VA, scientists and engineers at US Naval Surface Warfare Center Dahlgren Division (NSWCDD), VA (through Virginia Tech's graduate outreach program at NSWCDD), and students in the Middle East and North Africa through Virginia Tech's VT-MENA program at Egypt.

在此项目中，开发了嵌套分布式交易内存（TM）的协议，机制和Java实现。分布式TM承诺可以减轻基于锁定的分布式并发控制的可编程性，可伸缩性和性能挑战。新兴的分布式TM实现导出了一个简单的编程接口，该接口排除锁并产生的性能与基于锁定的分布式并发控制能力相当或更好。嵌套对于分布式TM的合成性，功能，故障管理和性能至关重要。该项目正在开发协议和机制，以支持分布式TM中的封闭和开放嵌套。封闭的嵌套允许嵌套交易被中止，而无需中止父交易，但反之亦然。开放的嵌套允许在不中止嵌套交易的情况下流产父事务，反之亦然，从而允许更大的并发。为了支持这些嵌套模型，该项目正在开发分布式的交易冲突解决方案，分布式缓存相干协议以及透明执行补偿交易以撤销所承诺交易的效果的机制。该项目正在开源，Hyflow分布式TM Java软件包（HYFLOW.org）中实现这些技术。该项目还将这项技术（技术和Hyflow实施）转换为美国海军的AEGIS战斗系统，该系统使用分布式并发控制。此外，该项目的结果还纳入了弗吉尼亚理工大学的高级研究生课程中，其中包括弗吉尼亚州布莱克斯堡的学生，美国海军表面战争中心Dahlgren Division（NSWCDD）的科学家和工程师（通过弗吉尼亚理工学院的研究生外展计划），NSWCDD的研究生外展计划，以及中等东部和North East East East Africa通过Virginia virginia vitrighia vintia vt-Mena的学生。