SHF:Small: Scalable Synchronization for Distributed Embedded Real-Time Systems

SHF:Small：分布式嵌入式实时系统的可扩展同步

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

The project seeks to develop scalable synchronization mechanisms based on software transactional memory (or STM) for handling concurrency control in distributed, embedded, multiprocessor real-time systems. The project explores several competing abstractions for supporting STM (in such systems), investigate the relative merits of these approaches, and design and develop the protocols and algorithms necessary to support them. The project also seeks to identify the tradeoffs between semantic simplicity and efficient implementations of different STM systems, with particular emphasis on augmenting obstruction-free STM implementations with real-time contention managers. Among the algorithms that are being designed include real-time distributed commit protocols, distributed real-time cache coherence protocols, scheduling algorithms that can provide timeliness assurances given the retry behavior of STM, and efficient STM implementations. The project?s algorithms and protocols are being implemented and made publicly available in an open source form suitable for a real-time operating system or a real-time virtual machine. The project?s algorithms, protocols, analysis techniques, and implementations will allow distributed embedded real-time system programmers to use STM to simplify (distributed) concurrency control.Broader impacts of the project are sought through efforts to transition the project's results by collaboration with The MITRE Corporation and US Naval Surface Warfare Center, and increasing cultural interaction between students and faculty in the US and students and faculty in the Middle East and North Africa region, through graduate advising and teaching in the VT-MENA (Virginia Tech ? Middle East and North Africa) program.

该项目旨在开发基于软件事务存储器（STM）的可扩展同步机制，用于处理分布式，嵌入式，多处理器实时系统中的并发控制。该项目探讨了支持STM（在这样的系统中）的几个相互竞争的抽象，研究这些方法的相对优点，并设计和开发支持它们所需的协议和算法。该项目还试图确定语义简单性和不同STM系统的有效实现之间的权衡，特别强调增强无障碍STM实现与实时争用管理器。正在设计的算法包括实时分布式提交协议，分布式实时缓存一致性协议，调度算法，可以提供及时性保证给定的STM的重试行为，和有效的STM实现。项目？的算法和协议正在以适合于实时操作系统或实时虚拟机的开放源代码形式被实现和公开可用。项目？的算法、协议、分析技术和实现将允许分布式嵌入式实时系统程序员使用STM来简化（分布式）并发控制。通过与MITRE公司和美国海军水面作战中心合作，通过在VT-MENA（弗吉尼亚理工大学）的研究生咨询和教学，增加美国学生和教师与中东和北非地区学生和教师之间的文化互动。中东和北非）计划。