线程理论

********线程理论********

*****线程概念的引入背景****

**进程

以前咱们已经了解了操做系统中进程的概念，程序并不能单独运行，只有将程序装载到内存中，系统为
它分配资源才能运行，而这种执行的程序就称之为进程。程序和进程的区别就在于：程序是指令的集合，
它是进程运行的静态描述文本；进程是程序的一次执行活动，属于动态概念。在多道编程中，咱们容许
多个程序同时加载到内存中，在操做系统的调度下，能够实现并发地执行。这是这样的设计，大大提升
了CPU的利用率。进程的出现让每一个用户感受到本身独享CPU，所以，进程就是为了在CPU上实现多道编
程而提出的。


**有进程Why线程

进程有不少优势，它提供了多道编程，让咱们感受咱们每一个人都拥有本身的CPU和其余资源，能够提升
计算机的利用率。不少人就不理解了，既然进程这么优秀，为何还要线程呢？其实，仔细观察就会发
现进程仍是有不少缺陷的，主要体如今两点上：

进程只能在一个时间干一件事，若是想同时干两件事或多件事，进程就无能为力了。

进程在执行的过程当中若是阻塞，例如等待输入，整个进程就会挂起，即便进程中有些工做不依赖于输入
的数据，也将没法执行。

若是这两个缺点理解比较困难的话，举个现实的例子也许你就清楚了：若是把咱们上课的过程当作一个
进程的话，那么咱们要作的是耳朵听老师讲课，手上还要记笔记，脑子还要思考问题，这样才能高效的
完成听课的任务。而若是只提供进程这个机制的话，上面这三件事将不能同时执行，同一时间只能作一
件事，听的时候就不能记笔记，也不能用脑子思考，这是其一；若是老师在黑板上写演算过程，咱们开
始记笔记，而老师忽然有一步推不下去了，阻塞住了，他在那边思考着，而咱们呢，也不能干其余事，
即便你想趁此时思考一下刚才没听懂的一个问题都不行，这是其二。

如今你应该明白了进程的缺陷了，而解决的办法很简单，咱们彻底可让听、写、思三个独立的过程，
并行起来，这样很明显能够提升听课的效率。而实际的操做系统中，也一样引入了这种相似的机制——线程。

**线程的出现

60年代，在OS中能拥有资源和独立运行的基本单位是进程，然而随着计算机技术的发展，进程出现了很
多弊端，一是因为进程是资源拥有者，建立、撤消与切换存在较大的时空开销，所以须要引入轻型进程；
二是因为对称多处理机（SMP）出现，能够知足多个运行单位，而多个进程并行开销过大。
所以在80年代，出现了能独立运行的基本单位——线程（Threads）。
注意：进程是资源分配的最小单位,线程是CPU调度的最小单位.
　　  每个进程中至少有一个线程。


****进程和线程的关系****

操做系统中包含进程，进程中包含线程

线程与进程的区别能够概括为如下4点：

1）地址空间和其余资源（如打开文件）：进程间互相独立，同一进程的个线程间共享。
某进程内的线程在其余进程不可见。
2）通讯：进程间的通讯IPC， 线程间能够直接读写进程数据端（如全局变量）来进行通讯
须要进程同步和互斥手段的辅助，以保证数据的一致性。
3）调度和切换：线程上下文切换比进程上下文切换要快的多。
4）在多线程操做系统中，进程不是一个可执行的实体。


****线程额特色****

在多线程的操做系统中，一般是在一个进程中包括多个线程，每一个线程都是做为利用PU的基本单位，是花
费最小开销的实体。线程具备如下属性。

1）轻型实体
线程中的实体基本上不拥有系统资源，只是有一点必不可少的、能保证独立运行的资源。
线程的实体包括程序、数据和TCB。线程是动态概念，它的动态特性由线程控制块TCB（Thread Control Block）描述。

