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

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

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

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.

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