Paxos

비잔틴 장군 문제와 합의 알고리즘의 심연: Paxos, Raft, BFT의 구조