Assumptions
Each resource manager independently commits or aborts a transaction atomically on its resources.
Home(T) decides when to start committing T
Home(T) doesn’t start committing T until T terminates at all nodes (hard)
Resource managers fail by stopping