一段 Go 代码输出疑惑 - V2EX
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
The Go Programming Language
http://golang.org/
Go Playground
Go Projects
Revel Web Framework
CarrieBauch
V2EX    Go 编程语言

一段 Go 代码输出疑惑

 
  •   CarrieBauch 2023-06-24 18:55:10 +08:00 2864 次点击
    这是一个创建于 839 天前的主题,其中的信息可能已经有所发展或是发生改变。

    下面的代码中,为什么会输出 5,6,7,8,9 啊?难道不是应该输出 6,7,8,9 吗?

    package main import "log" func NewRingBuffer(inCh, outCh chan int) *ringBuffer { return &ringBuffer{ inCh: inCh, outCh: outCh, } } type ringBuffer struct { inCh chan int outCh chan int } func (r *ringBuffer) Run() { for v := range r.inCh { select { case r.outCh <- v: default: <-r.outCh // pop one item from outchan r.outCh <- v } } close(r.outCh) } func main() { inCh := make(chan int) outCh := make(chan int, 4) rb := NewRingBuffer(inCh, outCh) go rb.Run() for i := 0; i < 10; i++ { inCh <- i } close(inCh) for res := range outCh { fmt.Println(res) } } 
    13 条回复    2023-06-26 11:05:08 +08:00
    iBugOne
        1
    iBugOne  
       2023-06-24 19:18:25 +08:00
    竞争问题,你在 close(inCh) 之后加上 time.Sleep(5*time.Millisecond) 就好了
    iyear
        2
    iyear  
       2023-06-24 19:20:02 +08:00   2
    并非稳定 5,6,7,8,9 的,我跑了一下也有 6,7,8,9 出现。在 close(inCh) 下方 sleep 就稳定复现 6,7,8,9 了。


    for i := 0; i < 10; i++ {
    inCh <- i
    }
    这段代码结束时存在一种可能,Run 协程在 for v := range r.inCh 接收了 9 ,然后切换到 main 开始遍历 outCh(此时 9 并未开始入队),会把里面的 5 读出来,这时就会产生 5,6,7,8,9 。如果 sleep ,就会切到 Run 协程,则 5 就会被 9 顶掉,就 6,7,8,9 了。
    flyqie
        3
    flyqie  
       2023-06-24 19:24:37 +08:00 via Android
    善用-race 参数能帮助你解决很多奇怪的问题。
    eastphoton
        4
    eastphoton  
       2023-06-24 21:01:56 +08:00   1
    试了一下-race 参数检测不出这个问题,但是确实属于 race condition
    CarrieBauch
        5
    CarrieBauch  
    OP
       2023-06-24 21:15:58 +08:00
    @iyear 有道理,多谢解答。race condition 真是防不胜防
    flyqie
        6
    flyqie  
       2023-06-24 21:42:22 +08:00
    @eastphoton #3

    多谢指点,手机端发帖看到 race condition 就下意识发了。

    看来-race 参数也不能太过信任。
    vitoliu
        7
    vitoliu  
       2023-06-24 22:20:32 +08:00
    最好是通过 context 关闭 channel ,不要直接 close
    yianing
        8
    yianing  
       2023-06-24 23:54:35 +08:00
    @eastphoton channel 本来就是协程之间传递数据用的,哪里来的 race ?
    wuzhewuyou
        9
    wuzhewuyou  
       2023-06-25 09:21:24 +08:00   1
    有点意思,for i := 0; i < 10; i++

    这里的 10 换成偶数基本能输出 5 个,换成奇数一般是 4 个
    eastphoton
        10
    eastphoton  
       2023-06-25 11:06:13 +08:00   1
    @yianing 没有 data race 但是有 race condition ,这是两个相似但不同的概念。
    channel 确实本身是同步原语,单从并发使用 channel 这一行为本身没有问题,所以不应该看作 data race 也确实没有被 race detector 报告,
    但是仍然属于 race condition ,因为计算结果不确定而受协程调度顺序影响,不同的事件时序下会产生不同的结果(并不一定有害,也可能是良性的,看是否符合开发者意图)
    gogogo1203
        11
    gogogo1203  
       2023-06-25 12:15:00 +08:00
    只是 goroutines 的执行顺序不是固定的, 我记得以前碰过类似的问题.
    leonshaw
        12
    leonshaw  
       2023-06-25 18:20:11 +08:00
    内层没有 select default ,搞不好 main 先读空了就会死锁
    CarrieBauch
        13
    CarrieBauch  
    OP
       2023-06-26 11:05:08 +08:00
    @eastphoton @iyear

    感谢两位大佬的回复。

    再次打扰一下。针对这类型的问题,有没有什么书籍或者文章系统性的介绍吗?想去查漏补缺一下,补齐知识的盲点
    关于     帮助文档     自助推广系统     博客     API     FAQ     Solana     879 人在线   最高记录 6679       Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 26ms UTC 20:44 PVG 04:44 LAX 13:44 JFK 16:44
    Do have faith in what you're doing.
    ubao snddm index pchome yahoo rakuten mypaper meadowduck bidyahoo youbao zxmzxm asda bnvcg cvbfg dfscv mmhjk xxddc yybgb zznbn ccubao uaitu acv GXCV ET GDG YH FG BCVB FJFH CBRE CBC GDG ET54 WRWR RWER WREW WRWER RWER SDG EW SF DSFSF fbbs ubao fhd dfg ewr dg df ewwr ewwr et ruyut utut dfg fgd gdfgt etg dfgt dfgd ert4 gd fgg wr 235 wer3 we vsdf sdf gdf ert xcv sdf rwer hfd dfg cvb rwf afb dfh jgh bmn lgh rty gfds cxv xcv xcs vdas fdf fgd cv sdf tert sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf shasha9178 shasha9178 shasha9178 shasha9178 shasha9178 liflif2 liflif2 liflif2 liflif2 liflif2 liblib3 liblib3 liblib3 liblib3 liblib3 zhazha444 zhazha444 zhazha444 zhazha444 zhazha444 dende5 dende denden denden2 denden21 fenfen9 fenf619 fen619 fenfe9 fe619 sdf sdf sdf sdf sdf zhazh90 zhazh0 zhaa50 zha90 zh590 zho zhoz zhozh zhozho zhozho2 lislis lls95 lili95 lils5 liss9 sdf0ty987 sdft876 sdft9876 sdf09876 sd0t9876 sdf0ty98 sdf0976 sdf0ty986 sdf0ty96 sdf0t76 sdf0876 df0ty98 sf0t876 sd0ty76 sdy76 sdf76 sdf0t76 sdf0ty9 sdf0ty98 sdf0ty987 sdf0ty98 sdf6676 sdf876 sd876 sd876 sdf6 sdf6 sdf9876 sdf0t sdf06 sdf0ty9776 sdf0ty9776 sdf0ty76 sdf8876 sdf0t sd6 sdf06 s688876 sd688 sdf86