JAVA常用面试题简单整理（持续完善）

1 CAS

比较并交换，在硬件CPU层面的指令是lock cmpxchg,lock的含义是通过锁住内存总线或者通过CPU的缓存一致性机制锁住CPU缓存。cmpxchg涉及三个参数：内存中已有的数、要比较的数和要更新的目标数， 含义是内存中已有的值和和要比较的值进行比较，如果相等则将内存值更新为要更新的目标数，并返回更新后的值，否则不更新内存值，直接返回内存值。通过lock操作给总线或者缓存加锁在硬件层面保证了这个指令在多核并发情况下的原子性。  一句话总结下：这个指令在硬件层面实现了对内存字“读改写”操作的原子性，也就是硬件层面的内存字加锁排他操作。 正是这类硬件指令的存在，才有了java虚拟机和SDK层面的原子类、Lock、monitor等的加锁正确性的保证。道家讲：道生一一生二，这个lock cmpxchg就是道，一切上层锁的基石，最原始加锁。

cas缺点1：ABA问题：cas的原始目的是保证要修改的数据没有被其他线程改变，然后才更新要修改的数据，判断数据改变的方式是比较数值，如果一个值被另外一个线程改成了B又改回了A，这时本线程会误认为数据没有被修改过，导致数据同步错误，为了避免这个问题可以使用给数据加版本号的方式解决，比如1A 2B 3A ，1A！=3A 所以就不会出现同步错误。

2 JAVA的锁本质分类： 使进程阻塞的锁和自旋锁（本质是获取不到锁的时候线程阻塞和不阻塞）

阻塞锁就是：如果获取不到锁就把线程挂起睡眠，直到其他线程释放锁的时候唤醒线程重新参与锁竞争（加锁依赖单次CAS操作保证原子性）。

自旋锁就是：先通过CAS操作来获取锁，如果获取不到锁就不停的循环尝试获取锁，不挂起线程。

3 JAVA原子变量相关的类

原子类要解决的问题：举个简单的例子 int a++  在单线程环境下是没有问题的，但是在多线程环境下，这个a++实际是个“读改写”操作，至少涉及三步，如果一个线程不是“读改写”一次性排他的完成，就会造成逻辑上的错误，即同步错误。所以通过循环CAS操作可以保证“读改写”操作的一次性排他完成，即原子性，CAS提供了一个检测数据是否被改动的机制，通过锁总线或者缓存一致性方式原子排他的完成。在java代码中，就是Atomic相关的类：

AtomicXXX类、AtomicReference类、AtomicStampedReference类，AtomicIntegerFieldUpdater

Reference相关的原子类是操作数据的对象指针，StampedReference类操作的对象指针带有版本号，用来避免ABA问题导致的同步错误。对于AtomicReference，是通过CAS比较内存对象引用和要比较的对象引用是不是同一个（用==判断）地址，如果是的话，替换为要替换的新对象引用，这里的重点是对象引用的替换，也就是替换的是整个对象，而不是对象中的某些属性字段。

AtomicIntegerFieldUpdater是通过反射的方式原子的更新对象的某个volatile int类型的字段。

实现原理：循环CAS操作。下面是源码的部分截图：

4 volatile 关键字的作用：涉及到并发 就涉及到三个概念： 可见性、顺序性、原子性，volatile关键字保证了变量的可见性和指令的顺序性。

可见性：每个CPU核心中都有自己的缓存，每个核心缓存都缓存了主存中的变量的值。多线程的情况下，每个线程都有自己的主存的缓存数据，并且互不可见，在java加锁同步的时候，如果锁状态数据在不同的线程对应的CPU核心缓存中对不同的线程不可见，就会导致同步错误的发生，比如多次加锁。volatile 关键字可以从硬件指令层面保证：

（1）一个线程所在的核心的对应变量的缓存改变后，立马刷新回主内存。

（2）如果其他核心的缓存中也缓存了该变量，强制其缓存中的该变量失效，让其重新从主存中加载。

这样就保证了变量数据在不同核心运行的线程之间可见，就会避免重复加锁之类的情况，所以java的各种锁类中的锁CAS变量都同时用volatile关键字进行了修饰。

顺序性： volatile 变量对应的底层指令是内存屏障，能够保证屏障指令前的指令不会重排到屏障后，屏障后的指令不会排到屏障前，在多线程并发的情况下，指令重排会导致同步错误。一个典型的例子就是单例模式双重检测。

 

 

5 JMM java内存模型

5 缓存一致性

5 java monitor

5 java AQS LOCK 

5 类加载器