分布式选主 -- 利用Mysql ACID和Lease协议实现选主和高可用