proto.lib

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.

ConcurrencyNâng cao2026-07-17
Sequential Consistency vs Linearizability

Tags

#sequential-consistency#linearizability#memory-model#consistency#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

ConcurrencyNâng cao

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.

#memory-model#x86#arm#weakly-ordered
ConcurrencyNâng cao

Read-Write Lock: Upgrade & Downgrade

Chuyển từ read lock sang write lock (upgrade) hoặc ngược lại (downgrade) mà không mất tính nhất quán dữ liệu.

#rwlock#upgrade-lock#downgrade-lock#reader-writer
ConcurrencyNâng cao

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).

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