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

该项目致力于开发基于软件事务存储器(STM)的可扩展同步机制，用于处理分布式、嵌入式、多处理器实时系统中的并发控制。该项目探索了几个相互竞争的抽象来支持STM(在这样的系统中)，调查了这些方法的相对优点，并设计和开发了支持它们所需的协议和算法。该项目还试图确定不同STM系统的语义简单性和高效实现之间的权衡，特别强调使用实时争用管理器来增强无障碍的STM实现。正在设计的算法包括实时分布式提交协议、分布式实时高速缓存一致性协议、能够在给定STM重试行为的情况下提供及时性保证的调度算法以及高效的STM实现。该项目-S算法和协议正在以适用于实时操作系统或实时虚拟机的开源形式实现并公开可用。S项目的算法、协议、分析技术和实现将允许分布式嵌入式实时系统程序员使用STM来简化(分布式)并发控制。该项目的广泛影响是通过与MITRE公司和美国海军水面作战中心合作努力转变项目成果，通过在VT-MENA(弗吉尼亚理工大学？中东和北非)计划。

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.