Home

Compiling SHIM

Stephen A. Edwards; Nalini Vasudevan

Title:
Compiling SHIM
Author(s):
Edwards, Stephen A.
Vasudevan, Nalini
Date:
Type:
Articles
Department:
Computer Science
Permanent URL:
Book/Journal Title:
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction
Book Author:
Shukla, Sandeep K.
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:
http://dx.doi.org/10.1007/978-1-4419-6400-7_4
Item views:
98
Metadata:
text | xml

In Partnership with the Center for Digital Research and Scholarship at Columbia University Libraries/Information Services | Terms of Use