Multithreaded Code from Synchronous Programs: Extracting Independent Threads for OpenMP

Provided by: edaa
Topic: Hardware
Format: PDF
Synchronous languages offer a deterministic model of concurrency at the level of actions. However, essentially all compilers for synchronous languages compile these actions into a single thread by sophisticated methods to guarantee dynamic schedules for the sequential execution of these actions. In this paper, the authors present the compilation of synchronous programs to multi-threaded OpenMP-based C programs. They thereby start at the level of synchronous guarded actions which is a comfortable intermediate language for synchronous languages.

Find By Topic