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

LO14 : Université Technologique de Troyes• Les verrous posés en cas de sélection pour mise à jour. D'autres transactions peuvent lire les données àcondition qu'elles n'aient pas l'intention de les modifier. C'est le mode protégé (Protected).• Les verrous posés en cas d'écriture. Si une transaction vient d'écrire une donnée, aucune autre ne doitpouvoir la lire tant que cette transaction n'est pas terminée. C'est le mode exclusif (eXclusive).La compatibilité entre ces trois modes est résumée Fig.10.3. Deux modes sont incompatibles si Non estinscrit à leur intersection dans la matrice de verrouillage. Par exemple, si une transaction a obtenu unverrou de type Share sur une donnée, un autre verrou de type Share sera accepté mais un verrou eXclusivesera refusé.Verrou S P XS Oui Oui NonP Oui Non NonX Non Non NonFig. 9.3 ­ Matrice des compatibilités de verrouillageOn utilisera par la suite les notations lockS, lockP et lockX pour les différents verrous ainsi que unlock pourle déverrouillage.Voici deux exemples d'exécutions concurrentes possibles de transactions avec verrous. T1 effectue unvirement compte à compte, T2 et T3 affichent la somme de deux comptes (elles ne font que des ordres delecture).T1 T2 T1 T3lockX(B)x=read(B)x=x­10write(B,x)unlock(B)lockX(A)t=read(A)t=t+10write(A,t)unlock(A)lockS(A)y=read(A)unlock(A)lockS( C )z=read( C )unlock( C )affiche(y+z)lockX(B)x=read(B)x=x­10write(B,x)unlock(B)lockX(A)t=read(A)t=t+10write(A,t)unlock(A)lockS(A)y=read(A)unlock(A)lockS(B)z=read(B)unlock(B)affiche(y+z)L'usage de verrous n'est néanmoins pas suffisant pour assurer la sérialisabilité d'une exécution. Là encore ilexiste un test permettant de savoir si une exécution avec verrous est sérialisable. Elle se base toujours surla recherche de cycles dans un graphe de dépendance.Les sommets du graphe sont constitués de toutes les transactions participant à l'exécution. Un arc relie unetransaction Ti à une transaction Tj si et seulement si il existe une donnée X telle que Ti apposé un verroudans un mode A sur X et Tj pose ultérieurement un verrou sur X dans un mode B incompatible avec A.Sémantiquement, le fait qu'un arc existe entre Ti et Tj dans le graphe de précédence signifie que dans touteexécution équivalente à celle traitée, Ti doit précéder Tj.T1 T2 T1 T3Fig. 9.4 ­ graphe des transactions précédentes avec verrouSi le graphe de dépendance possède un cycle alors l'exécution n'est pas sérialisable. Dans le cas contraireelle l'est. L'ordre de sérialisation peut être obtenu par tri topologique du graphe. On notera que ce tri n'esten général pas unique.Comme on peut le voir sur le graphe Fig. 10.4 l'exécution précédente entre T1 et T2 est sérialisable tandisque T1 et T3 ne l'est pas. Cet exemple montre par ailleurs que même si l'auteur d'une transaction n'exécuteque des lectures, l'exécution de celle ci n'est pas sûre si un protocole de verrouillage adéquat n'est pasappliqué.69 /98 S. Moutou : Cours