最近服务高可用的重要性越来越大，通常指的是通过故障转移到冗余模块，如主备切换等相应操作，用来保证系统对外提供可用性，而细化到程序下线/重启等操作该如何实现呢？