Καλησπέρα, Θα ήθελα να θέσω ένα ερώτημα το οποίο ανέκυψε από τα θέματα:
Έστω 2 επεξεργαστές (p1,p2) οι οποίοι έχουν σε κάποιο $-line τους το ίδιο block της μνήμης. Έστω και τα 2 $-lines σε mode "Shared".
Έρχεται ο p1 να γράψει σε word που ανήκει στο υπό εξέταση $-line.
Ο p1 κάνει PrWr, και ο Bus ανακοινώνει BusRdX, και υποχρεώνει την p2 να γίνει Invalid.
Με βάση το fsm του MESI , o p2 πρέπει να κάνει flush. Αυτό όμως δε φαίνεται να έχει πολύ νόημα.Η ερώτηση είναι:
Αυτό το flush γίνεται? Αν ναι με ποια σειρά? Αν όχι γιατί?
Ευχαριστώ εκ των προτέρων.
Γ.Χριστοδουλής