proto.lib

HTM & Lock Elision

CPU thử chạy critical section như một giao dịch phần cứng không khóa; chỉ khi xung đột mới rơi về khóa thật.

ConcurrencyNâng cao2026-07-17
HTM & Lock Elision

Tags

#htm#lock-elision#tsx#transactional-memory#fallback-lock

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

Software Transactional Memory (STM)

Transaction đọc lạc quan và ghi vào log riêng; lúc commit STM Runtime kiểm tra tập đọc còn hợp lệ mới công bố ghi, nếu không thì abort và thử lại.

#stm#transactional-memory#optimistic-concurrency#composability
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