6.3 Séparation des onsidérations lo ales et globales
6.3.1 Modèles de ohéren e globale sans syn hronisation pour MPR
Nousprésentonsi i omment onstruiredesmodèlesde ohéren e globale sans
syn hroni-sation pourmémoires partagéesréparties à partir desservi esde RS2.7.
6.3.1.1 Prin ipes
Les modèles de ohéren e sans syn hronisation (ou forts) ordonnan ent les opérations
(voir hapitre 2 se tion2.4.2). Dans e ontexte,un proto ole de ohéren e globale se harge
d'ordonnan er les opérations portant sur les objets qu'il gère, a n d'obtenir une exé ution
dont l'histoire
Hb = (H, →H)
respe telemodèle de ohéren e globale désiré.Lorsqu'il y a dupli ation, le proto ole de ohéren e lo ale se harge d'ordonnan er les
opérationsportantsurles opiesd'unmêmeobjetlogique:
∀j
,l'histoireHbOj = (HOj, → HOj)
doitrespe terun ertainmodèlede ohéren elo ale.Ainsi,dansle asoùilyadupli ation,
Hb
est onstruit àpartir d'un ensemblede
HbOj
et d'un ordonnan ement desopérations portantsur des objets diérents. Le modèle de ohéren e lo ale doit don au minimum respe ter le
modèle de ohéren e globale ou alors être plus ontraignant. En eet, si
HbOj
ne dé nit pasertaines relations entre lesopérationsportant surunobjetlogique
Oj
(relationsdevant êtredé nies dans
Hb
) alors lemodèlede ohéren e globale ne pourraêtre garanti.A n demontrerlesintéra tions entremodèlede ohéren e lo aleetglobale,nousprenons
omme exemple les modèlesde ohéren e globale séquentielle, ausaleet PRAM.
Modèlede ohéren eglobaleséquentielle. Danslase tion2.4.2.2,nousavonsprésenté
lemodèlede ohéren eséquentielle.Plusformellement,onpeutledé nirdelafaçonsuivante:
Dé nition 6.3 : Modèle de ohéren e globale séquentielle
Unmodèlede ohéren eglobale séquentiellegarantitque
Hb
admetuneextensionlinéaire
Sb= (H, →H)
légale.Toutes lesrelations d'ordre surles exé utionslo ales (surles
Pi
) doivent être identiques.Les proto oles de ohéren e globale mettant en ÷uvre e modèle doivent garantir un ordre
total.Le modèle de ohéren e lo ale doitégalement garantir unordre total sur haque objet
logique : il doit être à opieunique séquentiel. Il est possible également d'utiliser un modèle
de ohéren e lo ale à opie unique atomique qui estplus ontraignant queleséquentiel mais
qui garantit toutesles relations de elui- i.
Denombreuxtravaux onfondent ohéren eatomique et ohéren eséquentielle.La
onfu-sion vient du fait que onstruire un mé anisme optimal s'assurant de la séquentialisabilité
d'uneexé utionestNP omplet[MRZ94℄.Ainsi,denombreusesapproximationsde omplexité
polyn mialesontproposées.Laplussimpleestl'ordonnan ementtotaldetouteslesopérations
orrespondant à un modèle de ohéren e atomique, qui utilise don un modèle de ohéren e
lo ale à opie unique atomique.
Modèle de ohéren e globale ausale. Le modèlede ohéren e ausalesedé nit dela
Dé nition 6.4 : Modèle de ohéren e globale ausale
Soit
bh′
i= (h′
i, →H)
tel queh′i
=l'ensembledes é ritures de
H
perçues parPi
ettoutes les le turesee tuées par lepro essus
Pi
.Un modèlede ohéren e globale ausalegarantit que
∀ Pi
,bh′
i
est légale.Ce modèlene gardequeles relations de ausalité entreles opérations, lemodèlede
ohé-ren e lo ale doit en faire de même; on peut utiliser un modèle de ohéren e lo ale à opies
divergentes ausale. Ce dernier peut également être plus ontraignant omme un modèle à
opie uniqueséquentiel ouatomique sans remettreen ause lemodèle de ohéren e globale.
Modèle de ohéren e globale PRAM. Dans la se tion 2.4.2.4, nous avons dé ni le
modèle de ohéren e séquentielle. Plusformellement eladonne :
Dé nition 6.5 : Modèle de ohéren e globalePRAM
Soit
Hb
dé ni omme dans la se tion 5.1.3 et en remplaçant (iii) par∃op3
:(op1 →hi op3)
et(op3 →hi op2)
.Soit
bh′
i= (h′
i, →H)
tel queh′i
=l'ensembledes é ritures de
H
perçues parPi
ettoutes les le turesee tuées par lepro essus
Pi
.Un modèlede ohéren e globale PRAM garantit que
∀Pi
,bh′
i
est légale.Ce modèle relâ he en ore ertaines ontraintes en ne gardant que la transitivité sur un
même pro essus, lemodèle de ohéren e lo ale doit en faire de même; on peut ainsiutiliser
un modèle de ohéren e lo ale à opies divergentes FIFO. On peut également utiliser un
modèleplus ontraignant omme à opies divergentes ausaleou à opieuniqueséquentiel ou
atomique.
6.3.1.2 Mise en ÷uvre
Les seules informations venant de l'appli ation dont le proto ole de ohéren e globale a
besoin sont les a ès faits sur les objets.Pour ela, l'appli ation utilise l'interfa e d'a ès à
un objet (se tion6.2.1) duproto ole de ohéren e globale.
De même, les seules informations venant du proto ole de ohéren e globale dont le
pro-to ole de ohéren e lo ale a besoin sont les a ès faits sur un objet logique. Pour ela, le
proto ole de ohéren e globale utilise l'interfa e d'a ès à un objet dupliqué( hapitre 4,
Pour mettre en ÷uvre esmodèles,il estné essaire deséparer l'information
d'ordonnan- ement desopérationssurlesobjetsauniveauproto olede ohéren e globaleetl'information
d'ordonnan ement desopérationsportant surles opiesau niveaudu proto ole de ohéren e
lo ale. Par exemple,pourlemodèlede ohéren e ausale,leproto ole de ohéren e globale a
en hargelesliensde ausalité entreles objetsdusystèmeet leproto ole de ohéren e lo ale
les liens de ausalité entre les opies d'un même objet. A n d'entremêler les deux ordres il
estné essairequelessyn hronisationsentreles opiesrepassentpar leproto olede ohéren e
globale omme présenté en se tion6.2.5.