Θα ήθελα να θέσω ένα ερώτημα το οποίο ανέκυψε από τα θέματα:

Έστω 2 επεξεργαστές (p1,p2) οι οποίοι έχουν σε κάποιο $-line τους το ίδιο block της μνήμης. Έστω και τα 2 $-lines σε mode "Shared".

Έρχεται ο p1 να γράψει σε word που ανήκει στο υπό εξέταση $-line.

Ο p1 κάνει PrWr, και ο Bus ανακοινώνει BusRdX, και υποχρεώνει την p2 να γίνει Invalid.

Με βάση το fsm του MESI , o p2 πρέπει να κάνει flush. Αυτό όμως δε φαίνεται να έχει πολύ νόημα.

Η ερώτηση είναι:

Αυτό το flush γίνεται? Αν ναι με ποια σειρά? Αν όχι γιατί?

Ευχαριστώ εκ των προτέρων.

Γ.Χριστοδουλής