Lihat dua transaksi diam-diam saling merusak.

Satu kegagalan yang mudah dibayangkan

Aturan rumah sakit: minimal satu dokter harus tetap berjaga. Saat ini ada dua yang berjaga. Keduanya memutuskan pulang pada saat yang sama.

1. ●Dr ADokter A memeriksa berapa dokter yang sedang berjaga. Jawabannya dua.
2. ■Dr BDokter B memeriksa pada detik yang sama. Dua juga.
3. ●Dr AA melihat masih ada satu dokter lain, jadi A berhenti berjaga.
4. ■Dr BB melihat masih ada satu dokter lain, jadi B berhenti berjaga.

Tidak ada yang berjaga. Tak satu pun transaksi menyentuh baris milik yang lain, tidak ada yang terkunci, tidak ada kesalahan yang muncul, dan keduanya berhasil commit. Inilah write skew, dan sebagian besar basis data mengizinkannya pada level yang kemungkinan besar Anda pakai sekarang.

Satu eksekusi, dari awal sampai akhir

Ini keseluruhannya, langkah demi langkah, dengan angka yang sebenarnya — dihasilkan dengan menjalankan schedule ini melalui simulator yang sama dengan yang dipakai seluruh situs. Tidak ada yang perlu Anda tekan di sini. Perhatikan bahwa tidak ada satu pun yang gagal: setiap statement di bawah ini berhasil.

PostgreSQL 16 · REPEATABLE READ

Key 1

Dr. A

Key 2

Dr. B

= 0

berhenti berjaga

= 1

sedang berjaga

1. 0b1begin
2. 1b2begin
3. 2r1[P:1..2]range read over keys 1..2→ {1=1, 2=1}

   bagian dari tabel sebelum run dimulai

4. 3r2[P:1..2]range read over keys 1..2→ {1=1, 2=1}

   bagian dari tabel sebelum run dimulai

5. 4w1[1=0]write key 1 = 0
6. 5w2[2=0]write key 2 = 0

   T1 wrote key 1 at step 4 and T2 wrote key 2 at step 5. Each had already read the row the other wrote, neither saw the other's write, and no row was written twice — so nothing conflicted and both committed.

7. 6c1commit
8. 7c2commit

Tabelnya berakhir menjadi 1=0 2=0

Tidak ada transaksi yang membaca data yang belum commit, tidak ada yang menulis baris yang ditulis transaksi lain, tidak ada lock yang berebut dan tidak ada error yang muncul. Setiap pembacaan benar per saat snapshot-nya diambil. Kedua snapshot itu diambil sebelum kedua penulisan terjadi, dan itulah seluruh bug-nya.

Cara memakainya

1. 1

   Pilih satu kegagalan

   Tiap skenario adalah kegagalan klasik yang nyata, ditulis sebagai dua atau tiga transaksi dengan statement-nya disisipkan dalam urutan tertentu.

2. 2

   Telusuri langkah demi langkah

   Tekan Berikutnya untuk maju satu statement. Partitur menunjukkan siapa melakukan apa dan kapan; panel di bawahnya menunjukkan keadaan mesin pada saat itu juga.

3. 3

   Ubah satu hal

   Ganti mesinnya atau naikkan isolation level-nya, dan langkah yang sama langsung dijalankan ulang. Apa yang berubah — dan apa yang keras kepala tidak berubah — itulah seluruh pelajarannya.