Race condition คืออะไร? ยกตัวอย่างและอาการของมัน

Question

IT Interview Practice · Accepted Answer

**Race condition คือบั๊กที่ผลลัพธ์ขึ้นอยู่กับจังหวะเวลาที่คาดเดาไม่ได้ของการทำงานพร้อมกันที่เข้าถึง state ที่แชร์ร่วมกัน** กรณีคลาสสิกคือ read-modify-write ที่ไม่เป็น atomic

## มันทำงานอย่างไร

`counter += 1` ดูเหมือน atomic แต่จริง ๆ แล้วเป็นสามขั้น: อ่าน บวก เขียน สอง thread สามารถสลับกันจนทำให้การอัปเดตหนึ่งครั้งหายไป

```text
counter = 0
Thread A: read 0 ─────────── write 1
Thread B:      read 0 ─ write 1
Result: 1  (should be 2 — one increment lost)
```

## ตัวอย่าง

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

# Run two threads, expect 200_000...
# ...but you often get less — a lost update
```

วิธีแก้คือทำให้ส่วนนั้นเป็น atomic ด้วย lock:

```python
lock = threading.Lock()
def inc():
    global counter
    for _ in range(100_000):
        with lock:            # only one thread in here at a time
            counter += 1
```

## ทำไมจึงสำคัญ

**อาการ** คือสิ่งที่ทำให้ race อันตราย: ผลลัพธ์ผิดที่เกิดเป็นครั้งคราว ทำซ้ำไม่ได้ ผ่านในการทดสอบแต่พังเมื่อมีโหลด มันซ่อนตัวจนกว่าจังหวะเวลาจะเปลี่ยน — เครื่องที่เร็วขึ้น ทราฟฟิกมากขึ้น core ใหม่ การรู้ว่า state ที่แชร์และแก้ไขได้คือต้นตอเป็นก้าวแรก; ผู้สัมภาษณ์อยากเห็นคุณจับจุด read-modify-write ที่ไม่ได้ป้องกันไว้ได้

มันทำงานอย่างไร

ตัวอย่าง

ทำไมจึงสำคัญ

คำถามที่เกี่ยวข้อง