Monitor监视器
每个对象都可以关联一个Monitor对象(操作系统提供)
过程
-
obj与monitor对象靠指向monitor对象指针地址(存在obj的markword中,30位)关联
-
Thread2占用锁成为Ower,其他的线程先阻塞等待
刚开始 Monitor 中 Owner 为 null
当 Thread-2 执行 synchronized(obj) 就会将 Monitor 的所有者 Owner 置为 Thread-2,Monitor中只能有一 个 Owner
在 Thread-2 上锁的过程中,如果 Thread-3,Thread-4,Thread-5 也来执行 synchronized(obj),就会进入 EntryList BLOCKED
Thread-2 执行完同步代码块的内容,然后唤醒 EntryList 中等待的线程来竞争锁,竞争的时是非公平的
图中 WaitSet 中的 Thread-0,Thread-1 是之前获得过锁,但条件不满足进入 WAITING 状态的线程
注意:
synchronized 必须是进入同一个对象的 monitor 才有上述的效果
不加 synchronized 的对象不会关联监视器,不遵从以上规则
static final Object lock = new Object();
static int counter = 0;
public static void main(String[] args) {
synchronized (lock) {
counter++;
}
}
synchronized
synchronized(obj){
临界区
}
对象锁,同一时刻只能一个线程持有对象锁,保证临界区代码的不可分割
某个线程访问被synchronized修饰的对象,即使cpu时间片用完该线程保持锁的访问权,其他线程只能阻塞;只能等该线程运行完,唤醒下一个被阻塞的线程。
synchronized实现同步的基础:Java中的每一个对象都可以作为锁。JVM基于进入和退出Monitor对象来实现方法同步和代码块同步,具体表现为以下3种形式。
·对于普通同步方法,锁是当前实例对象。
·对于静态同步方法,锁是当前类的Class对象。
·对于同步方法块,锁是Synchonized括号里配置的对象。
当一个线程试图访问同步代码块时,它首先必须得到锁,退出或抛出异常时必须释放锁。
对象头:
synchronized用的锁是存在Java对象头里的。如果对象是数组类型,则虚拟机用3个字宽(Word)存储对象头,如果对象是非数组类型,则用2字宽存储对象头。
Java对象头里的Mark Word里默认存储对象的HashCode、分代年龄和锁标记位
锁升级**
引入:使用monitor麻烦,降低性能;需要升级
级别从低到高依次是:无锁状态、偏向锁状态、轻量级锁状态和重量级锁状态,锁可以升级但不能降级。
偏向锁
Java 6 中引入了偏向锁来做进一步优化:只有第一次使用 CAS 将线程 ID 设置到对象的 Mark Word 头,之后发现这个线程 ID 是自己的就表示没有竞争,不用重新 CAS。以后只要不发生竞争,这个对象就归该线程所有
当一个线程访问同步块并获取锁时,会在对象头和栈帧中的锁记录里存储锁偏向的线程ID,以后该线程在进入和退出同步块时,只需要测试对象头的,Mark Word里是否存储着指向当前线程的偏向锁。
一个对象创建时:
如果开启了偏向锁(默认开启),那么对象创建后,markword 值为 0x05 即最后 3 位为 101,这时它的 thread、epoch、age 都为 0
偏向锁是默认是延迟的,不会在程序启动时立即生效,如果想避免延迟,可以加 VM 参数 -XX:BiasedLockingStartupDelay=0 来禁用延迟
如果没有开启偏向锁,那么对象创建后,markword 值为 0x01 即最后 3 位为 001,这时它的 hashcode、age 都为 0,第一次用 hashcode 时才会赋值
轻量级锁
轻量级锁的使用场景:如果一个对象虽然有多线程要加锁,但加锁的时间是错开的(也就是没有竞争),那么可以使用轻量级锁来优化。(默认使用轻量级锁)
轻量级锁对使用者是透明的,即语法仍然是 synchronized
过程:
-
创建锁记录(Lock Record)对象,每个线程都的栈帧都会包含一个锁记录的结构,内部可以存储锁定对象的 Mark Word和对象指针Object reference
-
让锁记录中 Object reference 指向锁对象,并尝试用 cas 替换 Object 的 Mark Word,将 Mark Word 的值存入锁记录
原对象头30位被替换成地址,将原来markword内容存在锁记录中
-
如果 cas 替换成功,对象头中存储了 锁记录地址和状态 00 ,表示由该线程给对象加锁
(总之:加锁成功后,栈帧的锁结构里存对象的markword和对象地址,对象头原markword存锁结构的地址00)
-
如果 cas(原子交换)失败,有两种情况:
1.如果是其它线程已经持有了该 Object 的轻量级锁,这时表明有竞争,进入锁膨胀过程
2.如果是自己执行了 synchronized 锁重入(自己的线程内方法又一个锁),那么再添加一条 Lock Record 作为重入的计数每次锁重入都会有锁记录产生
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-gWzOzJru-1629996180943)(并发.assets/image-20210822203358359.png)]
-
退出 synchronized 代码块(解锁时)如果有取值为 null 的锁记录,表示有重入,这时重置锁记录,表示重入计数减一
-
当退出 synchronized 代码块(解锁时)锁记录的值不为 null,这时使用 cas 将 Mark Word 的值恢复给对象头。
成功,则解锁成功
失败,说明轻量级锁进行了锁膨胀或已经升级为重量级锁,进入重量级锁解锁流程
锁膨胀
如果在尝试加轻量级锁的过程中,CAS 操作无法成功,这时一种情况就是有其它线程为此对象加上了轻量级锁(有竞争),这时需要进行锁膨胀,将轻量级锁变为重量级锁。
一旦锁升级成重量级锁,就不会再恢复到轻量级锁状态。当锁处于这个状态下,其他线程试图获取锁时,都会被阻塞住
- 另一个申请的线程位对象申请Monitor锁10,让Obj锁指向重量级锁地址;然后进入Monitor的等待队列进行阻塞;
- 而正在使用对象的线程想退出时无法解锁,需要用重量级锁撤销方式:先找到Monitor地址找到Monitor对象,设置其中Owner为null然后去唤醒等待队列的其他线程
自旋优化(占cpu,适合多核,jdk7之后不能控制是否自旋)
重量级锁竞争的时候,还可以使用自旋来进行优化,如果当前线程自旋成功( 这时候持锁线程已经退出了同步块,释放了锁),这时当前线程就可以避免阻塞。