Java线程——深入理解Java虚拟机

并发不一定要依赖线程(如PHP中很常见的多进程并发)，但是在Java里面谈论并发，大多数都与线程脱不了关系。

 

 

一.线程的实现

 

我们知道，线程是比进程更轻量级的调度单位，线程的引入，可以把一个进程的资源分配和执行调度分开，各个线程既可以共享进程资源，又可以独立的调度。

 

 

主流的操作系统都提供了多线程的实现，Java语言则提供了不同硬件和操作系统平台下对线程操作的统一处理，每个已经执行start()且还未结束的java.lang.Thread类的实例就代表了一个线程。我们注意到Thread类与大部分Java API有显著的差别，它的所有关键字方法都是声明为Native的。在Java API中，一个Native方法往往意味着这个方法没有使用或者无法使用平台无关性的手段来实现(当然也可能是为了执行效率而使用Native方法，不过，通常最高效率的手段也就是平台相关的手段)。

 

 

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

 

1.使用内核线程(Kernel Level Thread,KLT)实现：就是直接由操作系统内核(Kernel)支持的线程，这种线程由内核来完成线程的切换，内核通过操纵调度器(Scheduler)对线程进行调度，并负责将线程的任务映射到各个处理器上。每个内核线程可以视为内核的一个分身，这样操作系统就有能里同时处理多件事情，支持多线程的内核就叫做多线程内核。

 

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

 

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

 

 

 

2.使用用户线程实现的优点：使用用户线程实现的优势在于不需要系统内核的支援。

使用用户线程实现的缺点：缺点也在于没有系统内核的支援。线程的创建，切换和调度都是需要考虑的问题，而且由于操作系统只把处理器资源分配到线程，那诸如“线程阻塞如何处理”，“多处理器系统中如何将线程映射到其处理器上”这类问题几乎不可能被完全解决，所以现在使用用户线程实现线程的方式几乎没人用了。

 

3.使用用户线程加轻量级进程混合实现

 

这种混合实现下，即存在用户线程，也存在轻量级进程。用户线程还式完全建立在用户空间中，因此用户线程的创建，切换，析构等操作依然廉价，并且还支持大规模的用户线程并发。而操作系统提供支持的轻量级进程则是用户线程和内核线程交互的桥梁，这样就可以使用内核提供线程的调度功能及处理其映射。

 

 

 

二.Java线程实现

 

在目前的JDK版本中，操作系统支持怎样的线程模型，在很大程度上决定了Java虚拟机的线程是怎样映射的，这点在不同的平台上没有办法达成一致。线程模型只对线程的并发规模和操作成本产生影响，对Java程序的编码和运行过程来说，这些差异是透明的。

 

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

 

 

 

 

三.Java线程调度

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

 

如果使用协同式调度的多线程系统，线程的执行时间有线程本身决定，线程把自己的工作执行完成后，要主动通知系统切换到另外一个线程上。

 

优点：实现简单，而且由于线程要把自己的事情干完后才会进行线程切换。切换操作是线程自己可知的，所以没有什么并发问题。

缺点：线程执行时间不可控制，甚至如果一个线程编写有问题，一直不告知系统进行线程切换，那么程序就会一直阻塞在那里。

 

 

 

如果使用抢占式调度的多线程系统，那么每个线程将由系统来分配执行时间。

缺点：线程的切换不由线程本身来决定(在Java中，Thread.yield()可以让出执行时间，但是要获取执行时间的话，线程本身是没有办法的)。

优点：线程的执行时间是系统可控的，也不会有一个线程导致整个进程阻塞的问题，Java使用的线程调度方式就是抢占式调度。

 

 

Java语言设置了10个级别的线程优先级(Thread.MIN_PRIORITY至Thread_MAX_PRIORITY)，在两个线程同时处于Ready状态时，优先级越高的线程越容易被系统选择执行。

 

不过，线程优先级并不是太靠谱，原因是Java线程是通过映射到操作系统的原生线程上来实现的，所以线程调度最终还是要取决于操作系统。Windows中只有7中线程优先级，所以就会出现几个优先级相同的情况，看下图:

 

 

 

 

四.线程状态转换

 

Java语言定义了5中线程状态，在任意一个时间点，一个线程只能有且只有其中一种状态，这五种状态分别如下：

 

1.新建(New):创建后尚未启动的线程属于这种状态。

2.运行(Runable)：Runable包括了操作系统线程状态中的Running和Ready，也就是处于此状态的线程有可能正在执行，也有可能正在等待CPU为它分配时间。

3.无限期等待：处于这种状态的线程不会被分配CPU执行时间，它们要等待被其他线程显式的唤醒。以下方法会进入让线程无限等待的等待状态：

1. 没有设置Timeout参数的Object.wait()方法。
2. 没有设置Timeout参数的Thread.join()方法。
3. LockSupport.park()方法。

4.限期等待：处于这种状态的线程不会被CPU分配执行时间，不过无需等待被其他线程显式唤醒，在一定的时间就会自动唤醒。以下方法会让线程进入限期等待状态:

1. Thread.sleep().
2. 设置了Timeout参数的Object.wait()方法。
3. 设置了Timeout参数的Thread.join()方法。
4. LockSupport.parkNanos()方法。

5.阻塞(Blocked)：线程被阻塞了，“阻塞状态”与“等待状态”的却别是：“阻塞状态”在等待着获取一个排它锁，这个事件将在另外一个线程放弃这个锁的时候发生；而“等待状态”则是在等待一段时间，或者唤醒动作的发生。

6.结束：已终止线程的线程状态，线程已经结束。

 

在一定条件下线程状态发生转变：

 

 读书笔记，如有纰漏，还望海涵，谢谢！