作为我的任务，我必须验证 Dekker 算法的某些内容 - 但有 3 个进程 -
我只能找到 2 个进程的原始版本。
目标不是算法，而是在 SMV 系统中的实现和验证 http://www.cs.cmu.edu/~modelcheck/smv.html
最佳答案
你可能应该问类(class)人员，但你可以使用两个 Dekker 互斥锁来实现三进程互斥锁。进程0和1竞争获取互斥体A；互斥量 A 的持有者和进程 2 竞争获取互斥量 B，互斥量 B 的持有者被允许运行临界区。
关于algorithm - 3 个进程的 Dekker 算法，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/5859267/