Mutual Exclusion vs Consensus: Both Sides of the Same Coin?

Abstract

This short note shows that consensus is to logical objects what mutual exclusion (mutex) is to physical objects. Namely, both allow processes to cooperate in a consistent way through objects operations of which must be executed sequentially (i.e., objects defined by a sequential specification).