Predictable Execution Model: Concept and Implementation

Pellizzoni, Rodolfo; Betti, Emiliano; Bak, Stanley; Yao, Gang; Criswell, John; Caccamo, Marco

Permalink

https://hdl.handle.net/2142/16605 Copy

Description

Title

Predictable Execution Model: Concept and Implementation

Author(s)

• Pellizzoni, Rodolfo
• Betti, Emiliano
• Bak, Stanley
• Yao, Gang
• Criswell, John
• Caccamo, Marco

Issue Date

2010-06

Keyword(s)

• Real-time systems
• embedded systems
• Commercial off-the-shelf (COTS)

Date of Ingest

2010-07-30T02:54:00Z

Abstract

Building safety-critical real-time systems out of inexpensive, non-real-time, COTS components is challenging. Although COTS components generally offer high performance, they can occasionally incur significant timing delays. To prevent this, we propose controlling the operating point of each COTS shared resource (like the cache, memory, and interconnection buses) to maintain it below its saturation limit. This is necessary because the low-level arbiters of these shared resources are not typically designed to provide real-time guarantees. In this work, we introduce a novel system execution model, the PRedictable Execution Model (PREM), which, in contrast to the standard COTS execution model, coschedules at a high level all active COTS components in the system, such as CPU cores and I/O peripherals. In order to permit predictable, system-wide execution, we argue that real-time embedded applications need to be compiled according to a new set of rules dictated by PREM. To experimentally validate our theory, we developed a COTS-based PREM testbed and modified the LLVM Compiler Infrastructure to produce PREM-compatible executables.

Type of Resource

text

Genre of Resource

Technical Report

Language

en

Permalink

http://hdl.handle.net/2142/16605

Owning Collections