Go 1.26面接対策：Green Tea GC、go fixツール、スタック最適化の徹底解説

Go 1.26は2026年2月にリリースされ、Green Teaガベージコレクタのデフォルト採用、完全に刷新されたgo fixツール、そしてスタック割り当ての大幅な最適化が導入されました。これらの変更はGoランタイムにおいて近年最も影響力のある改善であり、技術面接での出題頻度も高まっています。

Go 1.26のGreen Teaガベージコレクタとは何ですか？

模範回答： Green Teaは、Go 1.26で新たにデフォルトとなったガベージコレクタです。従来の三色並行コレクタのスキャン戦略を置き換え、ヒープ上に散在する個々のオブジェクトをポインタ追跡する代わりに、8 KiBのメモリページ単位でスキャンを行います。この連続メモリアクセスパターンにより、CPUプリフェッチが効果的に機能し、実アプリケーションでGCオーバーヘッドが10〜40%削減されます。

最新のCPU（Intel Ice LakeまたはAMD Zen 4以降）では、GCが小さなオブジェクトのスキャンにSIMDベクトル命令を活用し、さらに約10%の改善が見込めます。

追加質問： Green TeaはGC中のCPUキャッシュ動作をどのように改善しますか？

従来のGCはヒープ上のオブジェクトポインタを追跡するため、頻繁にキャッシュミスが発生していました。Green Teaは連続する8 KiBブロック単位でページごとにオブジェクトを処理します。CPUプリフェッチャがシーケンシャルメモリアクセスパターンを予測できるため、L1/L2キャッシュが常に有効な状態に保たれます。このローカリティの改善が10〜40%のオーバーヘッド削減の主要因です。

// 従来のアプローチ：ヒープ上のポインタを追跡
func scanObject(obj *mspan) {
    for _, ptr := range obj.pointers {
        markReachable(ptr) // キャッシュミスの可能性が高い
    }
}

// Green Teaアプローチ：連続ページをスキャン
func scanPage(page *pageBlock) {
    // シーケンシャルな8 KiBスキャン - CPUプリフェッチャに優しい
    for offset := 0; offset < pageSize; offset += objSize {
        scanSlot(page.base + offset) // キャッシュヒットの可能性が高い
    }
}

Green Teaはビルド時にGOEXPERIMENT=nogreenteagcで無効化できますが、このオプトアウトはGo 1.27で削除される予定です。

Go 1.26ではスライスのスタック割り当てがどのように最適化されましたか？

模範回答： Go 1.26では、append操作によるスライス蓄積時のスタック割り当てが拡張されました。従来は最初のappend呼び出しで長さ1のスライスをヒープに割り当て、その後2、4、8と倍増していました。Go 1.26ではループ開始前にスタックベースの小さなバッキングストアを確保するため、最初の数回のappendはヒープを一切使用しません。

func collectTasks(items []Item) []Task {
    var tasks []Task
    // Go 1.26以前：最初のappendでヒープに割り当て（サイズ1, 2, 4...）
    // Go 1.26：コンパイラがスタックバックドバッファを挿入
    for _, item := range items {
        if item.IsReady() {
            tasks = append(tasks, item.ToTask())
            // 最初の約4回のappendはスタックバッファを使用、ヒープ割り当てゼロ
        }
    }
    return tasks
    // スライスがエスケープする場合、runtime.move2heap()がリターン時に1回だけコピー
}

追加質問： スライスが関数スコープをエスケープする場合はどうなりますか？

スライスがヒープにエスケープしなければならない場合（関数がスライスを返す場合など）でも、Go 1.26は蓄積中にスタックバッファを使用します。コンパイラはリターンポイントでruntime.move2heap()呼び出しを挿入し、最終データを1回だけヒープにコピーします。従来の3回以上の初期ヒープ割り当て（サイズ1、2、4...）が、最後の1回のヒープ割り当てに削減されます。多くのケースで手動の事前割り当て最適化よりも優れた結果が得られます。

Go 1.26でgo fixツールはどのように変更されましたか？

模範回答： go fixツールはGoモダナイザーのプラットフォームとして完全に書き直されました。Goコードベースを最新のイディオムやコアライブラリAPIに更新するためのワンクリックソリューションを提供します。新しいgo fixはgo vetと同じ解析フレームワーク上に構築されており、診断を提供するアナライザーが修正の提案と適用も行えるようになっています。

