继续浏览精彩内容
慕课网APP
程序员的梦工厂
打开
继续
感谢您的支持,我会继续努力的
赞赏金额会直接到老师账户
将二维码发送给自己后长按识别
微信支付
支付宝支付

【九月打卡】第15天 go的锁

慕九州9237533
关注TA
已关注
手记 43
粉丝 2
获赞 4

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


课程章节:6-1,6-2,6-3


课程讲师:Moody



课程内容:

※ atomic 原子操作,本质上是在底层的汇编实现里面加锁,加的是CPU级别的锁http://img4.sycdn.imooc.com/63273a790001d9c105130391.jpg

※ 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锁退化成一个专用休眠队列


http://img1.mukewang.com/632742d60001a79513780790.jpg

※ sync.Mutex

http://img.mukewang.com/632747340001cdb913940806.jpg

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

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

sync.Mutex锁的过程是:

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

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

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





打开App,阅读手记
0人推荐
发表评论
随时随地看视频慕课网APP