Find XO: Nixでスレッドの実行順序まで同じように再現するデバッガを作った開発者の記録(fzakaria.com)

- 原文の筆者は、決定的な仮想マシンRewindでNixのビルドを実行し、競合状態のバグを探している。同じ入力であれば、スレッドの実行順序まで同じように再現されることが要点だ。 - Nixの派生ビルドでは、ソース、コンパイラ、ライブラリ、設定をすべて明示された入力として扱う。筆者は、このおかげで実行記録やデバッガに必要な情報を、他の人も同じ方法で受け取れたと説明している。 - 原文によると、nixpkgsはデバッグ情報をcache.nixos.orgに置いており、debuginfodがビルドIDをもとにシンボルとソースを取得する。筆者は、この方法でLinuxカーネルのソースまで確認できると主張している。 - 例として挙げられたbankプログラムは、二つのスレッドが同じ残高を上書きし、お金が失われるバグだ。筆者が16コアのノートPCで測定した結果では、1,000回中396回で損失が発生し、一つのコアに固定すると一度も発生しなかった。