Your team maintains a shared counter updated by 32 worker threads on a 16-core server. The current implementation uses a mutex around `counter++`. A colleague proposes replacing it with a lock-free loop using an atomic compare-and-swap (CAS) on the counter, arguing it will 'eliminate blocking and always be faster'. Under sustained high contention from all 32 threads hammering the same cache line, what is the most accurate assessment of this trade-off?

Question

Accepted Answer

Lock-free CAS cho đảm bảo system-wide progress và tránh deadlock/priority inversion, nhưng khi 32 thread tranh cùng một cache line, mỗi CAS thất bại phải thử lại và cache line bị ping-pong giữa các core — CPU bị đốt vô ích, throughput có thể bằng hoặc tệ hơn mutex (mutex cho thread thua ngủ, nhường core). (a) sai vì atomic RMW dưới contention không hề rẻ và mutex hiện đại thường spin ở user space trước khi vào kernel (futex). (c) sai vì atomic CAS có thể chỉ định memory ordering riêng, không cần mutex để đúng. (d) sai: dù mutex dùng CAS bên trong, hành vi park/wake khác hẳn spin-retry nên tác động đo được là có thật.

Câu hỏi hôm nay