GoLang之图解channel之读、写、关闭

GoLang之图解channel之读、写、关闭

为什么这样写就不会阻塞了呢？因为下面的代码会被编译器转换为对runtime.selectnbsend的调用。

select {
case ch <- 12:
    ... foo
default:
    ... bar
}

runtime.selectnbsend也仅仅是调用了runtime.chansend，但是会标记上非阻塞。

//编译后
if selectnbsend(ch, 12) {
    ... foo
} else {
    ... bar
}

func selectnbsend(c *hchan, elem unsafe.Pointer) (selected bool) {
   return chansend(c, elem, false, getcallerpc())
}

func chansend(c *hchan, ep unsafe.Pointer, block bool, callerpc uintptr) bool

所以，如果缓冲区指望不上，又没有谁在等着recv，又或者channel为nil…
总而言之，send任务不能马上执行，需要等待。那么selectnbsend函数就会返回false，对应的协程也就不会进到sendq里等待了。

非阻塞式的读操作，会被编译器转换为对runtime.selectnbrecv或selectnbrecv2的调用，而它们也仅仅是调用了runtime.chanrecv，只不过在需要等待时会返回false。

select {
case v = <-c:
    ... foo
default:
    ... bar
}

// 被编译器转化为
if selectnbrecv(&v, c) {
    ... foo
} else {
    ... bar
}

//comma ok写法
select {
case v, ok = <-c:
    ... foo
default:
    ... bar
}

// 被编译器转化为
if c != nil && selectnbrecv2(&v, &ok, c) {
    ... foo
} else {
    ... bar
}

若channel关闭，
hchan.closed=1；
等待recv的协程接收到零值；
协程离开channel的recvq回到run queue中。

channel关闭后，
缓冲区里的数据还可以读，直到读完。
但是不能再写，否则会panic。

这些等待send的G都会离开sendq，
恢复到_Grunnable状态，
回到协程run queue中，
协程恢复执行时会发生panic。

缓冲区里的数据还可以读，直到读完。
sendq里等待的协程，
处理逻辑同无缓冲的场景一样~

channel对应的数据结构，以及读、写、关闭的基本逻辑，就简单介绍到这里~