imported>Aka: Tippfehler entfernt

2021-02-28T09:27:02Z

Neue Seite

'''MOESI''' ('''''M'''odified, '''O'''wned, '''E'''xclusive, '''S'''hared, '''I'''nvalid'') ist ein Protokoll zur Wahrung der [[Cache-Kohärenz]] in speichergekoppelten [[Multiprozessorsystem]]en. 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.<ref>[https://www.amd.com/system/files/TechDocs/24593.pdf AMD64 Architecture Programmer's Manual Vol 2 'System Programming']</ref>, S. 165ff):

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 bietet keinen wesentlichen Vorteil gegenüber MESI, wenn das Verbindungsnetzwerk zwischen Prozessoren und Speichercontroller ein [[Bus (Datenverarbeitung)|Bus]] ist. Es ist hingegen bei direkten Netzwerken von Vorteil, wie zum Beispiel bei AMD-Opteron-Systemen. Das Vermeiden des Zurückschreibens von modifizierten Cache-Lines sorgt hier für die Entlastung von Verbindungsnetzwerk und Speichercontroller.

Außerdem kann die Kommunikation zwischen zwei oder mehreren CPUs bzgl. Latenz und Übertragungsrate signifikant besser sein als zwischen CPU und Hauptspeicher. Bei [[Multicore-Prozessor|Multicore-CPUs]] mit jeweils eigenen Caches pro Core ist dies meist der Fall.

Im Bereich der [[System on a Chip]] kann die Verwendung des zusätzlichen "Owned"-Zustandes Energie sparen, wenn hierdurch der Zugriff auf extern angebundenen Speicher entfällt. Im Falle des [[Advanced Microcontroller Bus Architecture|AMBA]]-Buses von [[Advanced RISC Machines Ltd.|ARM]] ist die benötigte Energie eines chipexternen Speicherzugriffs laut Herstellerangaben bis zu zehnmal höher als ein chipinterner Speichertransfer zwischen zwei Bus-Mastern. Der AMBA-Bus unterstützt ab Version 4 das MOESI-Protokoll.<ref> [https://www.arm.com/zh/files/pdf/CacheCoherencyWhitepaper_6June2011.pdf Introduction to AMBA® 4 ACE™] (PDF; 908 kB)</ref>

== Zustandsdiagramm ==
[[Datei:Legende MOESI.png|mini|Legende zum Zustandsdiagramm]]Zur Verbesserung der Verständlichkeit und Übersichtlichkeit wurde das Zustandsdiagramm in zwei (für aktive und passive CPUs) geteilt. Durch Automatenvereinigung lässt sich ein äquivalenter Automat erzeugen, der beide Diagramme vereint.

<gallery class="float-center" widths="500" perrow="2" heights="350" caption="Zustandsdiagramme">
File:MOESI-Zustandsdiagramm für aktive CPUs.png|Zustandsdiagramm für aktive CPUs im MOESI-Protokoll
File:MOESI-Zustandsdiagramm für passive CPUs.png|Zustandsdiagramm für passive CPUs im MOESI-Protokoll
</gallery>

{| class="wikitable center"
|-
! Bedingungen || Beschreibung
|-
| Read Hit || Treffer beim lokalen Lesen
|-
| Write Hit || Treffer beim lokalen Schreiben
|-
| Snoop Hit on Read || Treffer beim fremden Lesen
|-
| Snoop Hit on Write || Treffer beim fremden Schreiben
|-
| Read Miss || Fehltreffer beim lokalen Lesen
|-
| Write Miss || Fehltreffer beim lokalen Schreiben
|-
| shared || mit Snoop Hits in anderen Caches
|-
| not shared || ohne Snoop Hits in anderen Caches
|}

== Zustände ==
=== 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 aktualisieren. Wenn eine Leseanfrage 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 Schreibbenachrichtigung eines anderen Prozessors setzt er seine Cache-Line auf ''invalid''.

=== 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ückgeschrieben: Im Hauptspeicher steht also ein veralteter (sprich 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 Leseanfrage, sendet der Cache die aktuellen Daten direkt an den Anfragenden. Bei einer Schreibbenachrichtigung eines anderen Prozessors wechselt er in den Zustand ''invalid''. Derjenige, welcher geschrieben hat, befindet sich nun im Zustand ''modified''. Bei allen anderen Caches, die diese Hauptspeicheradresse gecacht haben, wird der Zustand auch ungültig und somit ''invalid''.

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

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

=== 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 Leseanfrage oder Schreibbenachrichtigung passiert im Zustand ''invalid'' nichts.

== Siehe auch ==
* [[Modified-Shared-Invalid Protokoll|MSI]]
* [[MESI]]
* [[MOSI]]

== Einzelnachweise ==
<references />

{{SORTIERUNG:Moesi}}
[[Kategorie:Rechnerarchitektur]]
[[Kategorie:Abkürzung|MOESI]]

MOESI - Versionsgeschichte

imported>Aka: Tippfehler entfernt