en fr Protocols for rendez-vous and fairness Protocoles pour le rendez-vous et léquité Reportar como inadecuado




en fr Protocols for rendez-vous and fairness Protocoles pour le rendez-vous et léquité - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 IMAG - Institut d-Informatique et de Mathématiques Appliquées de Grenoble

Résumé : 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é

Mots-clés : protocoles équité rendez-vous schéma code





Autor: Xavier Pandolfi -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados