Comment installer l'extension redis3.0 en php

Comment installer l'extension redis3.0 en PHP : 1. Téléchargez redis3.0 ; 2. Extrayez le fichier téléchargé sur votre ordinateur ; 3. Démarrez le service redis ; 4. Installez l'extension PHP redis ; tester la base de données redis suffit.

L'environnement d'exploitation de cet article : ordinateur Dell G3, système Windows 7, version PHP7.2

Comment installer l'extension redis3.0 en php ?

Installez l'extension redis de php (php7.2+redis3.0) sous Windows 64 bits

Prérequis : La condition préalable à la construction de l'extension redis pour php7.2 est que l'environnement d'exploitation php ait été configuré avec succès sur cette machine. L'environnement d'exécution de mon ordinateur est apache2.4+mysql5.5+php7.2 Le système d'exploitation est 64 bits et l'environnement de compilation est Microsoft Visual C++ 2017 Redistributable

1 Téléchargez redis3.0 : https://github.com/MSOpenTech/redis/releases

2 Extrayez le fichier téléchargé sur votre ordinateur (D:redis) et l'installation est terminée. [Recommandé : "

Tutoriel vidéo PHP

"]

redis-cli.exe                                                                                                    

redis.windows.conf​​​​​ # Fichier de configuration

3 Démarrez le service Redis

Accédez au répertoire d'installation de redis dans la fenêtre de ligne de commande (touche Windows + touche R ->, entrez la commande cmd, entrez la fenêtre du système d'exploitation DOS -> entrez le répertoire d'installation de redis), entrez redis-server redis. windows.conf dans la fenêtre, appuyez sur Entrée et l'interface suivante apparaîtra, le service reids est installé et démarré avec succès :

4 Installez l'extension php redis

4.1 Téléchargez le fichier du pilote php_redis.dll, https://windows.php.net/downloads/pecl/snaps/redis/3.1.4/

Téléchargez le fichier du pilote Redis correspondant en fonction des informations sur la version php

informations phpinfo()

Sélectionnez le fichier correspondant

4.2 Décompressez le fichier du pilote php_redis téléchargé, recherchez les fichiers php_redis.dll et php_redis_pdb et copiez-les dans le dossier ext de php.

Copier dans

4.3 Modifiez le fichier php.ini et ajoutez l'extension =php_redis.dll ou extension =php_redis

4.4 Vérifiez si l'extension redis est activée

Utilisez phpinfo () Afficher la description de l'extension Redis ajoutée avec succès

5.5 php se connecte et teste la base de données redis

fichier index.php :

<?php
$redis = new Redis();
$redis->connect(&#39;127.0.0.1&#39;, 6379);
$redis->set("name", "redis3.1");
echo $redis->get("name");
?>

Visitez l'index, la page du fichier php affiche redis3.1

Recomm terminé : "PHP tutoriel vidéo 》

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!