我是新手，所以请保持温柔。

因此，我已经在某些代码中使用互斥锁了几周了。我了解其背后的概念：锁定对特定资源的访问权限，与之交互（读或写），然后为其他人再次解锁。

我使用的互斥锁代码主要是复制粘贴调整。该代码可以运行，但是我仍在努力解决其内部问题。到目前为止，我一直在结构中使用互斥锁来锁定该结构。今天，我发现了这个例子，这使我完全不清楚互斥锁实际上是在锁定什么。以下是一段示例代码：

var state = make(map[int]int)

var mutex = &sync.Mutex{}

var readOps uint64
var writeOps uint64

// Here we start 100 goroutines to execute repeated reads against the state, once per millisecond in each goroutine.
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)
        }
    }()
}

让我感到困惑的是，互斥锁和它应该锁定的值之间似乎没有任何联系。直到今天，我还认为互斥锁可以锁定特定的变量，但是看这段代码，似乎可以以某种方式将整个程序锁定为仅执行锁定下方的行，直到再次运行解锁为止。我想这意味着所有其他goroutine都会暂停片刻，直到再次运行解锁。由于代码已编译，因此我想它可以知道在lock()和之间访问了哪些变量unlock()，但是我不确定是否是这种情况。

如果所有其他程序都暂停片刻，这听起来并不像真正的多处理程序，所以我想我对所发生的事情没有很好的了解。

有人可以帮助我了解计算机如何知道应锁定哪些变量吗？