backend, using tornado and redis