Comment installer et configurer l'extension php redis dans un environnement Windows

Redis est une base de données en mémoire open source hautes performances qui fournit le stockage de paires clé-valeur, la publication/abonnement, les scripts et d'autres fonctions. Dans le développement PHP, Redis, en tant que système de mise en cache efficace, est largement utilisé dans des scénarios tels que la mise en cache distribuée et le stockage de sessions. Cet article explique comment installer et configurer l'extension php redis dans un environnement Windows.

1. Télécharger redis

Sous Windows, nous devons utiliser la version compilée avec le compilateur VC. Nous pouvons le télécharger depuis le site officiel de Redis ou depuis Github. Ici, nous vous recommandons de télécharger la dernière version depuis Github et de sélectionner la dernière version stable à télécharger.

Une fois le téléchargement terminé, nous décompresserons redis dans le répertoire racine du lecteur C, par exemple, le décompresserons dans le répertoire C:redis.

2. Installer le service Redis

Sous Windows, nous pouvons utiliser redis-server.exe fourni par redis pour s'exécuter en tant que service Windows. La méthode spécifique est la suivante :

1) Créez un fichier de configuration nommé redis.windows.conf dans le répertoire C:redis.

2) Modifiez le contenu dans le fichier redis.windows.conf :

port 6379
requirepass your_password

votre_password voici le mot de passe que vous vous êtes défini, vous pouvez le définir arbitrairement.

3) Dans la ligne de commande cmd, ouvrez-le en tant qu'administrateur, entrez dans le répertoire C:redis et exécutez la commande suivante pour installer le service redis :

redis-server.exe --service-install redis.windows.conf --service-name Redis --port 6379

Après une installation réussie, nous pouvons voir le service redis dans le service liste, et nous pouvons voir dans les propriétés du service que son nom de service est Redis et que le port est 6379.

Si vous souhaitez désinstaller le service redis, vous pouvez exécuter la commande suivante :

redis-server.exe --service-uninstall --service-name Redis

3. Installer l'extension php redis

Avant d'installer l'extension php redis, nous devons nous assurer que l'environnement PHP et l'environnement de développement PHP ont été installé. S'il n'a pas encore été installé, vous pouvez suivre les étapes ci-dessous pour l'installer.

1) Téléchargez le dernier package d'installation PHP sur le site officiel et installez-le.

2) Téléchargez le dernier package de développement PHP DLL et extrayez-le dans le répertoire ext sous le répertoire d'installation PHP.

Adresse de téléchargement : http://windows.php.net/downloads/pecl/releases/redis/

3) Ajoutez la configuration de l'extension Redis dans php.ini :

extension=php_redis.dll

Assurez-vous que cet élément de configuration est après les autres éléments de configuration de l'extension .

Remarque : Si nous utilisons l'extension php_redis.dll dans la version PHP 7.x, nous devons installer la version du compilateur MSVC 14, sinon l'installation risque d'échouer.

4. Test de php redis

Après avoir installé l'extension php redis, nous pouvons utiliser le code suivant pour tester si php redis est installé avec succès :

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

Exécutez le code, si la barre est affichée, cela signifie que redis est installé avec succès et vous pouvez l'utiliser avec bonheur !

Résumé

Cet article explique comment installer et configurer l'extension php redis dans un environnement Windows, y compris le téléchargement de redis, l'installation du service redis, l'installation de l'extension php redis, le test de php redis et d'autres étapes. J'espère que cet article pourra vous aider à installer et configurer l'extension PHP Redis rapidement et en douceur.

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!