CRaft: An Erasure-coding-supported Version of Raft for Reducing Storage Cost and Network Cost