新しいgo fixの主な特徴：

• 最新のGoイディオムとAPI向けの数十のフィクサー
• //go:fix inlineディレクティブによるソースレベルインライナー
• 動作変更ゼロの保証（本番コードでも安全に使用可能）
• 旧ツールの廃止済みフィクサーを削除

# 現在のモジュールにすべてのモダナイザーを適用
go fix ./...

# ツールは以下のようなパターンを自動更新：
# - 旧形式のエラーラッピングをfmt.Errorfの%wに変換
# - 非推奨API呼び出しを後継に置換
# - レガシーパターンをモダンGoイディオムに変換

追加質問： //go:fix inlineはどのように動作しますか？

//go:fix inlineディレクティブは、関数またはメソッドをgo fixによるソースレベルインライニングの対象としてマークします。go fixの実行時、アノテーションされた関数の呼び出し箇所がその関数本体に置き換えられます。これはコンパイラインライニングとは異なり、生成された機械語ではなくソースコードを変換します。ライブラリ作者はこれを使用して、ラッパー関数を呼び出し箇所でモダンな等価物にインライン化することで非推奨化を進められます。

Go 1.26のcgoパフォーマンス改善について説明してください

模範回答： Go 1.26では、すべてのcgo呼び出しのベースラインオーバーヘッドが約30%削減されました。ランタイムは_Psyscallプロセッサ状態（cgo呼び出し中にゴルーチンが遷移する中間状態）を排除することでこれを実現しました。この遷移状態の削除により、cgo呼び出しごとの状態遷移の回数が減少し、レイテンシが直接的に低下します。

データベースドライバ、画像処理、暗号化操作などのCライブラリを使用するアプリケーションなど、頻繁にcgo呼び出しを行うプログラムにとって重要な改善です。コード変更は不要です。

Go 1.26の言語仕様の変更点は何ですか？

模範回答： Go 1.26では2つの言語変更が導入されました。

1. 拡張されたnew()関数： 組み込みのnew関数がオペランドとして式を受け取れるようになり、変数の初期値を指定できるようになりました。従来、new(T)は常にゼロ値の*Tを返していました。

type Config struct {
    Timeout  *int
    MaxRetry *int
}

// Go 1.26以前：ヘルパー関数が必要
func intPtr(v int) *int { return &v }
func makeConfig() Config {
    return Config{
        Timeout:  intPtr(30),
        MaxRetry: intPtr(3),
    }
}

// Go 1.26：直接初期化
func makeConfig() Config {
    return Config{
        Timeout:  new(30),  // 30を指す*int
        MaxRetry: new(3),   // 3を指す*int
    }
}

2. 自己参照ジェネリック型： ジェネリック型が型パラメータ制約内で自身を参照できるようになり、F有界多相性などの高度な型抽象化パターンが実現可能になりました。

type Adder[A Adder[A]] interface {
    Add(A) A
}

type Vector2D struct{ X, Y float64 }

func (v Vector2D) Add(other Vector2D) Vector2D {
    return Vector2D{v.X + other.X, v.Y + other.Y}
}

// 制約により戻り値の型がレシーバの型と一致することが保証される
func Sum[A Adder[A]](items []A) A {
    var result A
    for _, item := range items {
        result = result.Add(item)
    }
    return result
}

Go 1.26のゴルーチンリーク検出はどのように動作しますか？

模範回答： Go 1.26では、runtime/pprofに実験的なgoroutineleakプロファイルタイプが導入されました。リークしたゴルーチンとは、チャネル、sync.Mutex、sync.Condなどの並行処理プリミティブでブロックされ、二度とブロック解除されることがないゴルーチンを指します。ランタイムはガベージコレクタを使用してこれらのリークを検出します。ゴルーチンGがプリミティブPでブロックされており、Pが実行可能なゴルーチンから到達不能である場合、Gは復帰できません。

func processWorkItems(ws []workItem) ([]workResult, error) {
    ch := make(chan result)
    for _, w := range ws {
        go func() {
            res, err := processWorkItem(w)
            ch <- result{res, err} // 早期リターン時にゴルーチンがここでブロック
        }()
    }
    for range len(ws) {
        r := <-ch
        if r.err != nil {
            return nil, r.err // 残りのゴルーチンがリーク
        }
    }
    return results, nil
}
// 検出を有効化：GOEXPERIMENT=goroutineleakprofile
// エンドポイント：/debug/pprof/goroutineleak

