redis--分布式锁; watch实现[php]