OceanBase Uses Multi-Paxos for High Availability · HackerTrans