12.07.2015 Views

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

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

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

SHOW MORE
SHOW LESS
  • No tags were found...

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

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Nous avons eu l'occasion <strong>de</strong> définir l'état (d'un système centralisé) comme :Rappel : Etat : s k =[C 1 (k), ...., C n (k)] où <strong>les</strong> C i représentent <strong>de</strong>s cellu<strong>les</strong> mémoire.LO14 : Université Technologique <strong>de</strong> TroyesCette définition nécessite une horloge commune k et <strong>de</strong> la mémoire commune : <strong>les</strong> C i .C'est fini maintenant, on n'a plus <strong>de</strong> mémoire commune et <strong>les</strong> sites ne peuvent communiquer entre eux quepar l'envoi <strong>de</strong> messages. Les délais <strong>de</strong> transmission font que <strong>de</strong>ux sites peuvent avoir une perceptiondifférente <strong>de</strong> l'état à un instant donné et même <strong>de</strong> l'ordre <strong>de</strong>s événements qui se produisent <strong>sur</strong> un 3° site.Comment ordonner <strong>les</strong> événements ?La solution a été trouvée par Lamport (1978).Définissons une relation d'ordre <strong>de</strong> précé<strong>de</strong>nce causale notée ->Soient a et b 2 événements, a précè<strong>de</strong> directement b si l'une <strong>de</strong>s conditions est vraie:• a et b se sont produits <strong>sur</strong> le même site et a est antérieur à b• a est l'envoi d'un message m <strong>de</strong>puis un site et b est la réception <strong>de</strong> ce message.-> est la fermeture transitive <strong>de</strong> précè<strong>de</strong> directementLa précé<strong>de</strong>nce causale -> est un ordre partiel, elle traduit une dépendance potentielle : pour que a puisseêtre la cause <strong>de</strong> b, il est nécessaire que a->b.Métho<strong>de</strong> pratique : Sur chaque site Si on a un compteur Hi (horloge logique) initialisée à 0 qui sert à dater<strong>les</strong> événements <strong>de</strong> ce site. A chaque événement e <strong>sur</strong> Si on fait Hi=Hi+1 et la date notée Hi(e) est lanouvelle valeur <strong>de</strong> Hi.Tout message m émis par Si porte une estampille E(m) et le site Sj qui le reçoit exécute :Hj = max(Hj,E(m))+1On n'a pas défini un ordre strict car <strong>de</strong>s événements causalement indépendants arrivent <strong>sur</strong> <strong>de</strong>s sitesdifférents et peuvent avoir même date. On définit un ordre total strict noté =>a=>b ssi Hi(a)(3,0)=>(1,1)=>(2,1)....Mécanisme <strong>de</strong> diffusion :On envoie message m à l'ensemble <strong>de</strong>s processus récepteurs. C'est le mécanisme <strong>de</strong> base pour lemaintien <strong>de</strong> la cohérence <strong>de</strong>s informations réparties et pour la tolérance aux fautes. Pour maintenir cettecohérence on a besoin d'ordonner <strong>les</strong> événement.2°) Répartition <strong>de</strong>s ressourcesPour un système réparti la question principale est : où placer chacun <strong>de</strong>s éléments ?• Emplacement <strong>de</strong>s données : choisir cet emplacement est compliqué, déjà parce qu'on peut le réaliser<strong>de</strong> plusieurs façons : (Martin 1989)1. reproduites2. séparées (réparties dans plusieurs endroits)3. réorganisées (dérivées ou résumées à partir d'autres endroits)4. mises en antémémoire (reproduites partiellement)• Analyses d'affinité23 /98 S. Moutou : Cours

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!