无论是工作还是面试中都会有人问起一个线程如何拿到另一个线程的执行结果或者主线程如何捕获其他线程抛出的异常。首先要知道的是正常情况下外部线程通过try catch是无法捕获其他线程抛出的异常的。这主要是因为线程和线程之间是独立的,他们有各自的栈空间,一个线程抛出的异常只在自己的栈空间中,不会被其他线程共享。
接下来先验证一下上面的结论:
public static void main(String[] args) throws Exception {
ThreadPoolExecutor threadPool = new ThreadPoolExecutor(
8,
200,
1,
TimeUnit.SECONDS,
new ArrayBlockingQueue<>(100)
);
try{
threadPool.execute(() -> {
System.out.println(1 / 0);
});
}catch (Exception e){
System.out.println("22222222");
}
}
运行结果是抛出异常,没有打印22222222,说明主线程无法捕获其他线程抛出的异常。那么有没有其他方式可以获取其他线程的执行结果或异常,完全可以。我们对上面的代码稍作修改,如下:
public static void main(String[] args) throws Exception {
ThreadPoolExecutor threadPool = new ThreadPoolExecutor(
8,
200,
1,
TimeUnit.SECONDS,
new ArrayBlockingQueue<>(100)
);
try{
Future<?> submit = threadPool.submit(() -> {
System.out.println(1 / 0);
});
submit.get();
}catch (Exception e){
System.out.println("22222222");
}
}
运行结果打印了22222222,说明主线程捕获了线程池抛出的异常。我们用Future.get就可以捕获到异常,原因在于get方法内部会抛出业务代码执行过程出现的异常。注意如果submit提交的任务,外部却没有用get方法获取则不会抛出异常,原因在于业务执行过程中抛出的异常会被futureTask捕获并封装到结果中,只有在调用其get方法才会抛出。所以通过线程池submit提交的任务,要想获取异常应该调用其get方法。相较之下execute没有这种苦恼,因为execute执行的任务不会被封装成FutureTask。
那么FutureTask如何能做到其他线程可以捕获我内部线程抛出的异常那?其实本质在于共享变量,FutureTask相当于多个线程之间共享的对象,堆内存中的对象自然能被多个线程共享。所以我们可以借鉴FutureTask思想实现获取其他线程执行结果。接下来看下面的代码:
public static void main(String[] args) throws Exception {
List<Exception> exceptions=new ArrayList<>();
ThreadPoolExecutor threadPool = new ThreadPoolExecutor(
8,
200,
1,
TimeUnit.SECONDS,
new ArrayBlockingQueue<>(100)
);
System.out.println(exceptions.size());
threadPool.execute(new TestRunnable(exceptions));
//保证线程池执行完毕
Thread.sleep(1000);
System.out.println(exceptions.size());
}
static class TestRunnable implements Runnable{
private List<Exception> exceptions;
public TestRunnable(List<Exception> exceptions){
this.exceptions=exceptions;
}
@Override
public void run() {
try{
int a=1/0;
}catch (Exception e){
exceptions.add(e);
}
}
}
执行结果是0 1。可以看到我们用一个共享集合exceptions存储线程池执行过程的异常,主线程等待其执行完毕就可以拿到相应的异常信息。但是不够优雅的地方在与等待的时间是不确定的,主线程无法预知子线程啥时候执行结束,所以FutureTask.get采用阻塞方式等待执行结果。当执行完毕会唤醒阻塞的线程,归根结底是采用线程通信的方式达到效果的。