分散トランザクションにおける「2相コミット」のコーディネータが単一障害点(SPOF)となる問題を軽減するための改良版はどれか。

3相コミットやPaxosを用いたコーディネータ冗長化。