进程同步与异步-软件实现(算法)

本文探讨了通过两个进程实现同步与互斥访问临界资源的方法。提出了使用标志变量来标识临界区是否被占用的改进方案,并讨论了如何避免因进程在临界区内或临界区外失败而导致的执行影响。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

一,初步设想

  让两个进程实现同步与互斥访问临界资源。

  伪代码:

turn 。。0 1
P0

while turn=1 do{nothing}
<临界区>
turn := 1

P1

while turn=0 do{nothing}
<临界区>
turn := 1

 问题:

  turn 为0时,进程P0在进入临界区前(在临界区外),如果发生失败,则会影响其他进程的执行。同理,反过来,turn 为1时,进程P1也会影响进程P0的执行。

  此外,其中的另一个进程在临界区内失败,从而没能将turn的值改变,也会影响其他进程的执行。  

  总之,无论进程在临界区内还是临界区外,都会影响其他进程的执行。并且,他们必须交错执行。

第一次改进:

  “初步设想”,留下一个问题,就是上面说的。究其原因,就是其中一个进程的执行,要依托另外一个进程的执行。为了解决“初步设想”中遗留的问题,我们用一个标志flag,标志临界区是否处于被占用状态。

  flat[0],flat[1] 为ture时,分别表示P0,P1他们占用临界区;当他们为false时,分别表示P0,P1没有占用临界区。至于为什么要这样设置,我个人把这种思想,定义为"数组法","数组法",这个名称,当然是为了让我理解。(当然可能有别的更好的名称)。

  在这里我不得不先提到我在 学习Linux的时候,

转载于:https://www.cnblogs.com/listened/p/3919377.html

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值