专栏首页程序通事面试官:都说阻塞 I/O 模型将会使线程休眠,为什么 Java 线程状态却是 RUNNABLE?

面试官:都说阻塞 I/O 模型将会使线程休眠,为什么 Java 线程状态却是 RUNNABLE?

摘要: 原创出处 https://studyidea.cn 「公众号:程序通事 」欢迎关注和转载,保留摘要,谢谢!

使用 Java 阻塞 I/O 模型读取数据,将会导致线程阻塞,线程将会进入休眠,从而让出 CPU 的执行权,直到数据读取完成。这个期间如果使用 jstack 查看线程状态,却可以发现Java 线程状态是处于 RUNNABLE,这就和上面说的存在矛盾,为什么会这样?

上面的矛盾其实是混淆了操作系统线程状态与 Java 线程状态。这里说的线程阻塞进入休眠状态,其实是操作系统层面线程实际状态。而我们使用 jstack 查看的线程状态却是 JVM 中的线程状态。

线程是操作系统中一种概念,Java 对其进行了封装,Java 线程本质上就是操作系统的中线程,其状态与操作系统的状态大致相同,但还是存在一些区别。

下面首先来看我们熟悉的 Java 线程状态。

Java 线程状态

Java 线程状态定义在 Thread.State 枚举中,使用 thread#getState 方法可以获取当前线程的状态。

Thread.State 状态如下图

可以看到 Java 线程总共存在 6 中状态,分别为:

  • NEW(初始状态)
  • RUNNABLE(运行状态)
  • BLOCKED(阻塞状态)
  • WATTING(等待状态)
  • TIMED_WAITING(限时等待状态)
  • TERMINATED(终止状态)

NEW(初始状态)与 RUNNABLE(运行状态)

每个使用 new Thread() 刚创建出线程实例状态处于 NEW 状态,一旦调用 thread.start(),线程状态将会变成 RUNNABLE

RUNNABLE(运行状态) 与 BLOCKED(阻塞状态)

RUNNABLE 状态的线程在进入由 synchronized修饰的方法或代码块前将会尝试获取一把隐式的排他锁,一旦获取不到,线程状态将会变成 BLOCKED,等待获取锁。一旦有其他线程释放这把锁,线程成功抢到该锁,线程状态就将会从 BLOCKED 转变为 RUNNABLE 状态。

RUNNABLE(运行状态) 与 WATTING(等待状态)

处于 WATTING 状态的线程将会一直处于无限期的等待状态,需要等待其他线程唤醒。总共存在三种方法将会使线程从 RUNNABLE 变成 WATTING

  1. Object#wait

线程在获取到 synchronized 隐式锁后,显示的调用 Object#wait()方法。这种情况下该线程将会让出隐式锁,一旦其他线程获取到该锁,且调用了 Object.notify()object.notifyAll(),线程将会唤醒,然后变成 RUNNABLE

  1. Thread#join

join方法是一种线程同步方法。假设我们在 main 方法中执行 Thread A.join() 方法,main 线程状态就会变成 WATTING。直到 A 线程执行完毕,main 线程才会再变成 RUNNABLE

  1. LockSupport#park()

LockSupport 是 JDK 并发包里重要对象,很多锁的实现都依靠该对象。一旦调用 LockSupport#park(),线程就将会变为 WATTING 状态。如果需要唤醒线程就需要调用 LockSupport#unpark,然后线程状态重新变为 RUNNABLE

RUNNABLE(运行状态) 与 TIMED_WAITING(限时等待状态)

TIMED_WAITINGWATTING 功能一样,只不过前者增加限时等待的功能,一旦等待时间超时,线程状态自动变为 RUNNABLE。以下几种情况将会触发这种状态:

  1. Thread#sleep(long millis)
  2. 占有 synchronized 隐式锁的线程调用 Object.wait (long timeout) 方法
  3. Thread#join (long millis)
  4. LockSupport#parkNanos (Object blocker, long deadline)
  5. LockSupport#parkUntil (long deadline)

RUNNABLE(运行状态)与 TERMINATED(终止状态)

线程一旦执行结束或者线程执行过程发生异常且未正常捕获处理,状态都将会自动变成 TERMINATED

Java 线程 6 种状态看起来挺复杂的,但其实上面 BLOCKEDWATTINGTIMED_WAITING,都会使线程处于休眠状态,所以我们将这三类都归类为休眠状态。这么分类的话,Java 线程生命周期就可以简化为下图:

通用操作系统线程状态

上面讲完 Java 系统的线程状态,我们来看下通用操作系统的线程状态。操作系统线程状态可以分为初始状态,可运行状态,运行状态,休眠状态以及终止状态,如下图:

