java线程在虚拟机是如何实现的（线程生命周期详解）？

并发不一定依赖多线程（如PHP中很常见的多进程并发），但是java里面谈论并发，基本上都与线程脱不开关系。

java线程在虚拟机中是如何实现的？

线程的实现

线程是比进程更轻量级的调度执行单位，线程的引入，可以把一个进程的资源分配和执行调度分开，各个线程既可以共享进程资源（内存地址、文件I/O等），又可以独立调度。

目前线程是java里面进行处理器资源调度的最基本单位。

主流的操作系统都提供了线程实现，java语言则提供了在不同硬件和操作系统平台下对线程操作的统一处理，每个已经调用过start()方法且还未结束的java.lang.Thread类的实例就代表着一个线程。

Thread类与大部分的java类库API有着显著差别，它的所有关键方法都被声明为Native。

在java类库API中，一个Native方法往往就意味着这个方法没有使用或无法使用平台无关的手段来实现（当然也可能是为了执行效率而使用Native方法，不过通常最高效率的手段也就是平台相关的手段）。正因为这个原因，标题为“线程的实现”而不是“java线程的实现”。

实现线程主要有三种方式：

1. 使用内核线程实现（1:1实现）。
2. 使用用户线程实现（1:N实现）。
3. 使用用户线程加轻量级进程混合实现（N:M实现）。

内核线程实现

使用内核线程实现的方式也被称为1:1实现。

内核线程（Kernel-Level Thread,KLT）就是直接由操作系统内核（Kernel,下称内核）支持的线程，这种线程由内核来完成线程切换，内核通过操纵调度器（Scheduler）对线程进行调度，并负责将线程的任务映射到各个处理器上。每个内核线程可以视为内核的一个分身，这样操作系统就有能力同时处理多件事情，支持多线程的内核就称为多线程内核（Multi-Threads Kernel）。

程序一般不会直接使用内核线程，而是使用内核线程的一种高级接口-轻量级进程（Light Weight Process,LWP），轻量级进程就是我们通常意义上所讲的线程，由于每个轻量级进程都由一个内核线程支持，因此只有先支持内核线程，才能有轻量级进程。这种轻量级进程与内核线程之间1:1的关系称为一对一的线程模型。如下图所示：

内核线程实现

优点：
由于内核线程的支持，每个轻量级进程都成为一个独立的调度单元，即使其中某一个轻量级进程在系统调用中被阻塞了，也不会影响整个进程继续工作。

轻量级进程也具有它的局限性：

1. 由于是基于内核线程实现的，所以各种线程操作，如创建、析构及同步，都需要进行系统调用，而系统调用的代价相对较高，需要在用户态（User Mode）和内核态（Kernel Mode）中来回切换。
2. 每个轻量级进程都需要有一个内核线程的支持，因此轻量级进程要消耗一定的内核资源（如内核线程的栈空间），因此一个系统支持轻量级进程的数量是有限的。

用户线程实现

使用用户线程实现的方式被称为1:N实现。

广义上来讲，一个线程只要不是内核线程，都可以认为是用户线程（User Thread,UT）的一种，因此，从这个定义上看，轻量级进程也属于用户线程，但轻量级进程始终是建立在内核之上的，许多操作都要进行系统调用，因此效率会受到限制，并不具备通常意义上的用户线程的优点。

而侠义上的用户线程指的是完全建立在用户空间的线程库上，系统内核不能感知到用户线程的存在及如何实现的。

用户线程的建立、同步、销毁和调度完全在用户态中完成，不需要内核的帮助。 如果程序实现得当，这种线程不需要切换到内核态，因此操作可以是非常快速且低消耗的，也能够支持规模更大的线程数量，部分高性能数据库中的多线程就是由用户线程实现的。

这种进程与用户线程之间1:N的关系称为一对多的线程模型，如下图所示：

用户线程实现

优点：
不需要系统内核的支援。

缺点：

1. 没有系统内核的支援，所有的线程操作都需要由用户程序自己去处理。线程的创建、销毁、切换和调度都是用户必须考虑的问题。
2. 由于操作系统只把处理器资源分配到进程，诸如“阻塞如何处理”，“多处理器系统中如何将线程映射到其他处理器上”这类问题解决起来将会异常困难，甚至有些不可能实现。
3. 除非有明确需求，一般的应用程序都不倾向于使用用户线程。

混合实现

将内核线程与用户线程一起使用的实现方式，被称为N:M实现。

在这种混合实现下，既存在用户线程，也存在轻量级进程。用户线程还是完全建立在用户空间中，因此用户线程的创建、切换、析构等操作依然廉价，并且可以支持大规模的用户线程并发。而操作系统支持的轻量级进程则作为用户线程和内核线程之间的桥梁，这样可以使用内核提供的线程调度功能及处理器映射，并且用户线程的系统调用要通过轻量级进程来完成，这大大降低了整个进程被完全阻塞的风险。在这种混合模式下，用户线程与轻量级进程的数量比是不定的，是N:M的关系，多对多的线程模型，如下图所示：

混合实现

Java线程的实现

java线程的实现不受java虚拟机规范的约束

• 早期测Classic虚拟机（JDK1.2之前），是基于一种被称为“绿色线程（Green Thread）”的用户线程实现。
• 从JDK1.3起，“主流”平台上的“主流”商用java虚拟机的线程模型普遍都被替换为基于操作系统原生线程模型来实现，即采用1:1的线程模型。

