一些php使用redis构建应用程序的代码