ReCraft: Self-Contained Split, Merge, and Membership Change of Raft Protocol

Fuente: arXiv
Guardado en:
Detalles Bibliográficos
Autores principales: Xiong, Kezhi, Moon, Soonwon, Kang, Joshua, Curto, Bryant, Kim, Jieung, Shin, Ji-Yong
Formato: Preprint
Publicado: 2025
Materias:
Acceso en línea:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
_version_ 1866908339773898752
author Xiong, Kezhi
Moon, Soonwon
Kang, Joshua
Curto, Bryant
Kim, Jieung
Shin, Ji-Yong
author_facet Xiong, Kezhi
Moon, Soonwon
Kang, Joshua
Curto, Bryant
Kim, Jieung
Shin, Ji-Yong
contents Designing reconfiguration schemes for consensus protocols is challenging because subtle corner cases during reconfiguration could invalidate the correctness of the protocol. Thus, most systems that embed consensus protocols conservatively implement the reconfiguration and refrain from developing an efficient scheme. Existing implementations often stop the entire system during reconfiguration and rely on a centralized coordinator, which can become a single point of failure. We present ReCraft, a novel reconfiguration protocol for Raft, which supports multi- and single-cluster-level reconfigurations. ReCraft does not rely on external coordinators and blocks minimally. ReCraft enables the sharding of Raft clusters with split and merge reconfigurations and adds a membership change scheme that improves Raft. We prove the safety and liveness of ReCraft and demonstrate its efficiency through implementations in etcd.
format Preprint
id arxiv_https___arxiv_org_abs_2504_14802
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle ReCraft: Self-Contained Split, Merge, and Membership Change of Raft Protocol
Xiong, Kezhi
Moon, Soonwon
Kang, Joshua
Curto, Bryant
Kim, Jieung
Shin, Ji-Yong
Distributed, Parallel, and Cluster Computing
Designing reconfiguration schemes for consensus protocols is challenging because subtle corner cases during reconfiguration could invalidate the correctness of the protocol. Thus, most systems that embed consensus protocols conservatively implement the reconfiguration and refrain from developing an efficient scheme. Existing implementations often stop the entire system during reconfiguration and rely on a centralized coordinator, which can become a single point of failure. We present ReCraft, a novel reconfiguration protocol for Raft, which supports multi- and single-cluster-level reconfigurations. ReCraft does not rely on external coordinators and blocks minimally. ReCraft enables the sharding of Raft clusters with split and merge reconfigurations and adds a membership change scheme that improves Raft. We prove the safety and liveness of ReCraft and demonstrate its efficiency through implementations in etcd.
title ReCraft: Self-Contained Split, Merge, and Membership Change of Raft Protocol
topic Distributed, Parallel, and Cluster Computing
url https://arxiv.org/abs/2504.14802