DocumentCode
2565987
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
fYear
2006
fDate
27-30 July 2006
Firstpage
202
Lastpage
202
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/MEMCOD.2006.1695931
Filename
1695931
Link To Document