proto.lib

Double-Checked Locking

Kiểm tra, khóa, rồi kiểm tra lại khi khởi tạo lazy; cần volatile/memory barrier để tránh publish nửa vời.

ConcurrencyNâng cao2026-07-02
Double-Checked Locking

Tags

#double-checked-locking#lazy-init#volatile#memory-barrier#singleton

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

Memory Visibility & Happens-Before

Không có đồng bộ hóa, một luồng có thể không thấy ghi của luồng khác do cache/reordering; volatile/lock thiết lập happens-before.

#memory-model#happens-before#volatile#visibility
ConcurrencyTrung bình

Writer Starvation trong RWLock: writer chờ vô hạn

Một readers-writer lock ưu tiên reader (reader-preferring) cho phép luồng đọc mới liên tục chen vào miễn còn ít nhất một reader đang giữ khoá, khiến writer chờ vô hạn; chính sách write-preferring hoặc phase-fair chặn reader mới khi có writer đang đợi để writer được vào sau khi các reader hiện tại kết thúc.

#rwlock#writer-starvation#fairness#phase-fair