A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is
Scheduling-independent threads and exceptions in SHIM
Proceedings of the 6th ACM & IEEE International conference on Embedded software - EMSOFT '06
Concurrent programming languages should be a good fit for embedded systems because they match the intrinsic parallelism of their architectures and environments. Unfortunately, typical concurrent programming formalisms are prone to races and nondeterminism, despite the presence of mechanisms such as monitors. In this paper, we propose SHIM, the core of a deterministic concurrent language, meaning the behavior of a program is independent of the scheduling of concurrent operations. SHIM does notdoi:10.1145/1176887.1176908 dblp:conf/emsoft/TardieuE06 fatcat:o6cpk5nd4rhm7a7ookuz5vgssq