A simple master/slave failover mechanism for Redis based on the TornadoIO event loop