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（弗吉尼亚理工大学）的研究生咨询和教学，增加美国学生和教师与中东和北非地区学生和教师之间的文化互动？中东和北非）计划。