PHP7安装Redis扩展的方法

linux中PHP7安装Redis扩展

1.依次执行

wget -c https://github.com/phpredis/phpredis/archive/php7.zip
unzip php7.zip

cd phpredis-php7
/YouPath/phpize
./configure --with-php-config=/YouPath/php-config
make
make install

2.加入php.ini
3.重启httpd
4.查看探针

windowsPHP7安装Redis扩展

这里提供php5.3版本的redis的php扩展压缩包（里面有个dll）:https://gi*th**ub.com/nicolasff/phpredis/downloads

解压后把dll放到php的ext目录下,打开php.ini,增加一行:

extension=php_redis.dll

然后重启apache即可

例子

//获取投票的信息的ID
$aid = isset($_GET['aid']) ? ereg_replace("[^0-9]", "", $_GET['aid']) : 0;

//当前投票的数字，指的是在redis中的数据
$this_click_num = 0;

if($aid>2){
//设定写回的投票数的最大值，到了此值就写回mysql
$update_till_num = 50;

//创建redis对象
$r = new Redis();
$r->connect('127.0.0.1',6379);
//得到现在是第几个数据了
$this_click_num = $r->get('count_xin_newgame:'.$aid);
//点击数加1
$r->set('count_xin_newgame:'.$aid,$this_click_num+1);
if($this_click_num>=$update_till_num)
{
//如果点击数超过了设定数，那么就把数据写到mysql
if($this_click_num>$update_till_num)
require_once(dirname(__FILE__)."/db.php");
//更新数据库
$db->ExecuteNoneQuery(
"UPDATE `addonnewgame`
SET `game_num` = game_num + '{$update_till_num}'
WHERE `dede_addonnewgame`.`aid` ={$aid};"
);
//重置投票数目为0
$r->set('count_xin_newgame:'.$aid,0);
}
$r->setTimeout('count_xin_newgame:'.$aid,7*24*60*60);
exit($this_click_num);
}
?>