Abstract

在分散式系統欲達到mutual exclusion常採用Permission-based的作法,任何process想進入critical section必須得足夠法定人數的permission才能進入。如何將系統中的processes分成一組一組的Quorum(法定組合),使得欲進入critical section的process只要得到任何一組Quorum所有成員的permission即可。本演講的探討利用幾何學的方法,把系統中的processes分成Quorums的作法。