Đây là bài 4 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.
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.