Giải thích khái niệm Race Condition trong lập trình đồng thời và phân biệt nó với Thread Interference. Cho ví dụ thực tế.

Question

Accepted Answer

1. Phân biệt khái niệm

Thread Interference (Can thiệp luồng): Là một dạng lỗi cụ thể xảy ra khi các luồng ghi đè dữ liệu lẫn nhau do thiếu tính nguyên tử (Atomicity).
Race Condition (Điều kiện tranh chấp): Là một lỗi logic tổng quát hơn, xảy ra khi tính đúng đắn của chương trình phụ thuộc vào thứ tự thực thi ngẫu nhiên hoặc thời gian chạy của các luồng (Timing/Ordering). Mọi Thread Interference đều là Race Condition, nhưng không phải Race Condition nào cũng là Thread Interference (có thể xảy ra ngay cả khi chỉ đọc dữ liệu nhưng sai thứ tự thời gian).

2. Ví dụ thực tế trong hệ thống Enterprise
Xét tính năng trừ tiền trong ví điện tử của người dùng:

Luồng A kiểm tra số dư: Số dư là 1.000.000 VND. Hợp lệ để rút 800.000 VND.
Luồng B đồng thời kiểm tra số dư: Số dư vẫn là 1.000.000 VND (vì Luồng A chưa kịp trừ tiền vào database). Hợp lệ để rút 500.000 VND.
Cả hai luồng cùng tiến hành trừ tiền. Số dư cuối cùng bị âm hoặc sai lệch hoàn toàn so với thực tế.

3. Phương pháp khắc phục

Database Level Locking: Sử dụng Pessimistic Locking (SELECT ... FOR UPDATE) để khóa dòng dữ liệu trong database khi giao dịch đang diễn ra.
Application Level Synchronization: Sử dụng Distributed Lock (ví dụ: Redlock với Redis) nếu hệ thống chạy trên nhiều instance Microservices.
Idempotency (Tính bất biến): Thiết kế API có cơ chế Idempotency Key để đảm bảo một request dù có bị gọi lặp lại do mạng bất đồng bộ cũng chỉ thực hiện đúng một lần.

Giải thích khái niệm Race Condition trong lập trình đồng thời và phân biệt nó với Thread Interference. Cho ví dụ thực tế.

1. Phân biệt khái niệm

2. Ví dụ thực tế trong hệ thống Enterprise

Làm Chủ Phỏng Vấn & Nâng Cao Trình Độ Chuyên Nghiệp

Tải Tuyển Tập 100+ Câu Hỏi Phỏng Vấn Chuyên Sâu (PDF)

Cần Mentor Phỏng Vấn Thử 1-1 & Tối Ưu CV?

Kiểm Tra CV Chuẩn ATS Miễn Phí

Câu hỏi concurrency liên quan cùng chủ đề