Race Conditions - GoKawiil

Developer builds Nix-based deterministic debugger for reproducing race conditions

A developer has extended Rewind VM, a deterministic virtual machine that replays Nix builds including thread scheduling, adding a source panel, stack frames, bookmarks, a comparison view, expanded gdb support, thread lanes showing CPU ownership, and a 'Check from here' feature to pinpoint race conditions. The author demonstrates the tool on a classic bank-account race condition, showing deposits lost in 396 of 1,000 runs on a multi-core machine versus none when pinned to a single core.

fzakaria.com · 2026-10-09

Researcher outlines manual and automated methods for testing kernel race condition bugs

A security researcher describes the practical difficulty of confirming and reproducing race condition bugs in software, particularly the Linux kernel. Current techniques include manually inserting delay calls into kernel code to force specific thread interleavings, or using DTrace probes on macOS and Windows, both of which are slow and require trial and error.

projectzero.google · 2026-09-09