Articles

R-SHIM: Deterministic Concurrency with Recursion and Shared Variables

Tardieu, Olivier; Edwards, Stephen A.

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

Subjects

Files

Also Published In

Title
Proceedings: Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design: MEMOCODE‘06: July 27-30, 2006, Napa, California
Publisher
IEEE
DOI
https://doi.org/10.1109/MEMCOD.2006.1695931

More About This Work

Academic Units
Computer Science
Published Here
September 22, 2011