GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — Build software better, together

#

aba-problem

Star

Here are 6 public repositories matching this topic...

Language: All
Filter by language
All 6 C++ 2 C 1 C# 1 Emacs Lisp 1 Python 1

alpc62 / lock-free-queue

Star 16

C/C++Non-Blocking Lock-Free/Wait-Free Circular-Queue

ringbuffer ring-buffer lock-free circular-buffer aba-problem wait-free circular-queue ring-queue spsc-queue lock-free-queue wait-free-queue mpmc-queue memory-barriers memory-fencing boost-spsc-queue
  • Updated May 14, 2021
  • C++

mulle-concurrent / mulle-aba

Star 7

🚮 A lock-free, cross-platform solution to the ABA problem

c aba lock-free memory-allocation aba-problem
  • Updated Oct 20, 2026
  • C

NKU-EmbeddedSystem / ABA-LLSC

Star 2

Artifact Evaluation source code for paper "Enhancing Atomic Instruction Emulation for Cross-ISA Dynamic Binary Translation" on CGO 2021.

qemu aba-problem
  • Updated Jan 14, 2021
  • Python

telemetry-sh / aba-problem-lab

Star 0

Interactive Emacs Lisp lab exposing ABA corruption hidden behind successful compare-and-swap operations.

emacs-lisp concurrency telemetry lock-free observability aba-problem memory-reclamation interactive-lab
  • Updated Jul 29, 2026
  • Emacs Lisp

NotACat1 / LFStack

Star 0

High-performance lock-free stacks in C++ implementing various memory management strategies: Hazard Pointers, Split Reference Counting, and C++20 Atomic Shared Pointers. Includes detailed performance benchmarks.

performance-engineering cpp high-performance concurrency multithreading data-structures lock-free google-benchmark aba-problem cpp20 memory-reclamation hazard-pointers
  • Updated Mar 29, 2026
  • C++

andrii2g / aba-tagged-pointer

Star 0

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#

Add this topic to your repo

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

Learn more

You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.