2010 Articles
Compiling SHIM
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
-
edwards2010compiling.pdf application/pdf 285 KB Download File
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