Tại sao MVCC yêu cầu khóa cho DML tuyên bố

Question

Trong PostgreSQL, cơ chế MVCC concurrency control nói rằng: ổ khóa

MVCC mua cho các truy vấn (đọc) dữ liệu không mâu thuẫn với khóa mua cho dữ liệu văn bản, và vì vậy đọc không bao giờ khối văn bản và viết không bao giờ khối đọc

vì vậy, even for READ_COMMITTED, một câu lệnh UPDATE sẽ khóa các hàng hiện đang bị ảnh hưởng nên không có giao dịch nào khác có thể thay đổi chúng, cho đến khi giao dịch vãng lai cam kết hoặc cuộn lại.

Nếu một giao dịch đồng thời phát hành CẬP NHẬT trên các hàng bị khóa, giao dịch thứ hai sẽ chặn cho đến khi giao dịch đầu tiên phát hành khóa.

1. Đây có phải là hành vi trying to prevent the write-write conflicts không?

2. Cập nhật bị mất vẫn có thể xảy ra trong READ_COMMITTED, sau khi giao dịch đầu tiên cam kết, lệnh thứ hai sẽ ghi đè hàng (ngay cả khi cơ sở dữ liệu đã thay đổi giữa bắt đầu truy vấn UPDATE và kết thúc truy vấn). Vì vậy, nếu mất cập nhật vẫn còn có thể, tại sao giao dịch thứ hai phải đợi? Không thể các ảnh chụp nhanh cấp hàng được sử dụng để lưu trữ các thay đổi giao dịch không được cam kết để tránh các giao dịch phải chờ các khóa ghi được phát hành?

Answer 1

Câu trả lời cho câu hỏi đầu tiên là Có. Không có DBMS nào có thể hỗ trợ ghi chép dơ bẩn; nếu hai giao dịch T1 và T2 đồng thời thực thi và T2 sẽ ghi đè lên một bản cập nhật từ T1, thì hệ thống không thể xử lý trường hợp T1 sau đó phát hành ROLLBACK vì bản cập nhật của T2 đã xảy ra.

Để tránh ghi bẩn, định nghĩa ban đầu để tách biệt ảnh chụp nhanh là "lần commit đầu tiên" - nghĩa là các ghi xung đột sẽ được phép xảy ra, nhưng chỉ giao dịch đầu tiên phát hành COMMIT mới có thể - tất cả các xung đột khác các giao dịch sẽ phải ROLLBACK. Nhưng mô hình lập trình này hơi có vấn đề, nếu không lãng phí, vì một giao dịch có thể cập nhật một tỷ lệ đáng kể của cơ sở dữ liệu chỉ để từ chối khả năng COMMIT ở cuối. Vì vậy, thay vì "người đầu tiên giành chiến thắng" hầu hết các hệ thống DBMS hỗ trợ MVCC thực hiện "chiến thắng cập nhật đầu tiên" bằng cách sử dụng khóa hai pha khá truyền thống.