← На главную

Antithesis нашел WAL-Reset за 15 минут, Tailscale мучилась полгода

12.08.2026 20:00 · hackernews

Карл — тот самый, что научил Claude работать с Antithesis, — наткнулся на новость о SQLite 3.51.3. Релиз чинил давний баг в подсистеме Write-Ahead Logging (WAL), известный как WAL-Reset. Баг жил с 2010 года, но команда SQLite до сих пор о нём не знала. Это data race с очень узким таймингом: вряд ли проявится в обычной эксплуатации, разработчики так и не смогли воспроизвести его естественно и добавили специальную тестовую логику, чтобы намеренно создавать нужные условия.

В этот момент Карл как раз был в поездке с девушкой. Он большой фанат баз данных, так что сразу зацепился. Сидя на холме на Sunshine Coast, он достал телефон и попросил Claude поставить в Antithesis ещё багованный SQLite 3.51.2, проинструментировать код проверками и написать простую нагрузку: параллельные записи и checkpoints — ничего экзотичного, такое в проде постоянно. Проверки тоже стандартные: «нет потерянных подтверждённых записей» и «база не повреждена» (integrity check). Первый же прогон Antithesis поймал баг за 15 минут. Потом то же самое повторили на 3.51.3 — чисто.

Вспомнил он об этом из-за поста Tailscale: компания разбирала свои проблемы с аптаймом в 2025. Именно через них SQLite-команда и узнала о WAL-Reset. Tailscale шесть месяцев страдала от нестабильной работы, вместе с командой SQLite неделями искала баг, выкатила и откатила фикс, который сломал что-то ещё, а потом ждала ещё два месяца, сработает ли «настоящий» фикс в 3.51.3. Чтобы добраться до первопричины, Tailscale пришлось написать новый пайплайн логирования транзакций и встроить отладочный инструмент в виртуальную файловую систему SQLite. В Antithesis это почти один клик: causality analysis показывает проблему с точностью до долей секунды, а детерминированный time-travel debugging позволяет проверять сценарии what-if и делать destructive analysis. В Tailscale написали, что никто не хотел тратить шесть месяцев на баги в SQLite и что это было крайне тяжело и для клиентов, и для команды.

Находить такие баги мучительно — как ползти по битому стеклу. Но ещё хуже ждать, сработал ли фикс. Карл поработал с базами достаточно, чтобы испытывать это не раз. Он нашёл и проверил WAL-Reset примерно за час, с телефона, под елями на солнце. Он знал, что навыки агентов работают, но не ожидал, что настолько хорошо. Если у вас жуткая проблема с базой — звоните.

Читать оригинал →