Maison > base de données > Redis > le corps du texte

Comment verrouiller un Redis

Libérer: 2019-07-08 09:12:55
original
2747 Les gens l'ont consulté

Comment verrouiller un Redis

Classification de verrouillage Redis

Les commandes de verrouillage qui peuvent être utilisées par Redis sont INCR, SETNX et SET.

1. La première commande de verrouillage INCR

L'idée de ce type de verrouillage est que si la clé n'existe pas, alors la valeur de la clé sera d'abord initialisée à 0, puis l'opération INCR sera exécutée.
Ensuite, lorsque d'autres utilisateurs effectuent l'opération INCR pour en ajouter un, si le nombre renvoyé est supérieur à 1, cela signifie que le verrou est utilisé.

1. Le client A demande au serveur d'obtenir la valeur de clé de 1, ce qui signifie que le verrou est obtenu

2. Le client B demande également au serveur d'obtenir la valeur de clé de 2, ce qui signifie que l'acquisition du verrou échoue

3. Le client A termine l'exécution du code et supprime le verrou

4 Le client B attend un certain temps et obtient la valeur de clé de 1. lors d'une demande, indiquant que l'acquisition du verrou est réussie

5. Le client B exécute le code et supprime le verrou

$redis->incr($key);
$redis->expire($key, $ttl); //设置生成时间为1秒
Copier après la connexion

2 Le deuxième verrou SETNX

L'idée. derrière ce type de verrouillage, c'est que si la clé n'existe pas, définissez la clé sur valeur

Si la clé existe déjà, SETNX n'effectue aucune action

1. pour définir la valeur de la clé. Si le réglage est réussi, cela signifie que le verrouillage est réussi

2. Le client B demande également au serveur de définir la valeur de la clé. Si le retour échoue, cela signifie que le verrouillage a échoué.

3. Le client A termine l'exécution du code et supprime le verrou

4. Client Après avoir attendu un certain temps, le client B demande de définir la valeur de la clé et le réglage est réussi

3. 🎜>

5. Le client B termine l'exécution du code et supprime le verrou

$redis->setNX($key, $value);
$redis->expire($key, $ttl);
Copier après la connexion

3. Le troisième type de verrou SET

Il y a un problème avec les deux méthodes ci-dessus. constatez que vous devez définir l'expiration de la clé. Alors pourquoi devons-nous définir l’expiration des clés ? Si l'exécution de la requête se termine de manière inattendue pour une raison quelconque, entraînant la création du verrou mais pas sa suppression, le verrou existera toujours, de sorte que le cache ne sera jamais mis à jour à l'avenir. Il faut donc ajouter un délai d'expiration au verrou pour éviter les accidents.

Mais le définir avec Expire n'est pas une opération atomique. Par conséquent, l'atomicité peut également être assurée par le biais de transactions, mais il reste encore quelques problèmes, c'est pourquoi le responsable en a cité un autre. L'utilisation de la commande SET elle-même inclut la fonction de définition du délai d'expiration à partir de la version 2.6.12.

1. Le client A demande au serveur de définir la valeur de la clé. Si le réglage est réussi, le verrouillage est réussi

2. le retour échoue, cela signifie alors que le verrou a échoué

3. Le client A termine l'exécution du code et supprime le verrou

4. Le client B demande de définir la valeur de la clé après avoir attendu. une période de temps et le réglage est réussi

5. Le client B exécute le code et supprime le verrou

 $redis->set($key, $value, array('nx', 'ex' => $ttl)); //ex表示秒
Copier après la connexion
Pour plus de connaissances sur Redis, veuillez visiter le Tutoriel d'utilisation de Redis rubrique !

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!

Étiquettes associées:
source:php.cn
Déclaration de ce site Web
Le contenu de cet article est volontairement contribué par les internautes et les droits d'auteur appartiennent à l'auteur original. Ce site n'assume aucune responsabilité légale correspondante. Si vous trouvez un contenu suspecté de plagiat ou de contrefaçon, veuillez contacter admin@php.cn
Tutoriels populaires
Plus>
Derniers téléchargements
Plus>
effets Web
Code source du site Web
Matériel du site Web
Modèle frontal