Uso di Redis in PHP

Installazione

Prima di iniziare a utilizzare Redis in PHP, Dobbiamo assicurarci di avere installato il servizio Redis e il driver PHP redis, e che il tuo computer possa utilizzare PHP correttamente. Prossimamente, installiamo il driver PHP redis: l'indirizzo di download è:https://github.com/phpredis/phpredis/releases.

Installazione dell'estensione redis in PHP

Le seguenti operazioni devono essere eseguite nella directory phpredis scaricata:

$ wget https://github.com/phpredis/phpredis/archive/3.1.4.tar.gz
$ cd phpredis-3.1.4 # Entra nella directory phpredis
$ /usr/local/php/bin/phpize # Percorso dell'installazione del php
$ ./configure --with-php-config=/usr/local/php/bin/php-config
$ make && make install

Modifica il file php.ini

vi /usr/local/php/lib/php.ini

Aggiungi il seguente contenuto:

extension_dir = "/usr/local/php/lib/php/extensions/no-debug-zts-20090626"
extension=redis.so

Dopo l'installazione, riavvia php-fpm o apache. Controlla le informazioni phpinfo per vedere l'estensione redis.

Connettiti al servizio redis

<?php
　　　　// Connettere il Redis locale
　　　$redis = new Redis();
　　　$redis->connect('127.0.0.1', 6379);
　　　echo "Connessione al server con successo";
　　　　　　　　　//Verifica se il servizio è in esecuzione
　　　echo "Server in esecuzione: " . $redis->ping();
?>

Esegui lo script, il risultato di output è:

Connessione al server con successo
Server in esecuzione: PONG

Esempio di stringa PHP String (stringa) Redis

<?php
　　　// Connettere il Redis locale
　　　$redis = new Redis();
　　　$redis->connect('127.0.0.1', 6379);
　　　echo "Connessione al server con successo";
　　　//Imposta dati stringa redis
　　　$redis->set("tutorial-name", "Guida Redis");
　　　// Ottenere i dati archiviati e visualizzarli
　　　echo "Copia di stringa in redis:: " . $redis->get("tutorial-name");
?>

Esegui lo script, il risultato di output è:

Connessione al server con successo
Copia di stringa in redis:: Guida Redis

Esempio di lista PHP List (lista) Redis

<?php
　　　// Connettere il Redis locale
　　　$redis = new Redis();
　　　$redis->connect('127.0.0.1', 6379);
　　　echo "Connessione al server con successo";
　　　//Salva i dati nella lista
　　　$redis->lpush("tutorial-list", "Redis");
　　　$redis->lpush("tutorial-list", "Mongodb");
　　　$redis->lpush("tutorial-list", "Mysql");
　　　// Ottenere i dati archiviati e visualizzarli
　　　$arList = $redis->lrange("tutorial-list", 0, 5);
　　　echo "Stringa archiviata in redis";
　　　print_r($arList);
?>

Esegui lo script, il risultato di output è:

Connessione al server con successo
Stringa archiviata in redis
Mysql
Mongodb
Redis

Esempio di chiavi PHP di Redis

<?php
　　　// Connettere il Redis locale
　　　$redis = new Redis();
　　　$redis->connect('127.0.0.1', 6379);
　　　echo "Connessione al server con successo";
　　　// Ottenere i dati e visualizzarli
　　　$arList = $redis->keys("*");
　　　echo "Stringa archiviata in redis:: ";
　　　print_r($arList);
?>

Esegui lo script, il risultato di output è:

Connessione al server con successo
Stringa archiviata in redis::
tutorial-name
tutorial-list