PHP
Usare Redis con PHP

Installazione di PHP Redis su Ubuntu

Per installare PHP su Ubuntu, prima installa il server Redis:

sudo apt install redis-server

quindi installa il modulo PHP:

sudo apt install php-redis

E riavvia il server Apache:

sudo service apache2 restart

Connessione a un'istanza Redis

Supponendo che un server predefinito in esecuzione su localhost con la porta predefinita, il comando per connettersi a tale server Redis sarebbe:

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

Esecuzione di comandi Redis in PHP

Il modulo Redis PHP dà accesso agli stessi comandi del client CLI Redis, quindi è abbastanza semplice da usare.

La sintassi è la seguente:

// 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-*'));