Điều gì gây ra deadlock và làm thế nào để ngăn chúng?

Question

Accepted Answer

Một **deadlock** xảy ra khi hai (hoặc nhiều) transaction mỗi cái giữ một khóa mà cái kia cần, nên không cái nào tiến lên được — chúng kẹt cứng chờ nhau mãi mãi. Database phát hiện deadlock và giải quyết bằng cách **hủy bỏ một transaction** ("nạn nhân"), cái đó phải thử lại. Hiểu các nguyên nhân và cách ngăn chặn là quan trọng cho các ứng dụng đồng thời.

## Deadlock xảy ra như thế nào

```text
Transaction A: khóa dòng 1, rồi muốn dòng 2
Transaction B: khóa dòng 2, rồi muốn dòng 1
→ A chờ B (giải phóng dòng 2), B chờ A (giải phóng dòng 1) → DEADLOCK
  Không cái nào tiến lên được; chúng chờ nhau trong một vòng tròn.
```

```sql
-- Transaction A                    -- Transaction B (đồng thời)
BEGIN;                              BEGIN;
UPDATE accounts SET .. WHERE id=1;  UPDATE accounts SET .. WHERE id=2;  -- mỗi cái khóa một dòng
UPDATE accounts SET .. WHERE id=2;  UPDATE accounts SET .. WHERE id=1;  -- mỗi cái muốn dòng của CÁI KIA
-- → DEADLOCK: database hủy bỏ một transaction
```

## Cách database xử lý deadlock

```text
Database PHÁT HIỆN deadlock (tìm vòng tròn các transaction đang chờ) và giải quyết chúng
bằng cách HỦY BỎ một transaction (nạn nhân) với một lỗi deadlock → nó phải THỬ LẠI.
→ Ứng dụng của bạn phải xử lý lỗi deadlock và thử lại transaction.
```

## Chiến lược ngăn chặn

```text
✓ THỨ TỰ KHÓA NHẤT QUÁN — luôn acquire khóa theo CÙNG thứ tự (vd luôn khóa
  account id nhỏ hơn trước). Điều này phá vỡ vòng tròn → kỹ thuật ngăn chặn số 1.
✓ Giữ transaction NGẮN — giữ khóa trong thời gian ít hơn (ít khả năng chồng lấn)
✓ Truy cập bảng/dòng theo một thứ tự nhất quán trên tất cả transaction
✓ Dùng mức isolation thấp hơn khi phù hợp (ít khóa hơn)
✓ Tránh tương tác người dùng / thao tác dài bên trong transaction (giữ khóa quá lâu)
✓ Xử lý lỗi deadlock với logic THỬ LẠI (deadlock không thể loại bỏ hoàn toàn)
```

**Cách ngăn chặn số 1** là **thứ tự khóa nhất quán**: nếu tất cả transaction acquire khóa theo cùng thứ tự (vd luôn id nhỏ hơn trước), vòng chờ tròn không thể hình thành.

## Mẫu thử lại

```text
Vì deadlock vẫn có thể xảy ra, các ứng dụng nên bắt lỗi deadlock và
THỬ LẠI transaction (thường vài lần với một độ trễ nhỏ). Đây là sự bền bỉ chuẩn
cho code database đồng thời.
```

## Tại sao điều này quan trọng

Deadlock là một vấn đề đồng thời quan trọng trong database — chúng xảy ra trong bất kỳ ứng dụng nào có các transaction đồng thời sửa đổi dữ liệu chồng lấn, và hiểu chúng là kiến thức cấp senior giá trị để xây các hệ thống đồng thời vững chắc.

Hiểu **nguyên nhân** — hai transaction mỗi cái giữ một khóa mà cái kia cần, tạo ra một vòng chờ tròn nơi không cái nào tiến lên được — là nền tảng.

Biết cách database **xử lý** deadlock (phát hiện vòng tròn và hủy bỏ một transaction làm nạn nhân, cái đó phải thử lại) là quan trọng vì nó nghĩa là **ứng dụng của bạn phải xử lý lỗi deadlock với logic thử lại** — deadlock không thể loại bỏ hoàn toàn, nên code đồng thời bền bỉ bắt lỗi deadlock và thử lại (một mẫu chuẩn, quan trọng).

Các **chiến lược ngăn chặn** là kiến thức thực tế then chốt, đặc biệt là kỹ thuật số 1: **thứ tự khóa nhất quán** (luôn acquire khóa theo cùng thứ tự trên tất cả transaction, phá vỡ điều kiện vòng-chờ-tròn gây ra deadlock) — cùng với giữ transaction ngắn (giữ khóa ngắn gọn), truy cập tài nguyên theo thứ tự nhất quán, và tránh các thao tác dài bên trong transaction.

Vì deadlock gây ra các vấn đề thực sự (transaction thất bại, lỗi, hiệu năng suy giảm) trong các ứng dụng database đồng thời, và vì hiểu nguyên nhân của chúng (vòng chờ khóa tròn), cách ngăn chặn (đặc biệt là thứ tự khóa nhất quán và transaction ngắn), và sự cần thiết của logic thử lại là cái cho phép bạn xây các hệ thống đồng thời vững chắc, hiểu deadlock là kiến thức cấp senior giá trị cho bất kỳ ứng dụng nào có truy cập database đồng thời đáng kể — một mối quan tâm vận hành thường liên quan và là một chủ đề phỏng vấn nâng cao phổ biến cho thấy hiểu biết về tính đồng thời và độ bền bỉ của database.