Normal view MARC view ISBD view

Stratégies d'optmisation et évaluation de performance du protocole de validation en deux phases / Bruno Traverson ; sous la direction de Simone Sédillot

Auteur principal : Traverson, Bruno, AuteurAuteur secondaire : Sédillot, Simone, Directeur de thèseAuteur secondaire collectivité : Université Pierre et Marie Curie - Paris 6, Etablissement de soutenanceType de document : ThèseLangue : français.Pays : France.Éditeur : [S.l.] : [s.n.], 1991Description : 1 vol. (191 p.) ; 30 cmISBN : 2726107001.Bibliographie : Bibliogr. p. 173-178.Sujet MSC : 68W15, Computer science -- Algorithms, Distributed algorithms
68M10, Computer science -- Computer system organization, Network design and communication
68Q10, Computer science -- Theory of computing, Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
97A70, Mathematics education - General, mathematics and education, Theses and postdoctoral theses
Note de thèse: Thèse de doctorat, informatique, 1991, université Paris VI
Tags from this library: No tags from this library for this title. Log in to add tags.
Current location Call number Status Date due Barcode
CMI
Salle S
Thèses TRA (Browse shelf) Available 10497-01

Bibliogr. p. 173-178

Thèse de doctorat informatique 1991 université Paris VI

Cette these constitue une contribution a la conception de systemes transactionnels distribues, tolerants aux pannes. Le protocole de validation en deux phases, reactualise par le standard osi-tp a paraitre an avril 1992, assure, en presence de pannes, l'atomicite des mises a jour effectuees sur differents sites par une transaction distribuee. Le protocole est presente sous diverses hypotheses applicatives et de reseaux, en mettant l'accent sur les strategies d'optimisation et l'evaluation des performances. La description des algorithmes, basee sur un triple formalisme (description algorithmique, specification en csp et illustration par chronogrammes) met en evidence le lien etroit entre la forme de l'algorithme et la topologie de propagation des messages qu'il emploie, ainsi que l'impact des differentes strategies d'optimisation sur le standard de base. Les performances des algorithmes de base et optimises sont evalues sous des hypotheses variees portant a la fois sur le profil des transactions ainsi que sur diverses caracteristiques du reseau de communication et des systemes locaux. Les resultats des calculs theoriques sont confrontes et completes par les resultats de simulations realisees sur un modele de reseau de files d'attentes

There are no comments for this item.

Log in to your account to post a comment.