Files d'attente descriptives pour la modelisation de la synchronisation dans les systemes informatiques
Institution:
Paris 6Disciplines:
Directors:
Abstract EN:
Pas de résumé disponible.
Abstract FR:
Dans cette these, la notion de transition, empruntee aux reseaux de petri, est introduite dans les systemes d'attente classiques. Les modeles issus de cette representation sont appeles "files d'attente descriptives". Ils sont composes de files d'attente d'une part et d'objets nouveaux appeles "dedoublement" et "regroupement" d'autre part. Des primitives de synchronisation sont etudiees et resolues analytiquement: le semaphore et les drapeaux. L'analyse de reseaux integrant ces mecanismes est realisee par une methode de decomposition et une methode d'agregation et validee par simulation. Le dernier phenomene etudie concerne l'objet dedoublement. Il est applique au probleme du "rendez vous". La generalisation du probleme de rendez vous a des systemes plus complexes est etudiee