PHP如何实现Redis单据锁并有效避免并发重复写入?