操作系统-处理器管理(进程管理)

操作系统-处理器管理(进程管理)

进程互斥与同步

进程间两种形式的制约关系:

1. 间接相互制约关系(源于资源共享)互斥访问临界资源,排队
2. 直接相互制约关系(源于进程合作)生产消费,一个生产了,另一个才能消费

临界资源

临界资源(Critical Resource):把一段时间内只允许一个进程访问的资源称为临界资源或独占资源.

临界区(Critical Section):每个进程中访问临界资源的那段代码称为临界区.

只要进程不同时进入临界区,就能保证进程互斥的访问临界资源.

那么,如何保证进程不同时进入临界区?

信号量机制

• 信号量是OS提供的管理公有资源的有效手段.
• 信号量是一个整数,当信号量大于等于零时,代表可供并发的进程使用的资源数量,当信号量小于零时,表示处于阻塞态进程的个数.

Java中的的信号量类Semaphore

使用方法:

final Semaphore semp = new Semaphore(5); 

semp.acquire(); //获取许可 P操作   

• 先减一   S.value>=0 ?  运行 : 阻塞后进入等待队列
• 先减一   S.value<0 ?  阻塞后进入等待队列 : 运行

semp.release(); // 释放资源 V操作 

• 先加一   S.value>0 ? 运行 : 唤醒等待队列中的进程
• 先加一   S.value<=0 ? 唤醒等待队列中的进程 : 运行

信号量的应用

利用信号量实现前驱关系(模式)*

设有两个并发执行的进程P1和P2,P1中有语句S1,P2中有语句S2,希望在S1执行后再执行S2.

使进程P1和P2共享一个公用信号量S,并赋予其初值为0.典型场景为生产者消费者.

进程P1代码:S1;signal(S);

进程P2代码:wait(S);S2;

利用信号量实现进程互斥(模式)**

为使多个进程互斥的访问某临界资源,须为该资源设置一互斥信号量mutex,并设初始值为n,然后将各进程访问资源的临界区CS置于P操作wait(mutex)和V操作signal(mutex)之间即可.n为临界资源的个数.

进程代码:wait(mutex);访问临界资源;signal(mutex);

利用记录型信号量实现同步(模式)***

P1,P2两进程因合作完成一项任务而共用一个变量X.进程P2将处理结果送入X;进程P1将X的结果打印.

?不太懂,待补充.