The Bad News Theorems
Uncertainty periods are unavoidable
Blocking - a participant must await a repair before continuing. Blocking is bad.
Theorem 1 - For every possible commit protocol (not just 2PC), a communications failure can cause a participant to become blocked.
Independent recovery - a recovered participant can decide to commit or abort without communicating with other nodes
Theorem 2 - No commit protocol can guarantee independent recovery of failed participants