Maison > Article > développement back-end > 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('127.0.0.1', 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!