masson_r

REDIS est une base données clés/valeurs intégralement gérée en mémoire, ce qui lui confère d'excellente performance.
L'utilisation est plutôt aisée et elle permet de répondre à bien des problématiques.

Mais, avant de pouvoir l'utiliser, il faut configurer correctement son instance de PHP.

1 – Trouver le php.ini
Cela peut paraître simple. Mais, selon les cas et les installations, on peut se perdre dans les versions de PHP utilisées par HTTPD (surtout dans le cas d'une installation via un package tout prêt).

Dans ce cas, le plus rapide est de créer dans le répertoire de votre projet un fichier test.php pour y interroger le phpinfo.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
<?php
phpinfo();
?>

Requêtez le fichier (http://127.0.0.1/monprojet/test.php) depuis votre navigateur et recherchez la valeur Loaded Configuration File.


C'est bon, vous avez le bon fichier php.ini!

2 – Télécharger les extensions (dll) Redis pour PHP
Allez à l'adresse suivante https://pecl.php.net/package/redis pour les récupérer.

Prenez la dernière version de Redis et téléchargez les DLL en fonction de votre version de PHP cible.

Vous récupererez un fichier ZIP, avec les deux fichiers suivants :

• php_redis.dll
• php_redis.pdb

Gardez les de côté pour l'instant.

3 – Editer le fichier php.ini
Editez le fichier php.ini avec votre éditeur de texte préférée
A la fin de la la section Dynamic Extensions, ajouter la ligne suivante :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

extension=redis

Selon les versions de tutorial que vous pourrez trouver, on parle de php_redis et non de redis à insérer dans l'extension. C'est le cas pour des versions plus anciennes de configuration de PHP.

4 – Copier les extensions
Au passage, pendant que vous êtes dans le php.ini, trouvez la valeur du extension_dir. Il s'agit du répertoire ou mettre les deux fichiers téléchargés précédement.

Vous pouvez faire le copier/coller.

5 – Relancer le serveur
Relancez le serveur HTTPD pour prendre en compte la nouvelle extension installée.

Pour vérifier que tout fonctionne bien, vous pouvez retourner voir le PhpInfo (celui de l'étape 1). Il indique maintenant les données relatives à l'extension Redis installée.


En complément, si vous souhaitez utiliser des connexions persistantes de Redis en mode batch, vous risquez de perdre la connexion après 60 secondes.
Pour résoudre ce problème, il suffit de mettre à -1 la valeur de default_socket_timeout dans le php.ini.
A la prochaine exécution, la connexion restera persistante.