Linux下php安装Redis扩展的方法

下面是详细的攻略。

安装Redis扩展的前提条件

在安装Redis扩展之前，需要满足以下基础条件：
- Linux系统必须安装php和Redis服务
- phpize工具必须安装（phpize命令用于生成php扩展的Makefile文件）
- gcc工具必须安装，建议安装gcc版本不低于4.0

开始安装Redis扩展

下面是安装Redis扩展的具体步骤：

1. 下载Redis扩展源码

从pecl官网下载最新的Redis扩展源码，例如下载redis-5.3.0.tgz：

$ wget https://pecl.php.net/get/redis-5.3.0.tgz

2. 解压扩展源码

使用tar命令解压下载的源码包：

$ tar zxvf redis-5.3.0.tgz

3. 进入解压后的源码目录

$ cd redis-5.3.0

4. 执行phpize进行初始化

执行phpize命令生成Makefile：

$ phpize

5. 配置

使用以下命令执行configure配置：

$ ./configure --with-php-config=/usr/bin/php-config

说明：/usr/bin/php-config为php-config所在路径，请根据实际情况修改。

6. 编译

执行make命令进行编译：

$ make

7. 安装

执行make install命令进行安装：

$ make install

8. 修改php.ini文件

在php.ini文件中加入以下配置：

extension=redis

说明：extension=redis表示开启Redis扩展。

9. 重启php-fpm服务

执行以下命令重启php-fpm服务：

$ systemctl restart php-fpm.service

示例说明

示例1：使用redis扩展连接Redis服务

<?php
  $redis = new Redis();
  $redis->connect('127.0.0.1', 6379);
?>

说明：这段代码创建了一个名为$redis的Redis实例，并通过connect连接到本地Redis服务的默认端口6379。

示例2：使用redis扩展与Redis服务交互

<?php
  $redis = new Redis();
  $redis->connect('127.0.0.1', 6379);

  // 设置键值对
  $redis->set('name', 'John');
  // 获取键值对
  $name = $redis->get('name');
  echo $name;
?>

说明：这段代码通过$redis实例实现了Redis服务的set和get操作，将‘name’键的值设为‘John’并输出结果。