进程互斥的实现方法
如果没有理解进程互斥的概念可以参考一下这篇文章《操作系统》-进程同步和进程互斥的初识
引言
如果没有进程互斥会怎么样呢?
进程A、进程B在系统中并发地运行
先调度A上处理机运行当A在使用打印机的过程中,分配给它的时间片用完了,接下来操作系统调度B让它上处理机运行进程B也在使用打印机
结局:A、B 的打印内容混在一起了
所以我们的进程互斥是必不可少的
通过这篇文章,我们分别来说进程互斥的软件实现方法
和硬件实现方法
软件实现方法
单标志法
算法思想:两个进程在访问完临界区后
会把使用临界区的权限转交给另一个进程。也就是说每个进程进入临界区的权限只能被另一个进程赋予
turn的初值为0,即刚开始只允许0号进程进入临界区。
若P1先上处理及运行,则会一直卡在进入区。直到P1的时间片用完,发生调度,切换P0上处理机运行。P0在进入区不会卡住,P0可以正常访问临界区,在P0访问临界区期间就可以切换为P1,P1依然会卡在进入区。只有在P0在退出区时将turn改为1后,P1才能进入临界区
因此,该算法可以实现“同一时刻最多允许一个进程访问临界区”
算法缺点:
只能按 P0 -> P1 -> P0 -> P1 ->……这样轮流访问。 这种必须“轮流访问”带来的问题是,如果此时允许进入临界区的进程是P0,而P0一直不访问临界区,那么虽然此时临界区空闲,但不允许P1访问,因此,单标志法违背了“等闲让进”原则。
双标志先检查法
算法思想:设置一个布尔型数组flag[],数组中各个元素用来标记各进程想进入临界区的意愿
,比如“flag[0]=true”意味着0号进程P0现在想要进入临界区,每个进程在进入临界区之前先检查当前有没有别的进程想要进入临界区,如果没有,则把自身对应的标志flag[i]设置为true,之后开始访问临界区
算法缺点:
若按照 ①⑤②⑥③⑦….的顺序执行,P0 和 P1 将会同时访问临界区。
因此,双标志先检查法违背了“忙则等待”原则。
原因在于,进入区
的“检查”和“上锁”两个处理不是一气呵成的
。“检查”后,“上锁”前可能发生进程的切换
双标后检查法
算法思想:双标志先检查法的改版,前一个算法的问题在于先“检查”后“上锁”,但这两个操作又无法一气呵成,因此导致了两个进程同时进入临界区的问题。因此,人们又想到先“上锁”再“检查”的方法,来避免上述问题
算法缺点:
若按照 ①⑤②⑥….的顺序执行,P0 和 P1 将都无法进入临界区
因此,双标志后检查法虽然解决了“忙则等待”
的问题,但又违背了“空闲让进”和“有限等待”原则
,会因各进程都长期无法访问临界区而产生“饥饿”
现象
两个进程都争先着想进入临界区,但是谁又不让谁,最后谁都无法进入临界区
Peterson算法
算法思想:结合双标志法,单标志法的思想,如果双方都争着想进入临界区,那可以让进程尝试“孔融让梨”(谦让)。做一个有礼貌的进程
算法缺点:
peterson算法用软件方法解决了进程互斥问题,遵循了空闲让进、忙则等待、有限等待三个原则
,但是依然为遵循让权等待
的原则,相对于前面三种软件算法是最好的了,但依然不够好
说完实现进程互斥的软件方法,接下来我们一起来学习一下硬件实现方法吧
硬件实现方法
中断屏蔽方法
利用“开/关中断指令”实现(与原语的实现思想相同,即某进程开始访问临界区到结束访问为止都不允许中断,也就不能发生进程切换,因此也不可能发生两个同时访问临界区的情况)
优点:
简单、高效
缺点:
不适用于多处理机;只适用于操作系统内核进程,不适用于用户进程(因为开/关中断指令只能运行在内核态,这组指令如果能让用户随意使用会很危险)
TestAndSet指令
简称TS指令,也有的地方称为TestAndSetLock指令,或TSL指令
TSL指令是用硬件实现的
,执行过程中不允许被中断,只能一气呵成,以下是用C语言描述的逻辑
若刚开始lock是false,则TSL返回的old值是false跳出循环,进入临界区,同时也会将lock的值设置为true,这是再有进程想要进入临界区时,TSL返回的old值是true,就会一直循环,直到前一个临界区访问完,将lock设置为false,才能继续访问临界区。
相比于软件实现方式,TSL指令把“上锁”和“检查”操作用硬件的方式变成一气呵成的原子操作。
优点:
实现简单,无需像软件实现方法那样严格检查是否会有逻辑漏洞;适用于多处理机环境
缺点:
不满足“让权等待”原则,暂时无法进入临界区进程会占有CPU并循环执行TSL指令,从而导致“忙等”。
Swap指令
有的地方也叫做Exchange指令,或者简称XCHG指令
Swap指令是用硬件实现的
,执行的过程中不允许被打断,只能一气呵成,以下是用C语言描述的逻辑
逻辑上来说Swap和TSL并无太大区别,都是先记录下此时临界区是否已经被上锁(记录在old变量上),再将上锁标记lock设置为true,最后检查old,如果old为false则说明之前没有别的进程对临界区上锁,则可跳出循环,进入临界区
优点:
实现简单,无需像软件实现方法那样严格检查是否有逻辑纰漏;适用于多处理机环境
缺点:
不满足“让权等待”原则,暂时无法进入临界区的进程会占用CPU并循环执行Swap指令,从而导致“忙等”。
总结: