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