Installez le tutoriel d'extension PHP Redis sur le système Linux, commencez rapidement avec Redis Cache

Installer Redis Server

Dans Linux Systems, vous devez d'abord installer un serveur Redis. Ouvrez le terminal et exécutez la commande suivante:

 sudo apt update
sudo apt install redis-server
sudo systemctl start redis-server
sudo systemctl status redis-server

Après avoir confirmé que le serveur Redis a été démarré avec succès, vous pouvez passer à l'étape suivante.

Installez l'extension PHP Redis

Ensuite, installez l'extension redis de PHP, comme suit:

 sudo apt-get install php-redis
sudo nano /etc/php/7.4/cli/php.ini

Ajoutez ce qui suit à la fin du fichier php.ini:

 extension=redis.so

Enregistrer et quitter l'édition, redémarrez le service PHP pour rendre l'extension à prendre effet:

 sudo systemctl restart php7.4-fpm

Testez si l'extension redis est installée avec succès

Créez un fichier de test PHP, tel que test_redis.php , entrez le code suivant:

 <?php
$redis = new Redis();
$redis->connect('127.0.0.1', 6379);
$redis->set('test_key', 'Hello, Redis!');
echo $redis->get('test_key');
?>

Ensuite, exécutez la commande pour exécuter le script:

 php test_redis.php

Si le résultat de sortie est bonjour, redis!, Cela signifie que l'extension redis est installée et configurée avec succès, et la fonction de mise en cache Redis peut être utilisée normalement dans le projet PHP.

Résumer

Grâce aux étapes ci-dessus, vous avez réussi et configuré l'extension PHP Redis dans votre environnement Linux. L'utilisation du cache Redis peut améliorer efficacement les performances de l'application et la vitesse de réponse, et il est recommandé de l'appliquer activement dans les projets réels. Je vous souhaite un développement fluide!