Đây là bài 2 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.
Tình huống lỗi
Đọ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.
Chẩn đoán có bằng chứng
Trong bài transaction và cạnh tranh, hãy cố ý tái hiện tình huống trên ở môi trường thử nghiệm. Mục tiêu là thấy vì sao kết quả sai và thu thập đủ bằng chứng để phân biệt lỗi dữ liệu, lỗi quy tắc và lỗi cấu hình. Không sửa đồng thời nhiều yếu tố vì bạn sẽ khó xác định nguyên nhân.
- Ghi rõ bước thao tác và kết quả mong đợi.
- Thu nhỏ ví dụ đến mức vẫn tái hiện được lỗi.
- Đối chiếu dữ liệu thực với giả định ban đầu.
- Đặt giả thuyết và thay đổi một yếu tố.
- Xác nhận bằng cách tái chạy ví dụ tối thiểu.
Mẫu đối chiếu
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;Kiểm tra sau sửa
- 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
Khi lỗi biến mất, thực hiện lại yêu cầu gốc: 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. Sau đó thử trường hợp đầu vào rỗng hoặc trạng thái chưa được khởi tạo nếu phù hợp. Một bản sửa phải khôi phục hành vi đã định nghĩa, không chỉ làm mất thông báo lỗi.
Ghi chú bàn giao
Viết báo cáo ngắn gồm nguyên nhân, phạm vi ảnh hưởng, thay đổi và cách kiểm chứng. Nếu chưa xác định được nguyên nhân, ghi rõ điều còn chưa biết và phép kiểm tra tiếp theo, không biến giả thuyết thành kết luận.