Afficher la notice abrégée

dc.contributor.authorSELLAMI, Afif
dc.date2004-12-13
dc.date.accessioned2021-01-13T14:04:33Z
dc.date.available2021-01-13T14:04:33Z
dc.identifier.urihttps://oskar-bordeaux.fr/handle/20.500.12278/25694
dc.description.abstractL'objectif de cette thèse est de montrer que le modèle des systèmes de réécriture de graphe est un modèle pertinent pour l'étude, la compréhension et l'implémentation des algorithmes distribués. Dans un algorithme distribué, la détection de terminaison est difficile puisqu'un algorithme est exécuté par plusieurs processus en parallèle et l'algorithme ne se termine que lorsque tous les processus ont fini. Pour résoudre ce problème, nous utilisons un produit particulier de deux systèmes de réécriture de graphe. Le premier code l'algorithme dont nous voulons détecter sa terminaison et le second code un des algorithmes qui détecte la terminaison globale. Les algorithmes asynchrones sont souvent moins performants que les algorithmes correspondants synchrones. Il est très utile de disposer d'une méthode générale qui permet de simuler les algorithmes synchrones sur des systèmes asynchrones. Nous utilisons un autre produit, similaire à celui utilisé pour la résolution du problème de détection de terminaison, pour résoudre ce problème. Nous avons implémenté une plate-forme appelée Visidia qui utilise les systèmes de réécriture de graphe pour implémenter les algorithmes distribués. Visidia permet de tester, expérimenter, valider et visualiser l'exécution des algorithmes distribués codés sous forme de systèmes de réécriture de graphe ou sous forme de calcul local. Nous utilisons Visidia pour faire des expérimentations sur des algorithmes qui résolvent le problème de partage des ressources. Plusieurs algorithmes ont été testés dont la généralisation du problème des philosophes, l'exclusion mutuelle dans un arbre et enfin, une généralisation du problème de l'exclusion mutuelle dans un réseau quelconque.
dc.formatapplication/pdf
dc.languagefr
dc.rightsfree
dc.subjectInformatique
dc.subjectSystèmes de réécriture de graphe
dc.subjectalgorithmes distribués
dc.subjectdétection de la terminaison
dc.subjectsynchroniseurs
dc.subjectVisidia
dc.subjectpartage de ressources
dc.titleDes calculs locaux aux algorithmes distribués
dc.typeThèses de doctorat
bordeaux.hal.laboratoriesThèses Bordeaux 1 Ori-Oai*
bordeaux.institutionUniversité de Bordeaux
bordeaux.COinSctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.title=Des%20calculs%20locaux%20aux%20algorithmes%20distribu%C3%A9s&rft.atitle=Des%20calculs%20locaux%20aux%20algorithmes%20distribu%C3%A9s&rft.au=SELLAMI,%20Afif&rft.genre=unknown


Fichier(s) constituant ce document

Thumbnail

Ce document figure dans la(les) collection(s) suivante(s)

Afficher la notice abrégée