Drucken auf stdout bewirkt, dass blockierte Goroutine ausgeführt wird?

Question

Als eine alberne grundlegende Threading Übung habe ich versucht, die sleeping barber problem in Golang zu implementieren. Mit Channels sollte das ganz einfach sein, aber ich bin auf einen Heisenbug gestoßen. Das heißt, wenn ich versuche, es zu diagnostizieren, verschwindet das Problem!

Betrachten Sie Folgendes. Die main() Funktion drückt Ganzzahlen (oder "Kunden") auf den Kanal shop. barber() liest den shop Kanal, um "Kunden" Haare zu schneiden. Wenn ich eine fmt.Print-Anweisung in die customer()-Funktion einfügen, wird das Programm wie erwartet ausgeführt. Ansonsten schneidet barber() niemals jemandes Haar.

package main 

import "fmt" 

func customer(id int, shop chan<- int) { 
    // Enter shop if seats available, otherwise leave 
    // fmt.Println("Uncomment this line and the program works") 
    if len(shop) < cap(shop) { 
     shop <- id 
    } 
} 

func barber(shop <-chan int) { 
    // Cut hair of anyone who enters the shop 
    for { 
     fmt.Println("Barber cuts hair of customer", <-shop) 
    } 
} 

func main() { 
    shop := make(chan int, 5) // five seats available 
    go barber(shop) 
    for i := 0; ; i++ { 
     customer(i, shop) 
    } 
} 

Eine Idee, was ist los?

Answer 1

Das Problem ist die Art, wie Go's Scheduler implementiert ist. Die aktuelle goroutine kann nur dann zu anderen goroutines führen, wenn sie einen Systemaufruf oder eine blockierende Kanaloperation ausführt. fmt.Println macht einen Systemaufruf, der der Goroutine die Möglichkeit gibt, nachzugeben. Sonst hat es keinen.

In der Praxis ist das oft nicht wichtig, aber für kleine Probleme wie dieses kann es manchmal vorkommen.

Auch ein idiomatisch, weniger rassig Weg, um eine zu tun auf einem Kanal senden non-blocking ist:

func customer(id int, shop chan<- int) { 
    // Enter shop if seats available, otherwise leave 
    select { 
    case shop <- id: 
    default: 
    } 
} 

Die Art und Weisen Sie es tun, ein Kunde warten außerhalb des Barbiers könnte am Ende Shop, da bis zu dem Zeitpunkt, an dem Sie tatsächlich den Versand vornehmen, sich len(shop) geändert haben kann.

Answer 2

Fügt das Hinzufügen von runtime.GOMAXPROCS(2) am Anfang von Haupt dies?