线程实现模型

[原文地址：https://bingjian-zhu.github.io/2019/09/11/%E7%BA%BF%E7%A8%8B%E5%AE%9E%E7%8E%B0%E6%A8%A1%E5%9E%8B/](https://bingjian-zhu.github.io/2019/09/11/%E7%BA%BF%E7%A8%8B%E5%AE%9E%E7%8E%B0%E6%A8%A1%E5%9E%8B/) ### 线程实现模型 线程实现模型主要分为：`用户级线程模型`，`内核级线程模型`和`两级线程模型`。他们的区别在于线程与内核线程之间的对应关系。 以下我们将分析这三种线程实现模型的特点： #### 用户级线程模型 （1）多对一关系 用户级线程模型为多对一关系。即，一个进程中的所有线程对应一个内核线程； （2）处理速度快、移植性强； 线程的创建、调度、同步等操作由应用程序来处理，不需要让CPU从用户态切换到内核态。所以用户级线程模型在速度快，且移植性强； （3）并非真正的并发运行 如果线程IO操作过程中被阻塞，那么用户空间的其他线程都会被阻塞，因为这些线程无法被内核调度。  #### 内核级线程模型 （1）一对一关系 内核级线程模型为一对一关系，一个用户线程对应一个内核线程； （2）资源消耗较大，速度较慢 进程对线程的创建、终止、切换和同步都必须通过内核提供的系统调用来完成，对内核的调度的调度器造成很大的负担； （3）是真正的并发运行 用户线程和内核线程是一对一的关系，线程由内核来管理和调度。当某一线程阻塞时候，不会影响到其他线程。  #### 两级线程模型 （1）多对多的关系 两级线程模型是集前面两种模型的优点而设计的，是多对多的关系； （2）资源消耗较小，速度较快，是真正的并发运行 两级线程模型中，一个进程对应多个内核线程，进程中的线程由程序管理和调度并通过映射关系映射到内核线程上。这样即便有线程阻塞后，也不会影响到其他线程； （3）实现的复杂度大 用户线程与内核线程的映射关系需要程序来实现，实现的复杂度大。幸运的是，Golang为我们实现了两级线程模型，这使得它在处理并发问题上更有优势。