改善させてみる ( 3 回目 )

shellcheck 呼び出しのボトルネックが大きいのでだいぶ厳しいだろうなぁとは思いつつも、/goal の頑張り具合をもう少しちゃんと見てみたいので、120ms 目標で頑張ってもらってみる。

/goal /rigorous ghasec のパフォーマンスチューニングを完了する。仕様は完全に維持したまま、テストデータ群に対する実行時間を高速化する。以下をすべて満たしたら達成とする。

## 計測 / 目標値
- ビルド: `CGO_ENABLED=0 go build -trimpath -ldflags="-s -w" .` が成功する。
- 計測: `hyperfine --warmup=3 --ignore-failure --style none --time-unit millisecond --export-markdown - './ghasec --format=sarif --workdir=/path/to/grafana'` を実行する。
- 出力された Markdown 表の `Mean [ms]` 列の値が 120 以下である。
- 毎ターン、その Markdown 表をそのまま会話に貼ること。評価器はこの表の Mean [ms] だけで判定する。ベースラインは約 300ms。

## 仕様維持（最重要）
- `go test ./...` を実行し、すべてパスする（e2e のゴールデン出力一致を含む）。実際のテスト結果を毎ターン会話に貼ること。
- lint の診断内容・診断の順序・終了コードを一切変えないこと。出力の不変性は e2e ゴールデンテストで担保する。

## 禁止事項
- 計測専用コードや testdata の改変で「速く見せかける」こと。
- 仕様（検出ルール・出力フォーマット）を緩めたり一部スキップして速くすること。
- shellcheck 等の外部依存の挙動を変えること。

## 停止条件
- 上記をすべて満たしたら達成。
- 25 ターン経過しても 120ms 以下を達成できない場合は、達成した最良の Mean [ms]・適用した最適化・残るボトルネックのプロファイル分析を報告して停止すること。

結果

140ms くらいまで頑張ってくれた。

https://github.com/koki-develop/ghasec/commit/9525a1750b0ed03da6bdf4fcfd67f3688d3a6b6a

$ hyperfine --warmup=3 --ignore-failure './ghasec --format=sarif --workdir=../../grafana/grafana'
Benchmark 1: ./ghasec --format=sarif --workdir=../../grafana/grafana
  Time (mean ± σ):     143.0 ms ±   4.2 ms    [User: 549.7 ms, System: 230.6 ms]
  Range (min … max):   133.0 ms … 150.5 ms    22 runs

実施した最適化一覧をまとめてもらった↓。ようやっとる。

  ┌─────┬─────────────────────────────────┬──────────────────────────────────────────────────────────────────────────────────┬────────┐
  │  #  │              改善                │                                       内容                                        │  効果  │
  ├─────┼─────────────────────────────────┼──────────────────────────────────────────────────────────────────────────────────┼────────┤
  │ 1   │ shellcheckグローバルバッチ化       │ ファイル単位で最大86+回起動していたshellcheckを、全ファイル横断で数回に集約                 │ 最大   │
  ├─────┼─────────────────────────────────┼──────────────────────────────────────────────────────────────────────────────────┼────────┤
  │ 2   │ shellcheck入力のpipe(/dev/fd)化   │ 一時ファイル書込/削除のディスクI/O・キャッシュ揮発を排除、インメモリ化                      │ 約25ms │
  ├─────┼─────────────────────────────────┼──────────────────────────────────────────────────────────────────────────────────┼────────┤
  │ 3   │ 重複スクリプト除外                 │ 同一内容（マスク後）のスクリプトは1回だけ検査（349→292）                                  │ 中     │
  ├─────┼─────────────────────────────────┼──────────────────────────────────────────────────────────────────────────────────┼────────┤
  │ 4   │ チャンク数最適化                   │ shellcheck起動コスト律速に合わせて NumCPU/2 に調整                                    │ 中     │
  ├─────┼─────────────────────────────────┼──────────────────────────────────────────────────────────────────────────────────┼────────┤
  │ 5   │ discover並列化                   │ 逐次WalkDir→固定ワーカープール走査、Glob/walk分割、非ソートreaddir                      │ 中     │
  ├─────┼─────────────────────────────────┼──────────────────────────────────────────────────────────────────────────────────┼────────┤
  │ 6   │ walk×shellcheckオーバーラップ      │ I/O律速の走査をCPU律速の検査の裏で実行＋readiness gateで非shellcheckルールも並行         │ 中     │
  └─────┴─────────────────────────────────┴──────────────────────────────────────────────────────────────────────────────────┴────────┘

作業時間は約 2 時間半。

開始 20 分時点くらいですでに「物理的に無理」っていう結論は出してたんだけど、それでも完了条件 ( 目標達成 or 25 ターン ) 満たすまではめちゃくちゃ粘ってた。/goal すごい。

✻ Brewed for 2h 28m 35s

Claude Code に /goal で ghasec のパフォーマンス改善をしてもらうメモ