停车场与记录型信号量

记录型信号量,信号量机制,进程同步机制：协调进程间执行次序,信号量机制：使用信号量及有关的P、V操作原语来实现进程的互斥与同步。是一种卓有成效的进程同步机制,信号量：semaphore，控制进程的执行,1、整型信号量机制2、记录型信号量机制3、信号量集机制,记录型信号量,数据结构：typesemaphore=recordvalue:integer;L:listofprocess;end,初值为资源信号量的数目。,链表L用于链接所有等待的进程。,等待,系统资源,进程,信号量整型变量,场景模拟,L,2.signal操作,3.S.value值的含义,1.wait操作,wait操作和signal操作,wait操作：Procedurewait(S)varS:semaphore;beginS.value:=S.value（）1;ifS.value（）0thenblock(S.L);end,signal操作：Proceduresignal(S)varS:semaphore;beginS.value:=S.value（）1;ifS.value（）0thenwakeup(S.L);end,wait操作：申请一个单位资源,signal操作：释放一个单位资源,Procedurewait(S)varS:semaphore;beginS.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操作,3,S.value-1=2,1,0,-1,-2,Procedurewait(S)varS:semaphore;beginS.value:=S.value（）1;ifS.value（）0block(S.L);end,wait操作,Proceduresignal(S)varS:semaphore;beginS.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=-1,0,1,2,3,Proceduresignal(S)varS:semaphore;beginS.value:=S.value（+）1;ifS.value（0:系统中可利用的资源数量,S.value数值含义,S.value=0,L,等待,S.value=0:资源恰好分配完毕,S.value数值含义,S.value=-1,L,等待,S.value=-2,L,等待,S.value=0，则该进程；若S0，则该进程。3.每执行一次signal操作，信号量的数值S加1。若，则该进程继续执行；否则，从对应的队列中移出一个进程并状态赋予该进程。4.信号量的物理意义是当信号量值大于零时表