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

More documents

Recommendations

Info

LO14 : Université Technologique de TroyesSoient les deux transactions suivantes T1 et T2 qui effectuent une mise à jour sur la même donnée A:T1x=read(A)x=x+10write(A,x)T2y=read(A)y=y+20write(A,y)si au départ A=50, après exécution séquentielle de T1 puis T2 ou de T2 puis T1 on obtient A=80. Si lestransactions sont exécutées de manière concurrente, nous pouvons alors obtenir la séquence suivante :T1x=read(A)x=x+10write(A,x)T2y=read(A)y=y+20write(A,y)Après cette exécution, A=70 . En d'autres termes, la mise à jour de T2 a écrasé celle de T1. Il y a perte demise à jour. Les domaines d'écriture des deux transactions sont les mêmes.• La création d'incohérences.Soient les deux transactions T1 et T2 qui utilisent une base sur laquelle on suppose que la contrainte A=Bdoit toujours être vérifiée :T1x=read(A)x=x+1write(A,x)y=read(B)y=y+1write(B,y)T2z=read(A)z=z*2write(A,z)t=read(B)t=t*2write(B,t)Si initialement A=50 et B=50, après exécution de T1 puis T2 (resp. T2 puis T1) on obtient A=102 et B=102(resp. A=101 et B=101) . La contrainte A=B est toujours vérifiée. Si les transactions sont exécutées demanière concurrente, nous pouvons alors obtenir la séquence suivante :T1x=read(A)x=x+1write(A,x)y=read(B)y=y+1write(B,y)T2z=read(A)z=z*2write(A,z)t=read(B)t=t*2write(B,t)Après cette exécution, A=102 et B=101 . Cette fois ci la base est devenue incohérente !• Les lectures non reproductibles.Soient les deux transactions T1 et T2 telles que la transaction T1 effectue deux fois une même lecture surla base.T1x=read(A)affiche xx=read(A)affiche xT2y=read(A)y=y+1write(A,y)66 /98 S. Moutou : Cours
LO14 : Université Technologique de Troyessi initialement A=50, après exécution de T1 puis T2 ou de T2 puis T1, la transaction T1 aura affiché deuxfois la même valeur. Si les transactions sont exécutées de manière concurrente, nous pouvons alors obtenirla séquence suivante :T1x=read(A)affiche xx=read(A)affiche xT2y=read(A)y=y+1write(A,y)Cette fois ci les 2 valeurs affichées ne sont plus identiques, les lectures ne sont plus reproductibles.4.2 Caractériser les exécutions correctesLe contrôle de concurrence est la partie du SGBD qui contrôle l'exécution simultanée de transactions demanière à produire les mêmes résultats qu'une exécution séquentielle. Cette propriété essentielle dessystèmes distribués est nommée sérialisabilité.Définition : Une exécution d'un ensemble detransactions est dite sérialisable si elle donne pourchaque transaction participante, le même résultatque l'exécution en série de ces mêmestransactions.T1T2On notera deux transactions T1 et T2 sérialisables comme ci-dessus. La double flèche exprime que lerésultat final doit être le même que si l'on exécute d'abord T1 puis T2 (T1 précède T2) ou le contraire (T2précède T1).La difficulté du problème peut se représenter comme suit. Soient deux transactions T1 et T2 devant êtresérialisables :T1 = a 1 a 2....a n et T2 = b 1 b 2....b mQuelle est la conséquence sur les a i et b j ?Chaque a i et b j est caractérisé par un domaine d'écriture et de lecture qu'il faut caractériser avec soin. Avecsoin car contrairement aux cas des tâches du chapitre 2, il s'agit ici d'actions qui se passent les valeurs aufur et à mesure de leur déroulement. Ainsi les domaines de lectures se transmettent. Par exemple :a1a2a3a4a5a6T1x=read(A)x=x50write(A,x)t=read(B)t=t+50write(B,t)L1={A}, E1={}L2={A}, E2={}L3={A}, E3={A}, L3={A} car la valeur lue lui est passée par a2L4={B}, E4={}L5={B}, E5={}L6={B}, E6={B}, L6={B} car la valeur lue lui est passée par a5Le rôle du contrôle de concurrence consiste donc à n'autoriser lors de l'exécution de transactionsconcurrentes que des exécutions sérialisables.Prenons l'exemple de deux transactions qui effectuent des virements compte à compte. Si les deuxcomptes traités sont A et B, quelle que soit la somme virée, la somme A+B doit être constante. Selon lamanière dont le contrôle de concurrence effectue l'ordonnancement des opérations, l'exécution obtenuesera correcte (sérialisable) ou non.67 /98 S. Moutou : Cours
Page 1 and 2:
LO14 : Université Technologique de
Page 3 and 4:
UtilisateursLO14 : Université Tech
Page 5 and 6:
Page 8 and 9:
Page 10 and 11:
Page 12 and 13:
Page 14 and 15:
Page 16 and 17: LO14 : Université Technologique de
Page 18 and 19: void *shmat(int shm_id, const void
Page 20 and 21: main(){char commande[60];sprintf(co
Page 24 and 25: Exemple :LO14 : Université Technol
Page 26 and 27: Version IHDL Type of service Total
Page 38 and 39: III) Problèmes logicielsLO14 : Uni
Page 40 and 41: Nom du fichier8 3 1 10 octets2 2 2
Page 68 and 69: T1 T2 T1 T2x=read(A)x=x50write(A,
Page 92 and 93: 5.2.11 - TrappeLO14 : Université T
Page 98: LO14 : Université Technologique de
show all

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

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?