8 / 24 · Vérification
Vérification : conserver un résultat terminé
Distinguez la livraison dans l’état DONE de l’acceptation de la requête suivante.
Les leçons sont gratuites. Inscrivez-vous pour enregistrer vos progrès.
L’accumulateur à quatre entrées est dans DONE, avec acc=24 et output-valid=1. Output-ready vaut zéro au front montant suivant et une nouvelle requête est présentée. Notre machine à états simple n’accepte aucune nouvelle requête dans DONE.
Quel est l’état correct après ce front ?
Valid sans ready n’est pas un transfert. Conservez DONE, acc=24 et valid=1, et n’acceptez pas la nouvelle requête. Une acceptation simultanée nécessiterait une autre règle d’admission et une capacité de stockage suffisante.
✓ Vérification terminée