Java线程状态之RUNNABLE

2019独角兽企业重金招聘Python工程师标准>>>

在上一篇我们粗略谈到了 Java 的6种线程状态&＃xff0c;并对其中较为简单的 NEW 和 TERMINATED 做了分析&＃xff0c;现在我们具体来看下 State.RUNNABLE 状态&＃xff0c;即所谓的可运行状态。&＃xff08;以下简称 runnable&＃xff09;

再次强调&＃xff0c;这里谈论的是Java虚拟机层面所暴露给我们的状态&＃xff0c;与操作系统底层的线程状态是两个不同层面的事。

具体而言&＃xff0c;这里说的 Java 线程状态均来自于 Thread 类下的 State 这一内部枚举类中所定义的状态&＃xff1a;

什么是 RUNNABLE&＃xff1f;

直接看它的 Javadoc 中的说明&＃xff1a;

一个在 JVM 中执行的线程处于这一状态中。&＃xff08;A thread executing in the Java virtual machine is in this state.&＃xff09;

而传统的进&＃xff08;线&＃xff09;程状态一般划分如下&＃xff1a;

注&＃xff1a;这里的进程指早期的单线程进程&＃xff0c;这里所谓进程状态实质就是线程状态。

那么 runnable 与图中的 ready 与 running 区别在哪呢&＃xff1f;

与传统的ready状态的区别

更具体点&＃xff0c;javadoc 中是这样说的&＃xff1a;

处于 runnable 状态下的线程正在 Java 虚拟机中执行&＃xff0c;但它可能正在等待来自于操作系统的其它资源&＃xff0c;比如处理器。

A thread in the runnable state is executing in the Java virtual machine but it may be waiting for other resources from the operating system such as processor.

显然&＃xff0c;runnable 状态实质上是包括了 ready 状态的。

甚至还可能有包括上图中的 waiting 状态的部分细分状态&＃xff0c;在后面我们将会看到这一点。

与传统的running状态的区别

有人常觉得 Java 线程状态中还少了个 running 状态&＃xff0c;这其实是把两个不同层面的状态混淆了。对 Java 线程状态而言&＃xff0c;不存在所谓的running 状态&＃xff0c;它的 runnable 状态包含了 running 状态。

我们可能会问&＃xff0c;为何 JVM 中没有去区分这两种状态呢&＃xff1f;

现在的时分&＃xff08;time-sharing&＃xff09;多任务&＃xff08;multi-task&＃xff09;操作系统架构通常都是用所谓的“时间分片&＃xff08;time quantum or time slice&＃xff09;”方式进行抢占式&＃xff08;preemptive&＃xff09;轮转调度&＃xff08;round-robin式&＃xff09;。

更复杂的可能还会加入优先级&＃xff08;priority&＃xff09;的机制。

这个时间分片通常是很小的&＃xff0c;一个线程一次最多只能在 cpu 上运行比如10-20ms 的时间&＃xff08;此时处于 running 状态&＃xff09;&＃xff0c;也即大概只有0.01秒这一量级&＃xff0c;时间片用后就要被切换下来放入调度队列的末尾等待再次调度。&＃xff08;也即回到 ready 状态&＃xff09;

注&＃xff1a;如果期间进行了 I/O 的操作还会导致提前释放时间分片&＃xff0c;并进入等待队列。

又或者是时间分片没有用完就被抢占&＃xff0c;这时也是回到 ready 状态。

这一切换的过程称为线程的上下文切换&＃xff08;context switch&＃xff09;&＃xff0c;当然 cpu 不是简单地把线程踢开就完了&＃xff0c;还需要把被相应的执行状态保存到内存中以便后续的恢复执行。

显然&＃xff0c;10-20ms 对人而言是很快的&＃xff0c;

不计切换开销&＃xff08;每次在1ms 以内&＃xff09;&＃xff0c;相当于1秒内有50-100次切换。事实上时间片经常没用完&＃xff0c;线程就因为各种原因被中断&＃xff0c;实际发生的切换次数还会更多。

