首页 > 代码库 > 进程同步与异步-软件实现(算法)

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

一,初步设想

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

  伪代码:

turn 。。0 1P0while turn=1 do{nothing}<临界区>turn := 1P1while 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的时候,