1.什么是同步
使并发执行的诸进程之间能有效地共享资源和相互合作,从而使程序的执行具有可再现性
2. 控制同步的关键在哪里。
不被打断的进行标志值的判断和修改
3. 同步原则
空闲让进,忙则等待,有限等待,让权等待
4.整型信号量
信号量定义为一个整型量;
根据初始情况赋相应的值;
仅能通过两个原子操作来访问。
P操作 wait(S):
While S<=0 do no-op;
S:=S-1;
V操作 signal(S):
S:=S+1;
5.记录型信号量
整型信号量符合“有限等待”原则
signal释放资源后,当CPU被分配给等待进程后,等待进程仍可继续执行,可以符合“有限等待”。
但整型信号量不符合“让权等待”原则
整型信号量的wait操作,当s ≤0时,当前进程会占着CPU不断测试;
信号量原语不能被打断,这个占有CPU的进程会一直不断的占据CPU循环下去,陷入忙等。
6.信号量结构信息发生变化
不仅要有值的处理,还有队列的处理。
此时形成记录型数据结构,包括两部分:
整型变量value(代表资源数目)
进程链表L(链接所有等待进程):
代码描述:
type Semaphore=record
value:integer;
L:list of PCB;
end;
操作:S.Value,S.L
• 定