Expression de la synchronisation dans un module contrôlé par priorité : implantation et méthode de preuve / Jean-Paul Bahsoun ; sous la direction de Claude Bétourné

Date :

Editeur / Publisher : [Lieu de publication inconnu] : [Éditeur inconnu] , 1988

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Bétourné, Claude (19..-.... ; informaticien) (Directeur de thèse / thesis advisor)

Université Toulouse 3 Paul Sabatier (1969-....) (Organisme de soutenance / degree-grantor)

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