1. 概念
1.同步
合作进程间的直接制约关系
生产者和消费者是两个进程,他们之间需要合作才能够完成一次交易,缺少任何一个进程都不可以!
同步就是进程之间的合作关系!
2.互斥
申请临界资源进程间的间接制约关系
独木桥一次只能够让一个人通过,在过桥的时候一个人再过的时候其他人只能够等待
3.临界区
进程中对临界资源实施操作的那段程序
4.临界资源
各进程可以共享各类资源,但有些资源一次只能供一个进程使用
比如车上有n个座位,临界资源就是N,那么临界区就是是占有这个座位的过程;
反应到程序中就是访问临界资源的代码
5.信号量
信号量S的物理意义:S>=0表示某资源的可用数,若S<0,则其绝对值表示阻塞队列中等待该资源的进程数
公有信号量:实现进程间的互斥;初值为1或资源的数目
私有信号量:实现进程间的同步;初值为0或者某个正整数
比如信号量就是一个交通指示灯外;需要看对应的信号量的状态才确定执行还是等待.
2.PV原语
1. P操作
Begin
S:=S-1;
If S<0 then R(S) (执行P操作的进程插入等待队伍)
End;
2.V操作
Begin
S:=S+1;
If S<0 then R(S) (从阻塞的队列中唤醒一个进程)
End;
P操作减一,V操作加一
3. PV操作实现互斥
令信号量mutex的初值为1,当进入临界区执行P操作,退出临界区时执行V操作
P(mutex)
临界区
V(mutex)
1.互斥的信号量
临界资源的数量
初值一般设置最大的临界资源数量
2.互斥的P操作:查看是否有临界资源
在进程需要访问临界区的时候,执行一个P操作来确定是否能够进入临界区(就好像过马路要先看指示灯)
P操作会查看资源的剩余量;假设进程进入那么资源数就会减一,减一之后查看资源的剩余量来确定进程是否可以 访问临界区
3.互斥的V操作:将临界区的资源释放掉
对应到程序中就是对信号量执行一个V操作之后退出临界区
V操作就是:增加资源的剩余量;假设进程退出那么资源就会加一,然后进程退出临界区
2. PV操作实现同步
单缓冲区的生产者消费者是一个进程之间的同步
1.同步的信号量
资源的数量—进程的状态
S1:生产者能否放入缓冲区
S2:消费者能否消费
初值的设置
各个进程的初始状态;这个的设置不局限于一种。
生产者可以放,初值为1;消费者开始不能消费,初值为0
生产者不可以放,初值为0.;消费者开始不能消费,初值为0
2.同步的P操作
是否执行进程
P(S1)代表生产者是否可以放入产品, P(S2)代表消费者是否可以消费产品
3.同步的V操作
是否唤醒进程
V(S1)代表消费者消费完,唤醒生产者, V(S2)代表生产者放入了产品,唤醒消费者