记录型信号量

记录型信号量信号量机制进程同步机制：协调进程间执行次序信号量机制：使用信号量及有关的P、V操作原语来实现进程的互斥与同步。是一种卓有成效的进程同步机制信号量：semaphore，控制进程的执行1、整型信号量机制2、记录型信号量机制3、信号量集机制记录型信号量数据结构：

typesemaphore=recordvalue:integer;L:listofprocess;end

初值为资源信号量的数目。链表L用于链接所有等待的进程。等待系统资源进程信号量整型变量场景模拟L2.signal操作3.S.value值的含义1.wait操作wait操作和signal操作wait操作：Procedurewait(S)

varS:semaphore;begin

S.value:=S.value（）1;ifS.value（

）0thenblock(S.L);end

signal操作：Proceduresignal(S)

varS:semaphore;begin

S.value:=S.value（）1;ifS.value（

）0thenwakeup(S.L);end

wait操作：申请一个单位资源signal操作：释放一个单位资源Procedurewait(S)

varS:semaphore;begin

S.value:=S.value（

）1;ifS.value（

）0block(S.L);end

问题1.wait操作－S.value=S.value:=S.value=S.value=S.value=S.value=①⑤②③④L等待wait操作3S.value-1=210-1-2Procedurewait(S)

varS:semaphore;begin

S.value:=S.value（－

）1;ifS.value（

<）0block(S.L);end

wait操作Proceduresignal(S)

varS:semaphore;begin

S.value:=S.value（）1;ifS.value（

）0thenwakeup(S.L);end

+问题2.signal操作S.value=

S.value:=S.value=S.value=S.value=S.value=L等待signal操作-2①⑤②③④S.value+1=-10123Proceduresignal(S)

varS:semaphore;begin

S.value:=S.value（+

）1;ifS.value（

<=0

）

thenwakeup(S.L);end

signal操作若信号量S.value的初值为2，当前值为-1，则表示有（）个进程等待。

A、0B、1C、2D、3问题3.S.value值的含义S.value=3S.Value=2S.value=1S.value>0:系统中可利用的资源数量S.value数值含义S.value=0L等待

S.value=0:资源恰好分配完毕S.value数值含义S.value=-1L等待S.value=-2L等待S.value<0:其绝对值表示在该信号量链表中已阻塞进程的数目。

S.value数值含义若信号量S.value的初值为2，当前值为-1，则表示有（

）个进程等待。

A、0B、1C、2D、3S.value值的含义B1.wait(S)和signal(S)是原子操作；2.信号量的值仅由wait、signal操作改变；3.必须给信号量赋初值，且只能赋一次初值；4.互斥信号量为1使用信号量时注意几点：1.对于两个并发进程，设互斥信号量为mutex，若mutex=0，则（）

A、表示没有进程进入临界区

B、表示有一个进程进入临界区

C、表示有一个进程进入临界区，另一个进程等待

D、表示有2个进程进入临界区2.每执行一次P操作，信号量的数值S减1。若S>=0，则该进程

；若S<0，则该进程

。3.每执行一次V操作，信号量的数值S加1。若

，则该进程继续执行；否则，从对应的