Heisenbug：その定義、発生理由、および捕捉方法

モバイル開発におけるHeisenbugとは？

Heisenbug — 本番環境や通常動作では発生するが、デバッグ環境で再現しようとすると消えてしまうエラーの一種。この用語は1980年代にプログラマーのJim Grayによって分散システムの文脈で作られましたが、非同期性のため今日ではモバイルアプリケーションに最も関連性が高いです。

主な理由：標準的なデバッグツールが実行環境を変更する。ブレークポイントはスレッドを数ミリ秒停止させ、ログ記録は同期I/Oを追加し、追加チェックは操作の順序を変更する。マルチスレッド環境では、マイクロ秒の遅延でもスレッドの実行順序が変わり、データ競合を隠してしまう可能性があります。

Microsoft Research（2022年）によると、マルチスレッドモバイルアプリケーションの全バグの約15～25%がHeisenbugに分類されます。同時に、1つのHeisenbugの発見と修正にかかる時間は、直接再現できないため、通常のバグよりも平均して5～10倍長くなります。

Heisenbugの例

リストを高速でスワイプすると本番環境でアプリがクラッシュするが、デバッガーに接続したりログを追加したりすると — 完全に動作する。原因：UIスレッド（RecyclerViewの更新）とバックグラウンドスレッド（アダプタデータの更新）間のデータ競合。ログが遅延を追加し、スレッドをランダムに同期させる。

Bohrbug、Mandelbug、Heisenbug：バグの分類

Bohrbug — 予測可能で安定して再現できるバグ。ボーアの原子モデルにちなんで命名：原子のように、観測するたびに同じ動作をする。例：データ読み込み前にボタンをクリックするとNullPointerException。標準的な単体テストで対応。

Mandelbug — 複雑でカオスな因果関係を持つバグ（マンデルブロ集合にちなんで命名）。特定の条件の組み合わせでのみ発生：OSバージョン、デバイスモデル、ネットワーク状態。デバッグ中に消えない点でHeisenbugと異なる — 問題は再現の困難さであり、ツールによる動作変更ではない。

Heisenbug — まさにデバッグツールが原因で消えるバグ。ログを追加すると — バグが消える。ブレークポイントを設定すると — バグが発生しない。すべてを取り除くと — バグが戻る。主な原因：デバッグ中のタイミング変更。

Heisenbugの主な原因

Race condition — Heisenbugの最大の原因。2つのスレッドが同期なしに共有データにアクセスする。デバッガーが遅延を導入し、スレッドが自然に同期される。デバッガーがない場合、実行順序は予測不能。

タイミング依存エラー — 特定の実行速度でのみ発生するバグ。例：次の操作開始前に終了しなければならないアニメーション。デバッガーではアニメーションが遅くなり、アニメーション終了後に操作が開始される。本番環境では — その逆。

// Example race condition — typical Heisenbug
class ListViewModel : ViewModel() {
    private var items = mutableListOf<String>()

    fun loadFromNetwork() {
        viewModelScope.launch(Dispatchers.IO) {
            val result = api.fetchItems()
            items.addAll(result) // ❌ Not thread-safe
        }
    }

    fun getItems(): List<String> = items.toList()
    // Race condition: getItems read may overlap with loadFromNetwork write
}

コンパイラの最適化 — コンパイラ（JIT、ART、Kotlin/Native）は最適化のため命令を並べ替えることがある。デバッグビルドでは最適化が無効になり、コードは「書かれた通り」に実行される。リリースビルドではコンパイラが操作順序を変更し、コードの隠れた前提を明らかにする可能性がある。

• ThreadLocal — 他のスレッドから見えないスレッドローカル変数の誤った使用
• 未初期化変数 — クラスフィールドのデフォルト値に依存するコード
• GCD/dispatchキュー — iOSで、並行キューにおけるブロック実行の未定義順序
• バッファリングされたI/O — バッファが満杯になるまでデータはディスクに書き込まれない

捉えどころのないバグを捕捉する戦略

ThreadSanitizer（TSan）— C/C++およびKotlin/Nativeにおけるデータ競合検出のためのGoogleのツール。ビルドに組み込まれ、同期なしの共有メモリアクセスを検出する。ログと異なり、TSanはI/Oではなく計装コードを通じて動作するため、タイミングに影響を与えない。

決定論的テスト — 実際の非同期性を制御された非同期性に置き換える。実行順序を完全に制御するには、TestDispatcher（Kotlin）、RxJava Plugins、またはGCDテストキュー（iOS）を使用する。具体的なシナリオを指定：スレッドAが実行、次にB、次に再びA。

循環ログ — メモリ内のリングバッファへのログ記録（ディスクではなく）。バグが発生したとき、バッファはファイルに保存される。メモリへの書き込みはナノ秒（ディスクI/Oのミリ秒ではなく）しかかからないため、このようなログはタイミングに影響を与えず、Heisenbugを隠さない。

class CyclicBuffer(val capacity: Int = 1000) {
    private val buffer = ArrayDeque<String>(capacity)
    private val lock = Any()

    fun log(message: String) {
        synchronized(lock) {
            if (buffer.size >= capacity) buffer.removeFirst()
            buffer.addLast(message)
        }
    }

    fun flush() {
        synchronized(lock) { buffer.forEach { fileWriter.write(it) } }
    }
}

本番環境でのログ記録 — バグがローカルで再現できない場合、本番環境でデータを収集する。Firebase Crashlyticsログ、Sentry Breadcrumbs、またはカスタム循環ロガーを使用する。重要：ログ記録は非同期で、パフォーマンスへの影響を最小限に抑える必要がある。

アーキテクチャレベルでのHeisenbug予防

状態の分離 — 共有可変状態を最小限に抑える。各コンポーネントは、他のコンポーネントから直接書き込みできない、独自の分離された状態を持つ必要がある。Unidirectional Data Flow（UDF）を使用する — 状態は一方向に流れる：イベント → リデューサー → 状態 → UI。

関数型アプローチ — 副作用のない純粋関数はテストとデバッグが容易。副作用（ネットワーク、DB、ファイル）は厳密に定義された層（リポジトリ、データソース）に分離する。関数型コードでのスレッドエラーはほぼ不可能。

ストリクトモード — デバッグビルドでAndroid StrictModeを有効にする。スレッドポリシー違反（メインスレッドでのネットワーク、メインスレッドでのディスクI/O）を検出し、例外をスローする。これにより、潜在的なHeisenbugが即座に可視化される決定論的Bohrbugに変わる。

class DebugApplication : Application() {
    override fun onCreate() {
        super.onCreate()
        if (BuildConfig.DEBUG) {
            StrictMode.setThreadPolicy(
                StrictMode.ThreadPolicy.Builder()
                    .detectDiskReads()
                    .detectDiskWrites()
                    .detectNetwork()
                    .penaltyLog()
                    .build()
            )
        }
    }
}

非同期性に焦点を当てたコードレビュー — プロセスの必須部分。各プルリクエストは、共有可変状態、スレッドセーフでないコレクション、同期の欠如についてチェックされる必要がある。特定のパターン（synchronizedなしでのMutableListへのアクセスなど）を自動的に禁止するには、lintルールを使用する。