Monitor 被翻译为监视器或管程
每个 Java 对象都可以关联一个 Monitor 对象,如果使用 synchronized 给对象上锁(重量级)之后,该对象头的Mark Word 中就被设置指向 Monitor 对象的指针
Monitor 结构:
注意:
一个锁对象中的 MarkWord
会指向一个 Monitor 对象,不同的锁对象关联不同的 Monitor
对象中轻量级锁的 MarkWord
结构:
轻量级锁的使用场景:如果一个对象虽然有多线程要加锁,但加锁的时间是错开的(也就是没有竞争),那么可以使用轻量级锁来优化。
轻量级锁对使用者是透明的,即语法仍然是 synchronized
假设有两个方法同步块,利用同一个对象加锁:
static final Object obj = new Object();
public static void method1() {
synchronized( obj ) {
// 同步块 A
method2();
}
}
public static void method2() {
synchronized( obj ) {
// 同步块 B
}
}
轻量级锁的加锁解锁流程:
01 表示没有锁(或者偏向锁),从上面MarkWord结构可知
让锁记录中 Object reference 指向锁对象,并尝试用 cas 替换 Object 的 Mark Word,将 Mark Word 的值存入锁记录
cas :取出 MarkWord值,然后尝试修改该值,写回时比较当前MarkWord值是否和当初取出的值相同,如果相同则将修改的值写入
如果在尝试加轻量级锁的过程中,CAS 操作无法成功,这时一种情况就是有其它线程为此对象加上了轻量级锁(有竞争),这时需要进行锁膨胀,将轻量级锁变为重量级锁。
这时 Thread-1 加轻量级锁失败,进入锁膨胀流程
即为 Object 对象申请 Monitor 锁,创建一个Monitor对象管理多线程,让 Object 指向重量级锁(Monitor对象)地址
然后 Thread-1 自己进入 Monitor 的 EntryList BLOCKED
重量级锁竞争的时候,还可以使用自旋来进行优化,如果当前线程自旋成功(即这时候持锁线程已经退出了同步块,释放了锁),这时当前线程就可以避免阻塞。因为阻塞会发生上下文切换,避免阻塞,上下文切换也会避免,减少了上下文切换的次数,优化了性能
自旋重试成功的一种情况:(这里多核CPU下才有意义)
自旋重试失败的一种情况:
自JDK15起,偏向锁已被废弃,JDK20被移除,可以在JDK8中将其关闭以提高性能
轻量级锁在没有竞争时(就自己这个线程),每次重入仍然需要执行 CAS 操作。
Java 6 中引入了偏向锁来做进一步优化:只有第一次使用 CAS 将线程 ID 设置到对象的 Mark Word 头,之后发现这个线程 ID 是自己的就表示没有竞争,不用重新 CAS。以后只要不发生竞争,这个对象就归该线程所有
对象头格式:(延迟几秒后,MarkWord 最后三位是101)
一个对象创建时:
-XX:BiasedLockingStartupDelay=0
来禁用延迟hashCode:正常状态对象一开始是没有 hashCode 的,第一次调用才生成;生成 hasCode 后,偏向锁就被禁止使用了,因为偏向锁无法存下 hashCode ,偏向锁被撤销了
撤销 - 调用对象 hashCode
调用了对象的 hashCode,但偏向锁的对象 MarkWord 中存储的是线程 id,如果调用 hashCode 会导致偏向锁被撤销
轻量级锁会在锁记录中记录 hashCode
重量级锁会在 Monitor 中记录 hashCode
撤销 - 其它线程使用对象
当有其它线程使用偏向锁对象时,会将偏向锁升级为轻量级锁
调用 wait/notify:只有重量级锁才有 wait/notify操作,会被升级为重量级锁
如果对象虽然被多个线程访问,但没有竞争(线程交替访问锁对象),这时有一个原本偏向 T1 的偏向锁,T2 在访问T1的偏向锁时会将偏向锁撤销,升级为轻量级锁。随后轻量级锁被释放,再访问锁对象时,又会产生一个偏向 T1 的偏向锁,反复多次这种流程会耗费性能
所以希望在偏向了线程 T1 的对象仍有机会重新偏向 T2,重偏向会重置对象的 Thread ID
当撤销偏向锁(加锁,解锁次数)阈值超过 20 次后,jvm 会这样觉得,我是不是偏向错了呢,于是会在给这些对象加锁时重新偏向至加锁线程
当撤销偏向锁阈值超过 40 次后,jvm 会这样觉得,自己确实偏向错了,根本就不该偏向。于是整个类的所有对象都会变为不可偏向的,新建的对象也是不可偏向的
JIT 即时编译器,会优化代码,把不会被共享的锁对象的同步代码块中的加锁操作消除
-XX:-EliminateLocks
:vm option 指令,禁止锁消除优化
锁粗化:对相同对象多次加锁,导致线程发生多次重入,可以使用锁粗化方式来优化,这不同于之前讲的细分锁的粒度。
waiting 状态的线程是获得锁后又放弃锁进入的状态,而 blocked 状态是还没获得锁的,他俩都是阻塞状态
obj.wait()
让进入 object 监视器的线程到 waitSet 等待obj.notify()
在 object 上正在 waitSet 等待的线程中挑一个唤醒obj.notifyAll()
让 object 上正在 waitSet 等待的线程全部唤醒以上方法的调用必须是先获得锁(成为 Owner以后);测试:
@Slf4j(topic = "c.d4_wait_notify")
public class d4_wait_notify {
final static Object obj = new Object();
public static void main(String[] args) throws InterruptedException {
new Thread(() -> {
synchronized (obj) {
log.debug("执行....");
try {
obj.wait(); // 让线程在obj上一直等待下去
} catch (InterruptedException e) {
e.printStackTrace();
}
log.debug("其它代码....");
}
}, "t1").start();
new Thread(() -> {
synchronized (obj) {
log.debug("执行....");
try {
obj.wait(); // 让线程在obj上一直等待下去
} catch (InterruptedException e) {
e.printStackTrace();
}
log.debug("其它代码....");
}
}, "t2").start();
// 主线程两秒后执行
Thread.sleep(2000);
log.debug("唤醒 obj 上其它线程");
synchronized (obj) {
obj.notify(); // 唤醒obj上一个线程
// obj.notifyAll(); // 唤醒obj上所有等待线程
}
}
}
结果:
15:18:02 [t1] c.d4_wait_notify - 执行....
15:18:02 [t2] c.d4_wait_notify - 执行....
15:18:04 [main] c.d4_wait_notify - 唤醒 obj 上其它线程
15:18:04 [t1] c.d4_wait_notify - 其它代码....
wait()
方法会释放对象的锁,进入 WaitSet 等待区,从而让其他线程就机会获取对象的锁。无限制等待,直到 notify
为止
wait(long n)
有时限的等待, 到 n 毫秒后结束等待,或是被 notify
sleep(long n)
和 wait(long n)
的区别当有多个线程进入 waitList ,我们要选择其中一个唤醒,可以为每个线程设置一个标志 flag,然后唤醒所有线程;唤醒后,每个线程检查自己的 flag条件,如果 flag 不满足,则一直 wait 等待:
synchronized(lock) {
while(条件不成立) {
lock.wait();
}
// 干活
}
//另一个线程
synchronized(lock) {
lock.notifyAll();
}
即 Guarded Suspension,用在一个线程等待另一个线程的执行结果
要点:
@Slf4j(topic = "c.d6_GuardedObject")
public class d6_GuardedObject {
private Object response;
private final Object lock = new Object();
public Object get() {
synchronized (lock) {
// 条件不满足则等待
while (response == null) {
log.debug("等待 response ");
try {
lock.wait();
} catch (InterruptedException e) {
e.printStackTrace();
}
}
return response;
}
}
public void complete(Object response) {
synchronized (lock) {
// 条件满足,通知等待线程
this.response = response;
lock.notifyAll();
}
}
public static void main(String[] args) {
d6_GuardedObject guardedObject = new d6_GuardedObject();
new Thread(()->{
Object myResponse = guardedObject.get();
log.debug("myResponse: {}", myResponse);
}, "t1").start();
new Thread(()->{
try {
Thread.sleep(1000);
} catch (InterruptedException e) {
throw new RuntimeException(e);
}
guardedObject.complete("等待结束...");
}, "t2").start();
}
}
15:55:48 [t1] c.d6_GuardedObject - 等待 response
15:55:49 [t1] c.d6_GuardedObject - myResponse: 等待结束...
@Slf4j(topic = "c.d7_CuardedObjectV2")
public class d7_CuardedObjectV2 {
private Object response;
private final Object lock = new Object();
public Object get(long millis) {
synchronized (lock) {
// 1) 记录最初时间
long begin = System.currentTimeMillis();
// 2) 已经经历的时间
long timePassed = 0;
while (response == null) {
// 4) 假设 millis 是 1000,结果在 400 时唤醒了,那么还有 600 要等
long waitTime = millis - timePassed;
log.debug("waitTime: {}", waitTime);
if (waitTime <= 0) {
log.debug("break...");
break;
}
try {
lock.wait(waitTime);
} catch (InterruptedException e) {
e.printStackTrace();
}
// 3) 如果提前被唤醒,这时已经经历的时间假设为 400
timePassed = System.currentTimeMillis() - begin;
log.debug("timePassed: {}, object is null {}",
timePassed, response == null);
}
return response;
}
}
public void complete(Object response) {
synchronized (lock) {
// 条件满足,通知等待线程
this.response = response;
log.debug("notify...");
lock.notifyAll();
}
}
public static void main(String[] args) {
d7_CuardedObjectV2 v2 = new d7_CuardedObjectV2();
new Thread(() -> {
try {
Thread.sleep(1000);
} catch (InterruptedException e) {
throw new RuntimeException(e);
}
v2.complete(null);
try {
Thread.sleep(1000);
} catch (InterruptedException e) {
throw new RuntimeException(e);
}
v2.complete(Arrays.asList("a", "b", "c"));
}).start();
Object response = v2.get(2500);
if (response != null) {
log.debug("get response: [{}] lines", ((List<String>) response).size());
} else {
log.debug("can't get response");
}
}
}
16:45:02 [main] c.d7_CuardedObjectV2 - waitTime: 2500
16:45:03 [Thread-0] c.d7_CuardedObjectV2 - notify...
16:45:03 [main] c.d7_CuardedObjectV2 - timePassed: 1012, object is null true
16:45:03 [main] c.d7_CuardedObjectV2 - waitTime: 1488
16:45:04 [Thread-0] c.d7_CuardedObjectV2 - notify...
16:45:04 [main] c.d7_CuardedObjectV2 - timePassed: 2014, object is null false
16:45:04 [main] c.d7_CuardedObjectV2 - get response: [3] lines
是调用者轮询检查线程 alive 状态
t1.join();
// 等价于下面的代码
synchronized (t1) {
// 调用者线程进入 t1 的 waitSet 等待, 直到 t1 运行结束
while (t1.isAlive()) {
t1.wait(0);
}
}
join 源码:其实也是用wait实现的带有时间限制的保护性暂停
public final void join(long millis) throws InterruptedException {
// ... millis 非法异常判断
synchronized (this) {
if (millis > 0) {
if (isAlive()) {
final long startTime = System.nanoTime(); // 记录最初时间
long delay = millis;
do {
wait(delay);
} while (isAlive() && (delay = millis -
NANOSECONDS.toMillis(System.nanoTime() - startTime)) > 0);
// passTime = System.nanoTime() - startTime : 获取已经经历过的时间
// delay = millis - passTime :更新剩余该等待的时间
}
} else {
while (isAlive()) {
wait(0);
}
}
}
}
它们是 LockSupport 类中的方法
// 暂停当前线程
LockSupport.park();
// 恢复某个线程的运行
LockSupport.unpark(暂停线程对象)
与 Object 的 wait & notify 相比
每个线程都有自己的一个 Parker 对象,由三部分组成 _counter , _cond 和 _mutex 打个比喻
线程就像一个旅人,Parker 就像他随身携带的背包,条件变量就好比背包中的帐篷。_counter 就好比背包中的备用干粮(0 为耗尽,1 为充足)
调用 park 就是要看需不需要停下来歇息
如果备用干粮耗尽,那么钻进帐篷歇息
如果备用干粮充足,那么不需停留,继续前进
调用 unpark,就好比令干粮充足
调用 park
调用 unpark:
先调用 unpark 再调用 park:
假设有线程 Thread t
情况 1 NEW --> RUNNABLE
当调用 t.start() 方法时,由 NEW --> RUNNABLE
情况 2 RUNNABLE <–> WAITING
t 线程用 synchronized(obj) 获取了对象锁后
调用 obj.wait() 方法时,t 线程从 RUNNABLE --> WAITING
调用 obj.notify() , obj.notifyAll() , t.interrupt() 时
竞争锁成功,t 线程从 WAITING --> RUNNABLE
竞争锁失败,t 线程从 WAITING --> BLOCKED
情况 3 RUNNABLE <–> WAITING
情况 4 RUNNABLE <–> WAITING
情况 5 RUNNABLE <–> TIMED_WAITING
t 线程用 synchronized(obj) 获取了对象锁后
情况 6 RUNNABLE <–> TIMED_WAITING
情况 7 RUNNABLE <–> TIMED_WAITING
情况 8 RUNNABLE <–> TIMED_WAITING
情况 9 RUNNABLE <–> BLOCKED
t 线程用 synchronized(obj) 获取了对象锁时如果竞争失败,从 RUNNABLE --> BLOCKED
情况 10 RUNNABLE <–> TERMINATED
当前线程所有代码运行完毕,进入TERMINATED
有这样的情况:一个线程需要同时获取多把锁,这时就容易发生死锁
t1 线程 获得 A对象 锁,接下来想获取 B对象的锁 t2 线程 获得 B对象 锁
检测死锁可以使用 jconsole工具,或者使用 jps 定位进程 id,再用 jstack 定位死锁:
jstack定位死锁:
t1 等待的锁对象被 t2 锁住了;t1锁住的对象被 t2等待
stack也会提示找到的死锁:
活锁出现在两个线程互相改变对方的结束条件,最后谁也无法结束,例如:
死锁是无法继续运行下去,活锁是一直运行下去
import lombok.extern.slf4j.Slf4j;
@Slf4j(topic = "c.d9_TestLiveLock")
public class d9_TestLiveLock {
static volatile int count = 10;
static final Object lock = new Object();
public static void main(String[] args) {
new Thread(() -> {
// 期望减到 0 退出循环
while (count > 0) {
try {
Thread.sleep(200);
} catch (InterruptedException e) {
throw new RuntimeException(e);
}
count--;
log.debug("count: {}", count);
}
}, "t1").start();
new Thread(() -> {
// 期望超过 20 退出循环
while (count < 20) {
try {
Thread.sleep(200);
} catch (InterruptedException e) {
throw new RuntimeException(e);
}
count++;
log.debug("count: {}", count);
}
}, "t2").start();
}
}
很多教程中把饥饿定义为,一个线程由于优先级太低,始终得不到 CPU 调度执行,也不能够结束,饥饿的情况不易演示,讲读写锁时会涉及饥饿问题
的一个线程饥饿的例子,可以使用顺序加锁的方式解决之前的死锁问题
线程1锁住了A,线程2锁住了B,死锁发生:
顺序加锁来避免死锁的解决方案:
必须先获得锁对象A才能获得锁对象B,这样就不会出现,线程2在获取A的时候就会阻塞而一直等待线程1释放
相对于 synchronized 它具备如下特点
与 synchronized 一样,都支持可重入
基本语法
// 获取锁
reentrantLock.lock();
try {
// 临界区
} finally {
// 释放锁
reentrantLock.unlock();
}
可重入是指同一个线程如果首次获得了这把锁,那么因为它是这把锁的拥有者,因此有权利再次获取这把锁
如果是不可重入锁,那么第二次获得锁时,自己也会被锁挡住
对一个锁对象反复加锁的示例:
@Slf4j(topic = "c.d10_ReentrantLock")
public class d10_ReentrantLock {
private static ReentrantLock lock = new ReentrantLock();
public static void main(String[] args) {
lock.lock();
try {
log.debug("enter main");
method1();
}finally {
lock.unlock();
}
}
public static void method1(){
lock.lock();
try {
log.debug("enter method1");
method2();
}finally {
lock.unlock();
}
}
public static void method2(){
lock.lock();
try {
log.debug("enter method2");
}finally {
lock.unlock();
}
}
}
输出:
19:45:30 [main] c.d10_ReentrantLock - enter main
19:45:30 [main] c.d10_ReentrantLock - enter method1
19:45:30 [main] c.d10_ReentrantLock - enter method2
可以用让其他线程调用 interrupt 方法打断当前的锁
需要使用 lockInterruptibly
方法进行加锁才可被打断:
@Slf4j(topic = "c.d11_TestLockInterrupt")
public class d11_TestLockInterrupt {
private static ReentrantLock lock = new ReentrantLock();
public static void main(String[] args) throws InterruptedException {
Thread t1 = new Thread(()->{
try {
log.debug("尝试获得锁");
// lockInterruptibly:
// 如果没有竞争,此方法会获取lock对象的锁
// 如果有竞争,则进去阻塞队列,可以被其他线程用interrupt方法打断
lock.lockInterruptibly();
}catch (InterruptedException e){
e.printStackTrace();
log.debug("没有获得锁,返回");
return;
}
try {
log.debug("获取到锁");
}finally {
lock.unlock();
}
}, "t1");
lock.lock(); // 主线程先获取锁,t1等待
t1.start();
Thread.sleep(1000);
log.debug("打断 t1");
t1.interrupt();
}
}
19:53:49 [t1] c.d11_TestLockInterrupt - 尝试获得锁
19:53:50 [main] c.d11_TestLockInterrupt - 打断 t1
19:53:50 [t1] c.d11_TestLockInterrupt - 没有获得锁,返回
java.lang.InterruptedException at ... ...
可打断是被动的,等待其他线程打断。锁超时是主动的打断,避免无限时的等待下去
使用 tryLock
方法实现 没获得到锁就立刻失败:
ReentrantLock lock = new ReentrantLock();
Thread t1 = new Thread(() -> {
log.debug("启动...");
if (!lock.tryLock()) { // trylock尝试获取锁
log.debug("获取立刻失败,返回");
return;
}
try {
log.debug("获得了锁");
} finally {
lock.unlock();
}
}, "t1");
lock.lock();
log.debug("获得了锁");
t1.start();
try {
Thread.sleep(2000);
} finally {
lock.unlock();
}
超时失败实现:
lock.tryLock(1, TimeUnit.SECONDS)
ReentrantLock 默认是不公平的。根据构造参数可以设置为公平锁:
ReentrantLock lock = new ReentrantLock(true);
synchronized 中也有条件变量,就是我们讲原理时那个 waitSet 休息室,当条件不满足时进入 waitSet 等待
ReentrantLock 的条件变量比 synchronized 强大之处在于,它是支持多个条件变量的,不同在于:
使用要点:
使用方式:
通过 lock.newCondtition()
的方法创建一个新的条件变量对象:
@Slf4j(topic = "c.d12_TestConditionLock")
public class d12_TestConditionLock {
static ReentrantLock lock = new ReentrantLock();
public static void main(String[] args) throws InterruptedException {
Condition condition1 = lock.newCondition();
Condition condition2 = lock.newCondition();
lock.lock();
// 进入条件1(休息室1)等待
condition1.await();
// 叫醒休息室1中的线程:
condition1.signal();
condition1.signalAll();
}
}