进程管理、同步和通信

秒速五厘米 2023-03-04 08:28 116阅读 0赞

### 一、进程的定义 ###

进程实体由程序段、相关的数据段和PCB（进程控制块）三部分构成。`进程是进程实体的运行过程，是系统进行资源分配和调度的基本单位。`  
例如：  
在电脑中，一个正在运行的软件应用可以视作一个进程，如：微信客户端、QQ、网易云音乐等

### 二、进程控制块（Process Control Block, PCB）的作用： ###

*  作为独立运行基本单位的标志
 *  能实现间断性运行方式
 *  提供进程管理所需要的信息
 *  提供进程调度所需要的信息
 *  实现与其他进程的同步与通信

`总的来说，进程控制块 (Process Control Block, PCB) 描述进程的基本信息和运行状态，所谓的创建进程和撤销进程，都是指对 PCB 的操作。`  
下图显示了 4 个程序创建了 4 个进程，这 4 个进程可以并发地执行。  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2d1YW5tYW9uaW5n_size_16_color_FFFFFF_t_70_pic_center]

### 三、线程 ###

线程是独立调度的基本单位。

一个进程中可以有多个线程，它们共享进程资源。

QQ 和浏览器是两个进程，浏览器进程里面有很多线程，例如 HTTP 请求线程、事件响应线程、渲染线程等等，线程的并发执行使得在浏览器中点击一个新链接从而发起 HTTP 请求时，浏览器还可以响应用户的其它事件。  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2d1YW5tYW9uaW5n_size_16_color_FFFFFF_t_70_pic_center 1]

### 四、进程与线程的区别 ###

Ⅰ 拥有资源  
进程是资源分配的基本单位，但是线程不拥有资源，线程可以访问隶属进程的资源。

Ⅱ 调度  
线程是独立调度的基本单位，在同一进程中，线程的切换不会引起进程切换，从一个进程中的线程切换到另一个进程中的线程时，会引起进程切换。

Ⅲ 系统开销  
由于创建或撤销进程时，系统都要为之分配或回收资源，如内存空间、I/O 设备等，所付出的开销远大于创建或撤销线程时的开销。类似地，在进行进程切换时，涉及当前执行进程 CPU 环境的保存及新调度进程 CPU 环境的设置，而线程切换时只需保存和设置少量寄存器内容，开销很小。

Ⅳ 通信方面  
线程间可以通过直接读写同一进程中的数据进行通信，但是进程通信需要借助 IPC。

### 五、进程同步机制 ###

#### 硬件同步机制 ####

*  关中断
 *  利用Test-and-Set指令实现互斥
 *  利用Swap指令实现进程互斥

#### 信号量机制 ####

*  整型信号量
 *  记录型信号量
 *  AND型信号量
 *  信号量集

信号量（Semaphore）是一个整型变量，可以对其执行 down 和 up 操作，也就是常见的 P 和 V 操作。

*  **down** : 如果信号量大于 0 ，执行 -1 操作；如果信号量等于 0，进程睡眠，等待信号量大于 0；
 *  **up** ：对信号量执行 +1 操作，唤醒睡眠的进程让其完成 down 操作。

down 和 up 操作需要被设计成原语，不可分割，通常的做法是在执行这些操作的时候屏蔽中断。

如果信号量的取值只能为 0 或者 1，那么就成为了 **互斥量（Mutex）** ，0 表示临界区已经加锁，1 表示临界区解锁。

typedefint semaphore;
    semaphore mutex = 1;
    void P1() {
        
        down(&mutex);
        // 临界区
        up(&mutex);
    }
    
    void P2() {
        
        down(&mutex);
        // 临界区
        up(&mutex);
    }

#### 管程机制 ####

使用信号量机制实现的生产者消费者问题需要客户端代码做很多控制，而`管程把控制的代码独立出来，不仅不容易出错，也使得客户端代码调用更容易。`

### 六、进程通信 ###

进程同步与进程通信很容易混淆，它们的区别在于：

*  进程同步：控制多个进程按一定顺序执行；
 *  进程通信：进程间传输信息。

进程通信是一种手段，而进程同步是一种目的。也可以说，为了能够达到进程同步的目的，需要让进程进行通信，传输一些进程同步所需要的信息。

**进程通信的方式**：  
**1.管道**

管道是通过调用 pipe 函数创建的，fd\[0\] 用于读，fd\[1\] 用于写。

#include <unistd.h>
    int pipe(int fd[2]);

它具有以下限制：

*  只支持半双工通信（单向交替传输）；
 *  只能在父子进程或者兄弟进程中使用。  
    ![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2d1YW5tYW9uaW5n_size_16_color_FFFFFF_t_70_pic_center 2]  
    `管道这种通信方式是单向的，若想两个进程互相通信，则需要建立两条管道。`

