Redis 分布式锁：乐观锁的实现，以秒杀系统为例