proto.lib

Memory Order: Relaxed vs Sequentially Consistent

So sánh atomic relaxed (chỉ đảm bảo tính nguyên tử) với sequentially consistent (đảm bảo một thứ tự toàn cục quan sát được bởi mọi thread).

ConcurrencyNâng cao2026-07-08
Memory Order: Relaxed vs Sequentially Consistent

Tags

#memory-order#relaxed#sequential-consistency#atomics#c++

Tài liệu tham khảo

Mở rộng

Animation gốc là một file HTML tự chứa, có thể nhúng lại ở bất kỳ trang nào khác. Mở file gốc

Liên quan

ConcurrencyNâng cao

Compiler Reordering vs Hardware Reordering

Trình biên dịch có thể hoist/sink/loại bỏ một load hoặc store nếu nó tin rằng không ai khác quan sát; CPU lại có thể thực thi và phát lệnh không đúng thứ tự chương trình. Cùng một đoạn code plain, hai tầng tối ưu này có thể độc lập biến vòng lặp đọc cờ thành đọc một lần rồi lặp vô hạn.

#compiler-reordering#hardware-reordering#memory-order#atomic
ConcurrencyNâng cao

Sequential Consistency vs Linearizability

So sánh hai mô hình nhất quán: sequential consistency chỉ yêu cầu một thứ tự toàn cục hợp lệ theo chương trình, linearizability còn đòi hỏi khớp với thời gian thực.

#sequential-consistency#linearizability#memory-model#consistency
ConcurrencyTrung bình

Atomic Reference Counting

Refcount được tăng/giảm nguyên tử để nhiều thread cùng chia sẻ một đối tượng an toàn; đối tượng chỉ được giải phóng khi refcount về 0.

#atomic#refcount#shared-ptr#memory-order