There's a way to set expire times on Redis keys so they get automatically cleaned up.  I'm thinking it might make sense to let locks expire after e.g. 60 seconds to avoid leaving stuff locked if things crash.