Les moniteurs

Un moniteur est une collection de procédures, de variable, et de structures de donnes qui sont regroupé dans un module spécial. Les processus peuvent appelé les procédure du moniteur chaque fois qui le souhaitent, mais ne peuvent pas accéder directement aux structure de données internes du moniteur a partir de procédure déclarer à l’extérieur du moniteur.
Les moniteur ont une propriété importante qui les rends intéressants pour faire de l’exclusion mutuel : à l’instant donnée un seul processus peut être actif dans le moniteur. Les moniteurs sont des construction du langage de programmation, ce qui fait que le compilateur sait qu’ils sont spécifiques : il gère les appels aux procédures de moniteur différemment des aux appels.