软考-软件设计师-操作系统1-进程管理-同步互斥

1.操作系统知识

2.操作系统概述

• 操作系统的作用：通过资源管理提高计算机系统的效率；改善人机界面向用户提供友好的工作环境。
• 操作系统的特征：并发性、共享性、虚拟性、不确定性。
• 操作系统的功能：进程管理、存储管理、文件管理、设备管理、作业管理。
• 操作系统的分类：批处理操作系统、分时操作系统（轮流使用CPU工作片）、实时操作系统（快速响应）、网络操作系统、分布式操作系统（物理分散的计算机互联系统）、微机操作系统（Windows）、嵌入式操作系统。
• 计算机启动的基本流程为：BIOS-->主引导记录-->操作系统。 

3.进程的组成和状态

• 进程的组成：进程控制块PCB（唯一标志）、程序（描述进程要做什么）、数据（存放进程执行时所需数据）。
• 进程基础状态是下左图中的三态图，这是系统自动控制时只有三种状态，而下右图中的五态，是多了两种状态：静止就绪和静止阻塞，需要人为的操作才会进入对应状态，活跃就绪即就绪，活跃阻塞即等待。
•  可知，当人为干预后，进程将被挂起，进入静止状态，此时，需要人为激活，才能恢复到活跃状态，之后的本质还是三态图。

4.前趋图

• 前趋图：用来表示哪些任务可以并行执行，哪些任务之间有顺序关系，具体如下图：

 可知，A B C可以并行执行，但是必须A B C都执行完后，才能执行D，这就确定了两点：任务间的并行、任务间的先后顺序。

5.进程资源图

6.同步与互斥

• 互斥：某资源（即临界资源）在同一时间内只能由一个任务单独使用，使用时需要加锁，使用时需要加锁，使用完后解锁才能被其他任务使用；如打印机。
• 同步：多个任务可以并发执行，只不过有速度上的差异，在一定情况下停下等待，不存在资源是否单独或共享的问题；如自行车和汽车。
• 临界资源：各进程间需要以互斥方式对其访问的资源。
• 临界区：指进程中对临界资源实施操作的那段程序。本质是一段程序代码。
• 互斥信号量：对临界资源采用互斥访问，使用互斥信号量后其他进程无法访问，初值为1。
• 同步信号量：对共享资源（和临界资源是对立的）的访问控制，初值一般是共享资源的数量。

7.信号量操作

• P操作：申请资源，S=S-1，若S>=0，则执行P操作的进程继续执行；若S<0,则设置该进程为阻塞状态（因为无可用资源），并将其插入阻塞队列。
• V操作：释放资源，S=S+1，若S>0，则执行V操作的进程继续执行；若S<=0，则从阻塞状态唤醒一个进程，并将其插入就绪队列（此时因为缺少资源被P操作阻塞的进程可以继续执行），然后执行V操作的进程继续。

• 经典问题：生产者和消费者的问题

• 三个信号量：互斥信号量S0（仓库独立使用权），同步信号量S1（仓库空闲个数），同步信号量S2（仓库商品个数）

8.死锁

• 当一个进程在等待永远不可能发生的事件时，就会产生死锁，若系统中有多个进程处于死锁状态，就会造成系统死锁。

    死锁产生的四个必要条件：

• 资源互斥
• 每个进程占有资源并等待其他资源
• 系统不能剥夺进程资源
• 进程资源图是一个环路

    死锁产生后，解决措施是打破四大条件，有下列方法：

• 死锁预防：采用某种策略限制并发进程对于资源的请求，破坏死锁产生的四个条件之一，使系统任何时刻都不满足死锁的条件。
• 死锁避免：一般采用银行家算法来避免，银行家算法，就是提前计算出一条不会死锁的资源分配方法，才分配资源，否则不分配资源，相当于借贷，考虑对方还得起才借钱，提前考虑好以后，就可以避免死锁。
• 死锁检测：允许死锁产生，但系统定时运行一个检测死锁的程序，若检测到系统中发送死锁，则设法加以解除。
• 死锁解除：即死锁发送后的解除算法，如强制剥夺资源，撤销进程等。
• 死锁计算问题：系统内有n个进程，每个进程都需要R个资源，那么其发生死锁的最大资源数为n*（R-1）.其不发生死锁的最小资源数为n*（R-1）+1.