Khóa và CHỌN ĐỂ CẬP NHẬT

Hiểu cách cơ sở dữ liệu hoạt động độc lập trên một thiết bị đầu cuối rất đơn giản...đợi đã, tôi đã nói rồi! Đôi khi "Cập nhật nguyên tử" (ví dụ: stock = stock - 1) là không đủ.

Hãy tưởng tượng bạn phải kiểm tra xem người dùng có đủ số dư để mua những thứ trị giá 50 € hay không:

1. SELECT balance FROM users WHERE id = 1;
2. JS: Nếu số dư < 50, hãy chặn chúng!
3. Nếu không thì tiến hành thanh toán...
4. Chạy khấu trừ! (Và ở đây, bạn tìm thấy một người dùng, trong khi xác thực séc ở bước 2, đã thực hiện một séc song song khác đã đốt cháy tài khoản của họ và bây giờ bạn đang ở mức dưới 0!).

ĐỂ CẬP NHẬT Khóa rõ ràng

Việc thêm FOR UPDATE vào cuối SELECT sẽ biến lần đọc vô tội của bạn thành một Khóa kín đối với các ứng dụng khách khác một cách kỳ diệu cho đến lần CAM KẾT tiếp theo. Không ai khác có thể thực hiện CẬP NHẬT (hoặc đọc để cập nhật đồng thời) trên các hàng đã chọn cụ thể đó cho đến khi bạn quyết định phải làm gì với chúng!

BEGIN;

-- If id=3 had already been locked by T1, T2 will sit in perpetual loading on this "read"
-- frozen in place, before receiving the raw data, until T1 runs COMMIT freeing everyone!
SELECT balance
FROM users
WHERE id = 3
FOR UPDATE;

-- at this point our Node JS instance lives with the guarantee, knowing for certain that NO ONE ELSE in the world has
-- manipulated (nor been able to read with intent to alter) that balance while we complete the application logic

UPDATE users SET balance = balance - 50 WHERE id = 3;

COMMIT;

Thậm chí còn có FOR SHARE cho phép những người đọc khác tiếp tục đọc (nếu ở khóa cơ sở) mà không chặn các lần đọc trạng thái nhưng chặn mọi cập nhật có thể có tiếp theo cho đến khi bạn cam kết. Tuy nhiên, để sửa đổi, hãy luôn sử dụng sức mạnh của mệnh đề khóa độc quyền:

Hãy tự mình thử