PHP

Avant de commencer à utiliser Redis dans vos programmes PHP, vous devez vous assurer que vous avez le pilote Redis PHP et que PHP est installé sur votre machine. Vous pouvez consulter le tutoriel PHP pour l'installation de PHP sur votre machine.

Installation

Maintenant, voyons comment configurer le pilote PHP de Redis.

Vous devez télécharger le phpredis à partir du dépôt github https://github.com/nicolasff/phpredis. Une fois que vous l'avez téléchargé, extrayez les fichiers dans le répertoire phpredis. Sur Ubuntu, installez l'extension suivante.

cd phpredis 
sudo phpize 
sudo ./configure 
sudo make 
sudo make install 

Maintenant, copiez et collez le contenu du dossier "modules" dans le répertoire d'extension PHP et ajoutez les lignes suivantes dans le php.ini.

extension = redis.so

Maintenant, votre installation PHP de Redis est terminée

Connection au serveur Redis

<?php 
    //Connecting to Redis server on localhost 
    $redis = new Redis(); 
    $redis->connect('127.0.0.1', 6379); 
    echo "Connection to server sucessfully"; 
    //check whether server is running or not 
    echo "Server is running: ".$redis->ping(); 
?>

Lorsque le programme est exécuté, il produit le résultat suivant.

Connection to server sucessfully 
Server is running: PONG 

Exemple d'utilisation de Redis String en PHP