一种简单的主备切换协议的设计和验证,从网上截图而来的,可以做参考,报文协议设计很合理