互斥锁如何在多线程环境中锁定目标资源？

互斥锁目标：仔细检查

在多线程环境中，互斥体在协调对共享资源的访问方面发挥着至关重要的作用，确保数据完整性和防止竞争条件。然而，了解互斥体如何确定它锁定哪些变量可能是掌握并发性的关键一步。

考虑以下示例代码：

<code class="go">var state = make(map[int]int)
var mutex = &sync.Mutex{}
var readOps uint64
var writeOps uint64

// Start 100 goroutines to perform repeated reads on state
for r := 0; r < 100; r++ {
    go func() {
        total := 0
        for {
            key := rand.Intn(5)
            mutex.Lock()
            total += state[key]
            mutex.Unlock()
            atomic.AddUint64(&readOps, 1)

            time.Sleep(time.Millisecond)
        }
    }()
}</code>

尽管该代码很简单，但仍引发了以下问题：互斥锁如何知道要锁定哪些变量。传统上，互斥体与锁定特定变量相关联，但在本例中，互斥体与其保护的底层数据之间似乎存在脱节。

理解这种行为的关键在于认识到互斥体锁定访问资源，而不是变量。这意味着任何尝试访问受互斥锁保护的资源的 goroutine 都必须首先获取锁。

在示例代码中，互斥锁同步对状态映射的访问。由于 goroutine 正在读取和修改状态映射，因此它们必须在对其执行任何操作之前获取互斥体。互斥锁的获取确保在任何给定时间只有一个 Goroutine 可以访问状态映射，从而防止并发修改并保持数据完整性。

因此，虽然互斥锁不直接锁定特定变量，但它们提供了一种机制控制对资源的访问，包括地图或数据结构等共享变量。通过在访问共享资源之前获取互斥锁，程序员可以有效防止竞争条件并确保代码的一致性。

以上是互斥锁如何在多线程环境中锁定目标资源？的详细内容。更多信息请关注PHP中文网其他相关文章！