Was macht das Java-Speichermodell?

Was ist JMM? Die Zugriffsunterschiede des Systems stellen sicher, dass Java-Programme mit konsistenten Mechanismen und Spezifikationen auf den Speicher zugreifen können.

• Das Java-Speichermodell schreibt vor, dass alle Variablen im Hauptspeicher gespeichert werden und jeder Thread über einen eigenen Arbeitsspeicher verfügt.

• Der Arbeitsspeicher des Threads speichert eine Kopie des Hauptspeichers der im Thread verwendeten Variablen. Alle Operationen an Variablen durch den Thread müssen durchgeführt werden im Es wird im Arbeitsspeicher ausgeführt und kann nicht direkt in den Hauptspeicher lesen und schreiben.

• Verschiedene Threads können nicht direkt auf die Variablen im Arbeitsspeicher des anderen zugreifen. Die Übertragung von Variablen zwischen Threads erfordert einen gleichzeitigen Vorgang.

• Und JMM wirkt auf den Datensynchronisationsprozess zwischen Arbeitsspeicher und Hauptspeicher ein. Er legt fest, wie und wann die Datensynchronisierung erfolgt.

Hauptspeicher und Arbeitsspeicher

Hauptspeicher Speicher und Arbeitsspeicher können einfach mit den Konzepten von Hauptspeicher und Cache im Computerspeichermodell analogisiert werden. Es ist besonders wichtig zu beachten, dass der Hauptspeicher und der Arbeitsspeicher nicht auf der gleichen Ebene der Speicheraufteilung liegen wie der Java-Heap, der Stapel, der Methodenbereich usw. in der JVM-Speicherstruktur und nicht direkt verglichen werden können.

• Wenn Sie kaum eine Übereinstimmung finden, entspricht der Hauptspeicher aus der Definition von Variablen, Hauptspeicher und Arbeitsspeicher hauptsächlich dem Datenteil der Objektinstanz im Java-Heap . Der Arbeitsspeicher entspricht einem Teil des Stapels der virtuellen Maschine. Was nützt das Schlüsselwort volatile? #Thread-Betriebsvariablen müssen aus dem Hauptspeicher gelesen werden. Der Speicher wird in den lokalen Speicher des Threads kopiert.

Der lokale Arbeitsspeicher des Threads ist ein abstraktes Konzept, einschließlich Cache und Speicherpuffer (wird später besprochen). ), Register usw.

Wenn Thread A und Thread B kommunizieren möchten, müssen sie die folgenden 2 Schritte durchlaufen:

#🎜🎜 #Thread A aktualisiert die aktualisierten gemeinsam genutzten Variablen im lokalen Speicher A im Hauptspeicher.

• Thread B geht in den Hauptspeicher, um die gemeinsam genutzten Variablen zu lesen, die Thread A zuvor aktualisiert hat.

• Nachdem ein Thread eine gemeinsam genutzte Variable geändert hat, können andere Threads die Änderung (Änderung) der Variablen sehen (wahrnehmen)

  # 🎜🎜##🎜🎜 #Dies gilt unabhängig davon, ob es sich um eine gewöhnliche Variable oder eine flüchtige Variable handelt Der geänderte neue Wert der flüchtigen Variablen wird sofort mit dem Hauptspeicher synchronisiert und vor jeder Verwendung der flüchtigen Variablen sofort aus dem Hauptspeicher aktualisiert. Daher garantiert flüchtig die Sichtbarkeit der Betriebsvariablen zwischen mehreren Threads, während normale Variablen dies nicht können Garantieren Sie dies. #? Es ist auch möglich

  Verwenden Sie das synchronisierte Schlüsselwort am Anfang der Synchronisationsmethode/des Synchronisationsblocks (Monitor Enter). Bei Verwendung der gemeinsam genutzten Variablen wird der Variablenwert aus dem Hauptspeicher aktualisiert Arbeitsspeicher (d. h. den neuesten Wert im privaten Arbeitsspeicher des Threads aus dem Hauptspeicher lesen), am Ende der Synchronisationsmethode/des Synchronisationsblocks (Monitor Exit) wird der Variablenwert im Arbeitsspeicher mit dem Hauptspeicher synchronisiert Speicher (d. h. der Variablenwert im privaten Arbeitsspeicher des Threads. Der Wert wird zur Synchronisierung in den Hauptspeicher geschrieben).
  Verwenden Sie die am häufigsten verwendete Implementierung der Lock-Schnittstelle, ReentrantLock (Wiedereintrittssperre). , um Sichtbarkeit zu erreichen: Wenn wir lock.lock () am Anfang der Methodenmethode ausführen, hat sie dieselbe Semantik wie die synchronisierte Startposition (Monitor Enter), dh bei Verwendung einer gemeinsam genutzten Variablen ist der Variablenwert Vom Hauptspeicher in den Arbeitsspeicher aktualisiert (d. h. der neueste Wert wird aus dem Hauptspeicher in den privaten Arbeitsspeicher des Threads gelesen), führen Sie die Methode lock.unlock() im endgültigen Block der Methode aus Dieselbe Semantik wie die synchronisierte Endposition (Monitor Exit), d. h. die Variablenwerte im Arbeitsspeicher werden mit dem Hauptspeicher (d. h. dem Thread privat) synchronisiert. Die Werte im Arbeitsspeicher werden in den Hauptspeicher geschrieben zur Synchronisation).
  Die Sichtbarkeit des Schlüsselworts final bezieht sich auf: die durch final geänderten Variablen, sobald sie im Konstruktor initialisiert wurden, und der Verweis auf „this“ wird im Konstruktor nicht weitergegeben („this“ „Referenz-Escape ist sehr gefährlich, da andere Threads wahrscheinlich über die Referenz auf ein Objekt zugreifen, das nur „halb initialisiert“ ist. Dann können andere Threads den Wert der endgültigen Variablen sehen.

Das obige ist der detaillierte Inhalt vonWas macht das Java-Speichermodell?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!