Unterstützt Go volatile/nichtflüchtige Variablen?

Question

Ich bin neu in der Sprache, also ertragen Sie mit mir.

Ich bin gespannt, wie GO behandelt Datenspeicher für Threads in dem Sinne, dass nicht-lokale Variablen können auch nicht-flüchtig sein, wie in Java zum Beispiel.

GO hat das Konzept von Kanal, der durch seine Art - Inter-Thread-Kommunikation bedeutet, dass es Prozessor-Cache umgeht und direkt in Heap liest/schreibt.

Haben auch keinen Verweis auf flüchtige in der go lang Dokumentation gefunden.

Answer 1

Nein, go unterstützt die volatile oder register-Anweisung nicht.

Weitere Informationen finden Sie unter this post. Dies wird auch in der Go for C++ Programmers guide vermerkt.

Answer 2

In der Dokumentation Go Memory Model wird erläutert, warum das Konzept von "volatile" in Go keine Anwendung findet.

Locker: Unter anderem sind die Goroutinen frei, um goroutine-lokale Änderungen in Registern zu speichern, so dass diese Änderungen von anderen Goroutines nicht beobachtet werden können. Um diese Änderungen in den Speicher zu "leeren", muss eine Synchronisation durchgeführt werden. Entweder durch Sperren oder durch Kommunikation (Kanal senden oder empfangen).

Answer 3

Die einfache Antwort ist, dass volatile von der aktuellen Go-Spezifikation, Zeitraum nicht unterstützt wird.

Wenn Sie einen der Anwendungsfälle haben, in denen flüchtige Elemente erforderlich sind, z. B. niedriger atomarer Speicherzugriff, der von existingpackages in der Standardbibliothek nicht unterstützt wird, oder ungepufferter Zugriff auf Hardware zugeordneten Speicher, müssen Sie Verknüpfung in einer C- oder Assembly-Datei.

Beachten Sie, dass Sie, wenn Sie C oder Assembly verwenden, wie von der GC-Compiler-Suite verstanden, nicht einmal cgo dafür benötigen, da die [568] c C/asm-Compiler auch damit umgehen können.

Sie können Beispiele davon in Gos Quellcode finden. Zum Beispiel:

• http://golang.org/src/pkg/runtime/sema.goc
• http://golang.org/src/pkg/runtime/atomic_arm.c

Grep für viele andere Fälle.

Wie der Speicherzugriff in Go funktioniert, finden Sie unter The Go Memory Model.

Answer 4

TL; DR: Go hat kein Schlüsselwort, um eine Variable sicher zu machen, damit mehrere Goroutinen sie schreiben/lesen können. Verwenden Sie das Paket sync/atomic dafür. Oder besser noch Do not communicate by sharing memory; instead, share memory by communicating.

---

Zwei Antworten für die two meanings of volatile

.NET/Java Gleichzeitigkeit

Einige Auszüge aus dem Go Memory Model.

Wenn die Auswirkungen eines goroutine muss von einem anderen goroutine beobachtet werden, einen Synchronisationsmechanismus, wie beispielsweise eine Sperre verwenden oder Kommunikationskanal eine relative Ordnung herzustellen.

Eines der Beispiele aus dem Abschnitt Incorrect Synchronization ist ein Beispiel für einen aktiven Wartezustand.

Schlimmer noch, es gibt keine Garantie, dass der Schreib getan wird je nach Haupt beobachtet werden, da es keine Synchronisationsereignisse zwischen den beiden Fäden sind. Die Schleife in main wird nicht garantiert beendet.

Tatsächlich wird dieser Code (play.golang.org/p/K8ndH7DUzq) nie beendet.

C/C++ Nicht-Standard-Speicher

Gos Speichermodell bietet keine Möglichkeit, Nicht-Standard-Speicher zu adressieren. Wenn Sie unformatierten Zugriff auf den E/A-Bus eines Geräts haben, müssen Sie Assembly oder C verwenden, um Werte sicher in die Speicherpositionen zu schreiben. Ich musste das immer nur in einem Gerätetreiber tun, was Go generell ausschließt.