installation de l'extension php redis

Avec le développement d'Internet, les applications Web deviennent de plus en plus complexes et la demande de vitesse de traitement des données est de plus en plus élevée. Redis est un système de stockage de données clé-valeur hautes performances basé sur la mémoire qui résout le problème de goulot d'étranglement des performances que les bases de données traditionnelles ne peuvent pas résoudre, il est donc très populaire parmi les développeurs. L'extension PHP Redis est un pont entre PHP et Redis, qui peut facilement appeler des commandes Redis.

Dans cet article, nous présenterons comment installer l'extension PHP Redis et les solutions aux problèmes associés.

1. Installez Redis

Tout d'abord, vous devez installer Redis. Selon la version de Linux, la méthode d'installation changera également. En prenant Ubuntu comme exemple, les étapes d'installation sont les suivantes :

1. Mettre à jour les informations du package système :

sudo apt-get update

2 Installer Redis :

sudo apt-get install redis-server

Pendant le processus d'installation, vous serez invité à activer Redis en tant que service. Si cela n’est pas nécessaire, vous pouvez choisir de ne pas l’activer.

Une fois l'installation terminée, vous pouvez vérifier l'état d'exécution du service Redis via la commande suivante :

sudo systemctl status redis

Si l'état est En cours d'exécution, cela signifie que l'installation de Redis est réussie.

2. Installez l'extension PHP Redis

1. Préparatifs avant d'installer l'extension PHP Redis

Avant d'installer l'extension PHP Redis, vous devez installer les deux packages logiciels php-dev et php-pear :

sudo apt- get install php-dev php-pear

2. Téléchargez le package de code source PHP Redis

Vous pouvez obtenir la dernière version du package de code source de l'extension PHP Redis à partir de Github. Décompressez le fichier du package de code source téléchargé dans n'importe quel répertoire, entrez dans le répertoire du package de code source et exécutez la commande suivante :

phpize

./configure

make && make install

Le mot "Build complete" apparaît, indiquant que l'extension PHP Redis a été installée avec succès dans le répertoire d'extension PHP du serveur.

3. Ajoutez l'extension Redis à php.ini

Après avoir installé l'extension PHP Redis, vous devez ajouter l'extension Redis au fichier php.ini pour faciliter l'appel de Redis par les programmes PHP.

Exécutez la commande suivante dans le terminal pour trouver le chemin du fichier php.ini :

php --ini

Après avoir trouvé le chemin du fichier php.ini, vous pouvez utiliser la commande suivante pour ouvrir le fichier php.ini :

sudo nano /etc/php /7.2/cli/php.ini

Dans le fichier php.ini ouvert, ajoutez la déclaration suivante :

extension=redis.so

Après avoir enregistré et quitté le fichier php.ini , redémarrez le service PHP :

sudo systemctl restart php7.2-fpm

4. Testez si l'extension Redis a été installée avec succès

Vous pouvez tester si l'extension Redis a été installée avec succès via le programme PHP. Voici un exemple de code pour le programme de test :

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

echo "Le serveur est en cours d'exécution : " .$redis->ping();

?>

Enregistrez le code ci-dessus sous le fichier redis-test.php et exécutez-le via la commande suivante :

php redis-test.php

If la sortie dans le terminal « Le serveur est en cours d'exécution : PONG » signifie que l'extension Redis a été installée avec succès.

Problèmes rencontrés et solutions :

1. phpize manquant

Lors de l'exécution de la commande phpize, l'erreur "-bash : phpize : commande introuvable" peut apparaître. C'est parce que le package phpize est manquant. Il peut être installé via la commande suivante :

sudo apt-get install php7.2-dev

2. make command failed

Lors de l'exécution de la commande make, une erreur « libtool : Version mismatch error » peut apparaître. généralement en raison d'un manque causé par le package libtool. Il peut être installé via la commande suivante :

sudo apt-get install libtool

Résumé :

Le processus d'installation de l'extension PHP Redis est relativement simple et vous n'avez besoin que de cela. pour suivre clairement le processus d'installation. Vous pouvez rencontrer des problèmes, mais ces problèmes peuvent généralement être résolus avec des commandes simples. Pendant le processus d'installation, vous devez faire attention à garantir la compatibilité du système et de la version du logiciel afin d'assurer le fonctionnement normal de. la prolongation.

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!