• 2021-04-14
    设记录型信号量为s,则V操作可写成V(s),代表释放资源 也可写成用signal(s)或up(s)。将信号量s.value加1,若结果不大于0,则从该资源的阻塞队列首部唤醒一个进程插入就绪队列中。 s.value= s.value+1 if s.value≤0 then wakeup(s.L)