也这正是单核 CPU 上实现所谓的“并发&＃xff08;concurrent&＃xff09;”的基本原理&＃xff0c;但其实是快速切换所带来的假象&＃xff0c;这有点类似一个手脚非常快的杂耍演员可以让好多个球同时在空中运转那般。

时间分片也是可配置的&＃xff0c;如果不追求在多个线程间很快的响应&＃xff0c;也可以把这个时间配置得大一点&＃xff0c;以减少切换带来的开销。

如果是多核CPU&＃xff0c;才有可能实现真正意义上的并发&＃xff0c;这种情况通常也叫并行&＃xff08;pararell&＃xff09;&＃xff0c;不过你可能也会看到这两词会被混着用&＃xff0c;这里就不去纠结它们的区别了。

通常&＃xff0c;Java的线程状态是服务于监控的&＃xff0c;如果线程切换得是如此之快&＃xff0c;那么区分 ready 与 running 就没什么太大意义了。

当你看到监控上显示是 running 时&＃xff0c;对应的线程可能早就被切换下去了&＃xff0c;甚至又再次地切换了上来&＃xff0c;也许你只能看到 ready 与 running 两个状态在快速地闪烁。

当然&＃xff0c;对于精确的性能评估而言&＃xff0c;获得准确的 running 时间是有必要的。

现今主流的 JVM 实现都把 Java 线程一一映射到操作系统底层的线程上&＃xff0c;把调度委托给了操作系统&＃xff0c;我们在虚拟机层面看到的状态实质是对底层状态的映射及包装。JVM 本身没有做什么实质的调度&＃xff0c;把底层的 ready 及 running 状态映射上来也没多大意义&＃xff0c;因此&＃xff0c;统一成为runnable 状态是不错的选择。

我们将看到&＃xff0c;Java 线程状态的改变通常只与自身显式引入的机制有关。

当I/O阻塞时

我们知道传统的I/O都是阻塞式&＃xff08;blocked&＃xff09;的&＃xff0c;原因是I/O操作比起cpu来实在是太慢了&＃xff0c;可能差到好几个数量级都说不定。如果让 cpu 去等I/O 的操作&＃xff0c;很可能时间片都用完了&＃xff0c;I/O 操作还没完成呢&＃xff0c;不管怎样&＃xff0c;它会导致 cpu 的利用率极低。

所以&＃xff0c;解决办法就是&＃xff1a;一旦线程中执行到 I/O 有关的代码&＃xff0c;相应线程立马被切走&＃xff0c;然后调度 ready 队列中另一个线程来运行。

这时执行了 I/O 的线程就不再运行&＃xff0c;即所谓的被阻塞了。它也不会被放到调度队列中去&＃xff0c;因为很可能再次调度到它时&＃xff0c;I/O 可能仍没有完成。

线程会被放到所谓的等待队列中&＃xff0c;处于上图中的 waiting 状态&＃xff1a;

当然了&＃xff0c;我们所谓阻塞只是指这段时间 cpu 暂时不会理它了&＃xff0c;但另一个部件比如硬盘则在努力地为它服务。cpu 与硬盘间是并发的。如果把线程视作为一个 job&＃xff0c;这一 job 由 cpu 与硬盘交替协作完成&＃xff0c;当在 cpu 上是 waiting 时&＃xff0c;在硬盘上却处于 running&＃xff0c;只是我们在操作系统层面讨论线程状态时通常是围绕着 cpu 这一中心去述说的。

而当 I/O 完成时&＃xff0c;则用一种叫中断&＃xff08;interrupt&＃xff09;的机制来通知 cpu&＃xff1a;

也即所谓的“中断驱动&＃xff08;interrupt-driven&＃xff09;”&＃xff0c;现代操作系统基本都采用这一机制。

某种意义上&＃xff0c;这也是控制反转&＃xff08;IoC&＃xff09;机制的一种体现&＃xff0c;cpu不用反复去询问硬盘&＃xff0c;这也是所谓的“好莱坞原则”—Don’t call us, we will call you.好莱坞的经纪人经常对演员们说&＃xff1a;“别打电话给我&＃xff0c;&＃xff08;有戏时&＃xff09;我们会打电话给你。”

