面试题：Go原子操作与内存模型的深度关联

Go语言原子操作与Go内存模型的关系

Go内存模型概述：Go内存模型定义了在Go程序中一个goroutine对变量的写入何时能被另一个goroutine观察到。它是基于happens - before关系的。如果事件e1 happens - before事件e2，那么e1的效果对e2可见。例如，在同一个goroutine中，前面的语句happens - before后面的语句；go语句启动新的goroutine之前的语句happens - before新goroutine中的语句。
原子操作遵循内存模型规则：原子操作在Go中是遵循内存模型规则的。原子操作通过底层硬件的原子指令实现，这些指令在不同处理器架构上提供了一定的内存同步语义。比如，原子读操作可以保证读取到的值是在之前某个时刻被写入的，并且不会读取到部分修改的值。原子写操作会在内存中建立一个新的值，并且保证其他处理器最终能观察到这个新值。在Go中，原子操作（如atomic.LoadInt64和atomic.StoreInt64）确保了在不同处理器架构下对共享变量的操作的正确性和可预测性。这些操作会在内存总线上产生相应的信号，以保证数据的一致性。

原子操作使用不当违反的内存模型规则及并发问题

违反的内存模型规则：如果原子操作使用不当，可能会违反“顺序一致性”规则。顺序一致性要求所有的内存操作看起来像是以某种全序方式发生的，并且每个操作都是原子的。例如，在一个多goroutine环境中，如果对一个共享变量的读写原子操作顺序混乱，就可能违反这一规则。
导致的并发问题：可能会导致数据竞争（data race）问题，即多个goroutine同时读写一个共享变量，并且至少有一个是写操作，且没有适当的同步机制。这会导致程序出现未定义行为，例如读取到错误的值、程序崩溃等。

举例及解决方案

举例：

package main

import (
    "fmt"
    "sync"
    "sync/atomic"
)

var counter int64

func increment(wg *sync.WaitGroup) {
    for i := 0; i < 1000; i++ {
        atomic.AddInt64(&counter, 1)
    }
    wg.Done()
}

func main() {
    var wg sync.WaitGroup
    for i := 0; i < 10; i++ {
        wg.Add(1)
        go increment(&wg)
    }
    wg.Wait()
    fmt.Println("Final counter value:", counter)
}

在这个例子中，如果使用不当，比如在读取counter值时不使用原子操作：

package main

import (
    "fmt"
    "sync"
    "sync/atomic"
)

var counter int64

func increment(wg *sync.WaitGroup) {
    for i := 0; i < 1000; i++ {
        atomic.AddInt64(&counter, 1)
    }
    wg.Done()
}

func main() {
    var wg sync.WaitGroup
    for i := 0; i < 10; i++ {
        wg.Add(1)
        go increment(&wg)
    }
    wg.Wait()
    // 错误：未使用原子操作读取counter
    value := counter
    fmt.Println("Final counter value:", value)
}

这可能会导致读取到的值不是预期的10000（10 * 1000），因为非原子读操作可能读取到一个未完全更新的值。

解决方案：在读取counter值时也使用原子操作：

package main

import (
    "fmt"
    "sync"
    "sync/atomic"
)

var counter int64

func increment(wg *sync.WaitGroup) {
    for i := 0; i < 1000; i++ {
        atomic.AddInt64(&counter, 1)
    }
    wg.Done()
}

func main() {
    var wg sync.WaitGroup
    for i := 0; i < 10; i++ {
        wg.Add(1)
        go increment(&wg)
    }
    wg.Wait()
    value := atomic.LoadInt64(&counter)
    fmt.Println("Final counter value:", value)
}

这样通过在读写counter时都使用原子操作，保证了遵循内存模型规则，避免了并发问题。

星途面试题库

面试题：Go原子操作与内存模型的深度关联

知识考点

面试题答案

Go语言原子操作与Go内存模型的关系

原子操作使用不当违反的内存模型规则及并发问题

举例及解决方案