操作系统-进程互斥
单标志法
当系统轮流让两个进程交替执行时,容易产生资源混乱的问题(如:打印机A打印一半轮到打印机B打印,会造成两台打印机打印出的东西混在一起)
此时我们加入限定条件来实现进程互斥
int turn = 0;//turn表示当前允许进入临界区的进程号 turn变量背后的逻辑是表达谦让
//P0进程
while(turn != 0); //进入区 当turn为0时,不满足while循环,跳出循环开始执行下面的步骤
critical section; // 临界区
turn = 1; //退出区
remainder section; //剩余区
//P1进程
while(turn != 1); //进入区 当turn=0时,满足while循环,开始执行while循环,等待系统调度的时候推出,相当于卡在这里不能执行下面的操作
critical section; //临界区
turn = 0; //退出区
remainder section; //剩余区
单标志法的缺点是:各个进程只能轮流的使用临界区,如果P0将资源“谦让”给了P1,而P1不使用资源的话,当P0想要使用的时候必须要等到再次轮到自己。那么虽然此时临界区空闲,但并不允许P1访问。
因此单标志法最主要的问题是,违反了“空闲让进”原则。
双标志先检查法
算法思想:设置一个布尔型数组flag[],数组中各个元素用来标记各进程想进入临界区的意愿,比如“flag[0] = true”意味着0号进程P0现在想要进入临界区。每个进程在进入临界区之前先检查当前有没有别的进程想要进入临界区,如果没有,则把自身对应标志flag[i]设为true,之后开始访问临界区。