Fuzzer Blind Spots: Meet Jepsen
todsacerdoti
created: June 6, 2025, 11:09 a.m. | updated: June 6, 2025, 12:34 p.m.
Namely, the VOPR (TigerBeetle’s deterministic simulator), the LSM forest fuzzer, the LSM tree fuzzer, and the LSM query fuzzer:The LSM tree fuzzer only tests a single tree, so it wouldn’t hit this bug, since it involves multiple trees.
(The VOPR and the LSM query fuzzer use similar logic for their workloads, so we’ll focus on the VOPR’s logic below.)
Still, the VOPR and LSM query fuzzer both missed the bug, with two possibilities:The fuzzer workloads never generate an input which triggers the bug.
query_intersections); prngindex(auditorquery_intersections); const query_intersection = query_intersection self .
code - 1 ; query_intersection_indextransfercode const query_intersection = query_intersection & self .
6 months, 1 week ago: Hacker News: Front Page