不锁定资源,也能同步线程!
用到的技术就是CAS!
假如一个女神有一块牌子,0代表可以进行约会,1代表已经在进行约会,
有舔狗一号,舔狗二号,舔狗一号率先冲到女神这,并且把牌子改为1,
舔狗二号只能等等咯,就来回踱步进行自旋,不断通过CAS看看女神是否可以进行约会,
达到一定的时间,耐心耗尽就会离开。
但是这样也会有一些问题,如果有多个线程同时看到牌子为0,同时都更改为1,这样就尴尬了
所以CAS必须保证原子性!
但是如何保证原子性呢?难不成使用synchronized?那不是还是用到了锁嘛!
实际上CPU指令集提供了对CAS的支持,保证上层调用时是原子性的!
悲观锁(互斥锁 即synchronized) ,上篇文章都是在将悲观锁。
乐观锁,乐观锁并没有用到锁,它是一种无锁的同步机制。
现在提出一个需求,三个线程将数字累加到1000
加上synchronized(main.class)互斥锁可以保证同步
但是不加锁如何保证线程的同步呢?
使用AutomaticInteger类,其底层就是用的CAS机制,
里面有一个循环,默认是10次,进行十次CAS还没有等到就不再进行自旋。
自旋的次数其实可以通过启动参数来配置
CAS是英文单词CompareAndSwap的缩写,中文意思是:比较并替换。CAS需要有3个操作数:内存地址V,旧的预期值A,即将要更新的目标值B。
CAS指令执行时,当且仅当内存地址V的值与预期值A相等时,将内存地址V的值修改为B,否则就什么都不做。整个比较并替换的操作是一个原子操作。
如果在这段期间它的值曾经被改成了B,后来又被改回为A,那CAS操作就会误认为它从来没有被改变过。这个漏洞称为CAS操作的“ABA”问题。Java并发包为了解决这个问题,提供了一个带有标记的原子引用类“AtomicStampedReference”,它可以通过控制变量值的版本来保证CAS的正确性。
因此,在使用CAS前要考虑清楚“ABA”问题是否会影响程序并发的正确性,如果需要解决ABA问题,改用传统的互斥同步可能会比原子类更高效。