Abstract 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