本文实例讲述了PHP7安装Redis扩展的方法。分享给大家供大家参考，具体如下：
linux中PHP7安装Redis扩展
1.依次执行
|
1
2
3
4
5
6
7
|
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,增加一行:
|
1
|
extension=php_redis.dll
|
然后重启apache即可
例子：
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
<?php
//获取投票的信息的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程序设计有所帮助。