JUC 进阶成神系列02—Java 与线程

线程的实现

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

目前线程是 Java 里面进行处理器资源调度的最基本单位，如果日后 Loom 项目能成功为 Java 引入纤程 (Fiber) 的话，可能就会改变这一点。

实现线程主要有三种方式：使用内核线程实现 (1:1实现)、使用用户线程实现 (1:N实现)、 使用用户线程加轻量级进程混合实现 (N:M 实现)。

1.内核线程实现

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

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

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

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

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

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

狭义上的用户线程指的是完全建立在用户空间的线程库上，系统内核不能感知到用户线程的存在及如何实现的。用户线程的建立、同步、销毁和调度完全在用户态中完成，不需要内核的帮助。如果程序实现得当，这种线程不需要切换到内核态，因此操作可以是非常快速且低消耗的，也能够支持规模更大的线程数量，部分高性能数据库中的多线程就是由用户线程实现的。这种进程与用户线程之间 1:N 的关系称为一对多的线程模型，如图所示。

用户线程的优势在于不需要系统内核支援，劣势也在于此，所有的线程操作都需要由用户程序自己去处理。线程的创建、销毁、切换和调度都是用户必须考虑的问题，而且由于操作系统只把处理器资源分配到进程，那诸如“阻塞如何处理”“多处理器系统中如何将线程映射到其他处理器上”这类问题解决起来将会异常困难，甚至有些是不可能实现的。因为使用用户线程实现的程序通常都比较复杂，除了有明确的需求外 (譬如以前在不支持多线程的操作系统中的多线程程序、需要支持大规模线程数量的应用)，一般的应用程序都不倾向使用用户线程。

3.混合实现

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

许多UNIX系列的操作系统，如 Solaris、HP-UX 等都提供了 M:N 的线程模型实现。在这些操作系统上的应用也相对更容易应用 M :N 的线程模型。

4.Java 线程的实现

操作系统支持怎样的线程模型，很大程度会影响上面的 Java 虚拟机的线程是怎样映射的，这一点在不同的平台上很难达成一致，因此《Java 虚拟机规范》中不去限定 Java 线程需要使用哪种线程模型来实现。线程模型只对线程的并发规模和操作成本产生影响，对 Java 程序的编码和运行过程来说，这些差异都是完全透明的。

Java 线程如何实现并不受Java虚拟机规范的约束。
JDK 1.2 以前：Java 线程在早期的 Classic 虚拟机上是基于一种被称为“绿色线程”的用户线程实现的。
JDK 1.3 起，“主流”平台上的“主流”商用 Java 虚拟机的线程模型普遍都被替换为基于操作系统原生线程模型来实现，即采用 1:1 的线程模型。

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

例外的例子
Java ME 的 CLDC HotSpotImplementation。它同时支持两种线程模型，默认使用 1:N 由用户线程实现的线程模型，所有 Java 线程都映射到一个内核线程上;不过它也可以使用另一种特殊的混合模型，Java 线程仍然全部映射到一个内核线程上，但当 Java 线程要执行一个阻塞调用时，CLDC-HI 会为该调用单独开一个内核线程，并且调度执行其他 Java 线程，等到那个阻塞调用完成之后再重新调度之前的 Java线程继续执行。
Solaris 平台的 HotSpot 虚拟机，由于操作系统的线程特性本来就可以同时支持 1:1 (通过 Bound Threads或Alternate Libthread实现) 及 N:M (通过 LWP/Thread Based Synchronization 实现) 的线程模型，因此 Solaris 版的 HotSpot 也对应提供了两个平台专有的虚拟机参数，即 -XX: +UseLWPSynchronization (默认值) 和 -XX:+UseBoundThreads 来明确指定虚拟机使用哪种线程模型。

Java线程调度

线程调度是指系统为线程分配处理器使用权的过程，调度主要方式有两种，分别是协同式线程调度和抢先式线程调度。

协同式调度的多线程系统，线程的执行时间由线程本身来控制，线程把自己的工作执行完后，要主动通知系统切换到另外一个线程上。协同式多线程的最大好处是实现简单，而且由于线程要把自己的事情干完后才会进行线程切换，切换操作对线程自己是可知的，所以一般没有什么线程同步的问题。它的坏处也很明显：线程执行时间不可控制，甚至如果一个线程的代码编写有问题，一直不告知系统进行线程切换，那么程序就会一直阻塞在那里。

抢占式调度的多线程系统，那么每个线程将由系统来分配执行时间，线程的切换不由线程本身来决定。Java 使用的线程调度方式就是抢占式调度。当一个进程出了问题，还可以使用任务管理器把这个进程杀掉，而不至于导致系统崩溃。

虽然 Java 线程调度是系统自动完成的，但仍然可以“建议”操作系统给某些线程多分配一点执行时间，另外的一些则可少分配一点—这项操作是通过设置线程优先级来完成的。Java 语言一共设置了 10 个级别的线程优先级 (Thread.MIN_PRIORITY至Thread.MAX_PRIORITY)。在两个线程同时处于 Ready 状态时，优先级越高的线程越容易被系统选择执行。

线程优先级并不是一项稳定的调节手段，很显然因为主流虚拟机上的 Java 线程是被映射到系统的原生线程上来实现的，所以线程调度最终还是由操作系统说了算。尽管现代的操作系统基本都提供线程优先级的概念，但是并不见得能与 Java 线程的优先级一一对应，下表显示了 Java 线程优先级与 Windows 线程优先级之间的对应关系，Windows 平台的虚拟机中使用了除 THREAD_PRIORITY_IDLE 之外的其余 6 种线程优先级，因此在 Windows 下设置线程优先级为 1 和 2、3 和 4、6 和 7、8 和 9 的效果是完全相同的。

线程优先级并不是一项稳定的调节手段，这不仅仅体现在某些操作系统上不同的优先级实际会变得相同这一点上，还有其他情况让我们不能过于依赖线程优先级：优先级可能会被系统自行改变，例如在 Windows 系统中存在一个叫“优先级推进器”的功能 (当然它可以被关掉)，大致作用是当系统发现一个线程被执行得特别频繁时，可能会越过线程优先级去为它分配执行时间，从而减少因为线程频繁切换而带来的性能损耗。因此，我们并不能在程序中通过优先级来完全准确判断一组状态都为Ready 的线程将会先执行哪一个。

状态转换

Java 语言定义了 6 种线程状态，任意一个时间点中，一个线程只能有且只有其中的一种状态，并可以通过特定的方法在不同状态之间转换。这 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)：线程被阻塞了，“阻塞状态”与“等待状态”的区别是“阻塞状态”在等待着获取到一个排它锁，这个事件将在另外一个线程放弃这个锁的时候发生;而“等待状态”则是在等待一段时间，或者唤醒动作的发生。在程序等待进入同步区域的时候，线程将进入这种状态。
结束(Terminat ed)：已终止线程的线程状态，线程已经结束执行。
六种状态转换关系如图所示。