操作系统-进程与线程基本概念

王道个人笔记

进程

程序：编译好的二进制文件，存放在磁盘上，占的是磁盘空间，是一个静态的概念。
进程：一个启动的程序，需要占用系统资源：cpu、内存等。
同一个程序可以再多个中断执行。一个程序启动后会有一个PID。
进程是资源分配的基本单位，是CPU调度的基本单位。

进程组成与特征

当进程被创建时，操作系统会给进程创建PCB（进程控制块），分配PID（唯一，不重复）与相关资源。创建进程就是创建PCB，撤销进程就是撤销PCB。


进程实体 = PCB+程序段+数据段。

进程的状态与转换

（1）创建态：

平时我们的exe（可执行文件）都是存放在硬盘里面的，当程序要执行时，需要把可执行文件调入内存中，同时操作系统会为其建立PCB，也就是创建进程。进程正在被创建时，它的状态就是“创建态”，在这个阶段操作系统会为进程分配资源、初始化PCB。
就绪态：当进程创建完成后，便进入“就绪态”处于就绪态的进程已经具备运行条件，但由于没有空闲CPU，就暂时不能运行。

（2）运行态：

如果一个进程此时在CPU上运行，那么这个进程处于“运行态”。
CPU会执行该进程对应的程序 (执行指令序列)

（3）阻塞态：

当进程运行的过程中，可能某个指令会请求等待某个事件的发生，或有等行异他进程的响应，在这个事件发生之前，进程无法继续往下执行，此时操作系统会让这个进程下CPU，并让它进入“阻塞态”。那么cpu空闲下来后，又会选择另一个“就绪态”进程上CPU运行。

（4）终止态：

一个进程可以执行 exit 系统用，请求操作系统终止该进程此时该进程会进入“终止态”，操作系统会让该进程下CPU并回收内存空间等资源，最后还要回收该进程的PCB。

进程的转换：当创建进程时处于“创建态”，创建完成后一系列进程处于“就绪态”，CPU会对进程进行调度，调用到那个进程进行运行，进程会处于“运行态”，当进程（进程中的某个指令）请求系统资源时，例如打印机，但是打印机此时被其他进程占用了，此时进程释放CPU资源进入阻塞态，当申请的资源被分配时，进程又进入“就绪态”。
这其中，也可以又运行态转为就绪态，因为进程占用的时间片完，或者处理机被抢占。

为了对同一个状态下的各个进程进行统一的管理，操作系统会将各个进程的PCB组织起来。组织方式又连接方式和索引方式。

进程控制

进程控制主要是为了利用原语实现进程转换。
假设有两个链式队列来存储进程状态，当PCB2的请求的资源被分配时，首先，PCB2的State应该由2改为1.即由阻塞态改为就绪态，其次要由阻塞队列转至就绪队列，但是如果突然收到一个中断信号，cpu及相关资源转去处理中断信号的相关指令，那么此时便会出现PCB2仍然在阻塞队列，但是State已经改为1。那么这样的状态便可能会影响后续操作的执行。
为了解决这个问题，进程的转换必须一气呵成。一气呵成需要原语。原语的实现可以用“关中断指令”和“开中断指令”这两个特权指令配合完成，实现原子性。
这两个指令用户程序无法使用，要不然当程序在程序开始放一个关中断指令，程序结束放一个开中断指令，那么程序便会一直霸占CPU及相关资源，这不喝李！

进程的创建：

父进程创建子进程时会分配自己的资源给子进程。子进程终止后返还资源。



例如这里的x++；首先CPU执行指令1，先将指令1读入IR，此时PC存放的是指令2的地址。执行完指令1，x = 1，那么在取出指令2读入IR。

当其他进程也要用这些寄存器时，需要将进程的运行环境保存在PCB中。例如一些寄存器信息（PSW，PC，其他通用寄存器…）


总结：原语通常由若干条指令组成，用来实现某个特定的操作。原语运行时不能被打断，其通过一段不可分割的或不可中断的程序实现其功能。 原语是操作系统的核心，它不是由进程而是 由一组程序模块所组成 ，是操作系统的一个组成部分，它必须在内核态下执行，并且常驻内存 ，而个别系统有一部分不在管态下运行。

进程通信(IPC)

进程通信指两个两个进程之间的数据交互。进程是分配系统资源的单位(包括内存地址空间)，因此各进程拥有的内存地址空间相互独立。为了安全考虑，进程只能对自己的地址空间进行操作， 不能直接访问另一个进程的地址空间。

进程间的通信机制：

（1）共享存储。

①基于存储区的共享：操作系统在内存中划出一块共享存储区。并映射到进程的虚拟地址空间，数据的形式、存放位置都由通信进程控制，而不是操作系统。这种共享方式速度很快，是一种高级通信方式。进程都可以进行访问。而且各个进程对共享存储控件的访问应该是互斥的。

②基于数据结构的共享:比如共享空间里只能放个长度为10的数组。这种共享方式自由度低，速度慢、限制多，是一种低级通信方式。

（2）消息传递

进程间的数据交换以格式化的消息为单位，进程通过操作系统提供的“发送消息/接收消息”两个原语进行数据交换。

