Skip to Main content Skip to Navigation
Reports

Data-flow to Von Neumann : the SIGNAL approach

Paul Le Guernic 1 Thierry Gautier 1
1 EP-ATR - Environnement de programmation d'applications temps réel
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Abstract : In real-time applications design, two parts have to be considered : such an application handles values (or more precisely, sequences of values), as any information system ; moreover, (some notion of) time has an effect upon the behaviour of the application ; not only scheduling but also valued results may depend upon the instants of events occurrences. In the traditional approaches, the time is a Daemon which unforeseeable behaviour the designer has to cope with. Conversely, the synchronous approach allows to partly look time as other values : the time is nothing but a partial order of events on which computing is possible. Merging synchronous and data-flow principles, Signal has been defined from a small set of operators, for designing real-time programs running in (possibly) distributed environments. In this context, it is necessary to be able to generate a family of parallel processes (each process may be a sequential, a data-flow or a parallel proces). This may be achieved by partitioning the initial nodes of a synchronized data-flow graph (at a micro-data-flow level) to build a new (macro-data-flow) graph such that, firstly a sequential implementation may be locally calculated and secondly, this implementation is correct whith respect to the logical time properties of the whole graph. In this paper, after a definition of Signal kernel, we describe the graph and the synchronization space associated with each process, finally properties of graphs, with respect to different scheduling policies, are studied in the framework of signal-graphs (graphs with distinguished input and output nodes).
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00075329
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 5:59:08 PM
Last modification on : Thursday, February 11, 2021 - 2:48:05 PM
Long-term archiving on: : Tuesday, April 12, 2011 - 10:35:49 PM

Identifiers

  • HAL Id : inria-00075329, version 1

Citation

Paul Le Guernic, Thierry Gautier. Data-flow to Von Neumann : the SIGNAL approach. [Research Report] RR-1229, INRIA. 1990. ⟨inria-00075329⟩

Share

Metrics

Record views

310

Files downloads

161