以两军问题为背景来演绎BasicPaxos_OpenIM