为什么 go 例程会有这样的行为？-Golang-PHP中文网

为什么 go 例程会有这样的行为？

WBOY

发布： 2024-02-08 23:30:10

转载

821人浏览过

为什么 go 例程会有这样的行为？

php小编西瓜为您解答关于"go 例程行为的原因"的问题。go语言中的例程（goroutine）是一种轻量级的并发机制，可以实现并发执行的效果。然而，在某些情况下，go例程的行为可能会出现一些意料之外的结果。这主要是因为go例程的调度机制以及内存模型的特性所导致的。在深入理解go语言的例程行为之前，我们需要了解这些特性以及它们对程序行为的影响。

问题内容

我正在读一本叫做《Go in action》的书，我对书中的 goroutine 部分感到有点困惑，基本上我想了解有关以下代码的两件事：

package main

import (
    "fmt"
    "runtime"
    "sync"
    "time"
)

var counter int = 0
var wg sync.WaitGroup
var mtx sync.Mutex

func main() {
    wg.Add(2)

    runtime.GOMAXPROCS(1)

    go incCounter("A")
    go incCounter("B")

    wg.Wait()
    fmt.Println(counter)
}

func incCounter(prefix string) {
    fmt.Println("Started thread ", prefix)
    defer wg.Done()
    mtx.Lock()
    {
        fmt.Println("Incrementing counter from ", prefix)
        counter = counter + 1
        fmt.Println("Passing to another thread")
        runtime.Gosched()
        for i := 1; i < 100; i++ {
            time.Sleep(1 * time.Second)
            fmt.Println("Thread still executing ", prefix)
        }
    }
    mtx.Unlock()
}

登录后复制

输出为：

Started thread  B
Incrementing counter from  B
Passing to another thread
Started thread  A
Thread still executing  B
Thread still executing  B
Thread still executing  B
Thread still executing  B

登录后复制

为什么它先执行goroutine B？因为在代码中 goroutine A 首先出现，所以我希望它也先运行。
goroutine B 使用 .Gosched 方法让 goroutine A 开始执行，但由于互斥体被锁定，goroutine A 将等待解锁。此时我将GOMAXPROCS设置为只有一个逻辑处理器，为什么看起来两个goroutine是并行运行的呢？这真的应该发生吗？

正如我所言，将 gomaxprox 设置为 1 将允许一次只执行一个 Goroutine，但在这种情况下，似乎并不是这样，实际上两个 Goroutine 都在并行运行。