Kann eine INSERT-SELECT-Abfrage den Rennbedingungen unterliegen?

Question

Ich habe diese Abfrage, die versucht, Zeilen in die balances Tabelle hinzuzufügen, wenn keine entsprechende Zeile in der totals Tabelle vorhanden ist. Die Abfrage wird in einer Transaktion ausgeführt, die die Standardisolationsstufe für PostgreSQL verwendet.

INSERT INTO balances (account_id, currency, amount) 
SELECT t.account_id, t.currency, 0 
FROM balances AS b 
RIGHT OUTER JOIN totals USING (account_id, currency) AS t 
WHERE b.id IS NULL 

Ich habe eine UNIQUE Einschränkung für balances (accountId, currency). Ich bin besorgt, dass ich in eine Race-Condition-Situation geraten werde, die zu doppelten Schlüsselfehlern führt, wenn mehrere Sessions diese Abfrage gleichzeitig ausführen. Ich habe viele Fragen zu diesem Thema gesehen, aber alle scheinen entweder Unterabfragen, mehrere Abfragen oder pgSQL-Funktionen zu beinhalten.

Da ich keine von denen in meiner Abfrage verwende, ist es frei von Race Conditions? Wenn es nicht ist, wie kann ich es reparieren?

Answer 1

Ja, es wird mit einem duplicate key value violates unique constraint Fehler fehlschlagen . Was ich tue ist, den Einfüge-Code in einen try/except Block zu legen und wenn die Ausnahme ausgelöst wird, fange ich es und versuche es erneut. So einfach. Wenn die Anwendung nicht über eine große Anzahl von Benutzern verfügt, funktioniert sie einwandfrei.

In Ihrer Abfrage ist die Standardisolationsstufe ausreichend, da es sich um eine einzelne INSERT-Anweisung handelt und kein Risiko für Phantomlesevorgänge besteht.

Beachten Sie, dass der try/except-Block nicht vermeidbar ist, selbst wenn die Isolationsstufe serialisiert wird. From the manual about serializable:

wie die Repeatable Read Ebene müssen Anwendungen auf diese Ebene unter Verwendung vorbereitet werden, um Transaktionen Ausfälle durch Serialisierung noch

Answer 2

Die Standardtransaktionsebene lautet Read Committed. In dieser Ebene sind Phantom-Lesevorgänge möglich (siehe Table 13.1). Während Sie davor geschützt sind, in der Summentabelle merkwürdige Effekte zu sehen, wenn Sie die Summen aktualisieren, sind Sie nicht vor Phantom-Lesevorgängen in der Salden-Tabelle geschützt.

Was dies bedeutet, kann erklärt werden, wenn Sie eine einzelne Abfrage ähnlich wie Ihre suchen, die den äußeren Join zweimal versucht (und nur Abfragen, fügt nichts ein). Die Tatsache, dass ein Saldo fehlt, ist nicht garantiert, dass er zwischen den beiden "Peeks" in der Saldenliste gleich bleibt. Das plötzliche Auftreten eines Saldos, das nicht vorhanden war, als die gleiche Transaktion zum ersten Mal aussah, wird als "Phantom Read" bezeichnet.

In Ihrem Fall können mehrere gleichzeitige Anweisungen sehen, dass ein Kontostand fehlt, und nichts hindert sie daran, es einzufügen und Fehler auszuschließen.

Um auszuschließen, Phantom liest (und Ihre Abfrage zu beheben), können Sie in der SERIALIZABLE Isolationsstufe ausführen in müssen vor Ihrer Abfrage ausgeführt wird:

SET TRANSACTION ISOLATION LEVEL SERIALIZABLE