proto.lib

Read-Write Lock: Upgrade & Downgrade

Chuyển từ read lock sang write lock (upgrade) hoặc ngược lại (downgrade) mà không mất tính nhất quán dữ liệu.

ConcurrencyNâng cao2026-07-17
Read-Write Lock: Upgrade & Downgrade

Tags

#rwlock#upgrade-lock#downgrade-lock#reader-writer#consistency

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

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
ConcurrencyNâng cao

Sequential Consistency vs Linearizability

So sánh hai mô hình nhất quán: sequential consistency chỉ yêu cầu một thứ tự toàn cục hợp lệ theo chương trình, linearizability còn đòi hỏi khớp với thời gian thực.

#sequential-consistency#linearizability#memory-model#consistency
ConcurrencyNâng cao

Seqlock - Optimistic Reader/Writer Lock

Writer tăng bộ đếm sequence lên số lẻ trước khi ghi và số chẵn sau khi ghi; reader đọc lạc quan và thử lại nếu phát hiện xung đột.

#seqlock#lock-free#optimistic-concurrency#reader-writer