【操作系统】管程、死锁产生的必要条件和预防

为什么要使用管程

管程的目的是为了实现进程的同步和互斥

管程作为一种特殊的软件模块, 有以下部分组成

1. 局部于管程的共享数据结构说明;
2. 对该数据结构进行操作的一组函数;
3. 对局部于管程的共享数据设置初始值的语句;
4. 管程需要有一个名字;

管程的基本特征

1. 局部于管程的数据只能被局部于管程的函数访问
2. 一个进程只有通过调用管程内的函数才能进入管程访问共享数据
3. 每次只允许一个进程在管程内执行某个内部函数;

Java类似管程的机制

使用synchronized关键字描述一个函数, 那么这个函数在同一时间段内只能被一个线程调用

死锁的概念

多个进程因竞争资源而造成的相互等待的情况, 在无外力干预时这些进程都无法向前推进;

死锁产生的必要条件

1. 互斥条件 : 并发执行的线程对必须互斥使用的资源的争抢才会导致死锁
2. 不剥夺条件 : 进程所获得的资源在未使用完之前不能由其它进程夺走
3. 请求和保持条件 : 进程已经保持了至少一个资源,但又提出新的资源请求,而该资源又被其它进程占有
4. 循环等待条件 : 存在一种进程资源的循环等待链;

注 : 死锁时一定有循环等待,但发生循环等待时未必死锁

什么时候发生死锁

1. 对不可剥夺资源的竞争
2. 进程推进顺序非法 , 请求和释放资源顺序不当. 例如, P1,P2进程分别占用着R1 R2资源, 而 P1 又申请了 R2资源, P2又申请R1资源
3. 当信号量使用不当也会造成死锁

预防死锁

(1) 破坏互斥条件

将只能互斥使用的资源改造为允许共享使用 (SPOOLing技术, 将各个进程的请求交给一个输出进程, 进程向下推进, 由输出进程去使用资源)

(2) 破坏不剥夺条件

1. 进程在某些已占有资源未使用完时, 也需要主动释放从而破坏不可剥夺条件
2. 进程需要的资源被其他进程所占有时, 可以由OS协助将需要的资源强行剥夺
   缺点 : 实现复杂, 可能造成被剥夺资源的进程前段时间的工作失效;
   增加系统开销降低吞吐量; 在方案1的情景下可能会造成进程饥饿

(3) 破坏请求和保持条件

使用静态分配方法, 进程在运行前一次申请完它所需要的全部资源
缺点 : 系统资源利用率极低, 可能会导致进程饥饿

(4) 破坏循环等待条件

使用顺序资源分配法, 给系统中的资源编号, 规定每个进程必须按编号递增的顺序请求资源, 同类资源一次申请完;

缺点 : 不方便增加新的设备; 用户编程不方便