proto.lib

CAS Lock-Free Atomics

Compare-and-swap: vòng lặp atomic đọc, tính toán, CAS và thử lại khi thất bại để cài đặt counter/stack không khóa.

ConcurrencyNâng cao2026-07-02
CAS Lock-Free Atomics

Tags

#cas#lock-free#atomic#compare-and-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

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

Rate Limiter Token Bucket dùng chung giữa nhiều thread

Token bucket kiểu naive lock toàn bộ bucket mỗi request nên chính bộ giới hạn trở thành điểm nghẽn; thiết kế mở rộng gói tokens và timestamp vào một word rồi cập nhật bằng compare-and-swap, hoặc chia bucket theo từng core và rebalance định kỳ, đánh đổi độ chính xác lấy throughput.

#rate-limiter#token-bucket#cas#atomic
ConcurrencyNâng cao

Priority Queue đồng thời bằng Skip List (không phải 1 heap)

Một binary heap có một root duy nhất mà mọi thread phải chạm vào, nên priority queue đồng thời thường dùng skip list với insert/delete lock-free bằng CAS ở từng level, hoặc nhiều hàng đợi per-thread kèm work-stealing — đánh đổi để "phần tử nhỏ nhất" chỉ còn là gần đúng dưới tải đồng thời.

#skip-list#priority-queue#lock-free#cas