PHP
Utiliser Redis avec PHP

Installer PHP Redis sur Ubuntu

Pour installer PHP sur Ubuntu, installez d'abord le serveur Redis:

sudo apt install redis-server

puis installez le module PHP:

sudo apt install php-redis

Et redémarrez le serveur Apache:

sudo service apache2 restart

Connexion à une instance Redis

En supposant qu'un serveur par défaut s'exécutant sur localhost avec le port par défaut, la commande pour se connecter à ce serveur Redis serait:

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

Exécuter des commandes Redis en PHP

Le module PHP de Redis donne accès aux mêmes commandes que le client CLI Redis. Il est donc assez simple à utiliser.

La syntaxe est la suivante:

// Creates two new keys:
$redis->set('mykey-1', 123);
$redis->set('mykey-2', 'abcd');

// Gets one key (prints '123')
var_dump($redis->get('mykey-1'));

// Gets all keys starting with 'my-key-'
// (prints '123', 'abcd')
var_dump($redis->keys('mykey-*'));