课程章节：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说明有协程在等待这把锁，就去唤醒一个协程
共同学习，写下你的评论
评论加载中...
作者其他优质文章
