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