« Méthodes de génie logiciel avec Ada/Cinquième partie » : différence entre les versions

Contenu supprimé Contenu ajouté
Ligne 747 :
end Compteur;
</source>
<references />
:La clause when True de l'entrée Attendre peut sembler bizarre, mais il est obligatoire de fournir une garde pour une entrée de type protégé. Ne peut-on en faire une procédure? Non, car seule une entrée a le droit de faire un requeue. La mention with abort de l'instruction requeue autorise une éventuelle annulation de la demande par avortement ou fin d'appel temporisé.
<references />
 
Au fait, que se passe-t-il ici en cas d'appels multiples? Le montant attendu est celui du dernier qui appelle! Si le deuxième appel correspond à un montant inférieur au premier, la première demande sera débloquée alors que le montant attendu n'a pas été atteint. Un tel comportement est inacceptable.