Synchronized的实现原理与应用

Synchronized的实现原理与应用
java中的每一个对象都可以作为锁，具体由三种表现形式：

• 对于普通方法——锁是当前实例对象
• 对于静态方法——锁是当前类的Class对象
• 对于同步代码块——锁是synchronized括号里配置的对象
  当一个线程视图访问同步代码块时，它首先必须要得到锁，退出或抛出异常时必须释放锁。

对于Class类的扩充
注意这里C大写了，与类概念区分开，在java里，Class是一个实实在在的类，在包 java.lang 下，有这样一个Class.java文件，它跟我们自己定义的类一样，是一个实实在在的类，Class对象就是这个Class类的实例了。在Java里，所有的类的根源都是Object类，而Class也不例外，它是继承自Object的一个特殊的类，它内部可以记录类的成员、接口等信息，也就是在Java里，Class是一个用来表示类的类。有点绕啊，抓住关键一点，Class是一个实实在在的类，可以为它创建实例。

锁存在哪里？
synchronized用的锁是存在java对象头里面的。

对象头的组成

• Mark Word——存储对象的hashcode或锁的信息等
• Class Metadata Address——存储到对象类型数据的指针
• Array length——数组的长度（若当前对象为数组）

java对象头的存储结构：

• 锁状态
• 对象的hashcode
• 对象分代年龄
• 是否是偏向锁
• 锁标志位

锁的升级与对比
在javaSE1.6中，所以共有4中状态，级别从低到高为：无锁状态，偏向锁状态，
轻量级锁状态，重量级锁状态。这几个状态会随着竞争情况而升级。但是锁可以升级，却不可以降级。而采用这种不能降级的策略是为了提供获得锁和释放锁的效率。

1.偏向锁
在大多数情况下，锁不仅不存在多线程竞争，而且总是由同一个线程多次获得，为了让线程获得锁的代价更低而引入了偏向所。当一个线程访问同步代码块并获得锁时，会在对象头和栈帧中的锁记录里存储锁偏向的线程ID，以后该线程在进入和退出同步代码块时，不需要CAS操作来加锁和解锁，只需要简单测试对象头中的Mark Word里是否存储着指向当前线程的偏向锁，如果测试成功，表示线程已经获得了锁，失败则需要在测试一下Mark Word中偏向锁的标识是否设置成1（表示当前是偏向所），如果没有设置则使用CAS竞争锁，若设置了则使用CAS操作将对对象头的偏向锁指向当前线程。
偏向锁的撤销
偏向所采用了一种等到竞争出现才释放锁的机制。所以当其他线程尝试竞争偏向锁时，持有偏向锁的线程才会释放锁。

适用于只用一个线程访问的同步快场景。

2.轻量级锁
轻量级锁加锁
线程在执行同步之前，JVM会先在当前线程的栈帧中创建用于存储锁记录的空间，并将对象头中的Mark Word复制到锁记录中。然后线程尝试使用CAS将对象头中的Mark Word替换为指向锁记录的指针。如果成功，当前线程获得锁，失败表示其他线程竞争锁，当前线程便尝试使用自旋来获取锁。
轻量级锁解锁
轻量级解锁时，会使用原子操作将锁记录替换回对象头，如果成功，则表示没有竞争发生。如果失败表示当前锁存在竞争，锁就会膨胀成重量级锁。

适用于追求响应时间，同步块执行速度非常快的场景。

3.重量级锁
重量级锁的加锁和解锁与轻量级锁差不多，只是在竞争失败后，线程阻塞，释放锁后，唤醒阻塞的线程。线程竞争不使用自选，不会消耗CPU。
适用于追求吞吐量，同步块执行时间较长的场景。