Trong môi trường đa luồng, tại sao việc sử dụng các biến `volatile` không đủ để đảm bảo tính an toàn cho các thao tác phức tạp như 'check-then-act'?

Question

Accepted Answer

Bản chất của volatile
Từ khóa volatile chỉ đảm bảo tính hiển thị (Visibility) của biến giữa các luồng. Nó đảm bảo rằng khi một luồng thay đổi giá trị, các luồng khác sẽ thấy ngay lập tức. Tuy nhiên, nó KHÔNG đảm bảo tính nguyên tử (Atomicity).
Vấn đề 'Check-then-act'
Giả sử bạn có đoạn mã:
if (counter < 10) {
    counter++;
}
Nếu counter là volatile, hai luồng có thể cùng kiểm tra counter = 9 tại cùng một thời điểm. Cả hai đều thỏa mãn điều kiện và cùng tăng giá trị, dẫn đến counter = 11 thay vì dừng lại ở 10.
Giải pháp
Để xử lý các thao tác phức tạp, cần sử dụng:

Atomic Classes: Như AtomicInteger với phương thức compareAndSet.
Locking: Sử dụng ReentrantLock hoặc synchronized để bao bọc toàn bộ khối lệnh thực hiện thao tác kiểm tra và cập nhật.

Kinh nghiệm: Chỉ sử dụng volatile cho các biến cờ (flag) đơn giản, không phụ thuộc vào giá trị cũ của chính nó.

Trong môi trường đa luồng, tại sao việc sử dụng các biến `volatile` không đủ để đảm bảo tính an toàn cho các thao tác phức tạp như 'check-then-act'?

Bản chất của volatile

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ủ đề