python通过redis实现分布式锁案例(setnx)

环境：python3

实现原理：通过WATCH、MULTI、EXEC以及DISCARD事务机制来实现分布式锁功能

MULTI 、 EXEC 、 DISCARD 和 WATCH 构成了 Redis 事务的核心组成部分。

事务机制允许用户一次性提交多个命令，并具备以下两个关键特性：

首先，事务操作具备独立性与隔离性，即所有命令将按照序列化的方式依次执行，且在执行过程中不会受到其他客户端请求的干扰。

其次，事务操作具有原子性特征，即其内部的所有命令要么全部完成执行，要么完全不执行。

EXEC 命令用于激活并执行事务中的各个指令：

* 若客户端在使用 [MULTI](http://redisdoc.com/transaction/multi.html#mul