Gestion du temps et synchro

Informatique Répartie … Synchronisation et Gestion du temps pour Applications Réparties Plan 1. 1 1. 2. Problématique 2. 1. 2. 3. 4. 5. Datation dans un système réparti Notion de précédence causale Observation globale Horloge logique de Lamport Horloge vectorielle Horloge matricielle Notion de Sûreté et de Vivacité Modèle pour l’étude de la synchronisation 3. 1. 2. 3. Définition d’un état global Notion de coupure consistante Notion d’état global consistant État global de Chandy & Lamport 2 1 1. Problématique ï�· ï�® ï�® Raisonner sur un système ou une application Définir des prédicats, ce qui implique d’accéder à un état Coordonner des activités, ce qui implique de définir un ordre Communication par messages => Pas de mémoire commune (support habituel ...