进程互斥的实现

本文详细介绍了进程同步和互斥的概念,包括单标志法、双标志法、Peterson算法等软件实现方式,以及中断屏蔽、testandset和Swap指令的硬件实现。此外,还探讨了互斥锁、信号量机制(整型和记录型)在实现进程同步、互斥及前驱关系中的应用,强调了理解和设计这些算法时遵循的原则。
摘要由CSDN通过智能技术生成

\quad

一. 进程同步

\quad
在这里插入图片描述
在这里插入图片描述
\quad

二. 进程互斥

\quad

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

在这里插入图片描述

\quad

三. 进程互斥软件实现

\quad

在这里插入图片描述

学习提示:
1.理解各个算法的思想、原理
2.结合上小节学习的“实现互斥的四个逻辑部分”,重点理解各算法在进入区、退出区都做了什么3.分析各算法存在的缺陷(结合“实现互斥要遵循的四个原则”进行分析)

在这里插入图片描述

单标志法

在这里插入图片描述
在这里插入图片描述

双标志先检查法

在这里插入图片描述
在这里插入图片描述

双标志后检查法

在这里插入图片描述

peterson

在这里插入图片描述

在这里插入图片描述

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
不建议直接钻到代码里面, 而是要先理解那些逻辑关系

\quad

四. 进程互斥硬件实现

\quad

在这里插入图片描述

\quad

4.1 中断屏蔽方法

\quad
在这里插入图片描述
关中断和开中断的指令权限很大
\quad

4.2 test and set 指令

\quad

在这里插入图片描述
\quad

4.3 Swap 指令

\quad
在这里插入图片描述
在这里插入图片描述

\quad

五. 互斥锁

\quad

在这里插入图片描述
忙等并不一定一直占用处理机, 时间片用完还是会下处理机

在这里插入图片描述
\quad

六. 信号量机制

\quad

在这里插入图片描述

在这里插入图片描述
在这里插入图片描述

\quad

6.1 整型信号量

\quad

在这里插入图片描述

在这里插入图片描述

\quad

6.2 记录型信号量

\quad

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
负几就说明有几个进程在等待

在这里插入图片描述
在这里插入图片描述

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

\quad

6.3 信号量机制实现进程互斥

\quad
在这里插入图片描述
\quad

在这里插入图片描述
在这里插入图片描述

\quad

6.4 信号量机制实现进程同步

\quad
并发存在异步性, 不可预知

在这里插入图片描述
\quad

在这里插入图片描述

\quad

6.5 信号量机制实现进程前驱关系

\quad
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

在这里插入图片描述

在这里插入图片描述

  • 9
    点赞
  • 11
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值