Nein, ich glaube nicht, dass Ihre Bestimmungen zu einem System führen, das wir als serialisierbar betrachten sollten.
Die Snapshot-Isolation ist eine Technik, mit der sichergestellt wird, dass eine Transaktion über die gesamte Transaktion denselben Datensatz sieht. Die Snapshot-Isolation bietet einige Garantien, definiert jedoch nicht alle Merkmale, die zum Verständnis der tatsächlichen Funktionsweise von Transaktionen erforderlich sind (es sei denn, wir kombinieren Snapshot-Isolation und MVCC).
Die Snapshot-Isolation wird am häufigsten mit MVCC (Multi Version Consistency Control) implementiert. MVCC definiert mehr Details von Transaktionen im Kontext ihrer Snapshots: Es heißt, dass sie nur dann isoliert werden müssen, wenn Schreibkonflikte auftreten (nur Standorte oder Standorte + Werte, abhängig von der Implementierung). MVCC bietet ein entspanntes Konsistenzmodell und leidet unter einer Schreibverzerrung.
Entspannte Konsistenzmodelle sind schwer zu verstehen, da sie wie eine Mischung aus Nichtisolation und vollständiger Isolation sind.
Beginnen wir also zunächst mit einem strengen Modell der Parallelität. Zwei Transaktionen müssen voneinander isoliert werden, wenn eine in Daten schreibt, die die andere liest oder schreibt (und umgekehrt ...).
Wenn wir nicht wissen, warum eine Transaktion Daten liest, müssen wir davon ausgehen, dass ein anderer gelesener Wert das Verhalten des betreffenden Clients verändern kann. Aus diesem Grund weist die Bedingung überlappender Transaktionen auf eine Isolation hin. Ohne Isolation kann ein Lesevorgang veralteter Daten in einem Snapshot leicht zu einer lockeren Konsistenz führen. Ein weiterer Begriff ist Inkonsistenz, dh Fehler.
Wir müssen nur die genauen Daten berücksichtigen, die von den Transaktionen gelesen oder geschrieben wurden. Alle Daten außerhalb dieses Satzes müssen nicht berücksichtigt werden. Es ist jedoch wichtig zu wissen, dass, wenn es sich um Daten handelt, die von einer Transaktion gelesen werden, alle "Metadaten" (sowie Daten und Metadaten, die von Metaoperationen wie der Überprüfung von Einschränkungen gelesen werden) einbezogen werden müssen. Beispiele für Metadaten sind / Metaoperationen: Identifizierung eines eindeutigen neuen Primärschlüssels; ein anderer ist die Summe einer ganzen Spalte; eine andere ist, nach etwas zu suchen und es nicht zu finden; Bereichssuchen oder Summen. Dies geht auf @ Matthews Kommentar zur Vermeidung von Duplikaten sowie auf die Antwort von @ Tersosauros zurück, in der er den Zustand betrachtet.
Dies bedeutet beispielsweise, dass sich zwei Transaktionen überlappen (eine Isolation erfordern), wenn beide eine Zeile einfügen (unter der Annahme einer eindeutigen Primärschlüsseleinschränkung), da das Überprüfen der Schlüsseleinschränkung gleichbedeutend mit dem Lesen der gesamten Primärschlüsselspalte ist. Als weiteres Beispiel ist das Suchen und Finden eines Werts das Lesen eines Werts, das Nicht-Finden eines Werts jedoch das Betrachten jedes Werts in der Spalte.
MVCC schützt nur vor überlappenden oder widersprüchlichen Schreibvorgängen, schützt jedoch nicht vor Lesevorgängen (sofern diese nicht auch von dieser Transaktion geschrieben wurden). Um einen Konsistenzfehler in MVCC zu erhalten, müssen wir lediglich etwas lesen, das von einer anderen Transaktion geändert wurde (wobei die andere Transaktion nach dem Abrufen des Snapshots des ersteren erfolgt, aber zuerst festgeschrieben wird), während die andere Transaktion weiterhin veraltete Daten und verwendet Entscheidungen werden basierend auf diesen veralteten Daten anders getroffen als bei den aktuellen Daten. Es ist einfacher zu verursachen als man denkt.
Entspannte Konsistenz ist eine andere Möglichkeit, potenziell inkonsistente oder fehleranfällige Aussagen zu machen. (Entspannte Konsistenz sollte nicht mit eventueller Konsistenz verwechselt werden. Dies ist eine andere beliebte Form von Fehlern, die von "NoSQL" abweicht.)
Wenn Sie in Ihrer Frage sagen, dass Transaktionen niemals mehr als ein Objekt umfassen müssen, muss dies sowohl für Lese- und Schreibvorgänge als auch für Metadaten (und Metaoperationen) gelten, einschließlich Konsistenzprüfung, Aggregation ganzer Spalten, Abwesenheitsprüfung, Bereichssuche usw. .: wenn ja, dann soweit so gut.
Jedoch...
Ich gehe von Ihrer Frage aus, dass Sie die Momentaufnahme-Isolierung (MVCC) für einzelne Objekte verwenden (z. B. anstelle der Objektsperrung). (Sie erwähnen auch CAS; ich habe von Compare-and-Swap und Test-and-Set gehört, aber nicht von Check-and-Set, obwohl ich annehme, dass es ähnlich ist).
Ihre Frage schreibt mir vor, dass "Objekte" mehr als ein Feld haben, sonst wären die Bestimmungen der Frage unnötig.
Da Ihre mit Snapshots / MVCC behandelten Objekte mehr als ein Feld haben, neigen Sie dazu, Schrägstellungen innerhalb einzelner Objekte zu schreiben. Wenn zwei Transaktionen gleichzeitig dasselbe Objekt aktualisieren, kann ein Feld des Objektwerts gelesen werden, der durch eine gleichzeitige andere Transaktion für dasselbe Objekt veraltet ist, und der Vorgang kann fortgesetzt werden, ohne die potenzielle Inkonsistenz (auch als Fehler bezeichnet) zu kennen.
Sie könnten stattdessen die Objektsperre verwenden, um zu verhindern, dass zwei Transaktionen (für die Aktualisierung) dasselbe Objekt betrachten, wenn bereits eine andere Transaktion dabei ist.
Ich glaube, dass eine alternative Form der Snapshot-Isolation ohne die Verwendung des MVCC-Vergleichsmodells "Nur Schreibsatz" möglich ist. Sie können den Vergleichssatz (algorithmisch) von "Nur Schreiben" heraufstufen, um auch den Lesesatz einzuschließen. Dann können zwei Transaktionen, die dasselbe Objekt aktualisieren, keine Schreibverzerrung verursachen (da diejenige, die später festgeschrieben wird, abgebrochen wird). Ich denke, dies ist möglicherweise die geeignete Lösung für das von Ihnen beschriebene Problem, da Sie bereits den größten Nutzen für MVCC erzielen, indem Sie Transaktionen mit mehreren Objekten ausschließen.
(Wir müssen nur die genauen und spezifischen gelesenen oder geschriebenen Elemente / Felder berücksichtigen, aber die gelesenen Elemente / Felder müssen als Metadaten einbezogen werden, möglicherweise während Metaoperationen, um eine Schreibverzerrung (dh einen Fehler) zu verhindern. Wenn wir einen der Lesesätze aus dem Vergleichssatz entfernen Wenn wir Metadaten (die möglicherweise von Metaoperationen verwendet werden) nicht berücksichtigen, verfügen wir über ein Modell, das Fehler zulässt.)