proto.lib

Lost Update - Race Condition kinh điển

Hai request cùng đọc một giá trị, sửa cục bộ rồi ghi đè lên nhau khiến một bản cập nhật bị mất; giải pháp là cập nhật atomic hoặc SELECT ... FOR UPDATE.

ConcurrencyCơ bản2026-07-07
Lost Update - Race Condition kinh điển

Tags

#race-condition#lost-update#locking#concurrency-control#database

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

Optimistic Locking bằng version column

Mỗi dòng dữ liệu có version; update kiểm tra version khớp mới cho phép ghi, nếu không sẽ bị từ chối và client phải tải lại rồi thử lại.

#optimistic-concurrency#version-column#locking#retry
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
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