Question

我正在阅读Peter B. Galvin撰写的操作系统概念中的关键部分问题。根据它

1）进度是：如果没有进程在其关键部分执行且某些进程希望进入其关键部分，那么只有那些未在其余部分执行的进程才能参与决策接下来将进入临界区，这个选择不能无限期推迟。

和

2）有界等待：在进程请求进入其关键部分后，允许其他进程进入其关键部分的次数存在限制或限制在该请求被授予之前。

我不理解作者想要在两种情况下说什么。

请您通过提供与此定义相关的适当示例来让我理解。

谢谢。

Answer 1

首先，我来介绍一些术语。 关键部分（CS）是一系列指令，可以由至多一个进程同时执行。使用关键部分时，代码可以分解为以下部分：

// Some arbitrary code (such as initialization).

EnterCriticalSection(cs);

// The code that constitutes the CS.
// Only one process can be executing this code at the same time. 

LeaveCriticalSection(cs);

// Some arbitrary code. This is called the remainder section.

第一部分包含一些代码，例如初始化代码。我们没有该部分的名称。第二部分是尝试进入CS的代码。第三部分是CS本身。第四部分是离开临界区的代码。第五个和最后一个部分称为余数部分，它可以包含任何代码。请注意，CS本身在进程之间可能不同（例如，考虑从客户端接收请求并将其插入队列的进程以及处理这些请求的另一个进程）。

为确保关键部分的实施正常运行，必须满足三个条件。你提到了其中两个（我将在下面解释）。第三是互斥，这显然至关重要。值得注意的是，互斥仅适用于CS和休假部分。但是，其他三个部分并不是唯一的。

第一个条件是进度。这个条件的目的是确保某个进程当前在CS中并且正在做一些工作，或者如果至少有一个进程想要进入CS，它将会然后做一些工作。在这两种情况下，一些工作正在完成，因此所有流程都在整体上取得进展。

进度：如果在其关键部分没有执行任何进程一些过程希望进入他们的关键部分，然后只有那些未在其余部分执行的进程可以参与决定下一步将进入其关键部分，并且这个选择不能无限期推迟。

让我们逐句理解这个定义。

如果其关键部分没有执行任何流程

如果在其关键部分中有一个进程正在执行（即使没有明确说明，这也包括离开部分），那么这意味着一些工作正在完成。所以我们正在取得进展。否则，如果不是这样的话......

并且一些流程希望进入他们的关键部分

如果没有进程想要进入他们的关键部分，那么就没有更多的工作要做了。否则，如果至少有一个进程希望进入其关键部分......

然后只有那些没有在其余部分执行的进程

这意味着我们正在讨论在前两个部分中执行的那些进程（请记住，没有进程在其关键部分或离开部分执行）...

可以参与决定下一步将进入其关键部分，

由于至少有一个进程希望进入其CS，因此我们必须选择其中一个进入其CS。但是谁会做出这个决定呢？已经请求获得进入其关键部分许可的流程有权参与做出此决定。此外，可能希望进入其CS但尚未请求许可的那些流程（这意味着他们在第一部分中执行）也有权参与制作这个决定。

并且此选择不能无限期推迟。

这表明选择进入其CS的流程将花费有限的时间。特别是，不会发生deadlock or livelock。因此，在这个有限的时间之后，一个过程将进入其CS并做一些工作，从而取得进展。

现在我将解释最后一个条件，即有界等待。这个条件的目的是确保每个进程都有机会实际进入其临界区，以便没有进程starves forever。但请注意，这种情况和进展都不能保证公平。 CS的实现不一定是公平的。

有界等待：对数量存在约束或限制允许其他进程进入其关键部分的时间在一个过程请求进入其关键部分之后在该请求被授予之前。

让我们逐句理解这个定义，从最后一个开始。

在进程请求进入其关键部分之后
在该请求被授予之前。

换句话说，如果有一个进程已请求进入其CS但尚未进入该进程。让我们称这个过程为P。

对数量存在约束或限制其他进程被允许进入其关键部分

当P等待进入其CS时，其他进程也可能正在等待，并且某些进程正在其CS中执行。当它离开其CS时，必须选择一些其他过程来进入CS，其可能是也可能不是P.假设选择了除P之外的过程。这种情况可能会一次又一次地发生。也就是说，其他进程有机会进入他们的CS但从未进入P.注意正在取得进展，但是通过其他进程，而不是P.问题是P没有机会做任何工作。为了防止饥饿，必须保证P最终会进入其CS。为此，必须限制其他进程进入其CS的次数。在这种情况下，P肯定会有机会进入其CS。

我想提一下CS的定义可以推广，以便最多N个进程在其关键部分执行，其中N是任何正整数。还有读写器关键部分的变体。

Answer 2

相互排斥

在任何时间点，临界区内不能同时存在两个过程，只有一个过程可以在任何时间点进入临界区。

进度图片

进度

在关键部分之外运行的任何流程都不应阻止其他感兴趣的流程进入其关键部分，而实际上临界部分是免费的。

有限等待

任何流程都不应该永远等待进入关键部分。在获得进入关键部分的机会方面应该存在边界。如果不满足有限等待，那么就有可能出现饥饿。

注意
没有假设与H / W或处理速度有关。

Answer 3

总的来说，关键部分问题的解决方案必须满足三个条件：

互斥：每个进程对共享内存的独占访问权限。在任何给定时间，只有一个过程可以在其关键部分。
进度：如果其关键部分中没有进程，并且一个或多个线程想要执行其关键部分，则必须允许这些线程中的任何一个进入其关键部分部分。
有界等待：在一个进程发出进入其关键部分的请求之后，在此过程之前，有多少其他进程可以进入其关键部分＃39 ; s请求被授予。因此，在达到限制后，系统必须授予进程权限以进入其关键部分。这个条件的目的是确保每个进程都有机会实际进入其关键部分，这样任何进程都不会永远挨饿。

Answer 4

告诉同步解决方案的要求是否正确

1）。相互排斥： - 在任何时间点，临界区内只应存在一个过程。

2）。进展： - 在关键部分之外并且不想进入关键部分的过程然后这样的过程不应该阻止其他感兴趣的过程进入其关键部分。如果一个流程成功阻止其他感兴趣的流程，则无法保证进度，否则就可以保证。关键部分应该是免费的。

3）。有限的等待： - 关键部分之外的流程的等待时间应该是有限的。

4）。建筑中立： - 没有关于硬件的假设

什么是关键部分的进展和有限等待？

4 个答案: