發送短信: Raft foundations:design and analysis with a practical approach