内容提要信号量机制.PDF

2014/3/28 内容提要 • 同步与互斥问题 • 基于忙等待的互斥方法 • 基于信号量的方法 • 基于管程的同步与互斥 • 进程通信的主要方法 • 经典的进程同步与互斥问题 37 信号量机制 • 1965年Dijkstra。P （S），V （S）操作。 P、V分别是荷兰语的test(proberen)和 increment(verhogen)） • 其基本思路是使用一种新的变量类型 （semaphore） • 信号量只能通过初始化和两个标准的原 语来访问，作为OS核心代码执行，不受 进程调度的打断 1 2014/3/28 经典信号量机制 P(S) :while S=0 do skip S:=S-1; V(S) :S:=S+1; 计数信号量机制 Type semaphore = record value : integer; L : list of process; end Procedure P(S) var S : semaphore; begin S.value := S.value -1; if S.value0 then block(S.L); end procedure V(S) var S : semaphore; begin S.value := S.value + 1; if S.value=0 then wakeup(S.L) end 2 2014/3/28 信号量的使用： • 必须置一次且只能置一次初值 • 只能由P、V操作来改变 物理意义 • S.value为正时表示资源的个数 • S.value为负时表示等待进程的个数 • P操作分配资源 • V操作释放资源。 3 2014/3/28 信号量机制的实现 • 原子性问题； – 关中断、TS指令等 • PCB链表形式。 《现代操作系统》P74 信号量的应用 • 互斥 – 利用信号量实现进程互斥（S=1） • 同步 – 利用信号量实现进程同步（S=0） – 例如：描述进程执行的前趋/后继关系 4