php redis的应用

<?php  // $uid=get_uid();// $content=get_content();// $timestamp=time();// $weibo=new Weibo();// $weibo->post($uid,$content,$timestamp);// 将消息存于 redis 队列中$redis=new Redis('127.0.0.1',6379);$redis->connect();# $redis = new \Redis();# $redis->connect("127.0.0.1", 6379);$weiboInfo=array(    'uid'=>get_uid(),    'content'=>get_content(),    'timestamp'=>time(),);$redis->lpush('weibo_list',json_encode($weibo_info));$redis->close();// 利用 cron 程序遍历 redis 队列进行数据库操作$redis=new Redis('127.0.0.1',6379);$redis->connect();$weibo=new Weibo();while(true){    if($redis->lsize('weibo_list')>0){        $info=json_decode($redis->rpop('weibo_list'));        $weibo->post($info->uid,$info->content,$info->timestamp);    }else{        sleep(1);    }}$redis->close();