Locks or Semaphores E W. Dijkstra, 1965 信号量( A semaphore)是一非负整数,具有如下操作 P(s: if s>0, decrement s by 1, otherwise wait V(s: increment s by 1 and wake up one of the waiting processes P(s)和V(s)必须是原子操作,.e,不能被中断,不能由多个处理 器交叉访问s Process i s的初始值设置为可访问临界区的 <critical section> 最大进程数 2021/2/11 计算机体系结构Locks or Semaphores E. W. Dijkstra, 1965 2021/2/11 计算机体系结构 25 信号量（A semaphore） 是一非负整数, 具有如下操作: P(s): if s>0, decrement s by 1, otherwise wait V(s): increment s by 1 and wake up one of the waiting processes P(s)和V(s) 必须是原子操作, i.e., 不能被中断，不能由多个处理 器交叉访问s s的初始值设置为可访问临界区的 最大进程数 Process i P(s) <critical section> V(s)