Maître de conférence en informatique de l'UFR de sciences exactes et naturelles de l'Université de Reims-Champagne-Ardenne (en 2007)
Stabilisation des horloges de phases dans les systèmes distribués. Synchroniser des processus dans les systèmes distribués
Par :Formats :
- Paiement en ligne :
- Livraison à domicile ou en point Mondial Relay indisponible
- Retrait Click and Collect en magasin gratuit
- Nombre de pages144
- PrésentationBroché
- FormatPoche
- Poids0.222 kg
- Dimensions15,0 cm × 22,0 cm × 0,0 cm
- ISBN978-613-1-54044-8
- EAN9786131540448
- Date de parution05/10/2010
- CollectionOMN.UNIV.EUROP.
- ÉditeurUniv Européenne
Résumé
Nous étudions le problème de la synchronisation de phases, à valeurs bornées par un entier K, dans le cadre de l''auto-stabilisation et de la stabilisation instantanée. Dans un premier temps, nous présentons trois algorithmes semi-uniformes pour systèmes asynchrones. Ces trois algorithmes fonctionnent sur des arbres orientés et sont stabilisants instantanément, c''est à dire qu''ils vérifient toujours la spécification du synchroniseur, quelle que soit la configuration initiale.
Dans un second temps, nous étudions les systèmes synchrones uniformes dans le cadre de l''auto-stabilisation. Nous proposons ensuite sur des arbres uniformes, le premier algorithme déterministe qui fonctionne pour toute valeur de K. Son temps de stabilisation, D, en fait le plus rapide de la littérature sur les réseaux à mémoire bornée. Nous présentons un dernier algorithme en 2K états qui stabilise sur une chaîne, pour toute valeur de K, en au plus 2D transitions.
Il constitue le premier algorithme universel sur une chaîne dont l''encombrement mémoire est indépendant du réseau.
Dans un second temps, nous étudions les systèmes synchrones uniformes dans le cadre de l''auto-stabilisation. Nous proposons ensuite sur des arbres uniformes, le premier algorithme déterministe qui fonctionne pour toute valeur de K. Son temps de stabilisation, D, en fait le plus rapide de la littérature sur les réseaux à mémoire bornée. Nous présentons un dernier algorithme en 2K états qui stabilise sur une chaîne, pour toute valeur de K, en au plus 2D transitions.
Il constitue le premier algorithme universel sur une chaîne dont l''encombrement mémoire est indépendant du réseau.
Nous étudions le problème de la synchronisation de phases, à valeurs bornées par un entier K, dans le cadre de l''auto-stabilisation et de la stabilisation instantanée. Dans un premier temps, nous présentons trois algorithmes semi-uniformes pour systèmes asynchrones. Ces trois algorithmes fonctionnent sur des arbres orientés et sont stabilisants instantanément, c''est à dire qu''ils vérifient toujours la spécification du synchroniseur, quelle que soit la configuration initiale.
Dans un second temps, nous étudions les systèmes synchrones uniformes dans le cadre de l''auto-stabilisation. Nous proposons ensuite sur des arbres uniformes, le premier algorithme déterministe qui fonctionne pour toute valeur de K. Son temps de stabilisation, D, en fait le plus rapide de la littérature sur les réseaux à mémoire bornée. Nous présentons un dernier algorithme en 2K états qui stabilise sur une chaîne, pour toute valeur de K, en au plus 2D transitions.
Il constitue le premier algorithme universel sur une chaîne dont l''encombrement mémoire est indépendant du réseau.
Dans un second temps, nous étudions les systèmes synchrones uniformes dans le cadre de l''auto-stabilisation. Nous proposons ensuite sur des arbres uniformes, le premier algorithme déterministe qui fonctionne pour toute valeur de K. Son temps de stabilisation, D, en fait le plus rapide de la littérature sur les réseaux à mémoire bornée. Nous présentons un dernier algorithme en 2K états qui stabilise sur une chaîne, pour toute valeur de K, en au plus 2D transitions.
Il constitue le premier algorithme universel sur une chaîne dont l''encombrement mémoire est indépendant du réseau.
