Đây là bài 2 của chương 6: Transaction và cạnh tranh, thuộc khóa demo PostgreSQL. Nội dung được dùng để trải nghiệm cấu trúc chương trình học; hãy thực hành trên dữ liệu và môi trường thử nghiệm riêng. Trong dự án xuyên suốt, bạn sẽ xây dựng cơ sở dữ liệu khóa học, đăng ký học và báo cáo tiế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.
Đọc ví dụ theo luồng dữ liệu
Đọc từ đầu vào tới đầu ra. Xác định từng tên, điều kiện và quan hệ phụ thuộc trước khi chạy. Nếu có tên model, bảng hoặc endpoint chưa tồn tại, coi đó là thành phần minh họa cần dựng trong dự án thử nghiệm; đoạn trích không đại diện một ứng dụng hoàn chỉnh.
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;Cách phân tích
- Đánh dấu phần khai báo và phần thực hiện thao tác.
- Dự đoán kết quả với dữ liệu thông thường trước khi chạy.
- Thay đúng một giá trị đầu vào để kiểm tra dự đoán.
- Ghi lại kết quả thực tế, không chỉ thông báo thành công.
Tình huống đối chiế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.
Hãy liên hệ ví dụ với yêu cầu của chương: 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. Chỗ nào có thể dùng lại trực tiếp, chỗ nào phải đổi vì dữ liệu hoặc môi trường khác? Giải thích sự khác biệt đó giúp tránh việc sao chép một mẫu đúng trong bối cảnh này nhưng sai trong bối cảnh khác.
Bài tập đọc hiểu
- Chỉ ra phần nào của ví dụ giúp bảo đảm: không có số chỗ âm.
- Chỉ ra phần nào của ví dụ giúp bảo đảm: thất bại rollback toàn bộ luồng.
- Chỉ ra phần nào của ví dụ giúp bảo đảm: transaction không chờ thao tác mạng.
Nộp lại bản chú thích ngắn, kết quả quan sát và một biến thể đã thử. Nếu ví dụ chưa đủ để đạt một tiêu chí, liệt kê phần cần bổ sung thay vì coi tiêu chí đã tự động được thỏa mãn.