设计题1 使用redis实现分布式锁，是指怎么实现呢 通过setnx命令？