卓越飞翔博客卓越飞翔博客

卓越飞翔 - 您值得收藏的技术分享站
技术文章34942本站已运行393

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

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

在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,然后它们会来回通信,这不是这样吗?

解决方法

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

卓越飞翔博客
上一篇: 如何忽略打印达到最大深度限制 go colly
下一篇: 返回列表
留言与评论(共有 0 条评论)
   
验证码:
隐藏边栏