[Advcomparch] Θ4.2013

[George Christodoulis]

Καλησπέρα, Θα ήθελα να θέσω ένα ερώτημα το οποίο ανέκυψε από τα θέματα:
Έστω 2 επεξεργαστές (p1,p2) οι οποίοι έχουν σε κάποιο $-line τους το ίδιο block της μνήμης. Έστω και τα 2 $-lines σε mode "Shared".
Έρχεται ο p1 να γράψει σε word που ανήκει στο υπό εξέταση $-line.
Ο p1 κάνει PrWr, και ο Bus ανακοινώνει BusRdX, και υποχρεώνει την p2 να γίνει Invalid.
Με βάση το fsm του MESI , o p2 πρέπει να κάνει flush. Αυτό όμως δε φαίνεται να έχει πολύ νόημα.Η ερώτηση είναι:
Αυτό το flush γίνεται? Αν ναι με ποια σειρά? Αν όχι γιατί?
Ευχαριστώ εκ των προτέρων.
Γ.Χριστοδουλής
 		 	   		  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.cslab.ece.ntua.gr/pipermail/advcomparch/attachments/20140908/f0514451/attachment.htm>