R-SHIM: deterministic concurrency with recursion and shared variables

@article{Tardieu2006RSHIMDC,
  title={R-SHIM: deterministic concurrency with recursion and shared variables},
  author={Olivier Tardieu and Stephen A. Edwards},
  journal={Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings.},
  year={2006},
  pages={202-202}
}
Concurrent programming languages are good for embedded systems because they match the parallelism of their environments, but most concurrent languages are nondeterministic, making coding in them unwieldy. We present R-SHIM, the core of a language with concurrent recursive procedure calls and disciplined shared variables that remains deterministic - the behavior of a program is scheduling-independent. 

Citations

Publications citing this paper.
SHOWING 1-10 OF 10 CITATIONS

Compiling SHIM

  • Synthesis of Embedded Software
  • 2010
VIEW 2 EXCERPTS
CITES METHODS

Buffer sharing in CSP-like programs

  • 2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design
  • 2009
VIEW 2 EXCERPTS
CITES BACKGROUND & METHODS

Static Deadlock Detection for the SHIM Concurrent Language

  • 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design
  • 2008
VIEW 1 EXCERPT
CITES METHODS