打印到标准输出会导致阻塞的 goroutine 运行？

Question

作为一个愚蠢的基本线程练习，我一直在尝试在 golang 中实现 sleeping barber problem。有了频道，这应该很容易，但我遇到了一个 heisenbug。也就是说，当我尝试诊断它时，问题就消失了！

考虑以下问题。 main() 函数将整数（或“客户”）推送到 shop 通道。 barber() 读取shop 频道以剪掉“客户”的头发。如果我将fmt.Print 语句插入customer() 函数，程序将按预期运行。否则，barber() 绝不会剪别人的头发。

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)
    }
}

知道发生了什么吗？

Answer 1

在 main 的开头添加runtime.GOMAXPROCS(2) 可以解决这个问题吗？

Answer 2

问题在于 Go 的调度器的实现方式。当前的 goroutine 只有在进行系统调用或阻塞通道操作时才能让步给其他 goroutine。 fmt.Println 进行系统调用，让 goroutine 有机会让步。否则它没有。

在实践中这通常并不重要，但对于像这样的小问题，它有时会突然出现。

此外，在通道上进行非阻塞发送的一种更惯用、更简洁的方式是：

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

按照您的操作方式，客户最终可能会在理发店外等待，因为当您实际发送邮件时，len(shop) 可能已经改变。