重量级锁的加锁-等待-撤销流程
上述有三个队列,这些队列中的节点,都是线程包装成的 ObjectWaiter
在默认策略情况下:
1.entry_list 中的 节点是等待被唤醒的节点,持有重量级锁的线程执行 exit 方法(Java层面:退出上述 synchronized区或调用 wait()方法 会调用 (C++层面)exit方法),exit方法会唤醒 本队列的头节点(unpark),避免惊群
2.cxq_list 中的 节点是 获取锁失败后的线程的节点,exit 方法会检查 entry_list 是否为空,如果是空的,就会从 cxq_list 中拿 节点,放到 entry_list,放入顺序默认是 把 cxq_list 直接插到 entry_list 后面
3.wait_set 是调用 java 层面的 wait() 方法 的线程 该待的地方,需要注意的是 ,只有 notify 和 notifyAll 能够把 wait_set 中的节点 移入到 cxq_list (默认是把 cxq_list 插入到 wait_set 后面,wait_set 做为新的 cxq_list)
下面这个案例中,执行 a 的线程不会被唤醒。因为执行 b 的线程退出 sychronized 区只是 调用了 c++ 层面的 exit 方法,没有把 wait_set 中的 执行 a 的线程 放入到 cxq_list
调用 notify 和 notifyAll 方法 不会让 wait_set 里的线程 被 unpark ,只是让他们移入 cxq_list。
Runnable a = () -> { synchronized (lock) { System.out.println("working"); try { lock.wait(); } catch (InterruptedException e) { e.printStackTrace(); } System.out.println("finalize"); } }; Runnable b = () -> { synchronized (lock) { System.out.println("doSomething"); } System.out.println("done"); }; new Thread(a).start(); Thread.sleep(1000); new Thread(b).start();
默认的 cxq_list 进入 entry_list 的方式:
默认的 wait_set 节点进入 cxq_list 的方式(notifyAll)
默认的 wait_set 节点进入 cxq_list 的方式(notify)
也就是,如果有一个线程 a 先进入 synchronized , 但是调用了 wait,这是线程 b 进入了 synchronized,b还在synchronized中执行,c线程又进来了。
此时 a 在 wait_set ,b 不在任何队列,c 在 cxq_list ,假如 b 调用 notify,会把 a 插到 c 前面,也就是 b 退出synchronized的时候,会唤醒 a,a退出之后再唤醒 c
也就是 曾经获得过锁的线程 被唤醒后 优先得到锁