proto.lib

Elimination Backoff Stack

Khi CAS trên stack lock-free thất bại do tranh chấp cao, push và pop được ghép đôi trực tiếp qua elimination array để loại bỏ nhu cầu chạm vào stack chính.

ConcurrencyNâng cao2026-07-13
Elimination Backoff Stack

Tags

#elimination#backoff#lock-free#stack#scalability

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

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.

#lock-free#cas#stack#treiber
ConcurrencyTrung bình

PAUSE/yield hint: spin-wait một cách lễ độ

Một spin loop trần liên tục dội lệnh đọc vào subsystem bộ nhớ và, trên nhân hyperthreading, còn cướp băng thông pipeline của luồng anh em đang thực sự giữ lock; lệnh PAUSE (x86) hoặc yield hint báo cho CPU biết đây là spin-wait để nó giảm tốc, tiết kiệm điện và nhường tài nguyên cho luồng anh em.

#spinlock#pause-instruction#hyperthreading#spin-wait
ConcurrencyNâng cao

Double-Word CAS: cập nhật nhiều trường không cần lock

Một con trỏ cùng một bộ đếm phiên bản (version) được đóng gói vào hai word liền kề để một lệnh compare-and-swap rộng (double-word CAS / DWCAS, ví dụ cmpxchg16b) cập nhật đồng thời cả hai — đây là cách version tag đánh bại ABA problem và cách cặp head/tail của hàng đợi giới hạn giữ tính nhất quán.

#double-word-cas#cmpxchg16b#version-counter#tagged-pointer