为什么要使用管程
管程的目的是为了实现进程的同步和互斥
管程作为一种特殊的软件模块, 有以下部分组成
- 局部于管程的共享数据结构说明;
- 对该数据结构进行操作的一组函数;
- 对局部于管程的共享数据设置初始值的语句;
- 管程需要有一个名字;
管程的基本特征
- 局部于管程的数据只能被局部于管程的函数访问
- 一个进程只有通过调用管程内的函数才能进入管程访问共享数据
- 每次只允许一个进程在管程内执行某个内部函数;
Java类似管程的机制
使用synchronized关键字描述一个函数, 那么这个函数在同一时间段内只能被一个线程调用
死锁的概念
多个进程因竞争资源而造成的相互等待的情况, 在无外力干预时这些进程都无法向前推进;
死锁产生的必要条件
- 互斥条件 : 并发执行的线程对必须互斥使用的资源的争抢才会导致死锁
- 不剥夺条件 : 进程所获得的资源在未使用完之前不能由其它进程夺走
- 请求和保持条件 : 进程已经保持了至少一个资源,但又提出新的资源请求,而该资源又被其它进程占有
- 循环等待条件 : 存在一种进程资源的循环等待链;
注 : 死锁时一定有循环等待,但发生循环等待时未必死锁
什么时候发生死锁
- 对不可剥夺资源的竞争
- 进程推进顺序非法 , 请求和释放资源顺序不当. 例如, P1,P2进程分别占用着R1 R2资源, 而 P1 又申请了 R2资源, P2又申请R1资源
- 当信号量使用不当也会造成死锁
预防死锁
(1) 破坏互斥条件
将只能互斥使用的资源改造为允许共享使用 (SPOOLing技术, 将各个进程的请求交给一个输出进程, 进程向下推进, 由输出进程去使用资源)
(2) 破坏不剥夺条件
- 进程在某些已占有资源未使用完时, 也需要主动释放从而破坏不可剥夺条件
- 进程需要的资源被其他进程所占有时, 可以由OS协助将需要的资源强行剥夺
缺点 : 实现复杂, 可能造成被剥夺资源的进程前段时间的工作失效;
增加系统开销降低吞吐量; 在方案1的情景下可能会造成进程饥饿
(3) 破坏请求和保持条件
使用静态分配方法, 进程在运行前一次申请完它所需要的全部资源
缺点 : 系统资源利用率极低, 可能会导致进程饥饿
(4) 破坏循环等待条件
使用顺序资源分配法, 给系统中的资源编号, 规定每个进程必须按编号递增的顺序请求资源, 同类资源一次申请完;
缺点 : 不方便增加新的设备; 用户编程不方便