Généralités sur les systèmes d'exploitation - Site personnel de ...

LO14 : Université Technologique de TroyesG1T1G1xG2T1T2T3T2T3T4G2T5T4T5T6T1G1//G2T4T5T6T2T3T6III) Interactions de processus1°) Parallélisme = non déterminismeSoient 4 tâches caractérisées par le graphe de précédence cicontre.T1 : N:=0;T2 : N:=N+1;T3 : N:=N+1;T4 : afficher N;On découpe : d3,d2 : lit la valeur de Nf2 f3 : écrit la nouvelle valeurw=d1f1d3d2f2f3d4f4 donne comme résultat 1w=d1f1d2f2d3f3d4f4 donne 2Il y a donc non déterminisme.La raison exacte du non déterminisme est que T3 et T2 lisent et écrivent dans N (partage d'une casemémoire en lecture et écriture). Il suffit en fait qu'une écrive et que l'autre lise pour que le résultat dépendede l'ordre d'exécution.Notion d'état : La mémoire centrale peut être vue comme une suite de cellules Ci : M=(C1,C2,...,Cm).L'état du système sk après l'événement ak est :sk = [c1(k), ...., Cm(k)] k=0 étant l'état initial.Chaque tâche utilise certaines cellules soit pour les consulter soit pour les modifier. On caractérise lestâches par leur domaine de lecture et d'écriture :Tâche Domaine de lecture Domaine d'écritureTi Li={C'1, ..., C'p} Ei={C"1, ...C"q}Pour l'exemple ci-dessus :Tâche Domaine de lecture Domaine d'écritureT1 L1={} E1={N}T2 L2={N} E2={N}T3 L3={N} E3={N}T4 L4={N} E4={}Définition : Soit S=(E,