PHP中如何通过Redis实现悲观锁的示例代码?