Le DATAFLOW

Un modle de calcul pour le Co-design

MOCs

MOCs

Dans la thorie de la calculabilit et la thorie de complexit de calcul, un model de calcul MOC est la dfinition des opration possibles et leur cot respectifs.

On lutilise pour mesurer la complexit dun algorithme en terme de temps dexcution et de consommation mmoire
Exemples: les fonctions rcursives, turing machines, les calculs lambda

KPNs

KPNs

Un groupe de process dteministes Une communication assure par des FIFOs Indpendance des dlais de communication ou de calcul

KPNs

Une structure drive des rseaux de Petri

KPNs

Un traitement bas sur lexistence des jetons

KPNs
Limitations: Un process KPN commence directement lire des donnes jusqu atteindre le nombre demand de jetons Si les jetons ne sont pas prsents tout le rseau bloque ! Solution: Lire des FIFOs si et seulement si il y a suffisamment de jetons DPNs

DPNs

DPNs
Arc
Sommet: Acteur

DPNs

DPNs
On considre lensemble de tous les jetons changs par tous les acteurs et S = * lensemble des squences finies La longueur dune squence s Sk est note |s| La squence vide est note Pour un acteur avec m inputs et n outputs nous appelons Sm et Sn lensemble des m-uplets et n-uplets des jetons consomms et produits. Par exemple s0= [, [t0,t1,t2]] et s1= [[t0],[t1]] sont des squences de S2 avec |s0|=[0,3] et |s1|=[1,1]

DPNs

Un acteur DataFlow est dfini par <f , R> avec

f: Sm Sn une fonction de firing R Sm lensemble des rgles de firing Quelque soit r R f(r) est une squence finie

DPNs
La rgle de firing peut avoir une condition sur la nautre des jetons (par exemple >0 ) La notion de guard

DPNs

Un acteur se dclenche (fires) SSI:

Lexcution

est possible dans ltat actuel (si une FSM

existe) Il y a suffisamment de jetons dans les FIFOs dantre La condition guard (si elle existe) retourne 1

DPNs

Un acteur termine son excution (firing) et met jour son tat en ralisant une transition

Pour rsoudre le problme de deux transitions possibles dans le mme tat, la notion de priorit tait introduite: Un transition est ralise SSI:

DPNs

Langage DataFlow : CAL Structures de graphes : .nl , .xdf (graphiti)