Tutoriel complet : Installation de l'extension Redis pour PHP sur un système Linux

Installez l'extension Redis de PHP sur le système Linux

Redis est une base de données open source en mémoire largement utilisée dans des scénarios tels que la mise en cache, la gestion de sessions et les files d'attente de messages. Dans le développement PHP, l'extension Redis peut être utilisée pour interagir facilement avec la base de données Redis. Cet article vous expliquera comment installer l'extension Redis de PHP sur un système Linux, avec des exemples de code spécifiques.

Première étape : installer le serveur Redis

Tout d'abord, vous devez installer le serveur Redis sur votre système Linux. Il peut être installé via l'outil de gestion de packages. Par exemple, sur le système Ubuntu, vous pouvez utiliser la commande suivante :

sudo apt-get update
sudo apt-get install redis-server

Une fois l'installation terminée, vous pouvez démarrer le serveur Redis via la commande suivante :

sudo systemctl start redis-server

Étape 2. : Installez l'extension PHP Redis

Ensuite, vous devez installer l'extension Redis pour PHP. Vous pouvez installer l'extension Redis via PECL et exécuter la commande suivante :

pecl install redis

Une fois l'installation terminée, vous devez ajouter l'extension Redis au fichier de configuration PHP. L'emplacement de php.ini peut être trouvé avec la commande suivante :

php --ini

Ajoutez la ligne suivante dans le fichier php.ini trouvé :

extension=redis.so

Après avoir enregistré et quitté, redémarrez le service PHP-FPM pour que les modifications prennent effet :

sudo systemctl restart php-fpm

Étape 3 : Testez si l'extension Redis est installée avec succès

Afin de vérifier si l'extension Redis est installée avec succès, vous pouvez écrire un simple script PHP pour vous connecter à Redis et effectuer certaines opérations. Voici un exemple de code :

<?php

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

// 设置一个key-value
$redis->set('test_key', 'Hello, Redis!');

// 获取key对应的值
$value = $redis->get('test_key');
echo $value;

// 关闭连接
$redis->close();

?>

Enregistrez le code sous test_redis.php et exécutez-le dans la ligne de commande :

php test_redis.php

Si le résultat est "Bonjour, Redis !", cela signifie que l'extension Redis a été installée avec succès et peut fonctionner normalement.

À ce stade, vous avez installé avec succès l'extension PHP Redis sur votre système Linux et vérifié son fonctionnement normal à l'aide d'exemples de code spécifiques. J'espère que ce tutoriel pourra vous aider à utiliser avec succès Redis pour développer des projets PHP.

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!