【OS】L17信号量临界区保护

靠临界区来保护信号量，靠信号量来实现进程间的同步；
同步就是进程间的走走停停；

“AND NEVER REMOVE THIS EMPTY LOOOP!!!”

临界区保护的三种解法

面包店算法

// Peterson 算法 ：标记+轮转的结合（针对两个进程）
flag[i] = true;
turn = j;
while (flag[i] && turn == j);
临界区
flag[i] = false;
剩余区

// 面包店算法：标记+轮转的结合（针对多个进程）

choose[i] = true;
num[i] = max(num[0] + ... + num[i - ]) + 1;			// 进行取号操作
choose[i] = false;

for (int j = 0; j < n; j++) {
	while (choose[j]);			// 如果j进程在等待，则i进程空转
	while (num[j] != 0 && (num[j], j) < (num[i], i));			// 如果j进程部位0， 且j进程号 < i进程号，则i进程空转；
}
临界区
num[i] = 0;

开关中断

被调度：另一个进程只有被调度才能执行，才可能进入临界区，如何阻止调度？
通过开关中断，不去读取中断信号

cli();
	临界区
cti();
	剩余区

缺点：多核CPU不好使；

临界区保护的硬件原子指令法（多CPU情况不好使）

// 硬件原子指令
boolean TestAndSet(boolean &x)
{
		boolean rv = x;
		x = true;
		return rv;
}

while (TestAndSet(&lock));
临界区
lock = false;
剩余区

进程Pi