🔒 Khoá & deadlock

Xem hai giao dịch đi khoá rồi chờ nhau, kèm đồ thị chờ vẽ ngay bên dưới, vì cả chủ đề này quy về đúng một câu hỏi: các mũi tên có khép thành vòng không? Bốn mô hình phủ deadlock chuyển tiền A↔B kinh điển cùng lý do trật tự khoá thống nhất là một chứng minh chứ không phải biện pháp giảm nhẹ, deadlock nâng cấp khoá chỉ cần một dòng, hàng đợi sau lưng kẻ giữ khoá chậm mà không sinh ra mã lỗi nào, và cái chỉ mục thiếu biến một câu sửa một dòng thành khoá cả bảng. Mỗi bước sáng cùng dòng SQL và TypeScript tương ứng.