加锁CAS的底层原理

加锁的底层利用的是CPU的一个原子指令,CompareAndSwap,也就是我们说的CAS。

如何加锁呢?

拿互斥锁为例,在一块内存中维护一个变量和线程信息,当变量为0的时候,代表当前无锁,当变量为1的时候,代表有锁,并将自己的线程信息写入,代表当前线程占用锁了。

每个想要拿到锁的线程都通过CPU的CompareAndSwap指令来获取锁,对应的指令为cas(addr,0,1),这条指令的意思是地址为adder的内存中存储的变量取值为0的时候,才将变量改为1,表示加锁成功。

1、首先来说,CPU的架构决定了一块独立的内存同时只能由一个CPU读取和写入,同时只有一个CPU才能拿到对应的总线权,读取和写入内存。

2、锁对应的变量每次都要从内存中读取,因为CPU为了匹配内存的低速率访问,在每个CPU内部都加入了对应的寄存器,对应的变量会被缓存中寄存器中,这样的话,当其他CPU修改了对应的值的时候,寄存器中并不会被更新,还是之前的老值,所以每次要从内存中取出最新的内存中的值。

if(x = 0)
  update x = 1,thread 信息

这种方式并不能解决锁的问题,因为 x = 0 和 update不是一个原子操作。

如果线程在x = 0执行完后,线程被挂起了,其他线程执行了update,拿到了锁,但是当线程苏醒后,会直接执行update,这就造成了锁的冲突,一个线程的锁被另一个线程给占领了。

CAS是硬件提供的一个原子操作,在执行期间会一直锁定总线,并且在执行期间不会被操作系统调度挂起,首先判断内存中的值是否等于期望,如果等于,就直接将锁对应的内存的值与新值对应的内存直接交换。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值