[Advcomparch] Θ4.2013

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