Soldemy
0%

PostgreSQL qua tình huống: Mô hình, truy vấn và dữ liệu [Demo]

Transaction và cạnh tranh — Nguyên lý và ví dụ

3 phút đọc

Đây là bài 1 trong phần 6 của chuỗi demo “PostgreSQL qua tình huống: Mô hình, truy vấn và dữ liệu”. Từ ràng buộc dữ liệu tới truy vấn, index và cạnh tranh: đọc ví dụ rồi giải thích lựa chọn thiết kế. Bài viết dùng ví dụ và dữ liệu giả để minh họa; hãy thử trên môi trường riêng trước khi áp dụng vào dự án.

Mục tiêu cụ thể

Transaction giữ nhóm thao tác nhất quán. Khi nhiều request cùng sửa một dữ liệu, cần hiểu isolation, khóa hàng và điều kiện cập nhật.

Hiểu vấn đề trước khi dùng công cụ

Chương này tập trung vào một quyết định cụ thể: Mở hai phiên DB thử nghiệm và mô phỏng đăng ký chỗ cuối cùng; bảo đảm chỉ một giao dịch thành công. Đừng bắt đầu bằng cách chép nguyên ví dụ. Hãy chỉ ra thành phần nào là dữ liệu, thành phần nào là quy tắc và đâu là kết quả quan sát được. Một giải pháp đúng với dữ liệu mẫu vẫn có thể sai khi đầu vào rỗng, kích thước lớn hơn hoặc có hai thao tác xảy ra gần nhau.

Ví dụ tối thiểu

SQL
BEGIN;
SELECT available_seats FROM course_capacity WHERE course_id = 1 FOR UPDATE;
UPDATE course_capacity SET available_seats = available_seats - 1
WHERE course_id = 1 AND available_seats > 0;
-- Kiểm tra số hàng cập nhật trước khi ghi enrollment.
COMMIT;

Giới hạn cần hiểu

Đọc số chỗ rồi cập nhật ở hai transaction không khóa có thể bán vượt số chỗ. Giữ transaction ngắn để giảm chờ khóa.

Câu hỏi để tự giải thích

  • Bạn sẽ giải thích transaction và cạnh tranh cho người mới bằng ví dụ nào?
  • Phần nào của ví dụ là giả định, phần nào cần kiểm tra bằng thực nghiệm?
  • Nếu bỏ một điều kiện quan trọng, kết quả sẽ sai ở đâu?

Kết quả cần đạt

  • Không có số chỗ âm
  • Thất bại rollback toàn bộ luồng
  • Transaction không chờ thao tác mạng

Trước khi chuyển bài, hãy viết một đoạn giải thích bằng lời của bạn và chỉ ra ít nhất một trường hợp không nên áp dụng máy móc ví dụ này.

Hỏi đáp

Đăng nhập để đặt câu hỏi và tham gia thảo luận.