introduce redis