这 5 中状态详细情况如下:

  1. 初始状态,这时候线程刚被创建,还不能分配 CPU 。
  2. 可运行状态,线程等待系统分配 CPU ,从而执行任务。
  3. 运行状态,操作系统将 CPU 分配给线程,线程执行任务。
  4. 休眠状态,运行状态下的线程如果调用阻塞 API,如阻塞方式读取文件, 线程状态就将变成休眠状态。这种情况下,线程将会让出 CPU 使用权。休眠结束,线程状态将会先变成可运行状态。
  5. 线程执行结束或者执行过程发生异常将会使线程进入终止状态,这个状态下线程使命已经结束。

对比两者线程状态

比较 Java 线程与操作系统线程,可以发现 Java 线程状态没有可运行状态。也就是说 Java 线程 RUNNABLE 状态包括了操作系统的可运行状态与运行状态。一个处于 RUNNABLE 状态 Java 线程,在操作系统层面状态可能为可运行状态,正在等待系统分配 CPU 使用权。

另外 Java 线程细分了操作系统休眠状态,分成了 BLOCKEDWATTINGTIMED_WAITING 三种。

当线程调用阻塞式 API,线程进入休眠状态,这里指的是操作系统层面的。从 JVM 层面,Java 线程状态依然处于 RUNNABLE 状态。JVM 并不关心操作系统线程实际状态。从 JVM 看来等待 CPU 使用权(操作系统线程状态为可运行状态)与等待 I/O (操作系统线程状态处于休眠状态)没有区别,都是在等待某种资源,所以都归入 RUNNABLE 状态。

其他 Java 线程状态与操作线程状态类似。

面试官:都说阻塞 I/O 模型将会使线程休眠,为什么 Java 线程状态却是 RUNNABLE?

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

我来说两句

0 条评论
登录 后参与评论

相关文章

  • Dart语言基础语法(一)

    谷歌推出Flutter跨平台UI框架后,对移动端的开发又产生了新的影响,Flutter采用Dart语言开发,而Flutter为什么选择Dart语言作为唯一的开发...

    arcticfox
  • Dart语言进阶语法(二)

    Dart中的类与Java中的相似,不同的是,Dart中没有private、public这些成员访问修饰符。如果是类私有的成员,不希望外面访问,只需要在成员变量之...

    arcticfox
  • 抽象语法树分析寻找FastJSON的Gadgets

    在计算机科学中,抽象语法树是源代码语法结构的一种抽象表示,它以树状的形式表现编程语言的语法结构,树上的每个节点都对应为源代码中的一种语法结构。抽象语法树可以说是...

    FB客服
  • 消灭 Java 代码的“坏味道”

    代码中的"坏味道",如"私欲"如"灰尘",每天都在增加,一日不去清除,便会越累越多。如果用功去清除这些"坏味道",不仅能提高自己的编码水平,也能使代码变得"精白...

    heidsoft
  • Java 并发编程(二):线程安全性

    线程安全性是我们在进行 Java 并发编程的时候必须要先考虑清楚的一个问题。这个类在单线程环境下是没有问题的,那么我们就能确保它在多线程并发的情况下表现出正确的...

    沉默王二
  • 求求你,不要更新了 | JDK 13:5 大新特性首发,等你来看

    了解这个特性之前,需要先了解一下跟它有很大关联的特性JEP310:Application Class-Data Sharing,简称AppCDS。这个特性简介就...

    芋道源码
  • IDEA 代码生成插件 CodeMaker

    Java 开发过程中经常会遇到编写重复代码的事情,例如说:编写领域类和持久类的时候,大部分时候它们的变量名称,类型是一样的,在编写领域类的时候常常要重复写类似的...

    芋道源码
  • C#2.0新增功能05 迭代器

      迭代器方法或 get 访问器可对集合执行自定义迭代。 迭代器方法使用 yield return 语句返回元素,每次返回一个。 到达 yield return...

    张传宁老师
  • C#6.0 新增功能

    C# 6.0 版本包含许多可提高开发人员工作效率的功能。 这些功能的总体效果是让你编写的代码更简洁、更具可读性。 该语法不像许多常见做法那样繁琐。 可以更轻松地...

    张传宁老师
  • C#2.0新增功能02 泛型

      C# 语言和公共语言运行时 (CLR) 的 2.0 版本中添加了泛型。 泛型将类型参数的概念引入 .NET Framework,这样就可以设计具有以下特征的...

    张传宁老师

扫码关注云+社区

领取腾讯云代金券