Linux中线程的基本概念与线程控制

Linux操作系统中线程

1、进程指的是加载进内存的程序，进程 = 内核数据结构 + 进程代码和数据

2、进程在执行ABCD四个函数时是一个单执行流，而如果想让AB函数和CD函数并发执行，我们通常会创建一个子进程，但这意味着需要创建新的进程控制块、进程地址空间、页表，极大的浪费了虚拟地址（地址空间）

3、Linux为了解决上述的资源浪费问题，规定在创建子进程时只复制其父进程的PCB，并与其它子进程一起共享父进程的进程地址空间以及页表等内容，同时将代码区中的代码进行分块，保证每个子进程的PCB只能看见为其分配好的代码块，这就是Linux操作系统中多线程的实现方式，因为这种独特的实现方式，所以Linux操作系统中的线程也叫做轻量级进程

4、因为一个进程在执行其代码块中的内容时被看作是一个执行流，所以一个线程（轻量级进程）也可以被视为一个执行流（完整的执行流需要PCB、进程地址空间、页表、代码和数据，这些内容线程都有只不过可能是借用了进程的部分内容，并且还对代码块做了限制让每个线程看到的函数都不一样，每个线程都会去执行被分配好的代码块中的内容）因此一个进程中会有至少一个执行流，综上所述：线程 <= 执行流 <= 进程

5、在Linux的中讨论多线程就是讨论一个进程中到底有几个执行流，即在Linux中线程就是进程中的执行流（而不是Windows或者理论中的那样，完完全全是不同的两个内容）

6、Linux中的多线程与理论上的多线程的实现方式不同（Windows中的线程设计是符合理论的），是因为Linux的设计者认为设计线程就要设计线程控制块（新的数据结构TCB）以及与线程相关的调度算法，但进程和线程实际上具有很高的相似性（上图所示），没必要单独设计数据结构和调度算法