1

我想将边缘的防护配置为：

(turn % 4) == me

其中 turn 是一个时钟变量，而 me 是一个表示进程的 int。

请给我一个如何为上述谓词制作守卫的例子。

谢谢，凯文

4

1 回答 1

0

我的答案不完全完整（所以我不会将其标记为完整）。

但是，如果您有一个“时钟 x”，并且希望时钟从 n --> 0 开始环绕，那么您可以将此保护添加到边缘。

if (x == n) ? 0 : x
于 2012-10-26T00:45:32.330 回答