Generating Multi-Threaded code from Polychronous Specifications

Authors:
Bijoy A. Jose;Hiren D. Patel;Sandeep K. Shukla;Jean-Pierre Talpin
Affiliations:
FERMAT Lab, Virginia Polytechnic Institute and State University, Blacksburg, VA, USA;Ptolemy Group, University of California, Berkeley, Berkeley, CA, USA;FERMAT Lab, Virginia Polytechnic Institute and State University, Blacksburg, VA, USA;ESPRESSO Project, IRISA/INRIA, Rennes, France
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2009

Citing 7
Cited 0

Bounded scheduling of process networks

Bounded scheduling of process networks
Compositionality in dataflow synchronous languages: specification and distributed code generation 1,2,3

Information and Computation
Distributed Implementation of SIGNAL: Scheduling & Graph Clustering

ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Synchronous Distribution of SIGNAL Programs

HICSS '96 Proceedings of the 29th Hawaii International Conference on System Sciences Volume 1: Software Technology and Architecture
The Problem with Threads

Computer
Reducing fine-grain communication overhead in multithread code generation for heterogeneous MPSoC

SCOPES '07 Proceedingsof the 10th international workshop on Software & compilers for embedded systems
Requirements on the execution of Kahn process networks

ESOP'03 Proceedings of the 12th European conference on Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

SIGNAL, Lustre, Esterel, and a few other synchronous programming language compilers accomplish automated sequential code generation from synchronous specifications. In generating sequential code, the concurrency expressed in the synchronous programs is sequentialized mostly because such embedded software was designed to run on single-core processors. With the widespread advent of multi-core processors, it is time for model-driven generation of efficient concurrent multi-threaded code. Synchronous programming models capture concurrency in the computation quite naturally, especially in its data-flow multi-clock (polychronous) flavor. Therefore, it seems reasonable to attempt generating multi-threaded code from polychronous data-flow models. However, multi-threaded code generation from polychronous languages aimed at multi-core processors is still in its infancy. In the recent release of the Polychrony compiler, multi-threaded code generation uses micro-level threading which creates a large number of threads and equally large number of semaphores, leading to inefficiency. We propose a process-oriented and non-invasive multi-threaded code generation using the sequential code generators. By noninvasive we mean that instead of changing the compiler, we use the existing sequential code generator and separately synthesize some programming glue to generate efficient multi-threaded code. This paper describes the problem of multi-threaded code generation in general, and elaborates on how Polychrony compiler for sequential code generation is used to accomplish multi-threaded code generation.