Skip to Main content Skip to Navigation

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 :
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download
Contributor : Virginia Papailiopoulou Connect in order to contact the contributor
Submitted on : Monday, July 11, 2011 - 2:53:18 PM
Last modification on : Tuesday, January 11, 2022 - 11:16:21 AM
Long-term archiving on: : Wednesday, October 12, 2011 - 2:23:42 AM


Files produced by the author(s)


  • HAL Id : inria-00578585, version 2


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⟩



Les métriques sont temporairement indisponibles