Καλησπέρα,
καταρχάς αν προσέξετε το FSM του MESI, θα δείτε ότι το συγκεκριμένο action είναι flush' και όχι flush (όπως είναι πχ. στο transition M->I). Όπως εξήγησα και στο μάθημα, η διαφορά οφείλεται στο αν το πρωτόκολλο χρησιμοποιεί cache-to-cache transfers όταν η κύρια μνήμη είναι ενημερωμένη.
Πιο συγκεκριμένα:
-- Το flush σημαίνει ότι η cache βάζει στο bus τα data μιας και είναι η μοναδική που έχει το valid block. -- To flush' υποδεικνύει ότι έχουμε πιθανώς πολλαπλά αντίγραφα και επιτρέπουμε cache-to-cache transfers (άρα το block θα έρθει από κάποια cache και όχι από την κύρια μνήμη) και συγκεκριμένα είναι true για αυτόν που επιλέγεται να παρέχει τα δεδομένα, ενώ οι υπόλοιποι δεν κάνουν τίποτα πέρα από τη μετάβαση που απαιτεί το πρωτόκολλο.
Από εκεί και πέρα, αν το FSM δεν κάνει το flush που αναφέρεις (flush ή flush' δεν έχει σημασία), τότε το πρωτόκολλο δε θα λειτουργήσει σωστά.
Κ.
2014-09-08 2:43 GMT+03:00 George Christodoulis astourias-george@hotmail.com:
Καλησπέρα, Θα ήθελα να θέσω ένα ερώτημα το οποίο ανέκυψε από τα θέματα:
Έστω 2 επεξεργαστές (p1,p2) οι οποίοι έχουν σε κάποιο $-line τους το ίδιο block της μνήμης. Έστω και τα 2 $-lines σε mode "Shared".
Έρχεται ο p1 να γράψει σε word που ανήκει στο υπό εξέταση $-line.
Ο p1 κάνει PrWr, και ο Bus ανακοινώνει BusRdX, και υποχρεώνει την p2 να γίνει Invalid.
Με βάση το fsm του MESI , o p2 πρέπει να κάνει flush. Αυτό όμως δε φαίνεται να έχει πολύ νόημα. Η ερώτηση είναι:
Αυτό το flush γίνεται? Αν ναι με ποια σειρά? Αν όχι γιατί?
Ευχαριστώ εκ των προτέρων.
Γ.Χριστοδουλής
Advcomparch mailing list Advcomparch@lists.cslab.ece.ntua.gr http://lists.cslab.ece.ntua.gr/mailman/listinfo/advcomparch