Go 语言编程 — 并发 — 同步原语与锁

目录

协程锁

协程锁主要用于保证在执行 goroutine 的时候不阻塞 M。

举例：任务 A 需要修改 Z，任务 B 也需要修改 Z。如果是串行系统，A 执行完了，再执行B，很简单。在并发系统中，因为 A，B 是并发执行的，所以就需要在操作 Z 的时候确保 A、B 保证串行化的机制。

CO_LOCK
{
    // 处理逻辑
}
CO_UNLOCK

1. A 要修改 Z，所以 A 加了协程锁。
2. 加锁之后，由于处理一些其他的逻辑，例如等待某些事件，又把 CPU 切到 M.g0 调度了（yield），并且此时没有放锁。
3. 这时 M 把 B 拿过来执行，yield to B。
4. B 也要修改 Z，但此时发现 A 已经对 Z 加锁了，于是 B 把自己挂到锁结构里面去。
5. 然后 B 直接切走，yield to M.g0。
6. 现在 A 的事件到达，M.g0 重新调度到 A 执行，yield to A。
7. A 从刚刚切走的地方开始执行，完成后放锁。注意，A 方锁时，就会把 B 从锁队列中摘除，重新加到 M 的调度队列中。
8. A 方锁后，M.g0 调度 B 执行。
9. B 从刚刚加锁的地方唤醒，然后对 Z 加锁。然后走锁内逻辑后，放锁。

以上就是协程锁的实现原理。保证 A、B 在修改 Z 的时候必须串行化。