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

线程的实现

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

主流的操作系统都提供了线程的实现，Java语言则提供了在不同硬件和操作系统平台下对线程操作的统一处理，每个java.lang.Thread类的实例就代表一个线程。不过Thread类与发部分Java API有显著的差别，它的所有关键字方法都被声明为Native。在Java API中的一个Native方法可能就意味着这个方法没有使用或者无法使用平台无关的手段来实现（当然也有可能是为了执行效率而使用Native方法，不过通常最高效率的手段也就是平台相关的手段）正是这个原因，本节的标题才定为”线程的实现“而不是”Java线程的实现“。

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

          1、使用内核线程实现

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

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

        由于内核线程的支持，每个轻量级进程都成为一个独立的调度单元，即使有一个轻量级进程在系统调用中阻塞了，也不会影响整个进程继续工作。但是轻量级进程具有它的局限性：首先，由于是基于内核线程实现的，所以各种进程操作，如创建、析构及同步都需要进行系统调用。而系统调用的代价相对较高，需要在用户态和内核态中来回切换。其次，每个轻量级进程都需要有一个内核线程的支持，因此轻量级进程要消耗一定的内核资源（如内核线程的栈空间），因此一个系统支持轻量级进程的数量是有限的。

           2、使用用户线程实现

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

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

        使用用户线程的优势在于不需要系统内核支援，劣势也在于没有系统内核的支援，所有的线程操作都需要用户程序自己处理。线程的创建、切换和调度都是需要考虑的问题，而且由于操作系统只把处理器资源分配到进程，那诸如“阻塞如何处理”，“多处理器系统中如何将线程映射到其他处理器上”这类问题解决起来将异常困难，甚至不可能完成。因而使用用户线程实现的程序一般都比较复杂，除了以前在不支持多线程的操作系统中的多线程程序与少数有特殊需求的程序外，现在使用用户线程的程序越来越少，Java、Ruby等语言都曾经使用过用户线程，最终又都放弃了它。

           3、混合实现

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

Java线程调度

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

        如果使用协同式调度的多线程系统，线程的执行时间由线程本身来控制，线程把自己的工作执行完了之后，要主动通知系统切换到另一个线程上去。协同式多线程的最大好处是实现简单，而且由于线程要把自己的事情干完后才会进行线程切换，切换操作对线程自己是可知的，所以没有什么线程同步的问题。Lua语言中的“协同例程”就是这类实现。它的坏处也很明显：线程执行时间不可控制，甚至如果一个线程编写有问题，一直不告诉系统畸形线程切换，那么程序就会一直阻塞在那里。很久以前的Windows 3.x系统就是使用协同式来实现多进程多任务的，那是相当的不稳定，一个进程坚持不让出CPU执行时间就会导致整个系统崩溃。

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

不过，线程优先级并不是太靠谱，原因是Java的线程是被映射到系统的原生线程上实现的，所以线程调度最终还是由操作系统说了算，虽然很多操作系统都提供线程优先级的概念，但是并不见得能与Java线程的优先级一一对应。如下所示的Java线程优先级与Windows线程优先级之间的对应关系：

        上文说到的“线程优先级并不太靠谱”，不仅仅是说一些平台上的不同的优先级实际会变得不同这一点，还有其他情况让我们不能太依赖优先级：优先级可能会被系统自行改变。例如Windows系统中存在一个名为“优先级推进器”的功能，它的大致作用就是当系统发现一个线程被执行的特别勤奋努力的话，可能会越过线程优先级去为它分配执行时间，因此我们不能在程序中通过优先级来完全准确判断一组状态都为Ready的线程将会执行哪一个。

状态切换

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

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

状态之间的转换关系如下图所示：