treiber-stack

Here are 2 public repositories matching this topic...

andrii2g / aba-tagged-pointer

Deterministic simulator of the ABA problem in a Treiber-style stack, comparing pointer-only and tagged CAS with bounded interleaving exploration, invariant checks, and SVG timelines.

algorithms concurrency model-checking lock-free tagged-pointers aba-problem compare-and-swap treiber-stack

Updated Oct 18, 2026
C#

Alpha-Park / genpark-lock-free-treiber-stack-atomic-cas-skill

Star

Autonomous Agent Lock-Free Treiber Stack with Atomic Compare-and-Swap (CAS) & ABA Mitigation

concurrency lock-free agentic-ai genpark-skill treiber-stack atomic-cas

Updated Sep 9, 2026
Python

Add this topic to your repo

To associate your repository with the treiber-stack topic, visit your repo's landing page and select "manage topics."

Learn more