Comment configurer Redis en php

Comment configurer redis en PHP : installez d'abord le service redis et le pilote PHP redis ; puis ouvrez le fichier php.ini puis ajoutez le contenu sous "extension=redis.so" ; fpm ou apache.

Recommandé : "Tutoriel vidéo PHP" "Tutoriel Redis"

Les paramètres PHP utilisent Redis

Installation

Avant de commencer à utiliser Redis en PHP, nous devons nous assurer que le service Redis et le pilote PHP Redis ont été installés , et votre PHP peut être utilisé normalement sur la machine. Ensuite, installons le pilote PHP redis : L'adresse de téléchargement est : https://github.com/phpredis/phpredis/releases.

Extension redis d'installation PHP

Les opérations suivantes doivent être effectuées dans le répertoire phpredis téléchargé :

$ wget https://github.com/phpredis/phpredis/archive/3.1.4.tar.gz
$ cd phpredis-3.1.4                      # 进入 phpredis 目录
$ /usr/local/php/bin/phpize              # php安装后的路径
$ ./configure --with-php-config=/usr/local/php/bin/php-config
$ make && make install

Modifier le fichier php.ini

vi /usr/local/php/lib/php.ini

Ajoutez le contenu suivant :

extension_dir = "/usr/local/php/lib/php/extensions/no-debug-zts-20090626"
extension=redis.so

Une fois l'installation terminée, redémarrez php-fpm ou apache. Vérifiez les informations phpinfo et vous pourrez voir l'extension redis.

PHP utilise Redis

pour se connecter au service redis

<?php
    //连接本地的 Redis 服务
   $redis = new Redis();
   $redis->connect(&#39;127.0.0.1&#39;, 6379);
   echo "Connection to server successfully";
         //查看服务是否运行
   echo "Server is running: " . $redis->ping();
?>

pour exécuter le script, le résultat de sortie est :

Connection to server sucessfully
Server is running: PONG

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!