如何用PHP实现Redis单据锁并防止并发重复写入?