为了账号安全,请及时绑定邮箱和手机立即绑定

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

标签:
Go

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


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


课程讲师:Moody



课程内容:

※ atomic 原子操作,本质上是在底层的汇编实现里面加锁,加的是CPU级别的锁https://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锁退化成一个专用休眠队列


https://img1.sycdn.imooc.com//632742d60001a79513780790.jpg

※ sync.Mutex

https://img1.sycdn.imooc.com//632747340001cdb913940806.jpg

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

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

sync.Mutex锁的过程是:

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

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

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





点击查看更多内容
TA 点赞

若觉得本文不错,就分享一下吧!

评论

作者其他优质文章

正在加载中
PHP开发工程师
手记
粉丝
2
获赞与收藏
4

关注作者,订阅最新文章

阅读免费教程

  • 推荐
  • 评论
  • 收藏
  • 共同学习,写下你的评论
感谢您的支持,我会继续努力的~
扫码打赏,你说多少就多少
赞赏金额会直接到老师账户
支付方式
打开微信扫一扫,即可进行扫码打赏哦
今天注册有机会得

100积分直接送

付费专栏免费学

大额优惠券免费领

立即参与 放弃机会
意见反馈 帮助中心 APP下载
官方微信

举报

0/150
提交
取消