锁的膨胀过程
预备知识CAS
硬件对并发的支持
在大多数处理器架构(包括IA32和Sparc)中采用的方法是实现一个比较并交换(CAS)指令,CAS包含了3个操作数——内存位置(V),预期原值(A),拟写入的新值(B),当且仅当V == A 时,CAS才会通过原子方式用新值(B)来更新(V)原有的值,无论操作成功与否,都会返回(V)值,且整个过程都是不可打断的,所以CAS是一个原子操作;主要是利用CPU的CAS指令,同时借助JNI来完成Java的非阻塞算法。
模拟CAS操作
1public class SimpleCAS { 2 3 private Integer value; 4 5 private synchronized int get(){ 6 return value; 7 } 8 private synchronized int compareAndSwap(int a, int b){ 9 int v = value; 10 return v == a ? b : v; 11 } 12 class CasCounter{ 13 private SimpleCAS simpleCAS; 14 private Integer getValue(){ 15 return simpleCAS.get(); 16 } 17 private Integer increment(){ 18 Integer v; 19 do { 20 v = simpleCAS.get(); 21 } 22 while (v != simpleCAS.compareAndSwap(v, v + 1)); 23 return v + 1; 24 } 25 } 26}
预备知识 公平锁&非公平锁
公平锁:第一次加锁的时候,他不会去尝试加锁,他会去看一下我前面有没有人正在排队,如果有人排队,我就先去排队,进入队列后,如果前面那个人是head头结点,他会再次尝试加锁,成功则执行同步代码块,失败则park(真正的排队了);
非公平锁:他首先会在lock方法调用的时候去抢锁,如果失败,则会去看看为啥会失败(锁是不是被人持有了),如果没有人持有,非公平锁则会直接加锁(不会判断是否有人排队),成功则进入同步代码块,失败则进入队列。
流程图
关于队列如何设计和形成的
1、AQS类设计的主要属性
1private transient volatile Node head;/队首 2private transient volatile Node tail;//队尾 3private volatile int state;//锁状态标识
2、Node类的设计
1static final class Node { 2 volatile Node prev; 3 volatile Node next; 4 volatile Thread thread; 5}
同步器包含了两种节点类型的引用,一个指向头结点,而另外一个指向尾节点,没有成功获取同步状态的线程将会成为节点加入到该队列的尾部。

