Distributed locks with Redis, implemented in Rust