Protocoles pour le rendez-vous et l'équité / Xavier Pandolfi ; sous la direction de [Philippe Jorrand]

Date :

Editeur / Publisher : Grenoble : Université Joseph Fourier , 2008

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Jorrand, Philippe (19..-.... ; informaticien) (Directeur de thèse / thesis advisor)

Institut national polytechnique (Grenoble, Isère, France ; 1900-....) (Organisme de soutenance / degree-grantor)

Institut d'informatique et mathématiques appliquées (Grenoble ; 1989-2006) (Laboratoire associé à la thèse / thesis associated laboratory)

Relation : Protocoles pour le rendez-vous et l'équité / Xavier Pandolfi ; sous la direction de [Philippe Jorrand] / , 1992

Résumé / Abstract : Nous étudions la mise en œuvre du rendez-vous multiprocessus et de l'équité dans les langages du type csp généralise. Nous proposons une methode de construction des protocoles. Cette methode consiste a mettre en œuvre ces protocoles a partir d'un schéma de protocole, c'est-a-dire un protocole comportant des parties abstraites. La mise en œuvre effective d'un protocole se fait en remplaçant les parties abstraites par du code. Nous discutons le choix de ce code a l'aide d'exemples tires de la littérature. Nous étudions six notions d'équité dites classiques. Nous montrons que parmi ces six notions d'équité seules les notions d'équité dites fortes accroissent la vivacité. Nous montrons aussi qu'en général il est impossible de construire un protocole réalisant une de ces notions d'équité fortes: seule la strong process fairness peut l'être, et cela seulement lorsque le rendez-vous est binaire. Nous etudions la construction des protocoles réalisant la weak interaction fairness et la strong process fairness (avec rendez-vous binaire). Nous dérivons, a partir d'une spécification, un schéma pour chacune de ces notions d'équité