Todis: A New Redis server on external storage