HomeHome

Compiling SHIM

Stephen A. Edwards; Nalini Vasudevan

Title:
Compiling SHIM
Author(s):
Edwards, Stephen A.
Vasudevan, Nalini
Date:
Type:
Articles
Department(s):
Computer Science
Persistent URL:
Book/Journal Title:
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction
Book Author:
Shukla, Sandeep K.
Talpin, Jean-Pierre
Publisher:
Springer
Publisher Location:
New York
Abstract:
Embedded systems demand concurrency for supporting simultaneous actions in their environment and parallel hardware. Although most concurrent programming formalisms are prone to races and non-determinism, some, such as our SHIM (software/hardware integration medium) language, avoid them by design. In particular, the behavior of SHIM programs is scheduling-independent, meaning the I/O behavior of a program is independent of scheduling policies, including the relative execution rates of concurrent processes. The SHIM project demonstrates how a scheduling-independent language simplifies the design, optimization, and verification of concurrent systems. Through examples and discussion, we describe the SHIM language and code generation techniques for both shared-memory and message-passing architectures, along with some verification algorithms.
Subject(s):
Computer science
Publisher DOI:
https://doi.org/10.1007/978-1-4419-6400-7_4
Item views
123
Metadata:
text | xml
Suggested Citation:
Stephen A. Edwards, Nalini Vasudevan, , Compiling SHIM, Columbia University Academic Commons, .

Columbia University Libraries | Policies | FAQ