Concurrency & Isolation
Ba mô-đun: (1) bấm từng bước hai transaction song song để thấy anomaly, (2) bảng isolation level × anomaly, (3) đồ thị wait-for phát hiện deadlock.
1 · Mô phỏng hai transaction song song
Chọn một kịch bản, rồi bấm ▶ Bước tiếp để chạy lần lượt từng thao tác theo lịch trình đan xen. Theo dõi giá trị và anomaly phát sinh.
T1
T2
Bấm "Bước tiếp" để bắt đầu.
2 · Isolation level × Anomaly
Bấm vào một dòng mức cô lập để highlight: cột nào được ngăn (xanh), cột nào vẫn có thể xảy ra (đỏ).
| Isolation level | Dirty read | Non-repeatable read | Phantom read |
|---|
← Chọn một mức cô lập để xem nó ngăn được gì. Cô lập càng cao = đúng hơn nhưng chậm / ít song song hơn.
3 · Deadlock — đồ thị wait-for
Chọn thứ tự khóa của hai transaction. Đồ thị "ai chờ ai" có chu trình ⇒ deadlock.