HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

Synchronizing Periodic Clocks in Kahn Networks

Albert Cohen 1 Marc Duranton Christine Eisenbeis 1 Claire Pagetti 1 Florence Plateau Marc Pouzet
1 ALCHEMY - Architectures, Languages and Compilers to Harness the End of Moore Years
LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, CNRS - Centre National de la Recherche Scientifique : UMR8623, Inria Saclay - Ile de France
Abstract : We propose a programming model and language dedicated to high-performance streaming applications. In particular, we study real-time video-streaming for embedded media devices, including high-definition TVs. This language builds on the synchronous programming model and on domain-specific knowledge --- periodic evolution of streams --- to allow correct-by-construction properties of the application to be proven by the compiler. These properties include buffer requirements and delays between input and output streams. Correctness of the implementation is difficult to assess with traditional (asynchronous) approaches. Such properties are tedious to analyze by hand, due to the combinatorics of video filters, multiple data rates and formats. For example, the design of communicating buffers between filtering processes (image scaling, quality enhancement, etc.) whose clocks do not strictly match is tedious and error-prone. Two communicating periodic processes are defined as n-synchronous if they can be implemented in the ordinary (0-)synchronous model with a FIFO buffer of size n. We extend a core synchronous data-flow language with a notion of periodic clocks, and design a relaxed clock calculus (a type system for clocks) to allow non strictly synchronous processes to be composed. This relaxation is associated with a subtyping rule in the clock calculus. Delay, buffer insertion and control code for these buffers are automatically inferred from the clock types through a systematic program transformation.
Document type :
Complete list of metadata

Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Friday, May 19, 2006 - 8:23:32 PM
Last modification on : Friday, February 4, 2022 - 3:29:57 AM
Long-term archiving on: : Sunday, April 4, 2010 - 9:08:09 PM


  • HAL Id : inria-00070404, version 1


Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, et al.. Synchronizing Periodic Clocks in Kahn Networks. [Research Report] RR-5603, INRIA. 2005, pp.38. ⟨inria-00070404⟩



Record views


Files downloads