| | |
| --- | --- |
| Université Virtuelle de Tunis | Année universitaire 2020/2021 |
Devoir Surveillé
Matière : SR & F pour Big Data.
| | | |
| --- | --- | --- |
| Classe / Filière Date | : : | M1 BADS le jeudi 08 Avril 2021 à 21h |
On considère le système réparti suivant :
(3010)
(2010)
(0000)
(1000)
(0200)
(0000)
(0100)0)
(0020)
(0000)
Publicité
(0010)
(0000)
(3212)
(3212)
(3010)
Exercice 1:
1. Calculer l’horloge vectorielle de ce système. (6pts)
2. Appliquer l’horloge matricielle. (7pts)
0000
0000
0000
0000
(3010)
(2010)
0000
0000
0000
0000
Publicité
0000
0100
0000
0000
0000
0000
0000
0000
0000
0201
1000
1000
0000
0000
1010
0000
0000
0000
Publicité
0000
0000
1010
0000
0000
1001
3012
0000
1010
1001
3012
0201
0000
0000
0000
0000
0000
0011
Publicité
1010
0000
1010
0002
3012
0000
1010
1001
Exercice 2: (7pts)
On considère un système réparti (SR) à 4 sites, résoudre - Par contrôle par jeton - une situation d’exclusion mutuelle où P2 et P4 sont demandeurs parallèlement puis P1 lance sa demande.
Modélisez un schéma qui dans l’ordre d’entrée en section critique suivant :
1. P4,P1 puis P2
2. P2,P1 puis P4
NB/ le jeton est initialement chez P2