Warum führt der Code, der mit Sperren in Go gelegentlich zu Panik führt?

Schlösser und Panik in der gleichzeitigen Programmierung der Go -Sprache: Eine Fallanalyse

In diesem Artikel wird ein gemeinsames Problem mit der Langualisierungsprogrammierung von GO -Sprache erörtert: Auch wenn Mutex verwendet wird, kann der Code immer noch panic: send on closed channel . Lassen Sie uns den folgenden Code -Snippet analysieren:

 Paket Main

importieren (
    "Kontext"
    "fmt"
    "Synchronisation"
)

var lock sync.mutex

func main () {
    C: = make (chan int, 10)
    wg: = sync.waitgroup {}
    CTX, Cancel: = context.withcancel (context.todo ())

    wg.add (1)
    go func () {
        aufschieben wg.done ()
        lock.lock ()
        stornieren()
        schließen (c)
        lock.unlock ()
    } ())

    // ... (ein Teil des Absenders Code wird weggelassen) ...
}

In diesem Code ist eine Goroutine dafür verantwortlich, Kanal c zu schließen und lock zum Schutz des kritischen Abschnitts zu verwenden. Trotz des Schlossschutzes kann panic: send on closed channel möglicherweise noch erscheinen.

Der Grund ist das nicht deterministische Verhalten der Go Language select Aussage. In der Spezifikation der GO -Sprache heißt es, dass die GO -Laufzeit zufällig eine Ausführung auswählt, wenn in der select ausgeführt werden kann. Selbst wenn close(c) ausgeführt wurde, kann eine weitere select von Goroutine (Absendern) immer noch versuchen, Daten an c zu senden, was zu Panik führt.

Auch wenn lock sicherstellt, dass die close(c) und das Senden von Operationen nicht gleichzeitig erfolgen, ermöglicht es in der zufälligen Auswahlfunktion der select , Daten nach close(c) zu senden, insbesondere in Umgebungen mit hoher Parallelität.

Daher ist die Lösung nicht nur ein Schloss. Ein sichererer Ansatz ist:

• Überprüfen Sie, ob der Kanal geschlossen ist, bevor Sie Daten senden: Verwenden Sie if !isClosed := c == nil; isClosed , um den Kanalstatus zu überprüfen.
• Verwenden Sie einen gepufferten Kanal und steuern Sie die Puffergröße: Stellen Sie die Puffergröße vernünftig ein, um den Wettbewerb zu verringern.
• Clearer Concurrency Control: Neugestaltet die Codelogik, um zu vermeiden, dass das Senden und Empfangen von Operationen in select Anweisungen gleichzeitig verarbeitet wird. Verwenden Sie beispielsweise einen separaten Kanal, um die Ausführung der Goroutine zu koordinieren.

Kurz gesagt, bei der gleichzeitigen Programmierung, die sich ausschließlich auf Schlösser stützt, vermeidet nicht alle Paniksituationen vollständig. Es ist notwendig, die Eigenschaften des Parallelitätsmodells der GO -Sprache zu kombinieren und geeignete Strategien zur Kontrolle von Parallelität zu wählen, um robuste und zuverlässige Parallelitätsprogramme zu schreiben.

Das obige ist der detaillierte Inhalt vonWarum führt der Code, der mit Sperren in Go gelegentlich zu Panik führt?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!