TCB包括如下信息：
（1）线程状态。
（2）当线程不运行时，被保存的现场资源。
（3）一组执行堆栈。
（4）存放每一个线程的局部变量主存区。
（5）访问同一个进程中的主存和其它资源。
用于指示被执行指令序列的程序计数器、保留局部变量、少数状态参数和返回地址等的一组寄存器和堆栈。

2）独立调度和分派的基本单位。
在多线程OS中，线程是能独立运行的基本单位，于是也是独立调度和分派的基本单位。因为线程很“轻”，
线程的切换很是迅速且开销小（在同一进程中的）。

3）共享进程资源。
线程在同一进程中的各个线程，均可以共享该进程所拥有的资源，这首先表如今：全部线程都具备相同的
程id，这意味着，线程能够访问该进程的每个内存资源；此外，还能够访问进程所拥有的已打开文件、
时器、信号量机构等。因为同一个进程内的线程共享内存和文件，因此线程之间互相通讯没必要调用内核。

4）可并发执行。
在一个进程中的多个线程之间，能够并发执行，甚至容许在一个进程中全部线程都能并发执行；一样，
不一样进程中的线程也能并发执行，充分利用和发挥了处理机与外围设备并行工做的能力。

****使用线程的实际场景****

开启一个字处理软件进程，该进程确定须要办不止一件事情，好比监听键盘输入，处理文字，定时自动
将文字保存到硬盘，这三个任务操做的都是同一块数据，于是不能用多进程。只能在一个进程里并发地
开启三个线程,若是是单线程，那就只能是，键盘输入时，不能处理文字和自动保存，自动保存时又不
能输入和处理文字。


****内存中的线程****

https://images2017.cnblogs.com/blog/827651/201801/827651-20180118213709271-527249129.png

多个线程共享同一个进程的地址空间中的资源，是对一台计算机上多个进程的模拟，有时也称线程为轻量
的进程。

而对一台计算机上多个进程，则共享物理内存、磁盘、打印机等其余物理资源。多线程的运行也多进程的
行相似，是cpu在多个线程之间的快速切换。

不一样的进程之间是充满敌意的，彼此是抢占、竞争cpu的关系，若是迅雷会和QQ抢资源。而同一个进程是
一个程序员的程序建立，因此同一进程内的线程是合做关系，一个线程能够访问另一个线程的内存地址，
你们都是共享的，一个线程干死了另一个线程的内存，那纯属程序员脑子有问题。

相似于进程，每一个线程也有本身的堆栈，不一样于进程，线程库没法利用时钟中断强制线程让出CPU，能够
调用thread_yield运行线程自动放弃cpu，让另一个线程运行。

线程一般是有益的，可是带来了不小程序设计难度，线程的问题是：

1. 父进程有多个线程，那么开启的子线程是否须要一样多的线程

2. 在同一个进程中，若是一个线程关闭了文件，而另一个线程正准备往该文件内写内容呢？

所以，在多线程的代码中，须要更多的心思来设计程序的逻辑、保护程序的数据。


**用户级线程和内核级线程（了解）**


-用户级线程

线程的实现能够分为两类：用户级线程(User-Level Thread)和内核线线程(Kernel-Level Thread)，
后者又称为内核支持的线程或轻量级进程。在多线程操做系统中，各个系统的实现方式并不相同，在有的系
统中实现了用户级线程，有的系统中实现了内核级线程。

https://images2017.cnblogs.com/blog/827651/201801/827651-20180121020547006-752791661.png


在用户空间模拟操做系统对进程的调度，来调用一个进程中的线程，每一个进程中都会有一个运行时系统，
用来调度线程。此时当该进程获取cpu时，进程内再调度出一个线程去执行，同一时刻只有一个线程执行。


-内核级线程

内核级线程:切换由内核控制，当线程进行切换的时候，由用户态转化为内核态。切换完毕要从内核态返回
用户态；能够很好的利用smp，即利用多核cpu。windows线程就是这样的。

https://images2017.cnblogs.com/blog/827651/201801/827651-20180121020859803-1526586154.png


-用户级与内核级线程的对比

1）用户级线程和内核级线程的区别


