Restartable Sequences: A Linux kernel feature for lock-free programming

Justine Tunney's deep dive explains how restartable sequences (rseq) let userspace code execute atomic operations without locks by leveraging kernel support for transparent restart on context switches. For systems programmers building high-performance libraries, this is a crucial but under-documented tool that can eliminate contention in concurrent code.