Tâche et objet protégé
Tâche
Les taches sont des procesus permettant un contrôl dit "rendez - vous" lesquels sont honnoré selon les disposition de la tâche.
Un rendez vous s'énonce avec le mot "entry" dans la partie spécification de la tache ; Alors que le rendez vous est honnoré avec le mot "accept" dans la partie implémentation de la tache.
Objet protégé
Les objets protégés sont des "module" de programme garantissant qu'un seul traitement sera honnoré durant le temps du traitement.
|
|
|