php redis.dll php7.1,PHP7安装Redis扩展教程【Linux与Windows平台】

本文实例讲述了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://github.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);

}

?>

希望本文所述对大家PHP程序设计有所帮助。