proto.lib

Treiber Stack - Lock-Free Stack

Stack lock-free dùng CAS trên con trỏ head để push/pop mà không cần khóa, nhưng phải xử lý tranh chấp và retry.

ConcurrencyTrung bình2026-07-13
Treiber Stack - Lock-Free Stack

Tags

#lock-free#cas#stack#treiber#non-blocking

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

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

Wait-Free vs Lock-Free vs Obstruction-Free

Ba mức đảm bảo tiến triển non-blocking khác nhau: wait-free đảm bảo mọi luồng hoàn tất trong số bước hữu hạn, lock-free chỉ đảm bảo hệ thống tiến triển, obstruction-free yếu nhất.

#wait-free#lock-free#obstruction-free#progress-guarantee
ConcurrencyTrung bình

Lock-Free Object Pool

Object pool tái sử dụng đối tượng qua một free list lock-free dựa trên CAS, cho phép nhiều luồng acquire và release đối tượng song song mà không cần khóa.

#object-pool#lock-free#free-list#cas