java中aina,synchronized的实现与应用-CSDN博客

在并发编程中,synchronized一直是一个元老级的角色，可以保证方法或者代码块在运行时，同一时刻只有一个方法可以进入临界区，同时它还可以保证共享变量的内存可见性，很多人称之为重量级锁。但是随着jdk1.6进行了各种优化之后，有些情况下它就并不那么重了。为了减少获得锁和释放锁带来的性能消耗而引入的偏向锁和轻量级锁。

Java中每一个对象都可以成为锁，具体表现为以下3种。

1.对于普通同步方法，锁是当前实例对象。

2.对于静态同步方法，锁是当前类的Class对象。

3.对于同步方法块，锁是synchronized括号里配置的对象。

当一个线程试图访问同步代码块时，它首先要得到锁，退出和抛出异常时必须释放锁。

JVM基于进入和退出Monitor对象来实现方法同步和代码同步，但两者的实现细节不一样。

monitorenter指令在编译后插入到同步代码块的开始位置，而monitorexit是插入到方法结束处和异常处，JVM要保证每个monitorenter必须有monitorexit与之配对。每一个对象都有一个monitor与之关联，并且一个monitor被持有后，它将处于被锁定状态。线程执行到monitorenter指令时，将会尝试获取对象所对应的monitor的所有权，即尝试获得对象的锁。

JAVA对象头

synchronized用的锁是存在Java对象头里的。Hotspot虚拟机的对象头主要包含两部分数据：Mark Word(标记字段)、Klass Pointer(类型指针)。

Klass Pointer: 是对象指向类元素的指针，虚拟机通过这个指针来确定对象是哪个类的实例

Mark Word：存储对象运行时候对象自身的数据，hashCode以及GC分代年纪，锁状态标识、线程持久的锁、偏向线程ID

在运行期间，Mark Word里存储的数据会随着锁标志位的变化而变化。

Mark Word的状态变化

偏向锁：锁标志位是01。存储偏向的线程ID，

轻量级锁：锁标志位00。指向栈中锁记录的指针。

重量级锁: 锁的标志位10。指向互斥量(重量级锁)指针。

锁的升级与对比

jdk1.6为了减少获得锁和释放锁带来的性能消耗，引入了“偏向锁”和“轻量级锁“。

锁一共有四种状态,级别从低到高依次为：无锁状态、偏向锁状态、轻量级锁状态和重量级锁状态。锁可以升级不可以降级，这种策略是为了提高获得锁和释放锁的效率。

1.偏向锁

在大多数情况下，锁不仅不存在多线程竞争，而且总是由同一个线程多次获得，为了让线程获得锁的代价更低而引入偏向锁。当一个线程访问同步块并获取锁时，会在对象头和栈帧中的锁记录里存储偏向锁的线程ID,以后该线程在进入和退出同步块时不需要进行CAS操作，只需要简单的测试下对象头的Mark Word里是否存在当前线程的偏向锁。如果测试成功，表示线程已经已经获得了锁。如果测试失败，则需要再测试一下Mark Word中偏向锁的标识是否设置为1(表示当前是偏向锁)。如果没有设置，则尝试使用CAS将对象头的偏向锁指向当前线程。

偏向锁的撤销：

偏向锁使用了一种等到了竞争出现才释放的机制，所以当前其他线程尝试竞争偏向锁时，持有偏向锁的线程才会释放锁。偏向锁的撤销，需要等待全局安全点。它会首先暂停拥有偏向锁的线程，然后检查持有偏向锁的线程是否存活，如果线程不处于活动状态，则将对象头设置成无锁状态，如果线程任然活着，拥有偏向锁的栈会被执行，遍历偏向对象的锁记录，栈中的锁记录和对象头的Mark Word要么重新偏向于其他线程，要么恢复到无锁或者标记对象不适合作为偏向锁(将锁升级为轻量级锁)。最后唤醒暂停的线程。

线程2来竞争锁对象;

判断当前对象头是否是偏向锁;

判断拥有偏向锁的线程1是否还存在;

线程1不存在,直接设置偏向锁标识为0(线程1执行完毕后,不会主动去释放偏向锁);

使用cas替换偏向锁线程ID为线程2,锁不升级，仍为偏向锁;

线程1仍然存在,暂停线程1；

设置锁标志位为00(变为轻量级锁),偏向锁为0;

从线程1的空闲monitor record中读取一条,放至线程1的当前monitor record中;

更新mark word，将mark word指向线程1中monitor record的指针;

继续执行线程1的代码;

锁升级为轻量级锁;

线程2自旋来获取锁对象;