1 内核支持线程是OS内核可感知的，而用户级线程是OS内核不可感知的。
2 用户级线程的建立、撤消和调度不须要OS内核的支持，是在语言（如Java）这一级处理的；而内核支持线程的建立、
撤消和调度都需OS内核提供支持，并且与进程的建立、撤消和调度大致是相同的。
3 用户级线程执行系统调用指令时将致使其所属进程被中断，而内核支持线程执行系统调用指令时，只致使该线程被中断。
4 在只有用户级线程的系统内，CPU调度仍是以进程为单位，处于运行状态的进程中的多个线程，由用户程序控制线程的轮
换运行；在有内核支持线程的系统内，CPU调度则以线程为单位，由OS的线程调度程序负责线程的调度。
5 用户级线程的程序实体是运行在用户态下的程序，而内核支持线程的程序实体则是能够运行在任何状态下的程序。

2）内核线程的优缺点

优势：当有多个处理机时，一个进程的多个线程能够同时执行。
缺点：由内核进行调度。

3）用户级线程的缺点

优势：
线程的调度不须要内核直接参与，控制简单。
能够在不支持线程的操做系统中实现。
建立和销毁线程、线程切换代价等线程管理的代价比内核线程少得多。
容许每一个进程定制本身的调度算法，线程管理比较灵活。
线程可以利用的表空间和堆栈空间比内核级线程多。
同一进程中只能同时有一个线程在运行，若是有一个线程使用了系统调用而阻塞，那么整个进程都会被挂起。另外，
页面失效也会产生一样的问题。
缺点：
资源调度按照进程进行，多个处理机下，同一个进程中的线程只能在同一个处理机下分时复用


-混合实现

用户级与内核级的多路复用，内核同一调度内核线程，每一个内核线程对应n个用户线程


https://images2017.cnblogs.com/blog/827651/201801/827651-20180121021033553-698190505.png

linux操做系统的NPTl

历史
在内核2.6之前的调度实体都是进程，内核并无真正支持线程。它是能过一个系统调用clone()来实现的，这个调用
建立了一份调用进程的拷贝，跟fork()不一样的是,这份进程拷贝彻底共享了调用进程的地址空间。LinuxThread就是
经过这个系统调用来提供线程在内核级的支持的(许多之前的线程实现都彻底是在用户态，内核根本不知道线程的存在)。
很是不幸的是，这种方法有至关多的地方没有遵循POSIX标准，特别是在信号处理，调度，进程间通讯原语等方面。

很显然，为了改进LinuxThread必须获得内核的支持，而且须要重写线程库。为了实现这个需求，开始有两个相互竞争
的项目：IBM启动的NGTP(Next Generation POSIX Threads)项目，以及Redhat公司的NPTL。在2003年的年中，
IBM放弃了NGTP，也就是大约那时，Redhat发布了最初的NPTL。

NPTL最开始在redhat linux 9里发布，如今从RHEL3起内核2.6起都支持NPTL，而且彻底成了GNU C库的一部分。

 

设计
NPTL使用了跟LinuxThread相同的办法，在内核里面线程仍然被看成是一个进程，而且仍然使用了clone()系统调用
(在NPTL库里调用)。可是，NPTL须要内核级的特殊支持来实现，好比须要挂起而后再唤醒线程的线程同步原语futex.

NPTL也是一个1*1的线程库，就是说，当你使用pthread_create()调用建立一个线程后，在内核里就相应建立了一个
调度实体，在linux里就是一个新进程，这个方法最大可能的简化了线程的实现。

除NPTL的1*1模型外还有一个m*n模型，一般这种模型的用户线程数会比内核的调度实体多。在这种实现里，线程库自己
必须去处理可能存在的调度，这样在线程库内部的上下文切换一般都会至关的快，由于它避免了系统调用转到内核态。然
而这种模型增长了线程实现的复杂性,并可能出现诸如优先级反转的问题，此外，用户态的调度如何跟内核态的调度进行协
调也是很难让人满意。