etcd:
https://jimmysong.io/kubernetes-handbook/concepts/etcd.html
分散一貫性とは何か:
http://thesecretlivesofdata.com/raft/