Analyse des instances de transaction Redis

Utilisation dans Redis

Redis implémente des fonctions de transaction via multi, exec, rejet et watch.

• multi : démarrer la transaction

• exec : valider la transaction et exécuter

• discard : Annuler la transaction

• watch : Surveiller n'importe quel nombre de clés avant le début de la transaction

#🎜 🎜#

> multi
OK
> set bookName "Redis"
QUEUED
> get bookName
QUEUED
> sadd tag "Redis" "New Book"
QUEUED
> smembers tag
QUEUED
> exec
1) OK
2) "Redis"
3) (integer) 2
4) 1) "Redis"
   2) "New Book"

Start transaction

> multi
OK

Cette commande active l'option Redis_multi pour faire passer le client de l'état non transactionnel à l'état transactionnel

# 🎜🎜# Command enqueue

> set bookName "Redis"
QUEUED
> get bookName
QUEUED
> sadd tag "Redis" "New Book"
QUEUED
> smembers tag
QUEUED

Les commandes Redis ne seront pas exécutées immédiatement, mais entreront d'abord dans une file d'attente de transactions premier entré, premier sorti jusqu'à ce que la transaction soit soumise. QUEUED indique que cette commande a été entrée dans la file d'attente des transactions.

Execute transactions

> exec
1) OK
2) "Redis"
3) (integer) 2
4) 1) "Redis"
   2) "New Book"

Lors de l'exécution de la commande exec, Redis exécute les commandes dans la file d'attente des transactions en fonction de la file d'attente des transactions enregistrée par le client selon le principe du premier entré, premier manière : first Les commandes mises en file d'attente en premier sont exécutées en premier et les commandes mises en file d'attente en dernier sont exécutées en dernier. Après avoir exécuté la commande exec, Redis stocke les résultats dans la file d'attente de réponses et envoie la file d'attente au client. Le client quitte l'état de transaction et une transaction est terminée.

discard command

> multi
OK
> set author "lisi"
QUEUED
> discard
OK
> get author
(nil)

discard est une commande pour annuler une transaction, indiquant que la transaction a été annulée. Lorsque le client met fin à l'état de transaction et revient à l'état de non-transaction, l'option Redis_multi doit être désactivée.

watch command

# Redis 客户端1
> watch letter
OK
> multi
OK
> set letter a
QUEUED
> exec
(nil)


# Redis 客户端2
> set letter b
OK

# Redis 客户端1
> get letter
"b"

Lorsque le client 1 entre dans la transaction, le moniteur définit la lettre clé et définit sa valeur est un , mais la transaction n'a pas encore été validée. Le client 2 définit la valeur de la lettre sur b. Une fois que le client 1 a validé la transaction, le résultat renvoyé est nul, mais en appelant la commande get, la valeur de la lettre peut être obtenue sous la forme b. Cela signifie que lorsque la lettre clé est modifiée par un autre client, la transaction sera annulée, ne sera pas exécutée et échouera.

watch La commande surveille n'importe quel nombre de clés avant le début de la transaction : lors de l'appel de la commande Excel pour exécuter une transaction, si l'une des clés surveillées a été modifiée par d'autres clients, la transaction entière ne sera plus exécuté.Renvoyer l'échec directement.

Exception de transaction

Erreur de commande

> set letter ac
QUEUED
> get letter ac
(error) ERR wrong number of arguments for 'get' command
> exec
(error) EXECABORT Transaction discarded because of previous errors.

L'exception de commande dans la transaction est une erreur de syntaxe En conséquence, la transaction ne peut pas être exécutée.

Exception d'exécution

> multi
OK
> lpush books "Redis"
QUEUED
> incr books
QUEUED
> lpush books "Python"
QUEUED
> lrange books 0 -1
QUEUED
> exec
1) (integer) 1
2) (error) WRONGTYPE Operation against a key holding the wrong kind of value
3) (integer) 2
4) 1) "Python"
   2) "Redis"

L'exemple ci-dessus est que la transaction a rencontré un échec au milieu de l'exécution, car la commande incr ne peut pas être exécutée sur une chaîne et la transaction a échoué pour exécuter la commande lorsqu'elle est rencontrée. Après cela, les commandes suivantes continuent de s'exécuter, de sorte que la valeur des livres peut continuer à être définie. Cette exception ne peut être évitée que par les programmeurs dans leur code.

ACID of transactions

Atomicity

Atomic signifie soit qu'elles s'exécutent avec succès ensemble, soit qu'elles échouent ensemble et sont annulées. Toutes les API fournies par Redis sont des opérations atomiques. Ensuite, les transactions Redis doivent uniquement garantir l'atomicité dans un lot d'opérations, mais dans le cas d'exceptions d'exécution, si une exception de commande se produit dans une transaction, d'autres commandes continueront à être exécutées. Il n'y a pas de mécanisme d'annulation pour les transactions, donc les transactions Redis. ne sont pas garantis comme étant atomiques sexuels.

Cohérence

Exception de transaction

Si l'erreur de commande se produit, la transaction ne peut pas être exécutée. S'il s'agit d'une exception d'exécution, Redis inclura l'erreur. erreur dans le résultat du retour, n'affecte pas l'exécution ultérieure, la transaction est donc cohérente.

Le processus Redis a été terminé

En mode mémoire pure, Redis n'effectue pas de persistance Après le redémarrage, la base de données est vide, elle est donc cohérente sur le plan transactionnel.

En mode RDB, la transaction n'effectuera pas le travail de sauvegarde du fichier RDB au milieu. Le travail RDB ne pourra démarrer qu'une fois la transaction terminée. Par conséquent, le processus Redis est interrompu lors de l'exécution de la transaction et, quel que soit son succès, il ne sera pas enregistré dans le fichier RDB, il est donc cohérent.

En mode AOF, une partie de l'instruction de transaction est écrite dans le fichier AOF et enregistrée avec succès. Les transactions incomplètes sont enregistrées dans le fichier AOF. Lors du redémarrage de Redis, vérifiez que le fichier AOF est incomplet et Redis. sort avec une erreur. Cette transaction incomplète doit être supprimée avant que le redémarrage puisse réussir, elle est donc cohérente.

En mode AOF, les transactions ne sont pas écrites dans le fichier AOF, donc après le redémarrage de la base de données Redis, les dernières données sont enregistrées avec succès dans le fichier AOF. Il n'y a pas de données pour cette transaction, elle est donc cohérente.

Isolation

Redis est un programme à processus unique, et il garantit que la transaction ne sera pas interrompue lors de l'exécution de la transaction. La transaction peut s'exécuter jusqu'à ce que toutes les transactions de la transaction soient terminées. la file d'attente est exécutée jusqu'à ce qu'elle soit ordonnée. Les transactions sont donc isolées.

persistence

En mode mémoire pure, les transactions ne sont définitivement pas persistantes.

En mode RDB, le serveur peut échouer pendant la période suivant l'exécution de la transaction et avant la mise à jour du fichier RDB, les transactions en mode RDB ne sont donc pas durables.

En mode AOF, ajoutez des commandes au fichier AOF, mais l'écriture du fichier ne sera pas écrite immédiatement sur le disque, mais sera d'abord stockée dans le tampon. Il y a donc un très petit intervalle entre les données enregistrées sur le disque. Les transactions dans ce mode ne sont pas non plus durables.

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!