ops 计数了,但是 state 里面依然无内容

注释案列中的

// time.Sleep(time.Second)

理论上主线程的逻辑走完就结束了
那么返回的结果
ops的值为0
state的值为[]
但是由于子线程和主线程实际上不存在先后顺序,所以ops的值会大于0(实际上也会大于0)
ops的值等于对state的赋值次数,那么在ops不为0的情况下,state也就不该为空
但是实际情况是注释掉后ops每次都是2000+,state每次都为空
既然都执行到了,为什么state一直为空呢?
代码如下

package main

import (
    "fmt"
    "math/rand"
    "runtime"
    "sync"
    "sync/atomic"
)

func main() {

    // 在我们的例子中,`state` 是一个 map。
    var state = make(map[int]int)

    // 这里的 `mutex` 将同步对 `state` 的访问。
    var mutex = &sync.Mutex{}

    // we'll see later, `ops` will count how many
    // operations we perform against the state.
    // 为了比较基于互斥锁的处理方式和我们后面将要看到的其他
    // 方式,`ops` 将记录我们对 state 的操作次数。
    var ops int64 = 0

    // 这里我们运行 100 个 Go 协程来重复读取 state。
    for r := 0; r < 100; r++ {
        go func() {
            total := 0
            for {

                // 每次循环读取,我们使用一个键来进行访问,
                // `Lock()` 这个 `mutex` 来确保对 `state` 的
                // 独占访问,读取选定的键的值,`Unlock()` 这个
                // mutex,并且 `ops` 值加 1。
                key := rand.Intn(5)
                mutex.Lock()
                total += state[key]
                mutex.Unlock()
                atomic.AddInt64(&ops, 1)

                // 为了确保这个 Go 协程不会在调度中饿死,我们
                // 在每次操作后明确的使用 `runtime.Gosched()`
                // 进行释放。这个释放一般是自动处理的,像例如
                // 每个通道操作后或者 `time.Sleep` 的阻塞调用后
                // 相似,但是在这个例子中我们需要手动的处理。
                runtime.Gosched()
            }
        }()
    }

    // 同样的,我们运行 10 个 Go 协程来模拟写入操作,使用
    // 和读取相同的模式。
    for w := 0; w < 10; w++ {
        go func() {
            for {
                key := rand.Intn(5)
                val := rand.Intn(100)
                mutex.Lock()
                state[key] = val
                mutex.Unlock()
                atomic.AddInt64(&ops, 1)
                runtime.Gosched()
            }
        }()
    }

    // 让这 10 个 Go 协程对 `state` 和 `mutex` 的操作
    // 运行 1 s。
    //time.Sleep(time.Second)

    // 获取并输出最终的操作计数。
    opsFinal := atomic.LoadInt64(&ops)
    fmt.Println("ops:", opsFinal)

    // 对 `state` 使用一个最终的锁,显示它是如何结束的。
    mutex.Lock()
    fmt.Println("state:", state)
    mutex.Unlock()
}

结果如下

ops: 2566
state: map[]
讨论数量: 1

按照我的理解, 第一段的 go func() 中只有对 state 的读取,但是也有加 ops 的数值。 第二段的 go func() 才有对 state 的写入。 所以不加sleep的时候,第二段的 go func() 还没有执行到就已经进行了 state 的读取,所以空值是正常情况。

2年前 评论

讨论应以学习和精进为目的。请勿发布不友善或者负能量的内容,与人为善,比聪明更重要!