3 个进程的 Dekker 算法

Question

作为我的任务，我必须验证 Dekker 算法的某些内容 - 但有 3 个过程 -

我只能找到 2 个进程的原始版本。

目标不是算法，而是在 SMV 系统中的实现和验证 http://www.cs.cmu.edu/~modelcheck/smv.html

Answer 1

您可能应该询问课程人员，但您可以使用两个 Dekker 互斥锁来实现三进程互斥锁。进程 0 和 1 竞争获取互斥量 A；互斥量 A 的持有者和进程 2 竞争获取互斥量 B，允许其持有者运行临界区。