Trong lập trình đa luồng, từ khóa Volatile (hoặc cơ chế Memory Visibility) đóng vai trò gì và tại sao nó không thể thay thế hoàn toàn cho các cơ chế đồng bộ hóa như Mutex hay Synchronized?

Question

Accepted Answer

Trong kiến trúc phần cứng hiện đại, mỗi CPU Core đều có bộ nhớ đệm riêng (CPU Cache - L1, L2, L3) nhằm tăng tốc độ truy xuất dữ liệu. Điều này dẫn đến vấn đề Memory Visibility (Khả năng hiển thị bộ nhớ): khi một luồng thay đổi giá trị của một biến, giá trị đó có thể chỉ được cập nhật trong Cache của CPU core hiện tại mà chưa được ghi ngay về Main Memory (Bộ nhớ chính), khiến các luồng chạy ở CPU core khác không nhìn thấy sự thay đổi.
Vai trò của từ khóa Volatile:

Đảm bảo rằng mọi thao tác đọc/ghi biến volatile đều được thực hiện trực tiếp trên Main Memory thay vì CPU Cache.
Ngăn chặn trình biên dịch (Compiler) và CPU tối ưu hóa bằng cách sắp xếp lại câu lệnh (Instruction Reordering), đảm bảo tính thứ tự thực thi (Memory Barrier / Memory Fence).

Tại sao Volatile không thay thế được Synchronized / Mutex?

Từ khóa Volatile chỉ đảm bảo tính hiển thị (Visibility) nhưng KHÔNG đảm bảo tính nguyên tử (Atomicity).
Các phép toán phức tạp như tăng giá trị biến (ví dụ: count++) bao gồm ba bước riêng biệt: Đọc (Read), Thay đổi (Modify), và Ghi (Write). Nếu hai luồng cùng thực hiện bước Read cùng một lúc, giá trị cuối cùng bị sai lệch (Race Condition) dù biến đó là volatile.
Mutex hoặc Synchronized vừa đảm bảo tính hiển thị vừa đảm bảo tính nguyên tử bằng cách giới hạn quyền truy cập độc quyền vào đoạn mã (Critical Section).

Trong lập trình đa luồng, từ khóa Volatile (hoặc cơ chế Memory Visibility) đóng vai trò gì và tại sao nó không thể thay thế hoàn toàn cho các cơ chế đồng bộ hóa như Mutex hay Synchronized?

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