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即可

例子

<?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);
}
?>