一、什么是CAS
1.1 悲观锁与乐观锁
对于悲观锁,认为数据发生并发冲突的概率很大,读操作之前就上锁。synchronized关键字,ReentrantLock都是悲观锁的典型。
对于乐观锁,认为数据发生并发冲突的概率比较小,读操作之前不上锁。等到写操作的时候,再判断数据在此期间是否被其他线程修改了。如果被其他线程修改了,就把数据重新读出来,重复该过程;如果没有被修改,就写回去。判断数据是否被修改,同时写回新值,这两个操作要合成一个原子操作,也就是CAS ( Compare And Set )。
AtomicInteger的实现就是典型的乐观锁。
1.2 什么是CAS机制
CAS是英文单词Compare And Swap的缩写,翻译过来就是比较并替换。
CAS机制当中使用了3个基本操作数:内存地址V,旧的预期值A,要修改的新值B。
更新一个变量的时候,只有当变量的预期值A和内存地址V当中的实际值相同时,才会将内存地址V对应的值修改为B。
CAS是英文单词Compare And Swap的缩写,翻译过来就是比较并替换。
CAS机制当中使用了3个基本操作数:内存地址V,旧的预期值A,要修改的新值B。
更新一个变量的时候,只有当变量的预期值A和内存地址V当中的实际值相同时,才会将内存地址V对应的值修改为B。
1.3 Unsafe 的CAS详解
Unsafe类是整个Concurrent包的基础,里面所有方法都是native的。具体到compareAndSetInt方法,即:
要特别说明一下第二个参数,它是一个long型的整数,经常被称为xxxOffset,意思是某个成员变量在对应的类中的内存偏移量(该变量在内存中的位置),表示该成员变量本身。
第二个参数的值在AtomicInteger中的为属性VALUE:
而Unsafe的 objectFieldOffset(…) 方法调用,就是为了找到AtomicInteger类中value属性所在的内存偏移量。
二、CyclicBarrier和CountDownLatch区别
CountdownLatch阻塞主线程,等所有子线程完结了再继续下去。Syslicbarrier阻塞一组线程,直至某个状态之后再全部同时执行,并且所有线程都被释放后,还能通过reset来重用。
三、volatile关键字的作用
3.1 缓存问题
因为java的每个线程都会存在线程本地缓存,会先更新本地缓存再更新共享内存,这样有些共享的数据的同步就不会及时完成。这样在多线程访问的时候就会出现问题,这也叫重排序,因为写入延迟,导致读取提前的重排序。这个问题我们可以使用volatile解决。
3.2 volatile实现原理
由于不同的CPU架构的缓存体系不一样,重排序的策略不一样,所提供的内存屏障指令也就有差异。
这里只探讨为了实现volatile关键字的语义的一种参考做法:
- 在volatile写操作的前面插入一个StoreStore屏障。保证volatile写操作不会和之前的写操作重排序。
- 在volatile写操作的后面插入一个StoreLoad屏障。保证volatile写操作不会和之后的读操作重排序。
- 在volatile读操作的后面插入一个LoadLoad屏障+LoadStore屏障。保证volatile读操作不会和之后的读操作、写操作重排序。
具体到x86平台上,其实不会有LoadLoad、LoadStore和StoreStore重排序,只有StoreLoad一种重排序(内存屏障),也就是只需要在volatile写操作后面加上StoreLoad屏障。
3.3 三重功效
volatile的三重功效:64位写入的原子性、内存可见性和禁止重排序。
四、如何正确的使用wait()?使用if还是while?
首先当调用wait()方法后,当前线程会释放锁,让出CPU时间,然后当被唤醒的时候是从wait()方法之后执行的。如果使用if修饰,所有线程(线程数大于2)都会这里已经走出if代码块,如果此时queue中size等于1,那么就会抛出异常。而使用while修饰时,从wait下面继续执行,还会执行while的条件,进而保证queue中size大于1的情况下才能进行queue.remove()的操作。
while (queue.