Abstraction of Clocks in Synchronous Data-flow Systems

Albert Cohen 1 Louis Mandel 2 Florence Plateau 3, 4 Marc Pouzet 1
1 Parkas - Parallélisme de Kahn Synchrone
CNRS - Centre National de la Recherche Scientifique : UMR 8548, Inria Paris-Rocquencourt, DI-ENS - Département d'informatique de l'École normale supérieure
4 PROVAL - Proof of Programs
UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR
Abstract : Synchronous data-flow languages such as Lustre manage infinite sequences or streams as basic values. Each stream is associated to a clock which defines the instants where the current value of the stream is present. This clock is a type information and a dedicated type system — the so-called clock-calculus — statically rejects programs which cannot be executed synchronously. In existing synchronous languages, it amounts at asking whether two streams have the same clocks and thus relies on clock equality only. Recent works have shown the interest of introducing some relaxed notion of synchrony, where two streams can be composed as soon as they can be synchronized through the introduction of a finite buffer (as done in the SDF model of Edward Lee). This technically consists in replacing typing by subtyping. The present paper introduces a simple way to achieve this relaxed model through the use of clock envelopes. These clock envelopes are sets of concrete clocks which are not necessarily periodic. This allows to model various features in real-time embedded software such as bounded jitter as found in video-systems, execution time of real-time processes and scheduling resources or the communication through buffers. We present the algebra of clock envelopes and its main theoretical properties.
Complete list of metadatas

Contributor : Albert Cohen <>
Submitted on : Saturday, January 16, 2016 - 2:28:12 AM
Last modification on : Wednesday, January 30, 2019 - 11:08:09 AM


  • HAL Id : hal-01257274, version 1



Albert Cohen, Louis Mandel, Florence Plateau, Marc Pouzet. Abstraction of Clocks in Synchronous Data-flow Systems. 6th Asian Symposium on Programming Languages and Systems (APLAS), Dec 2008, Bangalore, India. ⟨hal-01257274⟩



Record views