**2.FIFO**  
也称为命名管道，去除了管道只能在父子进程中使用的限制。

#include <sys/stat.h>
    int mkfifo(const char *path, mode_t mode);
    int mkfifoat(int fd, const char *path, mode_t mode);

FIFO 常用于客户-服务器应用程序中，FIFO 用作汇聚点，在客户进程和服务器进程之间传递数据。  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2d1YW5tYW9uaW5n_size_16_color_FFFFFF_t_70_pic_center 3]  
`命名管道这种通信方式也是单向的，若想两个进程互相通信，则需要建立两条管道。`

**3.消息队列**  
相比于 FIFO，消息队列具有以下优点：

*  消息队列可以独立于读写进程存在，从而避免了 FIFO 中同步管道的打开和关闭时可能产生的困难；
 *  避免了 FIFO 的同步阻塞问题，不需要进程自己提供同步方法；
 *  读进程可以根据消息类型有选择地接收消息，而不像 FIFO 那样只能默认地接收。

**4.信号量**  
它是一个计数器，用于为多个进程提供对共享数据对象的访问。

**5.共享存储**  
允许多个进程共享一个给定的存储区。因为数据不需要在进程之间复制，所以这是最快的一种 IPC。  
需要使用信号量用来同步对共享存储的访问。  
多个进程可以将同一个文件映射到它们的地址空间从而实现共享内存。另外 XSI 共享内存不是使用文件，而是使用内存的匿名段。

**6.套接字**  
与其它通信机制不同的是，它可用于不同机器间的进程通信。

### 七、进程调度算法 ###

不同环境的调度算法目标不同，因此需要针对不同环境来讨论调度算法。

#### 1.批处理系统 ####

批处理系统没有太多的用户操作，在该系统中，调度算法目标是保证吞吐量和周转时间（从提交到终止的时间）。

##### 1.1 先来先服务 first-come first-serverd（FCFS） #####

非抢占式的调度算法，按照请求的顺序进行调度。

有利于长作业，但不利于短作业，因为短作业必须一直等待前面的长作业执行完毕才能执行，而长作业又需要执行很长时间，造成了短作业等待时间过长。

##### 1.2 短作业优先 shortest job first（SJF） #####

非抢占式的调度算法，按估计运行时间最短的顺序进行调度。

长作业有可能会饿死，处于一直等待短作业执行完毕的状态。因为如果一直有短作业到来，那么长作业永远得不到调度。

##### 1.3 最短剩余时间优先 shortest remaining time next（SRTN） #####

最短作业优先的抢占式版本，按剩余运行时间的顺序进行调度。 当一个新的作业到达时，其整个运行时间与当前进程的剩余时间作比较。如果新的进程需要的时间更少，则挂起当前进程，运行新的进程。否则新的进程等待。

#### 2. 交互式系统 ####

交互式系统有大量的用户交互操作，在该系统中调度算法的目标是快速地进行响应。

##### 2.1 时间片轮转 #####

将所有就绪进程按 FCFS 的原则排成一个队列，每次调度时，把 CPU 时间分配给队首进程，该进程可以执行一个时间片。当时间片用完时，由计时器发出时钟中断，调度程序便停止该进程的执行，并将它送往就绪队列的末尾，同时继续把 CPU 时间分配给队首的进程。

时间片轮转算法的效率和时间片的大小有很大关系：

*  因为进程切换都要保存进程的信息并且载入新进程的信息，如果时间片太小，会导致进程切换得太频繁，在进程切换上就会花过多时间。
 *  而如果时间片过长，那么实时性就不能得到保证。  
    ![在这里插入图片描述][20200823205947155.png_pic_center]

##### 2.2 优先级调度 #####

为每个进程分配一个优先级，按优先级进行调度。

为了防止低优先级的进程永远等不到调度，可以随着时间的推移增加等待进程的优先级。

##### 2.3 多级反馈队列 #####

一个进程需要执行 100 个时间片，如果采用时间片轮转调度算法，那么需要交换 100 次。

多级队列是为这种需要连续执行多个时间片的进程考虑，它设置了多个队列，每个队列时间片大小都不同，例如 1,2,4,8,…。进程在第一个队列没执行完，就会被移到下一个队列。这种方式下，之前的进程只需要交换 7 次。

每个队列优先权也不同，最上面的优先权最高。因此只有上一个队列没有进程在排队，才能调度当前队列上的进程。

可以将这种调度算法看成是时间片轮转调度算法和优先级调度算法的结合。  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2d1YW5tYW9uaW5n_size_16_color_FFFFFF_t_70_pic_center 4]

