CAS和AQS

CAS

compareAndSet compareAndSwap 一种无锁原子算法,乐观锁 版本控制 原值 ， 预期的值 ， 要改变成的那个值
过程是这样：它包含 3 个参数 CAS（V，E，N），V表示要更新变量的值，E表示预期值，N表示新值。仅当 V值等于E值时，才会将V的值设为N，如果V值和E值不同，则说明已经有其他线程做两个更新，则当前线程则什么都不做。最后，CAS 返回当前V的真实值。CAS 操作时抱着乐观的态度进行的，它总是认为自己可以成功完成操作。
CAS的全称为Compare And Swap，直译就是比较交换。是一条CPU的原子指令，其作用是让CPU先进行比较两个值是否相等，然后原子地更新某个位置的值，其实现方式是基于硬件平台的汇编指令，在intel的CPU中，使用的是cmpxchg指令，就是说CAS是靠硬件实现的，从而在硬件层面提升效率。
当多个线程同时使用CAS 操作一个变量时，只有一个会胜出，并成功更新，其余均会失败。失败的线程不会挂起，仅是被告知失败，并且允许再次尝试，当然也允许实现的线程放弃操作。基于这样的原理，CAS 操作即使没有锁，也可以发现其他线程对当前线程的干扰。
与锁相比，使用CAS会使程序看起来更加复杂一些，但由于其非阻塞的，它对死锁问题天生免疫，并且，线程间的相互影响也非常小。更为重要的是，使用无锁的方式完全没有锁竞争带来的系统开销，也没有线程间频繁调度带来的开销，因此，他要比基于锁的方式拥有更优越的性能。
简单的说，CAS 需要你额外给出一个期望值，也就是你认为这个变量现在应该是什么样子的。如果变量不是你想象的那样，哪说明它已经被别人修改过了。你就需要重新读取，再次尝试修改就好了。

CAS底层原理

这样归功于硬件指令集的发展 与volatile原理一样

JUC下的atomic类都是通过CAS来实现的，下面就以AtomicInteger为例来阐述CAS的实现。如下：

Unsafe是CAS的核心类，Java无法直接访问底层操作系统，而是通过本地（native）方法来访问。不过尽管如此，JVM还是开了一个后门：Unsafe，它提供了硬件级别的原子操作。
CAS只能保证一个共享变量原子操作
看了CAS的实现就知道这只能针对一个共享变量，如果是多个共享变量就只能使用锁了，当然如果你有办法把多个变量整成一个变量，利用CAS也不错。例如读写锁中state的高地位

AtomicInteger atomic = new AtomicInteger(0);
atomic.incrementAndGet()//进行原子性加1

CAS (compareAndSet)

AtomicInteger atomic = new AtomicInteger(100);//原值100
atomic.compareAndSet(100,110)//原值为100，期望为100，修改为110

缺点：不知道中间的变化，如下图

AtomicInteger atomic = new AtomicInteger(100);//原值100
atomic.compareAndSet(100,110);//原值为100，期望为100，修改为110
atomic.compareAndSet(110,100);
atomic.compareAndSet(100,110);

改进（加时间戳）

AtomicInteger atomic = new AtomicInteger(100);//原值100
AtomicStampedReference ars = new AtomicStampedReference(100,1);//有100个版本号，这个是第一个版本号（原版本号）
stamp = ars.getStamp();
atomic.compareAndSet(100,110,stamp(),stamp()+1)//期望值，要改变的值，期望版本号，改为新的版本号

join()方法

线程中使用join()方法是一个加入的概念（加入线程组中，使线程有了交换性）

AQS

AbstractQueuedSynchronizer 同步发送器 CLH同步队列 自旋 + 队列 ( reentrantLock )

基本思想

通过内置FIFO同步队列（双向（非循环）链表队列：有个傀儡头节点，分别指向头尾节点，但头尾节点不指向它）来完成线程资源争夺