以HotSpot为例，它的每一个线程都是直接映射到一个操作系统原生线程来实现的，而且中间没有额外的间接结构，所以HotSpot自己是不会去干涉线程调度的（可以设置线程优先级给操作系统提供调度建议），全权交给底下的操作系统去处理，所以何时冻结或唤醒线程、该给线程分配多少处理器执行时间、该把线程安排给哪个处理器核心去执行等，都是由操作系统完成的，也都是由操作系统全权决定的。

例外情况：

• CLDC-HI
  • 同时支持两种线程模型，默认使用1:N由用户线程实现的线程模型，所有java线程都映射到一个内核线程上。
  • 也可以使用另一种特殊的混合模型，java线程仍然全部映射到一个内核线程上，但当java线程要执行一个阻塞调用时，CLDC-HI会为该调用单独开一个内核线程，并且调度执行其他java线程，等到阻塞调用完成之后再重新调度之前的java线程继续执行。
• Solaris平台的HotSpot虚拟机
  • 同时支持1:1 和 N:M
  • 专有虚拟机参数：-XX:+UseLWPSynchronization(默认值)；-XX:UseBoundThreads

java线程调度

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

• 协同式（Cooperative Threads-Scheduling）
  • 线程执行时间由线程本身来控制
  • 线程工作执行完，主动通知系统切换到另外一个线程上去
  • 实现简单，切换操作对线程自己是可知的，一般没有线程同步的问题。
  • 线程执行时间不可控，一个线程代码编写有问题，一直不告知系统进行线程切换，程序会一直阻塞在那里。
  • 不稳定，只要有一个进程坚持不让出处理器执行时间，就可能导致整个系统崩溃。
• 抢占式（Preemptive Threads-Scheduling）
  • 每个线程将由系统来分配时间，线程的切换不由线程本身来决定。
  • Thread.yield()方法可以主动让出执行时间，但是线程如果想要主动获取执行时间，线程本身是没有什么办法的。
  • 线程的执行时间是系统可控，不会有一个线程导致整个进程甚至整个系统阻塞的问题。
  • java使用的线程调度方式就是抢占式调度。

虽然java线程调度是系统自动完成的，但是我们仍然可以“建议”操作系统给某些线程多分配一点执行时间，另外一些少分配一点执行时间。这项操作是通过设置线程优先级来完成的。java一共设置了10个级别的线程优先级（1~10整数表示），从（Thread.MIN_PRIORITY到Thread.MAX_PRIORITY）。在两个线程同时处于Ready状态时，优先级越高的线程越容易被系统选择执行。

线程优先级并不是一项稳定的调节手段，主流虚拟机上的java线程是被映射到系统的原生线程上来实现的，所以线程调度最终还是由操作系统说了算。

对于比java线程优先级少的系统，会出现几个线程优先级对应到同一个操作系统优先级的情况，如下为java线程优先级与Windows线程优先级之间的对应关系。

java线程优先级	Windows线程优先级
1(Thread.MIN_PRIORITY)	THREAD_PRIORITY_LOWEST
2	THREAD_PRIORITY_LOWEST
3	THREAD_PRIORITY_BELOW_NORMAL
4	THREAD_PRIORITY_BELOW_NORMAL
5(Thread.NORM_PRIORITY)	THREAD_PRIORITY_NORMAL
6	THREAD_PRIORITY_ABOVE_NORMAL
7	THREAD_PRIORITY_ABOVE_NORMAL
8	THREAD_PRIORITY_HIGHEST
9	THREAD_PRIORITY_HIGHEST
10(Thread.MAX_PRIORITY)	THREAD_PRIORITY_CRITICAL

有特殊情况我们不能过于依赖线程优先级：优先级可能会被系统自行改变，例如在Windows系统中存在一个叫“优先级推进器”的功能（Priority Boosting，可以被关掉），大致作用是当系统发现一个线程被执行的特别频繁时，可能会越过线程优先级去为它分配执行时间，从而减少因为线程频繁切换而带来的性能损耗。

结论：我们并不能在程序中通过优先级来完全准确判断一组状态都为Ready的线程将会先执行哪一个。

状态转换

java定义了6种线程状态，在任意一个时间点中，一个线程只能有且只有其中的一种状态，并且可以通过特定的方法在不同的状态之间转换。

• 新建（New）:创建后尚未启动的线程处于这种状态。
• 运行（Runnable）：包括操作系统线程状态中的Running和Ready，也就是处于此状态的线程有可能正在执行，也有可能正在等待操作系统为它分配执行时间。
• 无限期等待（Waiting）：处于这种状态的线程不会被分配处理器执行时间，它们要等待被其他线程显示唤醒，以下方法会让线程陷入无限期的等待状态：
  • 没有设置Timeout参数的Object::wait()方法；
  • 没有设置Timeout参数的Thread::join()方法；
  • LockSupport::park()方法。
• 限期等待（Timed Waiting）:处于这种状态的线程也不会被分配处理器执行时间，不过无须等待被其他线程显式唤醒，在一定时间之后它们会由系统自动唤醒。以下方法会让线程进入限期等待状态：
  • Thread::sleep()方法；
  • 设置了Timeout参数的Object::wait()方法；
  • 设置了Timeout参数的Thread::join()方法；
  • LockSupport::parkNanos()方法；
  • LockSupport::parkUntil()方法。
• 阻塞（Blocked）:线程被阻塞了，“阻塞状态”与“等待状态”的区别是 “阻塞状态”在等待着获取到一个排他锁 ，这个事件将在另外一个线程放弃这个锁的时候发生；而“等待状态”则是在等待一段时间，或者唤醒动作的发生。在程序等待进入同步区域的时候，线程将进入这种状态。
• 结束（Terminated）:已终止线程的线程状态，线程已经结束执行。

线程状态转换关系