分布式锁:效率与正确性的衡权