图书馆数据库服务器虚——实双机热备的设计与实现