François LeGland

Distributed code generation, desynchronisation, architecture generation, for dataflow synchronous languages: summary of results to date 2000

Albert Benveniste, Benoît Caillaud, Jean-Pierre Talpin, and Paul Le Guernic

We have developed an in-depth analysis of this whole set of topics. This includes

analysis of the problem of separate compilation :

why is it difficult ?
what is the right model for formal reasoning ?
what are the suitable abstractions ?
what is the right structure for separately compiled code ?

from ideal synchronous model to more realistic asynchronous models of architectures :

is it possible to preserve some kind of semantics when targeting a distributed, asynchronous architecture ? How to predict if semantics will be preserved ?
how to generate proper additional signalling and scheduling in order to guarantee that the semantics will be preserved ?
what are the requirements on the distributed communication layer ?
what are the adequate data structures for doing this ?

related methods and implementations.

Topic 1 is discussed in details in [BCLg99a]. As for topics 2 and 3, a summary of results is available (gzippped postscript) as well as transparents (2003, pdf) and transparents (2002) (ppt) . Topic 2 is extensively discussed in [BCLg99a], a shorter version is [BCLg99b]. Finally, data structures are discussed in [TBCLg99]. Then, [BC99] analyses how to adapt this theory for architectures used for embedded real-time control, suc as e.g., OSEK in automotive industry.

References

[BC99] Albert Benveniste, Paul Caspi. ``Distributing synchronous programs on a loosely synchronous, distributed architecture'', Irisa Research Report No 1289, december 1999. (new)

[TBCLg99] J.P. Talpin, A. Benveniste, B. Caillaud and P. Le Guernic. ``Hierarchic Normal Forms for desynchronization'', Irisa Research Report No 1288, december 1999. (new)

[BCLg99a]A. Benveniste, B. Caillaud and P. Le Guernic. ``Compositionality in dataflow synchronous languages: specification & distributed code generation.'' Information and Computation, 163, 125-171 (2000).

[BCLg99b]A. Benveniste, B. Caillaud and P. Le Guernic. ``From synchrony to asynchrony.'' In J.C.M. Baeten and S. Mauw, editors, CONCUR'99, Concurrency Theory, 10th International Conference, vol. 1664 of Lecture Notes in Computer Science, 162-177. Springer V., 1999.