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

Love The Way You Lie 2023-10-07 14:17 9阅读 0赞

## 目录 ##

#### 文章目录 ####

*  目录
 *  协程锁

## 协程锁 ##

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

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

CO_LOCK
    {
        
        // 处理逻辑
    }
    CO_UNLOCK

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L0ptaWxr_size_16_color_FFFFFF_t_70]

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 的时候必须串行化。

[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L0ptaWxr_size_16_color_FFFFFF_t_70]: https://img-blog.csdnimg.cn/2020071822051289.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L0ptaWxr,size_16,color_FFFFFF,t_70