Leader election by etcd or Redis