我可以使用锁来确保指令顺序吗？

Question

正如此链接https://golang.org/ref/mem 中所述，以下代码使用了不正确的同步：

var a, b int

func f() {
    a = 1
    b = 2
}

func g() {
    print(b)
    print(a)
}

func main() {
    go f()
    g()
}

因为它可能会打印 a = 0 和 b = 2。

但是，我想知道在下面的代码中是否可能出现这种结果，其中 a 和 b 被 Lock 保护：

var a, b int
var mu sync.Mutex

func f() {
    mu.Lock()
    a = 1
    b = 2
    mu.Unlock()
}

func g() {
    mu.Lock()
    print(b)
    print(a)
    mu.Unlock()
}

func main() {
    go f()
    g()
}

因为链接说：

For any sync.Mutex or sync.RWMutex variable l and n < m, call n of l.Unlock() happens before call m of l.Lock() returns.

但是不清楚a和b的赋值是否保证在Unlock语句之前执行

Answer 1

代码是安全的，因为它没有数据竞争。

虽然没有定义行为。没有关于goroutine调度的同步，所以可能是g()先锁了互斥锁，一旦释放，main()结束，你的应用可能会以它结束，f()可能没有完成（甚至可能没有启动)。该应用程序可能不打印任何内容，可能打印2，或者可能打印21。

也可能是f() 先锁定，取出分配，然后g() in main() 将打印分配的新值：21。

如果要先分配f()，可以使用sync.WaitGroup，例如：

var a, b int
var wg sync.WaitGroup

func f() {
    defer wg.Done()
    a = 1
    b = 2
}

func g() {
    print(b)
    print(a)
}

func main() {
    wg.Add(1)
    go f()
    wg.Wait()
    g()
}

这将始终打印21，请在Go Playground 上尝试。

还有一个复杂的例子来证明它也可以用sync.Mutex 解决。这不是它的设计用途，但这也有效：

在启动 goroutine 之前，将 mu 锁定在 main() 中。有g() 也锁定，这显然会首先阻塞。 f() 可以在其工作完成后解锁它，为 g() 开绿灯：

var a, b int
var mu sync.Mutex

func f() {
    a = 1
    b = 2
    mu.Unlock()
}

func g() {
    mu.Lock()
    print(b)
    print(a)
    mu.Unlock()
}

func main() {
    mu.Lock()
    go f()
    g()
}

在Go Playground 上试试这个。

Answer 2

保证一旦f执行mu.Unlock()，所有读取a和b的goroutine将看到a和b的更新值，前提是这些goroutine也访问a和@987654328 @ 使用相同的锁。如果有 goroutine 在没有锁的情况下读取 a 和 b，那么就会出现竞争。