为什么使用 Redis 的 setnx 可以实现分布式锁呀？不了解其中的原理呀，可不可以从分布式的环境和 reds 这两个方面给我解释解释呀？

[febregaz]

在单机环境下，单进程多线程的线程安全可以通过加锁来保证，例如 JVM 的 synchronized 和 JDK 的 reentrantLock。但是如果在分布式环境下，如何保证锁安全？我看网上有说可以使用 redis 的 setnx 可以实现分布式锁来实现，但是为什么用 setnx 就可以实现分布式锁呢？ setnx 即使是只有键不存在的情况才可以添加成功，但是在分布式环境中多个服务器之间都有 redis，都用 setnx 实现分布式锁，但是这样又怎么能保证变量的加锁呢和线程安全呢？