Le moteur de recherche
des thèses françaises
'%3e%3cpath%20style='fill:%2300a0dc;fill-opacity:1;stroke:none;stroke-width:.144606;stroke-opacity:1;stop-color:%23000'%20d='M41.8%20100.088H52.28c.46%200%20.831.421.831.945v10.25c0%20.524-.37.946-.831.946H41.8c-.46%200-.831-.422-.831-.945v-10.251c0-.524.37-.945.831-.945z'/%3e%3cpath%20d='m47.072%20102.02-4.87%202.656%204.87%202.657%203.985-2.174v3.06h.885v-3.543m-7.969%201.851v1.771l3.1%201.691%203.098-1.691v-1.77l-3.099%201.69z'%20style='fill:%23fff;fill-opacity:1;stroke-width:.442726'/%3e%3ccircle%20style='fill:%23009f1d;fill-opacity:1;stroke:%23fff;stroke-width:.379704;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;stop-color:%23000'%20cx='54.151'%20cy='101.224'%20r='3.451'/%3e%3cpath%20d='m55.669%2099.387.659.664-3.075%203.104-1.634-1.649.66-.663.974.979%202.416-2.435'%20style='fill:%23fff;fill-opacity:1;stroke:none;stroke-width:.30061;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1'/%3e%3c/g%3e%3c/svg%3e)
Expression de la synchronisation dans un module contrôlé par priorité : implantation et méthode de preuve
FR |
EN
| Auteur / Autrice : | Jean-Paul Bahsoun |
| Direction : | Claude Bétourné |
| Type : | Thèse de doctorat |
| Discipline(s) : | Sciences appliquées |
| Date : | Soutenance en 1988 |
| Etablissement(s) : | Toulouse 3 |
Mots clés
FR
Mots clés libres
Résumé
FR
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