Leader election in distributed systems|V4.3.0|OceanBase Database|docs|OceanBase Documentations