Race condition là gì? Cho một ví dụ và triệu chứng của nó.

Question

IT Interview Practice · Accepted Answer

**Race condition là lỗi mà kết quả phụ thuộc vào thời điểm khó đoán của các thao tác concurrent truy cập cùng một shared state.** Trường hợp kinh điển là read-modify-write không atomic.

## Cách hoạt động

`counter += 1` trông có vẻ atomic nhưng thực ra là ba bước: read, add, write. Hai thread có thể xen kẽ khiến một lần cập nhật bị mất.

```text
counter = 0
Thread A: đọc 0 ─────────── ghi 1
Thread B:      đọc 0 ─ ghi 1
Kết quả: 1  (đáng ra là 2 — mất một lần tăng)
```

## Ví dụ

```python
counter = 0
def inc():
    global counter
    for _ in range(100_000):
        counter += 1          # KHÔNG atomic: read, +1, write

# Chạy hai thread, kỳ vọng 200_000...
# ...nhưng thường ra ít hơn — một lost update
```

Cách sửa là làm cho đoạn đó atomic bằng một lock:

```python
lock = threading.Lock()
def inc():
    global counter
    for _ in range(100_000):
        with lock:            # mỗi lần chỉ một thread vào đây
            counter += 1
```

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

**Triệu chứng** mới là thứ khiến race nguy hiểm: kết quả sai lúc có lúc không, khó tái hiện, qua được test nhưng hỏng khi tải cao. Chúng ẩn mình cho tới khi timing thay đổi — máy nhanh hơn, nhiều traffic hơn, thêm core. Nhận ra shared mutable state là nguyên nhân gốc là bước đầu; người phỏng vấn muốn thấy bạn phát hiện đoạn read-modify-write không được bảo vệ.

Cách hoạt động

Ví dụ

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

Câu hỏi liên quan