Comment installer Redis sur le système Ubuntu

Dans le développement Web, la mise en cache est une technologie très importante. La mise en cache peut considérablement améliorer la vitesse d'accès, réduire la charge du serveur et améliorer l'expérience utilisateur des sites Web. Dans le développement PHP, redis est un excellent outil de mise en cache. Redis est une base de données de stockage clé-valeur basée sur la mémoire qui peut être stockée à l'aide de diverses structures de données, telles que des chaînes, des tables de hachage, des listes, des ensembles, etc. Cet article explique comment installer Redis sur le système Ubuntu et intégrer Redis à PHP.

Étape 1 : Installer le serveur Redis

Dans Ubuntu, l'installation du serveur Redis est très simple. Tout d'abord, utilisez la commande suivante dans le terminal pour mettre à jour :

sudo apt-get update

Une fois la mise à jour terminée, utilisez la commande suivante pour installer redis-server :

sudo apt-get install redis-server

Pendant le processus d'installation, le système vous demandera s'il faut poursuivre l'installation, il suffit appuyez sur "Y". Une fois l'installation terminée, vous pouvez utiliser la commande suivante pour vérifier si redis-server s'est exécuté avec succès :

redis-cli ping

Si le serveur renvoie PONG, cela signifie que redis-server s'est exécuté avec succès.

Étape 2 : Intégrer avec PHP

Dans le développement PHP, vous pouvez utiliser le package d'extension php-redis pour interagir avec redis-server. Pour utiliser le package d'extension php-redis, vous devez d'abord installer php-redis dans Ubuntu. Utilisez la commande suivante pour installer :

sudo apt-get install php-redis

Une fois l'installation terminée, vous devez introduire le package d'extension php-redis dans le fichier php.ini. Ouvrez le terminal et entrez la commande suivante :

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

A ce moment, l'éditeur ouvrira le fichier php.ini et trouvera les deux lignes suivantes :

;extension=redis.so
;extension=redis_cluster.so

Supprimez le ";" devant et enregistrez le fichier :

extension=redis.so
extension=redis_cluster.so

Après l'enregistrement, utilisez la commande suivante. Redémarrez le processus php-fpm :

sudo systemctl restart php7.2-fpm

Une fois le redémarrage terminé, utilisez la commande suivante pour vérifier si le package d'extension php-redis a été introduit avec succès :

php -m | grep redis

Si le serveur renvoie redis, cela signifie que le package d'extension php-redis a été introduit avec succès.

Étape 3 : Utiliser php-redis

Utiliser php-redis pour interagir avec redis-server est très simple. Voici un exemple simple :

<?php

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

$redis->set('name', 'hello world!');
echo $redis->get('name');

?>

Dans le code ci-dessus, la méthode new Redis() est d'abord utilisée pour créer un objet Redis, puis la méthode $redis->connect() est utilisée pour se connecter au redis- serveur. Enfin, utilisez la méthode $redis->set() pour écrire une paire clé-valeur sur le serveur redis, et utilisez la méthode $redis->get() pour obtenir la valeur de la paire clé-valeur à partir de redis-. serveur.

Résumé

Cet article explique comment installer le serveur Redis sur le système Ubuntu et intégrer Redis à PHP. En utilisant Redis, nous pouvons considérablement améliorer la vitesse du site Web, réduire la charge sur le serveur et garantir l'expérience utilisateur du site Web.

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!