Articles:
Compiling SHIM
Stephen A. Edwards; Nalini Vasudevan
Downloads:
- Title:
- Compiling SHIM
- Author(s):
-
Edwards, Stephen A.
Vasudevan, Nalini - Date:
- 2010
- Type:
- Articles
- Department:
- Computer Science
- Permanent URL:
- http://hdl.handle.net/10022/AC:P:10856
- 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
- DOI:
- http://dx.doi.org/10.1007/978-1-4419-6400-7_4
- Item views:
- 63