Question

我写了以下程序：

package main

import (
    "fmt"
)

func processevents(list chan func()) {
    for {
        //a := <-list
        //a()
    }
}

func test() {
    fmt.Println("Ho!")
}

func main() {

    eventlist := make(chan func(), 100)

    go processevents(eventlist)

    for {
        eventlist <- test
        fmt.Println("Hey!")
    }
}

由于频道事件列表是一个缓冲频道，我想我应该得到输出“嘿！”的100倍，但它只显示一次。我的错误在哪里？

Answer 1

更新（转到版本1.2 +）

从Go 1.2开始，调度程序的工作原理是先发制人的多任务处理。这意味着原始问题（以及下面介绍的解决方案）中的问题不再相关。

来自Go 1.2 release notes

调度程序中的抢占

在之前的版本中，一个永远循环的goroutine可能会饿死其他goroutines   在同一个线程上，当GOMAXPROCS只提供一个用户线程时，这是一个严重的问题。   在Go＆gt; 1.2，部分解决：偶尔调用调度程序   进入一个功能。这意味着任何包含（非内联）函数的循环   call可以被抢占，允许其他goroutine在同一个线程上运行。

简短回答

它不会阻止写入。它停留在processevents的无限循环中。这个循环永远不会产生调度程序，导致所有goroutine无限期地锁定。

如果你注释掉processevents的电话，你会得到预期的结果，直到第100次写字。程序在此时会感到恐慌，因为没有人从频道中读取。

另一个解决方案是在循环中调用runtime.Gosched()。

答案很长

使用Go1.0.2，Go的调度程序基于Cooperative multitasking的原则工作。这意味着它通过让这些例程在某些条件下与调度程序交互，将CPU时间分配给在给定OS线程内运行的各种goroutine。当在goroutine中执行某些类型的代码时，会发生这些“交互”。在go的情况下，这涉及做某种I / O，系统调用或内存分配（在某些条件下）。

在空循环的情况下，不会遇到这样的情况。因此，只要该循环正在运行，就不允许调度程序运行其调度算法。这因此可以防止它将CPU时间分配给等待运行的其他goroutine，并且您观察到的结果随之发生：您有效地创建了一个无法被调度程序检测到或解除的死锁。

Go中通常不需要空循环，并且在大多数情况下会指示程序中的错误。如果由于某种原因确实需要它，则必须通过在每次迭代中调用runtime.Gosched()来手动屈服于调度程序。

for {
    runtime.Gosched()
}

将GOMAXPROCS设置为值> 1作为解决方案被提及。虽然这将解决您观察到的直接问题，但如果调度程序决定将循环goroutine移动到其自己的OS线程，它将有效地将问题移动到不同的OS线程。除非您在runtime.LockOSThread()函数的开头调用processevents，否则无法保证这一点。即便如此，我仍然不会依赖这种方法来成为一个好的解决方案。只需在循环中调用runtime.Gosched()，就可以解决所有问题，无论goroutine运行在哪个OS线程中。

Answer 2

这是另一种解决方案 - 使用range从频道中读取。此代码将正确地生成调度程序，并在通道关闭时正确终止。

func processevents(list chan func()) {
    for a := range list{
        a()
    }
}

Answer 3

好消息，自Go 1.2（2013年12月）以来，原始程序现在按预期工作。你可以try it on Playground。

Go 1.2 release notes，“调度程序中的抢占”部分对此进行了解释：

在之前的版本中，永远循环的goroutine可能会饿死在同一个线程上的其他goroutines，一个严重的问题时 GOMAXPROCS只提供了一个用户线程。在Go 1.2中，这是部分原因寻址：调度程序在进入a时偶尔会被调用功能

为什么这个Go代码会阻塞？

3 个答案:

更新（转到版本1.2 +）

简短回答

答案很长