PHP使用Redis实现防止大并发下二次写入的方法