CSR: Small: Software Transactional Memory for Real-Time Systems

CSR：小型：实时系统的软件事务内存

• 批准号: 1717589
• 负责人: James Anderson
• 金额: $ 50万
• 依托单位: University of North Carolina at Chapel Hill
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2017
• 资助国家: 美国
• 起止时间: 2017-10-01 至 2021-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1717589&HistoricalAwards=false
• 关键词: CSR; Small; Software; Transactional; Memory

When someone driving a car presses the brake pedal, they expect the anti-lock brakes to react in time to avoid a problem. A car actually contains many computers that run programs that control braking, steering, engine power, etc. These programs must perform their control operations by specific deadlines, often measured in tiny fractions of a second, to ensure safe operation. Systems like those in a car belong to a category of hardware and software designs called "safety-critical real-time systems" because they must complete their work by real deadline times that matter for safety. Systems in this category require some form of certification that provides the necessary level of assurance that catastrophic consequences, such as loss of life, are avoided. Most car buyers would likely never give certification a passing thought, but it is a critical part of the automotive design process. This project is directed at developing infrastructure that can aid in the creation and certification of safety-critical real-time systems. This infrastructure will be provided in the form of a concept called real-time software transactional memory (STM). The purpose of real-time STM is to allow tricky program-certification issues, which arise in complex software systems in which programs share data, to be handled automatically with little programmer effort.The proposed real-time STM framework will ease overall certification efforts and costs in the development of complex safety-critical real-time systems, which are increasingly becoming part of our society and daily lives. In developing this framework, multicore processors will be a primary emphasis. The advent of multicore technology has created serious certification issues in the avionics and automotive industries. The real-time STM to be developed will be specifically disseminated to research collaborators in these industries to evaluate in their systems. The software and data produced will also be made available for public download by other interested parties. Instructions for doing so will be provided at http://jamesanderson.web.unc.edu/research/. The results obtained in this project will be disseminated to the public through lectures at universities and international summer schools, presentations at conferences and workshops, and public demonstration events. Computer science as a field is suffering from a serious shortage of women at all levels and in particular at the graduate level and above. Several female graduate students will be directly involved in this project

当有人驾驶汽车时，他们希望反锁制动器会及时做出反应以避免问题。 汽车实际上包含许多运行程序的计算机来控制制动，转向，发动机电源等。这些程序必须通过特定的截止日期执行其控制操作，通常以一秒钟的小部分来测量以确保安全操作。 像汽车中的系统一样，属于称为“安全至关重要的实时系统”的硬件和软件设计类别，因为它们必须按照对安全至关重要的实际截止日期完成工作。 此类别中的系统需要某种形式的认证，该认证提供了必要的保证水平，即避免了灾难性后果（例如生命损失）。 大多数汽车购买者可能永远不会给认证，但这是汽车设计过程的关键部分。 该项目旨在开发基础架构，该基础设施可以帮助创建和认证至关重要的实时系统。 该基础架构将以称为实时软件交易内存（STM）的概念的形式提供。 实时STM的目的是允许棘手的程序认证问题，这些问题是在程序共享数据的复杂软件系统中产生的，该系统将在很少的程序员工作中自动处理。拟议的实时STM框架将缓解整体认证工作和成本，从而在复杂的安全临界实时系统开发中，这些系统越来越成为我们社会和日常生活的一部分。 在开发此框架时，多核处理器将是主要重点。 多功能技术的出现已经在航空电子和汽车行业中引起了严重的认证问题。 将要开发的实时STM将专门传播到这些行业的研究合作者中以评估其系统。 所生产的软件和数据也将由其他有关方面公开下载。 这样做的说明将在http://jamesanderson.web.unc.edu/research/上提供。 该项目获得的结果将通过大学和国际暑期学校的演讲，会议和讲习班的演讲以及公开演示活动来传播给公众。 计算机科学作为一个领域，正处于各级女性的严重短缺，尤其是研究生层面及以上。 几位女研究生将直接参与该项目

项目成果

OpenVX and Real-Time Certification: The Troublesome History

• DOI: 10.1109/rtss46320.2019.00036
• 发表时间: 2019-12
• 期刊: 2019 IEEE Real-Time Systems Symposium (RTSS)
• 作者: Tanya Amert;S. Voronov;James H. Anderson

Avoiding Pitfalls when Using NVIDIA GPUs for Real-Time Tasks in Autonomous Systems

• DOI: 10.4230/lipics.ecrts.2018.20
• 发表时间: 2018-06
• 作者: Ming Yang;Nathan Otterness;Tanya Amert;Joshua Bakita;James H. Anderson;F. D. Smith

Making OpenVX Really "Real Time"

• DOI: 10.1109/rtss.2018.00018
• 发表时间: 2018-12
• 期刊: 2018 IEEE Real-Time Systems Symposium (RTSS)
• 作者: Ming Yang;Tanya Amert;Kecheng Yang;Nathan Otterness;James H. Anderson;F. D. Smith;Shige Wang

Real-time multiprocessor locks with nesting: optimizing the common case

• DOI: 10.1007/s11241-019-09328-w
• 发表时间: 2017-10
• 期刊: Real-Time Systems
• 影响因子: 1.3
• 作者: Catherine E. Nemitz;Tanya Amert;James H. Anderson

GPU Scheduling on the NVIDIA TX2: Hidden Details Revealed

• DOI: 10.1109/rtss.2017.00017
• 发表时间: 2017-01-01
• 期刊: 2017 IEEE REAL-TIME SYSTEMS SYMPOSIUM (RTSS)
• 作者: Amert, Tanya;Otterness, Nathan;Smith, F. Donelson
• 通讯作者: Smith, F. Donelson