Warum führt die Verwendung ungepufferter Kanäle in Go zu einem Deadlock?

Deadlock im Parallelitätsmodell von Go: Verwendung ungepufferter Kanäle

Im Go-Parallelitätsmodell sind Kanäle ein grundlegender Mechanismus für die Kommunikation zwischen Goroutinen . Das Verhalten von Kanälen kann jedoch je nach Puffergröße variieren. Hier befassen wir uns mit einem Deadlock-Szenario, das bei der Verwendung ungepufferter Kanäle auftritt.

Das Problem

Bedenken Sie den folgenden Go-Codeausschnitt:

package main

import "fmt"

func main() {
    c := make(chan int)    
    c <p>Bei der Ausführung führt dieser Code zu a Deadlock:</p><pre class="brush:php;toolbar:false">fatal error: all goroutines are asleep - deadlock!

goroutine 1 [chan send]:
main.main()
    /path/to/file:8 +0x52
exit status 2

Erklärung

Der Deadlock tritt aufgrund der Verwendung eines ungepufferten Kanals auf. Ein ungepufferter Kanal erfordert, wie in der Dokumentation angegeben, die Anwesenheit eines Empfängers, bevor ein Wert gesendet werden kann. In diesem Fall wird der Kanal standardmäßig als ungepuffert initialisiert (mit einer Puffergröße von 0).

Wenn die Zeile c

Gleichzeitig versucht die fmt.Println(

Dies führt zu einem Deadlock, da beide Goroutinen darauf warten, dass die andere eine Operation abschließt kann ohne den anderen funktionieren.

Lösung

Um den Deadlock zu lösen, muss man einen Empfänger für den Kanal einführen. Durch die Erstellung einer separaten Goroutine für den Empfang des gesendeten Werts kann der Deadlock beseitigt werden. Der untenstehende modifizierte Code demonstriert diese Lösung:

package main

import "fmt"

func main() {
    c := make(chan int)    
    go func() {
        fmt.Println("received:", 

Das obige ist der detaillierte Inhalt vonWarum führt die Verwendung ungepufferter Kanäle in Go zu einem Deadlock?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!