请参看前一篇文章：Java 并发学习笔记（一）——原子性、可见性、有序性问题
六、等待—通知机制
什么是等待通知—机制？当线程不满足某个条件，则进入等待状态；如果线程满足要求的某个条件后，则通知等待的线程重新执行。
等待通知机制的流程一般是这样的：线程首先获取互斥锁，当不满足某个条件的时候，释放互斥锁，并进入这个条件的等待队列；一直等到满足了这个条件之后，通知等待的线程，并且需要重新获取互斥锁。
1. 等待-通知机制的简单实现
等待-通知机制可以使用 Java 的 synchronized 关键字，配合 wait()、notify()、notifyAll() 这个三个方法来实现。
前面说到的解决死锁问题的那个例子，一次性申请所有的资源，使用的是循环等待，这在并发量很大的时候比较消耗 CPU 资源。
现在使用等待-通知机制进行优化：
final class Monitor {
private List<Object> res = new ArrayList<>(2);
/**
* 一次性申请资源
*/
public synchronized void apply(Object resource1, Object resource2) {
while (res.contains(resource1) || res.contains(resource2)){
try {
//条件不满足则进入等待队列
this.wait();
} catch (InterruptedException e) {
e.printStackTrace();
}
}
res.add(resource1);
res.add(resource2);
}
/**
* 归还资源
*/
public synchronized void free(Object resource1, Object resource2){
res.remove(resource1);
res.remove(resource2);
//释放资源之后，通知等待的线程开始执行
this.notifyAll();
}
}
2. 需要注意的地方
-
每个互斥锁都有相应的等待队列，例如上面的例子，就存在两个等待队列，一是 synchronized 入口等待队列，二是 while 循环这个条件的等待队列。
-
调用 wait() 方法，会使当前线程释放持有的锁，并进入这个条件的等待队列。满足条件之后，队列中的线程被唤醒，不是马上执行，而是需要重新获取互斥锁。例如上图中，if 条件的队列中的线程被唤醒后，需要重新进入 synchronized 处获取互斥锁。
3. wait 和 sleep 的区别
相同点：两个方法都会让渡 CPU 的使用权，等待再次被调度。
不同点：
- wait 属于 Object 的方法，sleep 是 Thread 的方法
- wait 只能在同步方法或同步块中调用，sleep 可以在任何地方调用
- wait 会释放线程持有的锁，sleep 不会释放锁资源
七、管程理论
1. 什么是管程？
指的是对共享变量和对共享变量的操作的管理，使其支持并发，对应到 Java，指的是管理类的成员变量和方法，让这个类是线程安全的。
2. 管程模型
管程主要的模型有 Hasen、Hoare、MESA ，其中 MESA 最常用。管程的 MESA 模型主要解决的是线程的互斥和同步问题，和上面说到的等待-通知机制十分类似。示意图如下：
首先看看管程是如何实现互斥的？在管程的入口有一个等待队列，一次只允许一个线程进入管程。每个条件对应一个等待队列，当线程不满足条件的时候，进入对应的等待队列；当条件满足的时候，队列中的线程被唤醒，重新进入到入口处的等待队列获取互斥锁，这就实现了线程的同步问题。
3. 管程的最佳实践
接下来使用代码实现了一个简单的阻塞队列，这就是一个很典型的管程模型，解决了线程互斥和同步问题。
public class BlockingQueue<T> {
private int capacity;
private int size;
private final Lock lock = new ReentrantLock();
private final Condition notFull = lock.newCondition();
private final Condition notEmpty = lock.newCondition();
/**
* 入队列
*/
public void enqueue(T data){
lock.lock();
try {
//如果队列满了，需要等待，直到队列不满
while (size >= capacity){
notFull.await();
}
//入队代码，省略
//入队之后，通知队列已经不为空了
notEmpty.signal();
} catch (InterruptedException e) {
e.printStackTrace();
} finally {
lock.unlock();
}
}
/**
* 出队列
*/
public T dequeue(){
lock.lock();
try {
//如果队列为空，需要等待，直到队列不为空
while (size <= 0){
notEmpty.await();
}
//出队代码，省略
//出队列之后，通知队列已经不满了
notFull.signal();
} catch (InterruptedException e) {
e.printStackTrace();
} finally {
lock.unlock();
}
//实际应该返回出队数据
return null;
}
}
八、Java 中的线程
1. 线程的生命周期
Java 中的线程共分为了 6 种状态，分别是：
- NEW（初始化状态）
- RUNNABLE（可运行/运行状态）
- BLOCKED（阻塞状态）
- WAITING（无限时等待）
- TIMED_WAITING（限时等待）
- TERMINATED（终止状态）
2. 线程状态转换
-
RUNNABLE 与 BLOCKED 状态的转换：在线程等待 synchronized 的锁时，会进入 BLOCKED 状态，当获取到锁之后，又转换到 RUNNABLE 状态。
-
RUNNABLE 与 WAITING 状态的转换：1) 线程获取到 synchronized 锁之后，并且调用了 wait() 方法。 2) 调用 Thread.join() 方法，例如线程 A 调用 join() 方法，线程 B 等待 A 执行完毕，等待期间 B 进入 WAITING 状态，线程 A 执行完后，线程 B 切换到 RUNNABLE 状态。3) 调用 LockSupport.park() 方法
-
RUNNABLE 与 TIMED_WAITING 状态的转换：以上三种情况，分别在方法中加上超时参数即可。另外还有两种情况：Thread.sleep(long millis) 方法，LockSupprt.parkNanos(Object blocker, long deadline)。
-
NEW 到 RUNNABLE 状态的转换：在 Java 中新创建的线程，会立即进入 NEW 状态，然后启动线程进入 RUNNABLE 状态。Java 中新建线程一般有三种方式：
-
继承 Thread 类
public class MyThread extends Thread { @Override public void run() { System.out.println("I am roseduan"); } public static void main(String[] args) { MyThread thread = new MyThread(); thread.start(); } } -
实现 Runnable 接口，并将其实现类传给 Thread 作为参数
public class MyThread { public static void main(String[] args) { Thread thread = new Thread(new Print()); thread.start(); } } class Print implements Runnable{ @Override public void run() { System.out.println("I am roseduan"); } } -
实现 Collable 接口，将其实现类传给线程池执行，并且可以获取返回结果
public class ThreadTest { public static void main(String[] args) throws InterruptedException { //线程池 BlockingQueue<Runnable> queue = new LinkedBlockingQueue<>(5); ThreadPoolExecutor threadPool = new ThreadPoolExecutor(5, 10, 1, TimeUnit.HOURS, queue); //执行 Future<?> submit = threadPool.submit(new Demo()); } } class Demo implements Callable<String> { @Override public String call() { System.out.println("I am roseduan"); return "I am roseduan"; } }
-
-
NEW 到 TERMINATED 状态的转换：线程执行完 run() 方法后，会自动切换到 TERMINATED 状态。如果手动中止线程，可以使用 interrupt() 方法。
3. 局部变量的线程安全性
局部变量存在于方法中，每个方法都有对应的调用栈帧，由于每个线程都有自己独立的方法调用栈，因此局部变量并没有被共享。所以即便多个线程同时调用同一个方法，方法内部的局部变量也是线程安全的，不需要单独加锁。
经极客时间《Java 并发编程实战》专栏内容学习整理
