Un guide complet pour installer les extensions Redis sur Linux

Guide complet d'installation de l'extension Redis sous le système Linux

Redis est une base de données de stockage clé-valeur open source hautes performances, largement utilisée dans le cache, la file d'attente de messages et d'autres scénarios. L'installation de l'extension Redis sous le système Linux nous permet d'utiliser la base de données Redis plus efficacement. Cet article présentera en détail comment installer l'extension Redis sous le système Linux et fournira des exemples de code spécifiques.

Étape 1 : Installer Redis

1. Ouvrez le terminal et utilisez la commande suivante pour installer le serveur Redis :

sudo apt update
sudo apt install redis-server

2. Démarrez le serveur Redis :

sudo systemctl start redis-server

3. Confirmez que le serveur Redis a été démarré :

sudo systemctl status redis-server

Étape 2 : Installer l'extension PHP

1. Ouvrez le terminal et utilisez la commande suivante pour installer l'extension Redis pour PHP :

sudo apt-get install php-redis

2. Ouvrez le fichier de configuration PHP et ajoutez l'extension Redis :

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

Ajoutez ce qui suit à la fin du fichier :

extension=redis.so

Enregistrez et quittez.

3. Redémarrez le service PHP :

sudo systemctl restart php7.4-fpm

Étape 3 : Testez l'extension Redis

1. Créez un fichier PHP, tel que test_redis.php, saisissez le code suivant : test_redis.php，输入以下代码：

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

2. 执行PHP脚本：

php test_redis.php

如果一切正常，将会输出Hello, 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!