操作系统笔记2.3

2.3 进程同步（信号量）

1） 整型信号量
信号量定义为一个整型量；
根据初始情况赋相应的值；
仅能通过两个原子操作来访问。
P操作 wait(S):
While S<=0 do no-op;
S:=S-1;
V操作 signal(S):
S:=S+1;

2）记录型信号量
整型信号量符合“有限等待”原则
signal释放资源后，当CPU被分配给等待进程后，等待进程仍可继续执行，可以符合“有限等待”。
但整型信号量不符合“让权等待”原则
整型信号量的wait操作，当s ≤0时，当前进程会占着CPU不断测试；
信号量原语不能被打断，这个占有CPU的进程会一直不断的占据CPU循环下去，陷入忙等。

• P、V操作也有所变化
  不仅修改资源数，还要处理进程的阻塞、唤醒等操作。先修改资源数，再判断处理。

P操作wait():
S.value = S.value - 1;
if S.value < 0 then block(S,L)
V操作signal()：
S.value = S.value + 1;
if S.value <= 0 then wakeup(S,L)
3）用信号量实现司机和售票员的同步。

4）AND型信号量
出现原因：一些应用往往需要两个或多个共享资源，而不是前述的一个资源。进程同时要求的共享资源越多，发生死锁可能性越大。

解决思想：
一次性分配给进程所需资源，用完一起释放。Wait操作时对它所有需要的资源都要判断，有AND条件，故称“AND同步”、“同时wait”。
Swait(S1, S2, …, Sn)
if （S1 >=1 and … and Sn>=1 ）then
for i:=1 to n do
Si:= Si -1 ;
endfor
else
将进程阻塞在第一个不能满足资源信号量的队列中。
endif
Ssignal(S1, S2, …, Sn)
for i:=1 to n do
Si:= Si +1 ;
唤醒所以与si相关的阻塞进程
endfor
5）信号量集
引入原因：
每次只能获得或释放一个单位的资源，低效；
某些时候资源分配有下限的限制；
修改：在大于可分配设置的下界值t前提下，每次可分配d个。

信号量题目做题一般方法：
1.分析问题，找出同步、互斥关系
2.根据资源设置信号量变量
3.写出代码过程，并注意P、V操作的位置
4.检查代码，模拟机器运行，体验信号量的变化和程序运行过程是否正确。