A self-balancing skip-list (aka 'splay-list') library in C
Summary
This article analyzes a Codeberg project that provides a header-only, concurrent, lock-free skip-list (a splay-list) in ANSI C. It covers the Fraser/Harris locking approach, epoch-based reclamation, and an optional single-threaded mode, plus features like MVCC snapshots, a pool allocator, archive support, and a high-level API generated via macros. The README also details cross-build support (Make, Autoconf, Meson, Nix), testing, benchmarks, and a design rationale in DESIGN.md.