线程中callable原理(堵塞)

首先看一段代码

package com.choi.java.thread;

import java.util.Random;
import java.util.concurrent.Callable;
import java.util.concurrent.ExecutionException;
import java.util.concurrent.FutureTask;

public class TestThread implements Callable {

	@Override
	public Integer call() throws Exception {
		Thread.sleep(2000);
		return new Random().nextInt(10);
	}

	public static void main(String []main) throws InterruptedException, ExecutionException{
		TestThread tt = new TestThread();
		
		FutureTask fTask = new FutureTask(tt);
		Thread t = new Thread(fTask);
		t.start();
		
		System.out.println("0000");
		
		Integer i =fTask.get();  //这里会发生堵塞
		System.out.println(i);
	}
	
}

在这个TestThread线程中,call()方法里加入了一个Thread.sleep(2000),让它休眠2秒。执行的结果如下:

线程中callable原理(堵塞)_第1张图片

这里发生了一个堵塞的情况,那么堵塞发生在什么位置呢?

首先,输出的结果是先输出“0000”,那么在System.out.println("0000")这段代码之前,是没有发生堵塞的。

真正发生堵塞情况的代码是:Integer i = fTask.get();这里

该线程是通过实现callable接口进行创建的,FutureTask这个类就是callable中最重要的一个类,那么我们来看一下它的源码

线程中callable原理(堵塞)_第2张图片

这是FutureTask的构造器,这里传进了一个callable对象。state是FutureTask类下定义的属性,用于记录线程状态的,如下图

线程中callable原理(堵塞)_第3张图片

NEW,COMPLETING,NORMAL,EXCEPTIONAL(线程出现异常),CANCELLED(线程被取消),INTERRUPTING(线程被打断),INTERRUPTED(线程被打断)这7个静态全局变量分别表示的就是state的值

线程中callable原理(堵塞)_第4张图片

outcome属性表示的是接收方法的返回值

 

线程中被调用start方法,实际上调用的是FutureTask中的run方法

线程中callable原理(堵塞)_第5张图片

在这个run方法中,调用了call方法,这里的call方法就是线程中我们定义的,这里将call方法中返回的值赋给了result,这里还没有把值赋给outcome。此时status的值为NEW,也就是0。随后调用set方法,并且将result值传过去。

线程中callable原理(堵塞)_第6张图片

在这里set方法中,线程的状态status值由NEW变为了COMPLETING(0——>1),并且将值赋给了outcome。

当我们使用get方法获取值时,又发生了什么呢?

我们来看下源码先

线程中callable原理(堵塞)_第7张图片

这里get方法中会先判断status的值先,如果status的值小于等于COMPLETING,那么它将走入awaitDone方法中

线程中callable原理(堵塞)_第8张图片

此时我们status的值为COMPLETING,当status的值大于COMPLETING时,返回status回get方法中。此时status的值已经为NORMAL

然后执行report方法,进行判断,等于NORMAL则返回。

线程中callable原理(堵塞)_第9张图片

所以,在这个堵塞的发生是发生在线程状态由COMPLETING变为NORMAL这个过程中的。

 

 

 

你可能感兴趣的:(Java并发)