Lompat ke konten

Graf konflik

Simpul adalah transaksi yang commit, sisi adalah pasangan operasi yang berkonflik dalam urutan terjadinya. Sisi dari A ke B berarti: dalam setiap jadwal serial yang ekuivalen, A harus berjalan sebelum B.

Diperbarui: Jadwal jaga yang menjadi kosongPostgreSQL 16REPEATABLE READ

rwrwT1T2

Tidak conflict-serializable

T1 must run before T2, and T2 must run before T1 — which is impossible, so no order of these transactions one after another produces this outcome.

Konflik

  • T1T2baca lalu tulis, key 2, steps 25, melalui predicate read
  • T2T1baca lalu tulis, key 1, steps 34, melalui predicate read

Simpul adalah transaksi yang commit, sisi adalah pasangan operasi yang berkonflik dalam urutan terjadinya. Sisi dari A ke B berarti: dalam setiap jadwal serial yang ekuivalen, A harus berjalan sebelum B.