GCの到達可能性解析を活用するため、手動のインストルメンテーションなしで広範なリークを検出できます。Go 1.27でデフォルト有効化される予定です。

Go 1.26で導入されたセキュリティ改善は何ですか？

模範回答： 注目すべき2つのセキュリティ改善があります。

ヒープベースアドレスのランダム化（64ビットプラットフォーム）： ランタイムは起動時にヒープベースアドレスをランダム化するようになりました。これにより、cgoを介した脆弱性の悪用時に攻撃者がメモリアドレスを予測することが困難になります。Goヒープメモリに対するASLR的な防御機能です。GOEXPERIMENT=norandomizedheapbase64で無効化できます。

ポスト量子暗号のデフォルト有効化： TLS接続ではハイブリッド鍵交換がデフォルトで使用されるようになりました（SecP256r1MLKEM768、SecP384r1MLKEM1024）。古典的な楕円曲線暗号とML-KEM（旧CRYSTALS-Kyber）を組み合わせ、量子耐性を実現しています。crypto/mlkemパッケージのカプセル化/脱カプセル化も約18%高速化されました。

Go 1.26の標準ライブラリのパフォーマンス改善について説明してください

模範回答： いくつかの標準ライブラリ関数が重点的に最適化されました。

| 関数 | 改善 | 詳細 | |------|------|------| | fmt.Errorf（フォーマット動詞なし） | 約92%高速化 | フォーマットなし呼び出しがerrors.Newと同等の性能に | | io.ReadAll | 約2倍高速、メモリ50%削減 | 線形成長から指数関数的バッファ成長に変更 | | crypto/mlkem | 約18%高速化 | カプセル化・脱カプセル化の最適化 | | image/jpeg | 高速化・高精度化 | 新しいエンコーダ/デコーダ実装 |

さらに、bytes.BufferにPeek()メソッド、errorsにジェネリックAsType()関数、reflectにイテレータメソッド（Type.Fields()、Type.Methods()、Value.Fields()）が追加され、Goのrange-over-funcパターンと整合しています。

新しいerrors.AsType関数はエラーハンドリングをどのように簡素化しますか？

模範回答： errors.AsType[T]()はerrors.As()のジェネリック代替です。Asを呼び出す前にターゲット変数を宣言する必要がなくなり、ボイラープレートコードが削減されます。

// Go 1.26以前：2段階のプロセス
var pathErr *os.PathError
if errors.As(err, &pathErr) {
    log.Printf("path error on %s: %v", pathErr.Path, pathErr.Err)
}

// Go 1.26：単一の式
if pathErr, ok := errors.AsType[*os.PathError](err); ok {
    log.Printf("path error on %s: %v", pathErr.Path, pathErr.Err)
}

ジェネリック版はコンパイル時に型安全であり、条件チェーンでより自然に読めます。

まとめ

• Green Tea GCはポインタ追跡の代わりに8 KiBメモリページをスキャンし、コード変更なしでGCオーバーヘッドを10〜40%削減する
• スライスバッキングストアのスタック割り当てにより、appendループ中の3回以上の初期ヒープ割り当てが排除され、エスケープ時にのみ1回のヒープコピーが行われる
• 刷新されたgo fixツールはgo vet解析フレームワーク上に構築された数十のモダナイザーを適用し、動作変更ゼロが保証される
• new()が式を受け取れるようになり、ポインタヘルパー関数が不要になった
• 自己参照ジェネリック型制約によりF有界多相性パターンが実現可能になった
• ゴルーチンリーク検出（実験的）がGC到達可能性を利用して永続的にブロックされたゴルーチンを検出する
• fmt.Errorf（フォーマット動詞なし）が92%高速化、io.ReadAllのメモリ使用量が50%削減された
• ポスト量子ハイブリッド鍵交換がTLS接続でデフォルト有効になった

Go面接の質問に備えて、これらのランタイム変更を理解することが重要です。Go並行処理ガイドでは、ここで取り上げたリーク検出機能を補完する基本的なゴルーチンパターンを解説しています。