详解Java中的线程模型与线程调度

JAVA线程模型

线程的实现主要有3种方式:

  • 使用内核线程实现(1:1)
  • 使用用户线程实现(1:N)
  • 使用用户线程加轻量级进程实现(N:M)

使用内核线程实现(Kernel-Level Thread, KLT)(1:1)

内核线程就是直接由操作系统内核支持的线程,这种线程由内核来完成线程的切换,内核通过操作调度器对线程进行调度,并负责将线程的任务映射到各个处理器上。

程序一般不会直接去使用内核,而是去使用线程的一种高级接口——轻量级进程(Light Weight Process,LWP),轻量级进程就是我们通常意义上的线程,由于每个轻量级进程都是由一个内核线程支持的,因此只有先支持内核线程,才能有轻量级进程。这种轻量级进程与内核线程直接1:1的关系称为一对一线程模型。

详解Java中的线程模型与线程调度_第1张图片

优点:

实现简单

缺点:

  • 线程的各种操作都需要系统调度,需要在用户态和内核态中来回切换,系统调用的代价相对较高;
  • 其次,每个轻量级继承都需要一个内核线程来支持,因此轻量级进程要消耗一定的内核资源,一个系统支持的轻量级进程数量有限,如果系统出现大量线程,会对系统性能有影响;

使用用户线程实现 (1:N)

广义上来说,一个线程只要不是内核线程,就可以认为是用户线程(User Thread,UT),从这个角度来看,轻量级进程也就是用户线程,但是轻量级进程始终是和内核线程有关系的,效率终究会受到限制。

狭义上来说,用户线程指的是完全建立在用户空间的线程库上,系统内核不能感知到线程存在的实现。用户线程的建立、同步、调度和销毁完全在用户态完成,不需要内核的帮助。这种线程不需要切换到内核态,所以可以是非常快速且低消耗的,也可以支持更大规模的线程数量。这种进程与用户线程之间1:N的关系称为一对多线程模型。

优点:

不需要系统内核线程的支持,用户线程的很多操作对内核来说都是透明的,不需要用户态和内核态的频繁切换,使线程的创建、调度、同步等非常快;

缺点:

  • 需要用户程序自己处理线程的所有操作,JAVA曾经使用过用户线程,最终放弃使用。
  • 由于多个用户线程对应到同一个内核线程,如果其中一个用户线程阻塞,那么该其他用户线程也无法执行;
  • 内核并不知道用户态有哪些线程,无法像内核线程一样实现较完整的调度、优先级等;

使用用户线程加轻量级进程实现 N:M)

将内核线程与用户线程一起使用的组合方式,为N:M的关系,这种就是多对多线程模型。

详解Java中的线程模型与线程调度_第2张图片

优点:

  • 兼具多对一模型的轻量;
  • 由于对应了多个内核线程,则一个用户线程阻塞时,其他用户线程仍然可以执行;
  • 由于对应了多个内核线程,则可以实现较完整的调度、优先级等;

缺点:

实现复杂
Go语言中的goroutine调度器就是采用的这种实现方案

JAVA线程的实现

在JDK1.2之前,JAVA线程是基于称为“绿色线程(Green Thread)”的用户线程来实现的,而在JDK1.2中,线程模型替换为基于操作系统原生线程模型来实现的。

在目前的JDK版本中,操作系统支持怎样的线程模型,很大程度上决定了JAVA虚拟机的线程是怎样映射的,在不同的平台上实现可能是不一样的,线程模型只对线程的并发规模和操作成本产生影响,对JAVA程序的编码和运行过程来说,差异都是透明的。

对于Sun JDK 来说,它的Windows版本和 Linux 版本都是使用的一对一线程模型来实现的,即一条线程就映射到一条轻量级进程中,因为 Windows 系统和 Linux 系统提供的线程模型都是一对一的。

JAVA线程调度

线程调度是说系统为线程分配处理器使用权的过程。主要的调度方式有两种:

1.协同式线程调度

线程的执行时间是由线程本身控制的,线程工作执行完成之后,需要主动通知系统切换到另一个线程上。Lua 语言中的“协同例程”就是这类实现。

好处:实现简单

缺点:线程执行时间不可控,可能会一直阻塞,导致系统崩溃

2.抢占式线程调度

每个线程由系统来分配执行时间,线程的切换不由线程本身来决定(在JAVA中,Thread.yield() 可以主动让出CPU使用权,但要获取,线程本身是没有任何办法的)

优点:线程的执行时间系统可控,不会有一个线程阻塞而导致整个进程阻塞

JAVA 使用的是抢占式调度方式

JAVA线程状态

JAVA 定义了5种线程状态,在任意一个时间点上,线程有且只能有一个状态;5个状态分别如下:

1.新建(New)
创建后尚未启动的线程所处的状态
2.运行(Runable)
Runable 包括了操作系统线程状态的Running 和 Ready,也就是处于此状态的 JAVA 线程可能正在运行,也有可能正在等待分配CPU时间片
3.无限期等待(Waiting)
处于这种状态的线程不会被分配CPU 时间片,需要等待被其他线程显式地唤醒。
以下方法会让线程进入到无限期等待:

  • 调用没有设置 timeout 参数的 Object.wait() 方法
  • 调用没有设置 timeout 参数的 Thread.join() 方法
  • 调用LockSuport.park() 方法

4.有限期等待(Timed Waiting)
处于这种状态的线程也不会被分配CPU 时间片,但是不需要其他线程显式地唤醒,而是等待一定时间后会由系统自动唤醒
以下方法会让线程进入到有限期等待:

  • Thread.sleep() 方法
  • 调用设置了 timeout 参数的 Object.wait() 方法
  • 调用设置了 timeout 参数的 Thread.join() 方法
  • 调用LockSuport.parkNanos(long nanos) 方法
  • 调用LockSuport.parkUntil(long deadline) 方法

5.阻塞(Blocked)
线程被阻塞了,“阻塞状态”与“等待状态”的区别是: 阻塞状态在等待获取一个排它锁;等待状态则是在等待一段时间,或者唤醒动作的发生。在使用了 synchronized 等同步语句时会进入这种状态。
6.结束(Terminated)
终止线程的线程状态,线程已完成执行。

以上就是详解Java中的线程模型与线程调度的详细内容,更多关于Java 线程模型与线程调度的资料请关注脚本之家其它相关文章!

你可能感兴趣的:(详解Java中的线程模型与线程调度)