协程写入无缓冲 channel 为什么不会出现死锁

func main() {

    ch := make(chan int)

    go func() {
        ch <- 1
        ch <- 2
    }()

    time.Sleep(time.Second)
}
yourself
讨论数量: 5

应该是 goroutine 死锁了,但 main 退出了,所以 goroutine 也退出了,
如果写在 main 中就死锁了,

    ch := make(chan int)
    go func() {
        ch <- 1
        ch <- 2
    }()
    ch <- 2
    time.Sleep(time.Second)

或者你在 goroutine 中 println,打印不出,说明其内部也是死锁的

   ch := make(chan int)
    go func() {
        ch <- 1
        ch <- 2
        println("11111")
    }()
    time.Sleep(time.Second)
6年前 评论

上面代码 goroutine 内部阻塞了,但是主 goroutine 没有阻塞所以没死锁。所有用户级 goroutine 阻塞才会死锁。
阻塞是死锁的必要条件,但不充分。

6年前 评论
yourself

@wish 查了一下资料基本是这个意思,因为 channel 只有一端,所以没有正确执行,main 退出后 goroutines 也退出了,所以没有显示出 deadlock

func main() {
    ch := make(chan int)
    go func() {
        ch <- 1
        ch <- 2
    }()
    ch <- 2
    time.Sleep(time.Second)
}
// fatal error: all goroutines are asleep - deadlock!
6年前 评论

@yourself 是的,死锁,是指在程序的主线程中发生的情况,如果情况发生在非主线程中,读取或者写入的情况是发生堵塞的,而不是死锁。实际上,阻塞情况省去了我们加锁的步骤,反而是更加有利于代码编写,要合理的利用阻塞。
参见:https://blog.csdn.net/qq_30505673/article/...

6年前 评论
yourself

@wish 感谢分享

6年前 评论