From concurrent multi-clock programs to concurrent multi-threaded implementations

Virginia Papailiopoulou 1 Dumitru Potop-Butucaru 1 Yves Sorel 1 Robert de Simone 1 Loic Besnard 2 Jean-Pierre Talpin 2
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
2 ESPRESSO - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : We present a new technique for the concurrent asynchronous/GALS implementation of polychronous specifications. We start from programs written in multi-clock languages such as Signal/Polychrony or Esterel. We provide compact data structures and corresponding algorithms for program analysis, following the theory of weakly endochronous systems. Finally, we produce multi-threaded deterministic asynchronous/GALS implementations that retain as much as possible of the concurrency of the initial specification.
Document type :
Reports
Complete list of metadatas

Cited literature [18 references]  Display  Hide  Download

https://hal.inria.fr/inria-00578585
Contributor : Virginia Papailiopoulou <>
Submitted on : Monday, July 11, 2011 - 2:53:18 PM
Last modification on : Friday, November 16, 2018 - 1:35:32 AM
Long-term archiving on : Wednesday, October 12, 2011 - 2:23:42 AM

Files

report.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00578585, version 2

Citation

Virginia Papailiopoulou, Dumitru Potop-Butucaru, Yves Sorel, Robert de Simone, Loic Besnard, et al.. From concurrent multi-clock programs to concurrent multi-threaded implementations. [Research Report] RR-7577, INRIA. 2011, pp.22. ⟨inria-00578585v2⟩

Share

Metrics

Record views

593

Files downloads

198