go 一个线程写, 另外一个线程读, 为什么不能保证最终一致性?

[xiadada]

package main

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

var lock sync.RWMutex
var i = 0

func main() {
    runtime.GOMAXPROCS(2)
    go func() {
        for {
            fmt.Println("i am here", i)
            time.Sleep(time.Second)
        }
    }()
    for {
        i += 1
    }
}

结果始终是 0, 考虑 cpu cache 一致性的话, 过一段时间就会看到变量发生了变化啊?

[reus]

for 循环当作 dead code 优化掉了

[ms2008]

@xiadada 能贴个 stackoverflow 的链接吗？