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