MOESI

aus Wikipedia, der freien Enzyklopädie

MOESI (Modified, Owned, Exclusive, Shared, Invalid) ist ein Protokoll zur Wahrung der Cache-Kohärenz in speichergekoppelten Multiprozessorsystemen. Es umfasst alle möglichen Zustände einer Cache-Line, die auch von anderen Protokollen her bekannt sind. Jede Cache-Line befindet sich in einem von fünf Zuständen (vgl. ^[1], S. 165ff):

[Bearbeiten] Zustände

[Bearbeiten] Modified (genauer: Modified Exclusive)

Der Cache besitzt die einzige Kopie der Cache-Line und hat sie modifiziert (dirty). Wenn er die Cache-Line entfernt, muss er den Hauptspeicher updaten. Wenn eine Lese-Anfrage von einem anderen Prozessor kommt, schickt er die Daten dieser Cache-Line an ihn und ändert seinen eigenen Zustand auf Owned. Der Zustand der Cache-Line des anderen Prozessors wird auf Shared gesetzt. Bei einer Schreib-Benachrichtigung eines anderen Prozessors setzt er seine Cache-Line auf Invalid.

[Bearbeiten] Owned (genauer: Modified Shared)

Der Cache besitzt eine von mehreren Kopien der Cache-Line. Er hat seine Cache-Line verändert, aber noch nicht zurück geschrieben: Im Hauptspeicher steht aber ein veralteter (also ungültiger) Wert. Bei allen anderen Prozessoren, die diese Cache-Line haben, ist diese im Zustand Shared. Der Prozessor ist dafür verantwortlich, beim schreiben in diese Cache-Line alle anderen Caches zu aktualisieren. Sendet ein anderer Prozessor eine Lese-Anfrage, sendet der Cache die aktuellen Daten direkt an den Anfragenden. Bei einer Schreib-Benachrichtigung eines anderen Prozessors wechselt er in den Zustand Invalid. Derjenige, welcher geschrieben hat, ändert dann seinen Zustand in Owned. Bei allen anderen Caches ändert sich nichts (Zustand bleibt auf Shared falls Cache-Line vorhanden).

[Bearbeiten] Exclusive

Der Cache besitzt die einzige Kopie der Cache-Line und hat sie nicht modifiziert (clean, unmodified). Bei einer Lese-Anfrage schickt er die Daten zum Anfragenden. Die Zustände beider Cache-Lines gehen dann in den Zustand Shared über. Bei einer Schreib-Benachrichtigung invalidiert er die Cache-Line.

[Bearbeiten] Shared

Der Cache besitzt eine von mehreren aktuellen Kopien der Cache-Line. Eine Cache-Line im diesem Zustand darf nur gelesen werden.

[Bearbeiten] Invalid

Die Cache-Line ist ungültig. Wird sie vom Prozessor angefragt, tritt ein Cache-Miss auf und die Daten müssen aus dem Hauptspeicher (oder einem anderen Cache) geholt werden. Dazu schickt er gleichzeitig eine Anfrage an den Speicher und an alle anderen Prozessoren. Ist die Cache-Line bereits in einem anderen Cache vorhanden und ist diese dort modifiziert (Modified oder Owned), so werden die Daten von dort geliefert. Die vom Speicher kommenden Daten werden ignoriert, da diese nicht aktuell sind. War die Cache-Line in einem anderen Prozessor auf Modified, so ändert sich der Zustand dort auf Owned. In jedem Fall wird der Zustand der Cache-Line in diesem Cache auf Shared gesetzt. Ist die Cache-Line nirgends modifiziert, so nimmt der Cache die Daten aus dem Speicher. Je nachdem, ob die anderen Prozessoren die Cache-Line in ihrem Cache haben oder nicht, wird die neue Cache-Line in den Zustand Exclusive bzw. Shared gesetzt. Bei einer Lese-Anfrage oder Schreib-Benachrichtigung passiert im Zustand Invalid nichts.

[Bearbeiten] Zusammenfassung

Das MOESI-Protokoll ist eine komplizierte Variante des MESI-Protokolls. Es vermeidet das Zurückschreiben von modifizierten Cache-Lines, wenn andere CPUs diese lesen wollen. Stattdessen wird der aktuelle Wert bei jeder Veränderung zwischen den Caches direkt propagiert (siehe Zustand Owned).

MOESI ist von Vorteil, wenn die Kommunikation zwischen zwei oder mehreren CPUs bzgl. Latenz und Übertragungsrate signifikant besser ist als zwischen CPU und Hauptspeicher. Bei Multicore-CPUs mit jeweils eigenen L2 Caches pro Core ist dies meist der Fall.

[Bearbeiten] Siehe auch

• MSI
• MESI
• MOSI

[Bearbeiten] Einzelnachweise

1. ↑ AMD64 Architecture Programmer's Manual Vol 2 'System Programming'