进程互斥的四中软件实现方法:单标志法、双标志先检查法,双标志后检查法、peterson算法
进程互斥的三种硬件实现方法:中断屏蔽法、TS指令、swap指令
信号量:一个变量,信号量可以用来表示系统中某种资源的数量
原语是特殊的程序段,只能一气呵成、不能被中断
一对原语:wait(s)和signal(s)原语、也叫p、v操作p(s)、v(s)
一、整形信号量
用一个整形信号量作为信号,用来表示系统中某种资源的数量,只有初始化、p、v操作
缺点:不满足让权等待原则,会出现忙等现象
二、记录型信号量
用记录型数据结构表示的信号数量
value表示剩余的资源数量,并指向等待队列
block原语:使进程进入阻塞状态,并挂到等待队列上