①直接通信方式：
一个进程P要给进程Q发送消息，此时操作系统的内核区域管理进程的PCB，PCB中有一个消息队列，进程Q接受到的其他进程发送的消息都在消息队列中。现在进程P给进程Q发一个消息，进程P会在自己的PCB进程空间中先完善自己的消息，包括消息头（发送进程ID，接受进程ID，消息长度等）与消息体。接下来进程P会利用操作系统提供的发送原语发送消息，发送原语会让操作系统内核接收到这个消息并将其挂到进程Q的消息队列中，进程Q可以使用接受原语来接受消息，只不过要指明接受谁的消息，接受啥消息。然后会从Q的消息队列中找到到该消息，并将其移动到进程Q的地址空间中。

②间接通信方式
简介通信会在操作系统内核中以信箱作为中间进行消息传递。与直接通信方式的不同点还在于发送与接受原语，原语不在指明发送/接受那个进程的消息，而在于那个信箱。

③管道通信
管道通信只能是单向的，从一端写入数据，从另一端读入数据。管道其实就是一个特殊共享文件，某一进程通过系统调用申请管道文件，操作系统来创建一个大小固定的内存缓冲区，进程来写入和读入数据。对数据的读写时先进先出的（队列）
管道与共享内存的不同点在于，共享内存可以实现任意存储和读取，你可以在共享空间的任意区域写和读。但是管道只能跟队列一样先进先读。


进程通信总结：

进程的切换

1.首先从用户态切换到内核态。
2.保存当前进程的状态，包括其PCB中保存CPU各寄存器值，以便日后重新执行；
3.调度算法选一个新的进程。
4.新进程的内存地址空间重新装入MMU（内存管理单元）
5.新进程开始执行。

线程

（1）进程开销：

①进程创建，需要为它分配资源（IO设备、内存空间、创建PCB）
②进程撤销：又必须对其所占资源执行回收操作、再撤消PCB。
③进程切换：进程在上下文切换时，需要保留当前进程的CPU环境，设置新CPU环境，需要花费不少的处理机时间。
不引入进程时，一个代码对应一个进程，而进程只能并发运行。引入线程后，线程成为程序执行流的最小单位，的目的是减少程序在并发时所付出的时空开销，是os具有更好的并发性。

引入线程后，进程是资源分配的基本单位，线程是调度的基本单位，同时线程之间也可以并发运行。

（2）线程的基本属性：

2.1线程控制块TCB

（3）线程的实现方式

①用户级线程ULT

早期从操作系统看，看到的仍然是进程。线程库由用户编写实现。因此线程的管理工作、线程的切换都在用户态下，由应用程序完成。而操作系统意识不到用户级线程的存在。
优点：用户级线程的切换在用户空间即可完成，不需要切换到内核态，不涉及CPU变态操作，开销小，效率高。

缺点：当一个用户级线程被阻塞，整个进程都会被阻塞，并发度不高，多个线程只能在一个内核上进行处理。

②内核级线程KST

内核级线程的管理工作、切换由操作系统完成，操作系统也能意识到线程的存在。内核级线程成为处理机分配的单位。

③多线程模型

用户级线程与内核级线程的各种组成方式：
一对一、多对一、多对多。

（4）线程的状态与转换

①线程的状态与进程类似。

②线程的组织与控制

线程进行切换时，必须将目前执行到哪里保存在程序计数器PC，线程运行的中间结果保存在其他寄存器，再利用堆栈保存函数的调用信息、局部变量等。下CPU的线程必须将这些信息保存在TCB中，上处理机的信息必须将这些信息取出并保存在相应的位置。线程中的堆栈是比较大的一片区域，如果将这个区域全部保存在TCB中是完全没有必要的，因此需要指针指出线程所在堆栈的位置与区域，堆栈指针一般在恢复时会恢复到堆栈指针SP当中的。

（5）线程与进程的比较

①调度的基本单位：
没有线程时，进程是能独立运行的基本调度单位，每次被调度新的进程时都需要进行上下文切换，切换需要保留进程环境，开销大。
引入线程后，线程成为调度和分派的独立运行的基本单位，线程切换时，仅需要保存和设置少量的寄存器内容。
②并发性：
引入线程后，不仅进程与进程之间可以并发执行，一个进程中的多个线程之间也可以并发执行。对于多对一与多对多线程模型，用户线程之间切换也不用发生变态，开销小。
③拥有资源：
进程可以拥有资源，并作为系统中拥有资源的一个基本单位。线程本省并不拥有系统资源，而是仅有一点必不可少的、能保证独立运行的资源。（线程控制块TCB，程序计数器，保留局部变量、少数状态参数与返回地址的一组寄存器和堆栈）
④独立性
同一进程中的不同线程之间的独立性要比不同进程之间的独立性要低。因为进程都有其独立的地址空间与资源，除了共享全局变量之外，不允许其他进程访问。而同一进程的线程本就是为了提高并发性以及相互之间的合作而创建的，它们共享进程的内存地址空间和资源。
⑤系统开销
进程的创建和撤销，系统都要位置分配与回收PCB与相关资源，而统一进程的多个线程共享进程的地址空间，因此线程之间的同步和通信也比进程简单，甚至线程之间的切换、同步和通信都不需要内核态参与。
⑥支持多处理机系统
无论有多少个处理机，一个进程只能运行在一个处理机上，而统一进程的不同线程可以运行在多个处理机上。