在这里&＃xff0c;硬盘与 cpu 的互动机制也是类似&＃xff0c;硬盘对 cpu 说&＃xff1a;”别老来问我 IO 做完了没有&＃xff0c;完了我自然会通知你的“

当然了&＃xff0c;cpu 还是要不断地检查中断&＃xff0c;就好比演员们也要时刻注意接听电话&＃xff0c;不过这总好过不断主动去询问&＃xff0c;毕竟绝大多数的询问都将是徒劳的。

cpu 会收到一个比如说来自硬盘的中断信号&＃xff0c;并进入中断处理例程&＃xff0c;手头正在执行的线程因此被打断&＃xff0c;回到 ready 队列。而先前因 I/O 而waiting 的线程随着 I/O 的完成也再次回到 ready 队列&＃xff0c;这时 cpu 可能会选择它来执行。

另一方面&＃xff0c;所谓的时间分片轮转本质上也是由一个定时器定时中断来驱动的&＃xff0c;可以使线程从 running 回到 ready 状态&＃xff1a;

比如设置一个10ms 的倒计时&＃xff0c;时间一到就发一个中断&＃xff0c;好像大限已到一样&＃xff0c;然后重置倒计时&＃xff0c;如此循环。

与 cpu 正打得火热的线程可能不情愿听到这一中断信号&＃xff0c;因为它意味着这一次与 cpu 缠绵的时间又要到头了......奴为出来难&＃xff0c;何日君再来&＃xff1f;

现在我们再看一下 Java 中定义的线程状态&＃xff0c;嘿&＃xff0c;它也有 BLOCKED&＃xff08;阻塞&＃xff09;&＃xff0c;也有 WAITING&＃xff08;等待&＃xff09;&＃xff0c;甚至它还更细&＃xff0c;还有TIMED_WAITING&＃xff1a;

现在问题来了&＃xff0c;进行阻塞式 I/O 操作时&＃xff0c;Java 的线程状态究竟是什么&＃xff1f;是 BLOCKED&＃xff1f;还是 WAITING&＃xff1f;

可能你已经猜到&＃xff0c;既然放到 RUNNABLE 这一主题下讨论&＃xff0c;其实状态还是 RUNNABLE。我们也可以通过一些测试来验证这一点&＃xff1a;

&＃64;Test public void testInBlockedIOState() throws InterruptedException {Scanner in &＃61; new Scanner(System.in);// 创建一个名为“输入输出”的线程tThread t &＃61; new Thread(new Runnable() {&＃64;Overridepublic void run() {try {// 命令行中的阻塞读String input &＃61; in.nextLine();System.out.println(input);} catch (Exception e) {e.printStackTrace();} finally {IOUtils.closeQuietly(in);}}}, "输入输出"); // 线程的名字// 启动t.start();// 确保run已经得到执行Thread.sleep(100);// 状态为RUNNABLEassertThat(t.getState()).isEqualTo(Thread.State.RUNNABLE); }

在最后的语句上加一断点&＃xff0c;监控上也反映了这一点&＃xff1a;

关于监控&＃xff0c;可见上一篇中的介绍。

网络阻塞时同理&＃xff0c;比如socket.accept&＃xff0c;我们说这是一个“阻塞式(blocked)”式方法&＃xff0c;但线程状态还是 RUNNABLE。

&＃64;Test public void testBlockedSocketState() throws Exception {Thread serverThread &＃61; new Thread(new Runnable() {&＃64;Overridepublic void run() {ServerSocket serverSocket &＃61; null;try {serverSocket &＃61; new ServerSocket(10086);while (true) {// 阻塞的accept方法Socket socket &＃61; serverSocket.accept();// TODO}} catch (IOException e) {e.printStackTrace();} finally {try {serverSocket.close();} catch (IOException e) {e.printStackTrace();}}}}, "socket线程"); // 线程的名字serverThread.start();// 确保run已经得到执行Thread.sleep(500);// 状态为RUNNABLEassertThat(serverThread.getState()).isEqualTo(Thread.State.RUNNABLE);}

监控显示&＃xff1a;