Συνοχή της κρυφής μνήμης

Η συνοχή ορίζει τη συμπεριφορά των αναγνώσεων και των εγγραφών στην ίδια θέση μνήμης. Οι κρυφές μνήμες είναι συνεκτικές, εάν πληρούνται όλες οι ακόλουθες προϋποθέσεις:

1. Όταν ένας επεξεργαστής P διαβάζει μια θέση X, αφού γράψει στη θέση αυτή, ο P πρέπει να λάβει την τιμή που έγραψε, εάν κανένας άλλος επεξεργαστής δεν έγραψε άλλη τιμή στη θέση αυτή. Αυτό ισχύει και για συστήματα μονοεπεξεργαστών, σημαίνει ότι η μνήμη είναι σε θέση να κρατήσει μια τιμή που έχει γραφτεί.
2. Ας υποθέσουμε ότι υπάρχουν δύο επεξεργαστές, ο P ₁και ο P₂, και ο P₁ έγραψε μια τιμή X₁, και στη συνέχεια, ο P₂ έγραψε μια τιμή X₂, αν ο P ₁διαβάσει την τιμή, πρέπει να πάρει την τιμή που έγραψε ο P₂, X₂, και όχι την τιμή που έγραψε ο ίδιος, X₁, αν δεν υπάρχουν άλλες εγγραφές μεταξύ των δύο. Αυτό σημαίνει ότι η άποψη της μνήμης είναι συνεκτική. Αν οι επεξεργαστές μπορούν να διαβάσουν την ίδια παλιά τιμή μετά την εγγραφή που έκανε ο P₂, η μνήμη δεν θα ήταν συνεκτική.
3. Μπορεί να γίνει μόνο μία εγγραφή σε μια συγκεκριμένη θέση της μνήμης κάθε φορά. Εάν υπάρχουν πολλές εγγραφές, πρέπει να πραγματοποιούνται η μία μετά την άλλη. Με άλλα λόγια, εάν η θέση X λάβει δύο διαφορετικές τιμές A και B, με αυτή τη σειρά, από δύο οποιουσδήποτε επεξεργαστές, οι επεξεργαστές δεν μπορούν ποτέ να διαβάσουν τη θέση X ως B και στη συνέχεια να τη διαβάσουν ως A. Η θέση X πρέπει να δει τις τιμές A και B με αυτή τη σειρά.

Οι συνθήκες αυτές ορίζονται με την υπόθεση ότι οι λειτουργίες ανάγνωσης και εγγραφής πραγματοποιούνται στιγμιαία. Ωστόσο, αυτό δεν συμβαίνει στο υλικό των υπολογιστών λόγω της καθυστέρησης της μνήμης και άλλων πτυχών της αρχιτεκτονικής. Μια εγγραφή από τον επεξεργαστή Χ μπορεί να μην γίνει αντιληπτή από μια ανάγνωση από τον επεξεργαστή Υ, εάν η ανάγνωση γίνει σε πολύ μικρό χρονικό διάστημα μετά την εγγραφή. Το μοντέλο συνέπειας μνήμης ορίζει πότε μια γραπτή τιμή πρέπει να φαίνεται από μια επόμενη εντολή ανάγνωσης που γίνεται από τους άλλους επεξεργαστές.

• Οι μηχανισμοί συνοχής που βασίζονται σε καταλόγους διατηρούν έναν κεντρικό κατάλογο των μπλοκ που έχουν αποθηκευτεί στην προσωρινή μνήμη.

• Το Snooping είναι η διαδικασία κατά την οποία κάθε κρυφή μνήμη παρακολουθεί τις γραμμές διευθύνσεων για προσβάσεις σε θέσεις μνήμης που βρίσκονται στην κρυφή μνήμη της. Όταν παρατηρείται μια λειτουργία εγγραφής σε μια θέση για την οποία μια κρυφή μνήμη έχει αντίγραφο, ο ελεγκτής κρυφής μνήμης ακυρώνει το δικό του αντίγραφο της θέσης μνήμης που κατασκοπεύτηκε.

• Το Snarfing είναι η περίπτωση όπου ένας ελεγκτής κρυφής μνήμης παρακολουθεί τόσο τη διεύθυνση όσο και τα δεδομένα σε μια προσπάθεια να ενημερώσει το δικό του αντίγραφο μιας θέσης μνήμης όταν ένας δεύτερος κύριος επεξεργαστής τροποποιεί μια θέση στην κύρια μνήμη.

Τα κατανεμημένα συστήματα κοινής μνήμης μιμούνται αυτούς τους μηχανισμούς, ώστε να μπορούν να διατηρούν τη συνέπεια μεταξύ των μπλοκ μνήμης σε χαλαρά συνδεδεμένα συστήματα.

Οι δύο πιο συνηθισμένοι τύποι συνοχής που συνήθως μελετώνται είναι η Snooping και η Directory-based. Καθένας έχει τα δικά του πλεονεκτήματα και μειονεκτήματα. Τα πρωτόκολλα Snooping τείνουν να είναι ταχύτερα, αν υπάρχει αρκετό εύρος ζώνης, καθώς όλες οι συναλλαγές είναι ένα αίτημα/απάντηση που βλέπουν όλοι οι επεξεργαστές. Το μειονέκτημα είναι ότι το snooping δεν είναι επεκτάσιμο. Κάθε αίτημα πρέπει να μεταδίδεται σε όλους τους κόμβους ενός συστήματος. Καθώς το σύστημα μεγαλώνει, το μέγεθος του (λογικού ή φυσικού) διαύλου και το εύρος ζώνης που παρέχει πρέπει να αυξάνεται. Οι κατάλογοι, από την άλλη πλευρά, τείνουν να έχουν μεγαλύτερη καθυστέρηση (με αίτηση/προώθηση/απάντηση 3 άλματα), αλλά χρησιμοποιούν πολύ μικρότερο εύρος ζώνης, δεδομένου ότι τα μηνύματα είναι από σημείο σε σημείο και δεν μεταδίδονται. Για το λόγο αυτό, πολλά από τα μεγαλύτερα συστήματα (>64 επεξεργαστές) χρησιμοποιούν αυτόν τον τύπο συνοχής κρυφής μνήμης.