协程执行问题请教 - V2EX
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
The Go Programming Language
http://golang.org/
Go Playground
Go Projects
Revel Web Framework
davidyanxw
V2EX    Go 编程语言

协程执行问题请教

  •  
  •   davidyanxw 2020-04-21 19:35:44 +08:00 2869 次点击
    这是一个创建于 2012 天前的主题,其中的信息可能已经有所发展或是发生改变。
    package main

    import (
    "fmt"
    "time"
    )

    var x = 0

    func main() {
    var num = 123
    var p = &num
    c := make(chan int)
    go func() {
    c <- *p + x // 1. 返回 123
    // c <- *p // 2. 返回 789
    }()
    time.Sleep(time.Second)
    num = 789
    fmt.Println(<-c)

    }

    子协程,执行 1 返回 123,执行 2 返回 789
    没看出来有什么差别啊?
    16 条回复    2020-05-01 02:12:31 +08:00
    kaifang
        1
    kaifang  
       2020-04-21 19:53:05 +08:00
    有区别,
    1 进行了运算,取运算后的结果,你加了 1 秒的延时,很明显当时的 num 的值为 123,所以输出是 123,如果去掉延时,则为 789
    2 一直指向 num 的地址,从通道里读的时候读的是 789
    bwangel
        2
    bwangel  
       2020-04-21 20:56:20 +08:00
    time.Sleep 不能保证 goroutine 一定比 main 先执行,如果想要让 Goroutine 比 main 先执行的话,可以通过 waitGroup 来同步:

    https://gist.github.com/bwangelme/5e71895d40130521b71828cef72adc1f
    MoYi123
        3
    MoYi123  
       2020-04-21 21:21:21 +08:00   4
    c <- *p + x // 1. 返回 123 等于 tmp:= *p + x ; c<- tmp ,因为 chan 的 size 是 0 所以要等到主进程到 fmt.Println(<-c)时才会运行 c<- tmp
    blip
        4
    blip  
       2020-04-22 03:04:54 +08:00
    ”By default channels are unbuffered, meaning that they will only accept sends (chan <-) if there is a corresponding receive (<- chan) ready to receive the sent value“
    @MoYi123 正解
    useben
        5
    useben  
       2020-04-22 09:11:34 +08:00
    @MoYi123 正解, 1 2 楼答的不是这个问题
    davidyanxw
        6
    davidyanxw  
    OP
       2020-04-22 13:34:42 +08:00
    @blip
    按照这个说法的话,应该两个值都会返回 123 才对啊?
    为啥第 1 种返回 123,第 2 种返回 789
    davidyanxw
        7
    davidyanxw  
    OP
       2020-04-22 13:35:44 +08:00
    @kaifang 1 运算了,2 为啥不运算呢?
    kaifang
        8
    kaifang  
       2020-04-22 15:30:25 +08:00
    @davidyanxw #7 2,向通道发送的 num 的地址,此时通道是阻塞的,过一秒后 num 因为赋值 789 地址发生改变,然后从通道里读取 num 值是 789
    blip
        9
    blip  
       2020-04-23 00:11:51 +08:00
    @davidyanxw good ask, 我觉得我之前没有抓住对的点,我对 unbuffered channel 的解释其实并没有回答这个问题,这里的重点其实是
    1, *p+x 会 create 一个新的 int ( 123 )存放在另一个地址,这个地址存放的值没有改变过
    2,*p 会一直等于 num 的地址所存储的值,这个值在代码中被更改为 789
    所以才会造成两个 case 结果不同
    davidyanxw
        10
    davidyanxw  
    OP
       2020-04-24 11:59:32 +08:00
    @blip
    感谢

    ch <- expression

    expression 计算的时机是问题的关键。
    具体的细节,希望大牛们给详细说说
    guonaihong
        11
    guonaihong  
       2020-04-25 18:13:35 +08:00
    这个问题和抛硬币一样。
    c <-*p + x,既可能返回 123,也可能返回 789 。这和 thread 切换,先跑了哪个指令有关系(先跑了 num=789 还是后跑了),你可以把 sleep 时间修改小,证明这个现象。
    ```go
    package main

    import (
    "fmt"
    "time"
    )

    var x = 0

    func call() {
    var num = 123
    var p = &num
    c := make(chan int)
    go func() {
    c <- *p + x // 1. 返回 123
    // c <- *p // 2. 返回 789
    }()
    time.Sleep(time.Second / 1000)
    num = 789
    readValue := <-c
    if readValue == 789 {
    fmt.Printf("hello 789\n")
    }
    //fmt.Println(readValue)
    }

    func main() {
    for i := 0; i < 1000000; i++ {
    call()
    }
    }

    ```
    wsseo
        12
    wsseo  
       2020-04-26 16:52:17 +08:00
    @guonaihong 在 6c6t 的 cpu 上跑了一下,出现了一次 789 。
    davidyanxw
        13
    davidyanxw  
    OP
       2020-04-27 10:24:30 +08:00
    @guonaihong
    能详细解释下 1 这种情况既可能返回 123,也可能返回 789 吗?
    wsseo
        14
    wsseo  
       2020-04-28 14:09:09 +08:00
    @davidyanxw 主协程 sleep 1s,基本本可能输出 789 了。
    如果主协程 sleep 时间很短,那么 num = 789 可能会比*p + x 先执行
    guonaihong
        15
    guonaihong  
       2020-04-30 18:35:07 +08:00
    @wsseo @davidyanxw 这两天有点事就没有回答两位的问题。刚刚做了一些试验,发现了更有意思的地方。
    1.如果写 chan 的地方是算术表达式,go 会提前进行预处理(对 c<-*p+0),可能已经换成 c<-123,所有大概率返回 123
    2.如果是值,就换按正常逻辑往下走。time.Sleep 之后,两个 go 程开始了竞争,num=789 的执行速度,比唤醒生产者 chan+写数据快,所有大概率返回 789 。

    当然上面从数据中总结的规律特别依赖 go 的版本(go 1.13.1),大家也不要太在意。也许哪天人家(Go Core Team)就改了。就当乐一乐,原来 go 还有一些小动作。
    ```go
    package main

    import (
    "fmt"
    "time"
    )

    var x = 0

    func call() {
    var num = 123
    var p = &num
    c := make(chan int)
    go func() {
    //c <- *p + 0 //大概率返回 123
    c <- *p // 大概率返回 789
    }()
    time.Sleep(time.Second / 1000)
    num = 789
    readValue := <-c
    if readValue == 123 {
    fmt.Printf("hello %d\n", readValue)
    }
    }

    func main() {
    for i := 0; i < 1000000; i++ {
    call()
    }
    }

    ```
    CEBBCAT
        16
    CEBBCAT  
       2020-05-01 02:12:31 +08:00
    俺老孙直言,V2EX 这个防 spam 系统真的是人工智障

    [TIP - 如何在回复中贴代码]( /t/663565 )
    关于     帮助文档     自助推广系统     博客     API     FAQ     Solana     2490 人在线   最高记录 6679       Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 26ms UTC 15:05 PVG 23:05 LAX 08:05 JFK 11:05
    Do have faith in what you're doing.
    ubao msn 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