课程名称：深入Go底层原理，重写Redis中间件实战

课程章节：6-1，6-2,6-3

课程讲师：Moody

课程内容：

※ atomic 原子操作，本质上是在底层的汇编实现里面加锁，加的是CPU级别的锁

※ sema锁：信号量锁

sema锁底层是一个semaRoot结构体

type semaRoot struct {

lock  mutex

        // sudog  sema锁结构体会自带一个平衡二叉树用来存储等待这个锁的协程队列

treap *sudog // root of balanced tree of unique waiters.

nwait uint32 // Number of waiters. Read w/o the lock.

}

当unit32大于0的时候：

获取锁：获取锁的时候是unit32 直接减一,原子操作  cas，如果减一成功就算拿到了锁

释放锁: 释放的时候是 unit32 再原有的基础上+1，增加成功便是释放了锁

当unit32==0的时候：

获取锁：发现unit32是0，调用gopark休眠当前的协程，进入等待堆树

释放锁：从堆树种获取一个协程，唤醒

此时的sema锁退化成一个专用休眠队列

※ sync.Mutex

sync.Mutex本身也是由sema锁实现，多了一个state。state是一个4字节的数字，四个位置分别表示。Locked：是否上锁。Woken：表示被从正常模式唤醒. Starving  是否是饥饿模式。 WaiterShift 表示 当前等待该锁的协程个数。

sync.Mutex锁的Locked字段和sema锁不太一样，他初始值是0，获取锁是+1。

sync.Mutex锁的过程是：

• 判断当前的协程是否能获取锁，如果不能获取锁，就开始自旋等待，自旋次数过多依旧没有获得锁，就会进入等待队列

• 自旋就是个for无限循环，不停的查找互斥锁的状态，如果锁被释放，就去抢占这把锁

• 当一个协程释放了这把锁，就会查找WaiterShift是否有等待队列，如果大于0说明有协程在等待这把锁，就去唤醒一个协程