synchronized原理及重量级锁
采用【互斥】的方式让同一时刻至多只有一个线程能够持有对象锁,其他线程想获取这个对象锁就会阻塞住,从而保证拥有锁的线程可以安全的执行临界区内的代码,不用担心线程上下文切换
语法:
synchronized(锁对象)
{
临界区代码
}
synchronized放在成员方法上,等价于锁住this对象;
synchronized放在静态方法上,等价于锁住类;
1、对象头:
对象头包括:Mark Word 和 Klass Word。
Kclass Word 32位:指向对象所存储的class类
Mark Word
包括 hashcode、分代年龄、是否偏向锁、锁状态。
2、 Monitor概念
Monitor监视器或管程。
每个Java对象都可以关联一个Monitor对象,如果使用synchronized给对象上锁(重量级锁)之后,该对象的Mark Word就被设置为指向Monitor对象的指针。
1、线程运行临界区代码,成功加锁之后,obj对象头的加锁状态由01转为10,对象头的Mark Word置为指向Monitor的指针。
2、Monitor中的Owner置为此线程,成为Monitor的主人。此时obj关联了一个Monitor锁。
3、其他线程访问临界区代码时,发现obj已经关联了Monitor锁,从而查看Monitor有没有主人Owner,若有了主人,线程进入Entry List阻塞队列。线程变为Blocked状态。
4、当第一个线程执行完同步代码块,会唤醒Entry List中等待的线程来竞争锁,竞争是非公平的。
轻量级锁
对于绝大部分的锁,在整个同步周期内都是不存在竞争的,就使用轻量级锁来优化。
语法相同,对使用者是透明的。
锁过程:
1、代码进入同步块,JVM会在当前线程的栈帧中建立一个锁记录,用于存储锁对象目前的Mark Word的拷贝。
2、
3、
4、
5、
6、
锁膨胀:
在尝试加轻量级锁时,CAS操作失败,原因之一是其他线程已经为锁对象加了轻量级锁(锁竞争),这时会发生锁膨胀,将轻量级锁变为重量级锁。
自旋优化
重量级锁竞争的时候,使用自旋优化,如果当前线程自旋成功(也就是说持锁线程已经退出了同步块,放弃了锁),这时当前线程就可以不用阻塞。
适用于多核CPU。
偏向锁
轻量级锁在没有竞争时,每次锁重入都要执行CAS操作。
轻量级锁的锁重入:
偏向锁优化:
偏向锁会偏向于第一个获得它的线程,如果在接下来的执行过程中,该锁没有被其他的线程获取,则持有偏向锁的线程将永远不需要同步。大多数情况下,锁不仅不存在多线程竞争,而且总是由同一线程多次获得,为了让线程获得锁的代价更低而引入了偏向锁。
当锁对象第一次被线程获取的时候,线程使用CAS操作把这个线程的ID记录在对象Mark Word之中,同时置偏向标志位1。以后该线程在进入和退出同步块时不需要进行CAS操作来加锁和解锁,只需要简单地测试一下对象头的Mark Word里是否存储着指向当前线程的ID。如果测试成功,表示线程已经获得了锁。
当有另外一个线程去尝试获取这个锁时,偏向模式就宣告结束。根据锁对象目前是否处于被锁定的状态,撤销偏向后恢复到未锁定或轻量级锁定状态。