Permanent Server Offline in OceanBase: How the Cluster Heals After a Node Is Gone

An OceanBase cluster runs every log stream on three (or more) replicas coordinated by Paxos. When one of those replicas goes down — an…