go - 理解 Go 中的死锁

Question

我从编程类(class)中给出的示例中摘录了以下摘录，我不确定为什么会发生死锁。

package main

import (
    "fmt"
)

var (
    Count      int = 0
    nFunctions int = 2
)

var sema = make(chan int)

func increment(ch chan int, nSteps int) {
    for i := 0; i < nSteps; i++ {
        <- sema  
        cnt := Count
        Count = cnt + 1
        ch <- 1
        sema <- 1
    }
    return
}

func main() {
    ch := make(chan int)
    sema <- 1
    go increment(ch, 1000)
    go increment(ch, 1000)

    for i := 0; i < nFunctions*1000; i++ {
        <-ch
    }

    fmt.Printf("Count = %d\n", Count)
}

奇怪的是，当我从 sema <- 1 更改语句时，不会发生死锁。到

go func () {
sema <- 1
}()

对此的任何解释都非常感谢。错误信息是:
fatal error :所有 goroutine 都处于休眠状态 - 死锁!

goroutine 1 [chan 发送]:
main.main()

Answer 1

channel 阻塞发送者和接收者。如果您发送某些东西，您将被阻止，直到收到为止。您可以进一步减少代码，您只需要一个 channel ，然后写入该 channel 。请注意，您也可以使用 buffered channel ，它允许写入到缓冲区长度而不会阻塞。但是，如果缓冲区已满，它仍然会阻塞。