[trumpdong]

You can, and we did, use VRRP, anycast, or similar protocols/techniques to have an IP address that is always the current MySQL master.