问弱公平和强公平有什么区别？

EN

给出了一个过渡图：

1. Weak公平性确保执行不能永远停留在启用操作导致其他状态的状态。在强公平性中，
2. 无法在fi中启用任何动作，通常不执行。

我不完全确定，但我相信这是答案：

强与弱

如果每个启用的进程最终都会运行，那么调度程序是非常公平的。

如果每个持久启用的进程最终都将运行，调度程序是弱公平的。

对于共享变量程序来说，弱公平是合理的，但是它不是很有用(不能是局部的) book-keeping)

• For

• 强公平性是不现实的(过多的

• 异步进程，弱公平性既是合理的，又是有用的

)。

示例

a!0 k n:=0; go:=true;
do
    (go ^ a?x ! go:=false)
    2 (go ! n:=n + 1)
od

继续执行第二种选择是不公平的，因为这将继续忽略在两个进程之间进行同步通信的可能性，而这可能在无限多的情况下执行。

一个有效的实现应该尽量公平，并且应该确保一个输出命令不会被不合理地延迟，通常是在它第一次变成可执行之后。

什么是公平？

这样的执行不是强公平的，而是弱fair.

• Assuming强公平性的，程序终止时n=0.

• 假设弱公平，程序也可能会发散。