Expression de la synchronisation dans un module contrôlé par priorité : implantation et méthode de preuve

par Jean-Paul Bahsoun

Thèse de doctorat en Sciences appliquées

Sous la direction de Claude Bétourné.

Soutenue en 1988

à Toulouse 3 .

    mots clés mots clés


  • Résumé

    Le module controle par priorite (mcp) est un constructeur de type abstrait, avec un controleur local appele synchroniseur. Sa definition repose sur l'idee de base qu'il existe deux sortes de controles a effectuer pour acceder a un objet partage: les controles lies a l'etat intrinseque de l'objet et ceux provenant d'une politique d'utilisation de l'objet ou d'ordonnancement; ces deux types de controles sont separes dans le mcp


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 118 P.
  • Annexes : 26 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 1988TOU30126
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.