proto.lib

Persistent Data Structure: đọc đồng thời miễn phí nhờ không sửa tại chỗ

Một cập nhật trả về phiên bản MỚI dùng chung gần như toàn bộ cấu trúc với phiên bản cũ (chỉ copy đường đi từ gốc xuống node đổi, phần còn lại tham chiếu nguyên), nên reader giữ root cũ thấy một snapshot nhất quán không cần khoá và không có trạng thái dở dang; công bố phiên bản mới chỉ là một phép hoán đổi con trỏ nguyên tử.

ConcurrencyNâng cao2026-08-24
Persistent Data Structure: đọc đồng thời miễn phí nhờ không sửa tại chỗ

Tags

#persistent-data-structure#structural-sharing#path-copying#immutable#snapshot#atomic-swap

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

Double Buffering với Atomic Pointer Swap

Producer viết vào buffer nền trong khi consumer đọc buffer đang hiển thị; khi xong, con trỏ được đổi nguyên tử để hoán vai hai buffer.

#double-buffering#atomic-swap#producer-consumer#rendering
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
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