PHP+REDIS使用的一些代码,附上Demo