AtomicInteger原理
自旋锁+CAS算法
CAS算法:有3个操作数(内存值V,旧的预期值A,要修改的值B)
- 当旧的预期值A==内存值此时修改成功,将V改为B
- 当旧的预期值A!=内存值此时修改失败,不做任何操作。并重新获取现在的最新值(这个重新获取的动作就是自旋)
cas算法的实质就是在修改共享数据的时候,把原来的旧值记录下来了。
如果现在内存中的值跟原来的旧值一样,证明没有其他线程操作过内存值,则修改成功。
如果现在内存中的值跟原来的旧值不一样了,**证明已经有其他线程操作过内存值了。**则修改失败,需要获取现在最新的值,再次进行操作,这个重新获取就是自旋。
乐观锁和悲观锁
我们从synchronized和cas的联系与区别入手分析
相同点:在多线程情况下,都可以保证共享数据的安全性。
不同点:
- synchronized总是从最坏的角度出发,认为每次获取数据的时候,别人都有可能修改。所以在每次操作共享数据之前,都会上锁。(悲观锁)
- cas是从乐观的角度出发,假设每次获取数据别人都不会修改,所以不会上锁。只不过在修改共享数据的时候,会检查一下,别人有没有修改过这个数据。如果别人修改过,那么我再次获取现在最新的值。如果别人没有修改过,那么我现在直接修改共享数据的值。(乐观锁)