juc面试题总结

Q1：什么是 CAS？

CAS 表示 Compare And Swap，⽐较并交换，CAS 需要三个操作数，分别是内存位置 V、旧的预期值 A 和准备设置的新值 B。CAS 指令执⾏时，当且仅当 V 符合 A 时，处理器才会⽤ B 更新 V 的值，否则它就不执⾏更新。但不管是否更新都会返回 V 的旧值，这些处理过程是原⼦操作，执⾏期间不会被其他线程打断。

在 JDK 5 后，Java 类库中才开始使⽤ CAS 操作，该操作由 Unsafe 类⾥的 等⼏个⽅法包装提供。HotSpot 在内部对这些⽅法做了特殊处理，即时编译的结果是⼀条平台相关的处理器CAS 指令。Unsafe 类不是给⽤户程序调⽤的类，因此 JDK9 前只有 Java 类库可以使⽤ CAS，譬如 juc包⾥的 AtomicInteger类中 等⽅法都使⽤了Unsafe 类的 CAS 操作实现。

Q2：CAS 有什么问题？

CAS 从语义上来说存在⼀个逻辑漏洞：如果 V 初次读取时是 A，并且在准备赋值时仍为 A，这依旧不能说明它没有被其他线程更改过，因为这段时间内假设它的值先改为 B ⼜改回 A，那么 CAS 操作就会误认为它从来没有被改变过。

这个漏洞称为 ABA 问题，juc 包提供了⼀个 AtomicStampedReference，原⼦更新带有版本号的引⽤类型，通过控制变量值的版本来解决 ABA 问题。⼤部分情况下 ABA 不会影响程序并发的正确性，如果需要解决，传统的互斥同步可能会⽐原⼦类更⾼效。

Q3：有哪些原⼦类？