Explication détaillée de la façon d'installer l'extension Redis sous le système CentOS

Explication détaillée de la façon d'installer l'extension Redis sous le système CentOS

Redis est une base de données de stockage clé-valeur hautes performances qui est largement utilisée dans le développement Web, les systèmes de mise en cache et d'autres domaines. L'installation de l'extension Redis sur le système CentOS peut interagir plus facilement avec la base de données Redis et améliorer les performances et l'efficacité du programme. Cet article présentera en détail les étapes d'installation de l'extension Redis sous le système CentOS, avec des exemples de code spécifiques.

Étape 1 : Installer le service Redis

Avant d'installer l'extension Redis, vous devez d'abord installer le service Redis sur le système CentOS. Vous pouvez installer Redis via le gestionnaire de packages Yum et exécuter la commande suivante :

sudo yum install redis

Une fois l'installation terminée, démarrez le service Redis et configurez-le pour qu'il démarre automatiquement au démarrage :

sudo systemctl start redis
sudo systemctl enable redis

Étape 2 : Installez l'extension PHP Redis

Ensuite, nous devons installer l'extension PHP Redis afin que les programmes PHP puissent se connecter à la base de données Redis. Vous pouvez installer l'extension Redis via PECL et exécuter la commande suivante :

sudo yum install php php-devel php-pear gcc make
sudo pecl install redis

Il peut y avoir des invites pendant le processus d'installation, suivez simplement les invites pour confirmer. Une fois l'installation terminée, l'extension Redis doit être chargée dans le fichier de configuration PHP. Vous pouvez ajouter la configuration suivante en éditant le fichier php.ini :

extension=redis.so

Après avoir enregistré les modifications, redémarrez le service PHP-FPM :

sudo systemctl restart php-fpm

Étape 3 : Vérifiez l'installation

Afin de vérifier si l'extension Redis est installée avec succès, vous pouvez créer un fichier PHP de test, tel que test_redis.php, avec le contenu suivant :

<?php
$redis = new Redis();
$redis->connect('127.0.0.1', 6379);
echo "Server is running: " . $redis->ping();
?>

Après avoir enregistré le fichier, accédez au test_redis.php via le navigateur. Si la page affiche « Le serveur est en cours d'exécution : +PONG », cela signifie que l'extension Redis est installée avec succès.

Résumé

À travers les étapes ci-dessus, nous avons présenté en détail comment installer l'extension Redis sous le système CentOS et fourni des exemples de code spécifiques. L'installation de l'extension Redis peut améliorer les performances et l'efficacité du programme et est très utile pour les projets qui interagissent avec la base de données Redis. J'espère que cet article vous sera utile et je vous souhaite une bonne utilisation des extensions Redis !

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!