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

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=x­50write(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