Installer Redis et l'extension php redis

Redis est puissant, facile à utiliser et performant en termes de performances. C’est désormais une compétence que PHPer doit maîtriser. Laissant de côté les autres scénarios d'application, utiliser Redis pour stocker des sessions est quelque chose qu'un PHPer doit savoir.

Installation du code source Redis

Parce que la plupart des serveurs sont installés avec le système d'exploitation Linux et que Redis ne prend pas officiellement en charge Redis installé sous le système Windows. . Par conséquent, voici tous les didacticiels d’installation de la distribution centOS7 sur les systèmes Linux.

Tout d’abord, nous devons télécharger le package d’installation. Adresse de téléchargement :

http://download.redis.io/releases/redis-5.0.5.tar.gz

redis n'a aucune dépendance, il n'y aura donc aucun problème avec installation générale. En cas de problème, mettez à jour gcc. Le processus d'installation est le suivant :

1. Téléchargez le package d'installation

# wget http://download.redis.io/releases/redis-5.0.5.tar.gz

2 Décompressez et installez

Cela prendra un certain temps pendant la phase de compilation, veuillez patienter. patiemment

# tar -zxf redis-5.0.5.tar.gz
# cd redis-5.0.5
# make  
# make PREFIX=/usr/local/redis install

3. Créez un nouveau répertoire de fichier de configuration redis et un répertoire de stockage de données

# mkdir /usr/local/redis/etc /usr/local/redis/var

4 Copiez le fichier de configuration et modifiez le fichier de configuration

# cp redis.conf /usr/local/redis/etc/
# vim /usr/local/redis/redis.conf

Trouvez le démonize no. et remplacez no par yes, ce qui signifie Exécuter en mode démon et recherchez la ligne dir. Remplacez-la par /usr/local/redis/var pour indiquer que les données sont stockées dans ce répertoire

4. lien logiciel

ln -s /usr/local/redis/bin/* /usr/local/bin/

5. Démarrez redis et si le test est normal

# systemctl start redis-server
# redis-cli
127.0.0.1:6379> ping
PONG

PONG signifie qu'il a réussi

Installez l'extension phpredis

La condition préalable est que le serveur doit avoir été installé via php. S'il n'est pas installé, installez-le d'abord. Je ne parlerai pas de comment installer php ici.

L'adresse du package d'installation est ici http://pecl.php.net/package/redis. Ici, je télécharge la dernière version stable

# wget http://pecl.php.net/get/redis-5.2.2.tgz

Les étapes d'installation sont les suivantes :

1 Décompressez

# tar -zxf redis-5.2.2.tgz
# cd redis-5.2.2

2. Exécutez phpize

/usr/local/php/bin/phpize

3. Installer

# ./configure --with-php-config=/usr/local/php/bin/php-config 
# make
# make install

4. Modifier php.ini

Ouvrez le fichier php.ini et ajoutez une nouvelle ligne

extension=redis

5 Vérifiez si l'extension est installée avec succès

# php -m | grep redis

Vérifiez si Redis apparaît.

Fermez le service Redis

Utilisez simplement la commande systemctl normalement. Une chose à noter ici est de ne pas utiliser kill -9 pour tuer. La conséquence est que non seulement Redis ne sera pas conservé, mais cela entraînera également facilement une perte de données.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!