即使有“time.Sleep”，为什么这个 goroutine 没有运行？

偷偷努力，悄无声息地变强，然后惊艳所有人！哈哈，小伙伴们又来学习啦~今天我将给大家介绍《即使有“time.Sleep”，为什么这个 goroutine 没有运行？》，这篇文章主要会讲到等等知识点，不知道大家对其都有多少了解，下面我们就一起来看一吧！当然，非常希望大家能多多评论，给出合理的建议，我们一起学习，一起进步！

获取这段代码：

func main() {
    var x int
    go func() {
        for {
            x++
        }
    }()
    time.sleep(time.second)
    fmt.println("x =", x)
}

为什么 x 最后等于 0 ？我知道 go 的调度程序需要 time.sleep() 调用来获取 goroutine，但为什么它不这样做呢？

提示：将 time.sleep() 或调用 runtime.gosched() 放入 for 循环中可以修复此代码。但为什么呢？

更新：检查相同代码的以下版本：

func main() {
    var x int
    go func() {
        for i := 0; i < 10000; i++ {
            x++
        }
    }()
    time.Sleep(time.Second)
    fmt.Println("x =", x)
}

奇怪的是，现在 goroutine 内的代码被执行了，x 不再是 0。编译器在这里做了任何优化吗？

解决方案

了解您在这里问什么很重要。 go 中没有承诺该程序会执行任何特定操作，因为该程序是无效的。但作为对优化器的探索，深入了解它目前的实现方式可能会很有趣。任何依赖此信息的程序都将非常脆弱且无效，但这仍然是一个好奇心。

我们可以编译程序，然后查看输出。我特别喜欢您提供的两个版本，因为它们让用户可以看到差异。我已经使用 hopper 完成了反编译（这些是使用 go1.14 darwin/amd64 编译的）。

在第二种情况下，goroutine 看起来就像你想象的那样：

void _main.main.func1(int arg0, int arg1, int arg2, int arg3, int arg4, int arg5, int arg6) {
    rax = arg6;
    for (rcx = 0x0; rcx < 0x2710; rcx = rcx + 0x1) {
            *rax = *rax + 0x1;
    }
    return;
}

这里没什么太令人惊讶的。但是您好奇的第一个案例怎么样：

_main.main.func1:
    goto _main.main.func1;

它变成了一个无用的东西。毫不夸张的说;这是程序集：

_main.main.func1:
000000000109d1b0         nop                                                    ; code xref=_main.main.func1+1
000000000109d1b1         jmp        _main.main.func1                            ; _main.main.func1

这是怎么发生的？好了，编译器可以看看这段代码：

go func() {
    for {
        x++
    }
}()

它知道没有任何东西会读取 x。没有任何东西可以读取 x，因为 x 周围没有锁定，并且这个 goroutine 永远不会终止。因此，在这个 goroutine 完成之后，没有任何东西可以读取 x 。请参阅 The Go Memory Model，详细了解某事发生在其他事情之前或之后发生的含义。

“但我确实读过x！”不，你不知道。这将是无效代码，编译器知道您没有编写无效代码。当竞争检测器告诉您这是无效的时，谁会这样做？因此，由于编译器可以清楚地看到没有任何内容读取 x，因此没有理由费心更新它。

在您的有限循环示例中，goroutine 终止，因此之后可能会读取 x 。编译器不够聪明，无法注意到没有进行过有效读取，因此它没有尽其所能地对此进行优化。也许未来的编译器会足够聪明，在这两种情况下都输出 0。也许未来的编译器会足够聪明，在第一种情况下完全删除你的无操作 goroutine。

但这里的关键点是无限循环的情况是完全正确的，尽管效率稍低。非无限循环的情况也是完全正确的，尽管效率要低得多。

这是一个一般的多处理问题，不是特定于 goroutine 或 go 的。

无法保证代码中语句的执行顺序。例如，以下序列是可能的（假设“g”是您的 goroutine，“m”是 main 中的代码）：

1. m：已定义 x
2. m: g 定义并调用
3. m：sleep 已调用
4. m：sleep 完成
5. m：println（x = 0）
6. g：x++
7. g：x++
8. ...（一定次数，甚至可能是 0 次）
9. 计划结束

观察一些交错尝试：

package main

import (
    "fmt"
    "time"
)

func main() {
    var x int

    go func() {
        for {
            time.Sleep(time.Second) 
            x++
        }
    }()
    time.Sleep(5*time.Second)
    fmt.Println("x =", x)
}

但是，仍然没有任何保证。要获得任何保证，请使用任何同步技术，例如频道。

好了，本文到此结束，带大家了解了《即使有“time.Sleep”，为什么这个 goroutine 没有运行？》，希望本文对你有所帮助！关注golang学习网公众号，给大家分享更多Golang知识！