Articles

Compiling SHIM

Edwards, Stephen A.; Vasudevan, Nalini

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.

Subjects

Files

Also Published In

Title
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction
Publisher
Springer
DOI
https://doi.org/10.1007/978-1-4419-6400-7_4

More About This Work

Academic Units
Computer Science
Published Here
August 9, 2011