暂无图片
暂无图片
暂无图片
暂无图片
暂无图片

【Golang】图解channel之读、写、关闭

幼麟实验室 2020-11-30
1189

    select {
    case ch <- 12:
    ... foo
    default:
    ... bar
    }
    为什么这样写就不会阻塞了呢?因为上面的代码会被编译器转换为对runtime.selectnbsend的调用。
      //编译后
      if selectnbsend(ch, 12) {
      ... foo
      } else {
      ... bar
      }

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

        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对应的数据结构,以及读、写、关闭的基本逻辑,就简单介绍到这里~


            文章转载自幼麟实验室,如果涉嫌侵权,请发送邮件至:contact@modb.pro进行举报,并提供相关证据,一经查实,墨天轮将立刻删除相关内容。

            评论