Maison >développement back-end >tutoriel php >Comment enregistrer une session PHP dans Redis
PHP prend en charge l'enregistrement des sessions sur Redis par défaut sans aucun code supplémentaire.
La commande utilisée par Redis pour enregistrer la session est setex, qui peut être détectée à l'aide du moniteur redis-cli pour une surveillance en temps réel.
Syntaxe de la commande Setex :
setex(key, time, value)
Où key est la valeur de la clé, time est le délai d'expiration et value est une valeur de type chaîne.
Les étapes spécifiques sont les suivantes.
1. Environnement
Pour enregistrer une session avec Redis, vous devez d'abord remplir les conditions suivantes :
Un serveur Redis doit être installé. Cet exemple utilise le serveur local Redis, IP : 127.0.0.1, port : 6379.
PHP a installé l'extension phpredis, et vous pouvez voir l'extension via phpinfo(), comme indiqué ci-dessous.
PHP peut accéder à Redis normalement. Le code de test est le suivant,
<?php $redis = new Redis(); $redis->connect('127.0.0.1', 6379); $count = $redis->exists('count') ? $redis->get('count') : 1; echo $count; $redis->set('count', ++$count);
Actualisez la page Si vous voyez le nombre augmenter, cela signifie que l'environnement Redis est normal.
2. Configurez PHP
Après avoir installé l'extension Redis, vous verrez le handle de support de session dans la sortie phpinfo(), qui inclut redis, comme suit :
Une chose à noter est que le délai d'expiration maximum de Redis est 2147483647, soit 7fffffff en hexadécimal.
Par conséquent, la valeur du temps de recyclage session.gc_maxlifetime dans la configuration de la session ne peut pas dépasser ce nombre.
Sinon, lorsque Redis utilise la commande setex pour enregistrer la session, le délai d'expiration sera un nombre négatif, ce qui équivaut à supprimer directement la clé.
Non seulement l'enregistrement échouera, mais PHP renverra également l'erreur suivante :
Warning: Unknown: Failed to write session data (redis). Please verify that the current setting of session.save_path is correct (127.0.0.1:6379) in Unknown on line 0
Ensuite, modifiez la configuration de PHP. Il existe un total de 3 méthodes. suivant :
2.1 Modifier php.ini
Ouvrez le fichier php.ini et définissez les deux valeurs suivantes :
session.save_handler = redis session.save_path = "tcp://127.0.0.1:6379"
Si Redis a un mot de passe, utilisez la configuration suivante :
session.save_path = "tcp://127.0.0.1:6379?auth=password"
Une fois la configuration terminée, redémarrez PHP-FPM.
2.2 Modifier php-fpm.conf
Fichier de configuration PHP-FPM /etc/php-fpm.conf ou /etc/php-fpm.d/* Dans .conf, il existe également une configuration de session.
Leur configuration de session a une priorité plus élevée que php.ini et remplacera la configuration dans php.ini.
Alors, changez-le directement ici :
php_value[session.save_handler] = redis php_value[session.save_path] = "tcp://127.0.0.1:6379"
Si vous utilisez la configuration php.ini, vous devez commenter ces deux lignes avec ;.
Puis redémarrez PHP-FPM
Code PHP 2.3
Vous pouvez également configurer la session dans le code PHP en cours d'exécution, comme suit.
ini_set('session.save_handler', 'redis'); ini_set('session.save_path', 'tcp://127.0.0.1:6379');
3. Test
Écrivez un morceau de code de test PHP, comme suit :
session_start(); $count = isset($_SESSION['count']) ? $_SESSION['count'] : 1; echo $count; $_SESSION['count'] = ++$count;
Si vous actualisez la page et voyez que le nombre ne cesse d'augmenter, Description : Redis est configuré pour enregistrer la session avec succès.
Sujet d'apprentissage du site Web chinois php : session php (comprenant des images, des vidéos, des cas)
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!