为什么在这种情况下主协程会被阻塞从而导致死锁？

在PHP中，主协程被阻塞导致死锁的情况是比较常见的。主协程在执行过程中，如果遇到阻塞的操作，比如网络请求、IO操作或者等待其他协程结果等，如果没有合适的处理方式，就有可能导致死锁的发生。在这种情况下，主协程无法继续执行，而其他协程也无法得到执行的机会，整个程序陷入了僵局。那么为什么在这种情况下主协程会被阻塞从而导致死锁呢？下面我们来进行解答。

问题内容

package main

import "fmt"

func square(numbers chan int, squares chan int) {
    for n := range numbers {
        squares <- n * n
    }
    close(squares)
}

func main() {
    numbers := make(chan int)
    squares := make(chan int)

    go square(numbers, squares)

    for i := 0; i < 10; i++ {
        numbers <- i
    }
    close(numbers)

    for s := range squares {
        fmt.Println(s)
    }
}

我的意思是，我知道要使此代码正常工作，应该将数字发送到单独的 goroutine 中的 numbers 通道，例如：

go func() {
for i := 0; i < 10; i++ {
    numbers <- i
}

}

话虽如此，我发现很难解释为什么会出现僵局。我很清楚调度程序不能保证执行顺序。但是，在循环中第一次发送到 numbers 通道时，主 goroutine 被阻塞，但随后调度程序可能会开始执行 square 通道时，主 goroutine 被阻塞，但随后调度程序可能会开始执行 square goroutine，然后它们会来回通信，这不是这样吗？

解决方法

主 goroutine 被阻塞的原因是，在这种情况下，将数据发送到 squares 通道后，您没有从 squares 通道读取任何值。

当你执行 numbers <- i 时，你的 go square goroutine 将接收该值并将其发送到 squares 通道。但是，与此同时，您的主 Goroutine 不会从 sqaures 通道接收值，因为您的主 Goroutine 仍然将数据发送到 Numbers 通道。

这意味着你的主协程永远不会执行这一行 for s := range squares ，然后它会导致死锁。

为了正确运行此代码，您可以将其修改为如下所示。

package main

import "fmt"

func square(numbers chan int, squares chan int) {
    for n := range numbers {
        squares <- n * n
    }
    close(squares)

}

func main() {
    numbers := make(chan int)
    squares := make(chan int)

    go square(numbers, squares)

    go func() {
        for i := 0; i < 10; i++ {
            numbers <- i
        }
        close(numbers)
    }()

    for s := range squares {
        fmt.Println(s)
    }
}

以上是为什么在这种情况下主协程会被阻塞从而导致死锁？的详细内容。更多信息请关注PHP中文网其他相关文章！