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

当开车的人踩下刹车踏板时，他们希望防抱死刹车能及时做出反应，避免出现问题。一辆汽车实际上包含许多计算机，这些计算机运行控制刹车、转向、发动机动力等的程序。这些程序必须在特定的最后期限内执行控制操作，通常以一秒的几分之一来衡量，以确保安全运行。像汽车系统这样的系统属于被称为“安全关键型实时系统”的硬件和软件设计类别，因为它们必须在对安全至关重要的实际截止时间内完成工作。这类系统需要某种形式的认证，以提供必要程度的保证，以避免灾难性后果，例如生命损失。大多数购车者可能永远不会考虑认证，但它是汽车设计过程中至关重要的一部分。该项目旨在开发有助于创建和认证安全关键实时系统的基础设施。这种基础设施将以一种称为实时软件事务内存（STM）的概念的形式提供。实时STM的目的是允许在程序共享数据的复杂软件系统中出现棘手的程序认证问题，程序员只需很少的努力就可以自动处理这些问题。拟议的实时STM框架将减轻开发复杂安全关键实时系统的总体认证工作和成本，这些系统正日益成为我们社会和日常生活的一部分。在开发这个框架时，多核处理器将是主要的重点。多核技术的出现在航空电子和汽车工业中造成了严重的认证问题。要开发的实时STM将专门分发给这些行业的研究合作者，以便在他们的系统中进行评估。所产生的软件和数据也将提供给其他有关方面供公众下载。在http://jamesanderson.web.unc.edu/research/上提供了这样做的说明。在这个项目中获得的成果将通过在大学和国际暑期学校的讲座、在会议和讲习班上的演讲以及公共示范活动向公众传播。计算机科学作为一个领域，在各个层次都严重缺乏女性，尤其是在研究生及以上层次。几名女研究生将直接参与这个项目

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