proto.lib

Hazard Pointers - Giải phóng bộ nhớ an toàn cho Lock-Free

Reader công bố con trỏ đang truy cập làm hazard pointer; reclaimer chỉ giải phóng node bị gỡ bỏ khi không còn hazard pointer nào trỏ tới nó.

ConcurrencyNâng cao2026-07-04
Hazard Pointers - Giải phóng bộ nhớ an toàn cho Lock-Free

Tags

#hazard-pointers#lock-free#memory-reclamation#aba-problem#use-after-free

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

Epoch-Based Reclamation (EBR)

Bộ nhớ của cấu trúc lock-free chỉ được giải phóng sau khi mọi luồng đã vượt qua epoch mà tại đó nút bị gỡ bỏ, đảm bảo không reader nào còn tham chiếu tới nó.

#epoch-based-reclamation#ebr#lock-free#memory-reclamation
ConcurrencyNâng cao

ABA Problem trong Compare-And-Swap

CAS chỉ so sánh giá trị hiện tại nên có thể bị đánh lừa khi giá trị đổi từ A sang B rồi quay lại A, gây lỗi logic tinh vi.

#aba-problem#cas#compare-and-swap#lock-free
ConcurrencyTrung bình

Cache dùng Weak Reference — không giữ object sống mãi

Cache giữ entry qua weak reference để bộ quản lý bộ nhớ có thể thu hồi object khi cần, và bản thân map phải tự dọn các entry đã chết (qua reference queue hoặc quét định kỳ) — nếu không sẽ tích tụ vô số holder trống không bao giờ được giải phóng.

#weak-reference#cache#gc#memory-reclamation