Title :
R-SHIM: deterministic concurrency with recursion and shared variables
Author :
Tardieu, Olivier ; Edwards, Stephen A.
Author_Institution :
Dept. of Comput. Sci., Columbia Univ., New York, NY
Abstract :
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
Keywords :
C language; concurrency theory; parallel languages; program control structures; R-SHIM; concurrent programming languages; concurrent recursive procedure calls; deterministic concurrency; disciplined shared variables; program scheduling; Computer languages; Computer science; Concurrent computing; Embedded system; Java; Parallel processing; System recovery; TV; Yarn;
Conference_Titel :
Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference on
Conference_Location :
Napa, CA
Print_ISBN :
1-4244-0421-5
DOI :
10.1109/MEMCOD.2006.1695931
