信号量机制

一、 整型信号量
1、信号量定义为一个整型量;
2、根据初始情况赋相应的值;
3、仅能通过两个原子操作来访问。
4、P/V操作
P操作 wait(S):
While S<=0 do no-op;
S:=S-1;
V操作 signal(S):
S:=S+1;

二、记录型信号量
1、放弃CPU的进程进入阻塞队列:因等待某信号量而放弃CPU的等待进程会有“若干”个,需将它们组织管理起来,并在合适的时候唤醒
2、不仅要有值的处理,还有队列的处理
3、此时形成记录型数据结构,包括两部分:整型变量value(代表资源数目)、进程链表L(链接所有等待进程)
4、代码描述
type Semaphore=record
value:integer;
L:list of PCB;
end;
操作:S.Value,S.L
说明:Value>0,表示当前可用资源的数量;Value≤0,其绝对值表示等待使用该资源的进程数。
5、P/V操作
P操作wait():
S.value = S.value - 1;
if S.value < 0 then block(S,L)
V操作signal():
S.value = S.value + 1;
if S.value <= 0 then wakeup(S,L)

三、信号量的基本应用
1、互斥
(1)互斥信号量mutex初值为1;
(2)每个进程中将临界区代码置于P(mutex)和V(mutex)原语之间
(3)必须成对使用P和V原语(在同一进程中),不能次序错误、重复或遗漏:(遗漏P原语则不能保证互斥访问;遗漏V原语则不能在使用临界资源之后将其释放(给其他等待的进程);)
2、有序
(1)为每对前趋关系设置一个同步信号量S12,并赋初值为0。则只有V操作所在进程获得cpu时能运行

四、AND型信号量
1、出现原因:一些应用往往需要两个或多个共享资源,而不是前述的一个资源。进程同时要求的共享资源越多,发生死锁可能性越大。
2、解决思想:一次性分配给进程所需资源,用完一起释放。Wait操作时对它所有需要的资源都要判断,有AND条件,故称“AND同步”、“同时wait”。

五、信号量集

1、引入原因:
(1)每次只能获得或释放一个单位的资源,低效;
(2)某些时候资源分配有下限的限制;
(3)修改:在大于可分配设置的下界值t前提下,每次可分配d个。
2、特例
只有一个信号量S的几种特殊情况:
(1)Swait(S, d, d),,允许每次申请d个资源,若现有资源数少于d,不予分配。
(2)Swait(S, 1, 1),蜕化为一般的记录型信号量,一次申请一个,至多分配一个(S>1时可计数,或S=1时可控制互斥)。
(3)Swait(S, 1, 0),当S>=1时,允许多个进程进入某特定区,当S变为0后,阻止任何进程进入特定区,相当于可控开关。并不对S资源的数量产生影响。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值