分岐予測

分岐予測は、CPU がプログラムの分岐命令（if 文、ループなど）の結果を事前に予測し、パイプラインの効率を向上させる技術です。現代の高性能 CPU において、実際の性能を大きく左右する重要な機能です。

プログラムの実行フローを変更する命令：

if (x > 0) {        // 条件分岐
    y = x * 2;      // 分岐先A
} else {
    y = x * -1;     // 分岐先B
}

for (i = 0; i < 100; i++) {  // ループ分岐
    sum += array[i];
}

分岐予測なしの場合：

1. 分岐命令実行
2. 結果判定（2-3クロック）
3. 次の命令フェッチ
→ パイプラインストール発生

分岐予測ありの場合：

1. 分岐結果を予測
2. 予測に基づいて先行実行
3. 予測が正しければ継続
→ パイプライン効率向上

コンパイル時決定：

• 常に実行: ループの継続など
• 常に非実行: エラーハンドリングなど
• プロファイル情報: 過去の実行履歴

実行時学習：

1. 1 ビット予測器

   • 最後の結果を記憶
   • 精度：50-80%

2. 2 ビット予測器

   • 強い予測/弱い予測
   • 精度：80-90%

3. グローバル履歴予測器

   • 複数分岐の相関を利用
   • 精度：90-95%

• 予測器段数: 2-3 段階

• 分岐履歴: 16-32KB

• 予測精度: 95-98%

• 特殊機能: Neural Branch Predictor

• TAGE 予測器: Tagged Geometric History

• 分岐履歴: 12-24KB

• 予測精度: 94-97%

• 特殊機能: Perceptron-based Predictor

• 機械学習予測: Neural Engine 連携

• 予測精度: 96-99%

• 低電力設計: 効率重視

• Intel Core: 15-20 クロック

• AMD Ryzen: 12-18 クロック

• Apple M1/M2: 8-12 クロック

実効性能 = 理論性能 × (1 - 分岐ミス率 × ペナルティ)

例：分岐ミス率 5%、ペナルティ 15 クロックの場合

実効性能 = 理論性能 × (1 - 0.05 × 15) = 理論性能 × 0.25

1. 用途別重要度

   • ゲーミング: 高い（リアルタイム処理）
   • 動画編集: 中程度（予測可能な処理）
   • 科学計算: 低い（規則的な処理）

2. アプリケーション特性

   • 分岐多用: Web ブラウザ、OS
   • 分岐少用: 画像処理、暗号化
   • 予測困難: AI 推論、圧縮

• SPECint: 整数処理（分岐多用）
• SPECfp: 浮動小数点（分岐少用）
• 実アプリ: 実際の使用パターン

1. コンパイラ最適化

   // 最適化前
   if (likely_condition) {
       // 通常処理
   } else {
       // 例外処理
   }
   
   // 最適化後（ヒント付き）
   if (__builtin_expect(likely_condition, 1)) {
       // 通常処理
   } else {
       // 例外処理
   }
   

2. **アルゴリズム改善**
   - 分岐除去（ルックアップテーブル）
   - 条件移動命令の活用
   - ループアンローリング


- **予測器サイズ拡大**
- **学習アルゴリズム改善**
- **複数予測器の組み合わせ**


```bash
# Linux perf による測定
perf stat -e branches,branch-misses ./program

# 分岐ミス率の計算
branch_miss_rate = branch-misses / branches

• 分岐ミス率: < 5%が目標

• 分岐密度: 分岐命令/総命令数

• 予測精度: アプリケーション依存

• ニューラルネットワーク予測器

• 強化学習による最適化

• パターン認識の向上

• 量子予測: 重ね合わせ状態の活用

• 確率的実行: 複数パスの並列実行

• 適応的予測: 実行時最適化

分岐予測は、現代 CPU の実性能を決定する重要な技術です。PC 自作において、特にインタラクティブなアプリケーションやリアルタイム処理が重要な用途では、分岐予測性能の高い CPU を選択することで、体感性能を大幅に向上させることができます。

ベンチマークスコアだけでなく、実際のアプリケーション性能を重視する場合は、分岐予測技術の違いを理解して CPU を選択することが重要です。