关于锁的两点

1、拿锁需要原子操作,因为多线程情况下有可能不同cpu同时想要拿到同一把锁,这种情况的就需要原子操作,riscv里使用amoswap指令来完成

这里是说如果按照这种流程走,会有线程同时看到locked等于0,然后加锁。这之间的切换会导致冲突,所以我们要在硬件层面约束,来做这种对锁的"test - set",

对应到c库里面就是这种

对应到汇编层面也可以看到如果没有加锁成功就一直循环。

2、然后是指令的顺序问题,指令不一定是按照c代码逻辑走,所以避免因为指令重排的错误情况,对应c库使用的是_sync_synchronize();这个函数保证c代码层面上前后的load和store顺序不会被颠倒,好像是对应了riscv中的fence指令

顺带一点视频里说拿到锁就关闭中断,解放锁就起开,说是中断处理程序也可能要拿和当前被中断进程一样的锁,如果这也的话中断就拿不到锁就会panic了。

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 1
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值