proto.lib

Language Memory Model vs Hardware Memory Model

Memory model của ngôn ngữ (Java, C++, Go...) là một HỢP ĐỒNG mà compiler cam kết thực hiện đúng trên mọi kiến trúc; nó không phải là hành vi thật của CPU. Một CPU strongly-ordered (x86) có thể chạy đúng một chương trình thiếu rào đồng bộ hoàn toàn do ngẫu nhiên, còn CPU weakly-ordered (ARM) phơi bày lỗi đó ngay lập tức.

ConcurrencyNâng cao2026-08-25
Language Memory Model vs Hardware Memory Model

Tags

#memory-model#x86#arm#weakly-ordered#portability#race-condition#relaxed-ordering

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

ConcurrencyTrung bình

Lost Wakeup trên Condition Variable

Nếu waiter kiểm tra predicate rồi mới gọi wait() mà không giữ lock xuyên suốt, signaller có thể chen vào giữa hai bước đó: đổi trạng thái và signal trước khi waiter kịp block — tín hiệu bị mất và waiter ngủ vĩnh viễn. Vì vậy predicate phải được kiểm tra khi đang GIỮ lock, và wait() phải nằm trong một vòng lặp.

#condition-variable#lost-wakeup#predicate-loop#signal-vs-broadcast
ConcurrencyNâng cao

Schedule Fuzzing & Deterministic Replay: săn race "một tuần mới trồi lên một lần"

Thay vì hy vọng may mắn tái hiện race hiếm, schedule fuzzer chủ động chèn preemption/delay ngẫu nhiên tại các điểm đồng bộ hoá dựa trên một SEED cố định; lịch thất bại có thể replay lại chính xác từ seed đó và thu gọn (shrink) về interleaving tối thiểu gây lỗi.

#schedule-fuzzing#deterministic-replay#race-condition#seed
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