#### 3. 实时系统 ####

实时系统要求一个请求在一个确定时间内得到响应。

分为硬实时和软实时，前者必须满足绝对的截止时间，后者可以容忍一定的超时。

--------------------

参考文献：

1.  [进程和线程基础知识全家桶，30 张图一套带走][30]
2.  [《计算机操作系统(第四版)(汤小丹)》][Link 1]
3.  [CS-Notes/notes/计算机操作系统 - 进程管理][CS-Notes_notes_ -]
4.  [记一次面试：进程之间究竟有哪些通信方式？ ---- 告别死记硬》][----]

[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2d1YW5tYW9uaW5n_size_16_color_FFFFFF_t_70_pic_center]: /images/20230208/53bef4a24ec24534a56be04c8abcae2e.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2d1YW5tYW9uaW5n_size_16_color_FFFFFF_t_70_pic_center 1]: /images/20230208/1ee7082242974662be2ad43f1dfca409.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2d1YW5tYW9uaW5n_size_16_color_FFFFFF_t_70_pic_center 2]: /images/20230208/5f0cc0bdc05f43bbb2d8a79e60a42f5a.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2d1YW5tYW9uaW5n_size_16_color_FFFFFF_t_70_pic_center 3]: /images/20230208/5c518de5b7d04a648999fd1a42aaeb84.png
[20200823205947155.png_pic_center]: /images/20230208/0b0cf81c21cd486f83dd97b1f6d501bf.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2d1YW5tYW9uaW5n_size_16_color_FFFFFF_t_70_pic_center 4]: /images/20230208/382cef2d994c481f991e0e588057516b.png
[30]: https://mp.weixin.qq.com/s?__biz=MzA4MjEyNTA5Mw==&mid=2652572249&idx=1&sn=2a9ca2c07e62a34de53d5e2393211ca9&chksm=84652213b312ab05aca2880e8dcab311a43449b0d779a5e2676c1843ee8a0b6103c0c20e3fd3&mpshare=1&scene=1&srcid=07206wYxWLi5WgcCUQGzCTgM&sharer_sharetime=1595182226522&sharer_shareid=f8218f5611738683ea3c0ae327210d5b&key=c6895a4a7d7f12ef72dc9b09a6839312ffb3b0fbc923bc5b255e930d1da3e97b7315f154f401f34f48f917201a508ea8b5e38d516f11cc9fd2b373ab62e2ae3426ca921fb8a412c04a767c47ab0b4517&ascene=1&uin=OTUyNjMwNDE1&devicetype=Windows+10&version=62080085&lang=zh_CN&exportkey=A%2BvOyaU9H58Vhacsx0uZwJY%3D&pass_ticket=vsjiOd19MY5gC9RrWPzBUNdrymTd9Tuk%2FSylIhaQQ%2BMFWW1LP%2F6V1CxjO6KP%2Bk7j
[Link 1]: https://item.jd.com/67831190925.html
[CS-Notes_notes_ -]: https://github.com/CyC2018/CS-Notes/blob/master/notes/%E8%AE%A1%E7%AE%97%E6%9C%BA%E6%93%8D%E4%BD%9C%E7%B3%BB%E7%BB%9F%20-%20%E8%BF%9B%E7%A8%8B%E7%AE%A1%E7%90%86.md
[----]: https://mp.weixin.qq.com/s?__biz=Mzg2NzA4MTkxNQ==&mid=2247485649&idx=1&sn=8c1f4acceb6db2a3c5e024f17649187a&chksm=ce404305f937ca1350d38d0e13b72384a64c9e24499bb2296da2ecd8217b850f7cb387d99926&mpshare=1&scene=1&srcid=0827MpW3RE8a4QpiYliV7nPf&sharer_sharetime=1598511610195&sharer_shareid=f8218f5611738683ea3c0ae327210d5b&key=6def13d9b1a9ecc5ccf7803117c37f2ea110881381aa9d0356b4e2fc018e4394ab9b227ce79db11392117ff3be86c635451a6714174615b4be929a1c74c699353bfa7974788efb40237ead0896edb8a11f9557f600a602f1425d65b7ad18ce4298904d09ca664fd8e4c3f79abff3da7fdf85760c9cb864f105c727fcb5a7459c&ascene=1&uin=OTUyNjMwNDE1&devicetype=Windows+10&version=62080085&lang=zh_CN&exportkey=A9IgZ872hn3vI2bw99xLTis%3D&pass_ticket=za23I0lmpC5x9qiMFZ6RUFDqRPLDFBMPDp%2BO7PLQdbMqcUJhA%2FC3mMg%2BY8BtGuBm