Exercice sur les horloges
On considère le système réparti suivant : (reprendre le schéma clairement sous le format paysage)
E15
E12
E45
E42
E43
E44
E41
E31
E34
E32
E33
E22
E21
E17
E16
E14
E13
E11
TAF
:
1. Etudier la causalité de l’événement e43
E21-🡪E13
E13-🡪E14
Publicité
E14-🡪E43
Il existe une relation entre les couple…..
1. Calculer l’horloge logique de ce système.
2. Calculer l’horloge vectorielle de ce système.
3. Identifier la non délivrance dans ce système.
E34
E42
E44
1. Appliquer l’horloge matricielle.
4,0,0,2
1,1,0,0
0,0,0,0
0,0,0,4
4,0,0,2
1,1,0,0
0,0,0,0
0,0,0,3
4,0,0,2
1,2,0,1
0,0,0,0
0,0,0,5
2,0,0,1
0,0,0,0
0,0,0,0
0,0,0,2
Publicité
2,0,0,1
0,0,0,0
0,0,0,0
0,0,0,1
7,0,1,2
1,1,0,0
0,0,4,0
0,0,0,0
7,0,1,2
1,1,0,0
0,0,3,0
0,0,0,0
0,0,0,0
0,0,0,0
0,0,2,0
0,0,0,0
0,0,0,0
1,2,0,1
0,0,0,0
0,0,0,0
7,0,1,2
1,1,0,0
0,0,0,0
0,0,0,0
6,0,0,2
Publicité
1,1,0,0
0,0,0,0
0,0,0,0
5,0,0,2
1,1,0,0
0,0,0,0
0,0,0,0
4,0,0,2
1,1,0,0
0,0,0,0
0,0,0,0
3,0,0,1
1,1,0,0
0,0,0,0
0,0,0,0
2,0,0,1
0,0,0,0
0,0,0,0
0,0,0,0
0,0,0,0
0,0,0,0
0,0,1,0
0,0,0,0
0,0,0,0
1,1,0,0
Publicité
0,0,0,0
0,0,0,0
1,0,0,0
0,0,0,0
0,0,0,0
0,0,0,0
0,0,0,0
0,0,0,0
0,0,0,0
0,0,0,0
0,0,0,0
0,0,0,0
0,0,0,0
0,0,0,0
0,0,0,0
0,0,0,0
0,0,0,0
0,0,0,0
0,0,0,0
0,0,0,0
0,0,0,0
0,0,0,0
TAF
: