Analyse der Redis-Transaktionsinstanz

Verwendung in Redis

Redis implementiert Transaktionsfunktionen durch Multi, Exec, Discard und Watch. 🔜

> 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"

Dieser Befehl aktiviert die Option Redis_multi und ermöglicht es dem Client, von einem nicht-transaktionalen Zustand in einen transaktionalen Zustand zu wechseln , First-Out-Transaktionswarteschlange, bis die Transaktion übermittelt wurde. QUEUED zeigt an, dass dieser Befehl in die Transaktionswarteschlange eingegeben wurde.

• Transaktionen ausführen

  > multi
  OK

Beim Ausführen des exec-Befehls führt Redis die Befehle in der Transaktionswarteschlange nach dem Prinzip „First-In, First-Out“ entsprechend der vom Client gespeicherten Transaktionswarteschlange aus: Der erste in die Warteschlange gestellte Befehl wird zuerst ausgeführt , und der letzte in die Warteschlange gestellte Befehl wird ausgeführt. Der Befehl wird zuletzt ausgeführt. Nach der Ausführung des exec-Befehls speichert Redis die Ergebnisse in der Antwortwarteschlange und sendet die Warteschlange an den Client. Der Client verlässt den Transaktionsstatus und eine Transaktion ist abgeschlossen.

• discard-Befehl

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

discard ist ein Befehl zum Abbrechen einer Transaktion, der angibt, dass die Transaktion abgebrochen wurde. Wenn der Client den Transaktionsstatus beendet und in den Nicht-Transaktionsstatus zurückkehrt, muss die Option Redis_multi deaktiviert werden.
• watch-Befehl

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

  Wenn Client 1 die Transaktion betritt, setzt die Watch den Buchstabenschlüssel und setzt seinen Wert auf a, aber die Transaktion ist noch nicht festgeschrieben. Client 2 setzt den Wert von Buchstabe auf b. Nachdem Client 1 die Transaktion festgeschrieben hat, ist das zurückgegebene Ergebnis Null, aber durch Aufrufen des Befehls get kann der Wert von Buchstabe als b abgerufen werden. Dies bedeutet, dass bei einer Änderung des Buchstabenschlüssels durch einen anderen Kunden die Transaktion abgebrochen wird, nicht ausgeführt wird und fehlschlägt.

Der Watch-Befehl überwacht eine beliebige Anzahl von Schlüsseln, bevor die Transaktion beginnt: Wenn beim Aufruf des Excel-Befehls zum Ausführen einer Transaktion einer der überwachten Schlüssel von anderen Clients geändert wurde, wird die gesamte Transaktion nicht mehr ausgeführt und es kommt zu einem Fehler direkt zurückgegeben werden.

Transaktionsausnahme

Befehlsfehler

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

Befehlsausnahmen in einer Transaktion sind Syntaxfehler, die dazu führen, dass die Transaktion nicht ausgeführt werden kann.

Laufzeitausnahme

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


# Redis 客户端2
> set letter b
OK

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

Das obige Beispiel zeigt, dass bei einer Transaktion während der Ausführung ein Fehler aufgetreten ist, da der Befehl incr nicht für eine Zeichenfolge ausgeführt werden kann. Nachdem bei der Transaktion ein Fehler bei der Befehlsausführung festgestellt wurde, werden nachfolgende Befehle weiterhin ausgeführt. So können Bücherwerte weiterhin eingestellt werden. Diese Ausnahme kann nur von Programmierern in ihrem Code vermieden werden.

ACID von Transaktionen

Atomarität

Atomar bedeutet, dass sie entweder gemeinsam erfolgreich ausgeführt werden oder dass sie gemeinsam fehlschlagen und zurückgesetzt werden. Alle von Redis bereitgestellten APIs sind atomare Operationen. Dann müssen Redis-Transaktionen nur die Atomizität in einem Stapel von Vorgängen sicherstellen, aber im Falle von Laufzeitausnahmen werden andere Befehle weiterhin ausgeführt, wenn in einer Transaktion eine Befehlsausnahme auftritt. Es gibt keinen Rollback-Mechanismus für Transaktionen, daher gibt es für Redis-Transaktionen keinen Rollback-Mechanismus Es ist nicht garantiert, dass sie atomar sind.

Konsistenz

Transaktionsausnahme

Wenn der Befehlsfehler auftritt, kann die Transaktion nicht ausgeführt werden. Wenn es sich um eine Laufzeitausnahme handelt, nimmt Redis den Fehler in das Rückgabeergebnis auf und hat keinen Einfluss auf die nachfolgende Ausführung, sodass die Transaktion konsistent ist.

Der Redis-Prozess wird beendet

Im reinen Speichermodus führt Redis keine Persistenz durch. Nach dem Neustart ist die Datenbank leer, sodass sie transaktionskonsistent ist.

Im RDB-Modus führt die Transaktion nicht die Arbeit zum Speichern der RDB-Datei in der Mitte durch. Die RDB-Arbeit kann erst beginnen, nachdem die Transaktion abgeschlossen ist. Daher wird der Redis-Prozess während der Transaktionsausführung abgebrochen. Unabhängig davon, wie erfolgreich er ist, wird er nicht in der RDB-Datei gespeichert, sodass er konsistent ist.

Im AOF-Modus wird ein Teil der Transaktionsanweisung in die AOF-Datei geschrieben und erfolgreich gespeichert. Überprüfen Sie beim Neustart von Redis, ob die AOF-Datei unvollständig ist und Redis mit einem Fehler beendet wird. Diese unvollständige Transaktion muss gelöscht werden, bevor der Neustart erfolgreich sein kann, damit sie konsistent ist.

Im AOF-Modus werden Transaktionen nicht in die AOF-Datei geschrieben, sodass nach dem Neustart der Redis-Datenbank die neuesten Daten erfolgreich in der AOF-Datei gespeichert werden. Für diese Transaktion sind keine Daten vorhanden, daher sind sie konsistent.

Isolation

Redis ist ein Einzelprozessprogramm und garantiert, dass die Transaktion beim Ausführen der Transaktion nicht unterbrochen wird und die Transaktion ausgeführt werden kann, bis alle Befehle in der Transaktionswarteschlange ausgeführt sind. Transaktionen sind also isoliert.

Dauerhaft

Im reinen Speichermodus sind Transaktionen definitiv nicht dauerhaft.

Im RDB-Modus kann der Server nach der Ausführung der Transaktion und vor der Aktualisierung der RDB-Datei ausfallen, sodass Transaktionen im RDB-Modus nicht dauerhaft sind.

Fügen Sie im AOF-Modus den Befehl zur AOF-Datei hinzu, aber beim Schreiben der Datei wird sie nicht sofort auf die Festplatte geschrieben, sondern zuerst im Puffer gespeichert. Es gibt also nur einen sehr kurzen Zeitraum zwischen der Speicherung der Daten auf der Festplatte. Auch Transaktionen in diesem Modus sind nicht dauerhaft.

Das obige ist der detaillierte Inhalt vonAnalyse der Redis-Transaktionsinstanz. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!