[インデックス 11469] ファイルの概要

このコミットは、Goコンパイラの一部である8g（x86アーキテクチャ向けのGoコンパイラ）において、ローカルプログラムカウンタ（PC）の型をulongからuintptrに変更するものです。これにより、特定のバグ（Issue #2478）が修正され、より堅牢でポータブルなコードベースへの改善が図られています。

コミット

commit f3492a7d404f41d45f9174b27086861fe2d2b3a5
Author: Russ Cox <rsc@golang.org>
Date:   Mon Jan 30 13:20:10 2012 -0500

    8g: use uintptr for local pc

    Fixes #2478.

    R=ken2
    CC=golang-dev
    https://golang.org/cl/5593051

GitHub上でのコミットページへのリンク

https://github.com/golang/go/commit/f3492a7d404f41d45f9174b27086861fe2d2b3a5

元コミット内容

8g: use uintptr for local pc

Fixes #2478.

R=ken2
CC=golang-dev
https://golang.org/cl/5593051

変更の背景

このコミットは、Go言語のコンパイラ（特に8g、x86アーキテクチャ向けのコンパイラ）におけるバグ、Issue #2478を修正するために行われました。具体的なバグの内容はコミットメッセージからは直接読み取れませんが、プログラムカウンタ（PC）を扱う際にulong型を使用していたことが問題の原因であったと推測されます。

ulongはC言語における符号なし長整数型であり、そのサイズはシステムによって異なる可能性があります（例：32ビットシステムでは32ビット、64ビットシステムでは64ビット）。一方、uintptrはGo言語においてポインタを保持するのに十分な大きさを持つ符号なし整数型として定義されています。プログラムカウンタはメモリ上の命令のアドレスを指すため、これは本質的にポインタの一種です。

異なるアーキテクチャやコンパイラ設定において、ulongのサイズがポインタのサイズと一致しない場合、あるいは将来的なアーキテクチャ変更に対応できない場合に、予期せぬ動作やバグ（例えば、アドレスの切り捨てやオーバーフロー）が発生する可能性があります。この変更は、PCの表現にuintptrを使用することで、よりポータブルで安全な方法でアドレスを扱うことを目的としています。

型の安全性とポータビリティ:
- C言語のulongは、そのサイズがプラットフォーム依存であるため、32ビットシステムと64ビットシステムで異なる挙動を示す可能性があります。プログラムカウンタはメモリのアドレスを指すため、そのサイズはポインタのサイズと一致している必要があります。もしulongがポインタよりも小さいサイズで定義されているシステムでコンパイルされた場合、アドレスが切り捨てられ、不正なメモリ参照やクラッシュを引き起こす可能性があります。
- Go言語のuintptrは、Goの仕様によって「ポインタを保持するのに十分な大きさを持つ符号なし整数型」と明確に定義されています。これにより、Goがサポートするすべてのアーキテクチャにおいて、ポインタのサイズに合わせた適切な整数型が保証されます。この変更により、コンパイラがPCを扱う際の型の安全性が向上し、異なるアーキテクチャへの移植性が高まります。
ガベージコレクションとの関連:
- Go言語はガベージコレクション（GC）を持つ言語です。GCはメモリ上のポインタを追跡し、到達可能なオブジェクトを特定して、到達不能なオブジェクトを解放します。uintptrはポインタの数値表現であり、それ自体はGCの対象ではありません。しかし、getcallerpc()のような関数が返す値は、実行中のコードのアドレスであり、これはGCが管理するヒープ上のオブジェクトへのポインタとは異なります。
- この変更は、GCの動作に直接的な影響を与えるものではありませんが、コンパイラが内部的にアドレスを扱う際の正確性を保証する上で重要です。特に、スタックフレームやレジスタに一時的に保持されるPCの値が、常に正確なアドレスを表現できるようにすることで、デバッグ情報やプロファイリングの正確性が保たれます。
コンパイラの内部構造:
- src/cmd/8g/gsubr.cは、Goコンパイラの8g（x86向け）のサブルーチンやユーティリティ関数が含まれるファイルであると推測されます。regpcという変数は、レジスタに関連するプログラムカウンタの値を保持するための配列である可能性が高いです。コンパイラは、コード生成や最適化の過程で、レジスタの状態やPCの値を頻繁に追跡する必要があります。
- regpc[D_NONE]やregpc[i]といった記述から、これはレジスタの種類（D_NONEは「なし」を意味する定数、iはレジスタのインデックス）に対応するPCの値を格納する配列であることが示唆されます。getcallerpc(&n)の戻り値をregpc[i]に代入していることから、特定のレジスタが使用された時点での呼び出し元のPCを記録していると考えられます。

この変更は、Goコンパイラの低レベルな部分における型の厳密性を高め、将来的なバグの発生を防ぐための重要な改善と言えます。

コアとなるコードの変更箇所

--- a/src/cmd/8g/gsubr.c
+++ b/src/cmd/8g/gsubr.c
@@ -783,7 +783,7 @@ ginit(void)
 		reg[resvd[i]]++;
 }

-ulong regpc[D_NONE];
+uintptr regpc[D_NONE];

 void
 gclean(void)
@@ -871,7 +871,7 @@ out:
 	if (i == D_SP)
 		print("alloc SP\\n");
 	if(reg[i] == 0) {
-\t\tregpc[i] = (ulong)getcallerpc(&n);\
+\t\tregpc[i] = (uintptr)getcallerpc(&n);\
 \t\tif(i == D_AX || i == D_CX || i == D_DX || i == D_SP) {\
 \t\t\tdump("regalloc-o", o);\
 \t\t\tfatal("regalloc %R", i);\

コアとなるコードの解説

このコミットでは、src/cmd/8g/gsubr.cファイル内の2箇所が変更されています。

regpc配列の型定義の変更:
```
-ulong regpc[D_NONE];
+uintptr regpc[D_NONE];
```
regpcは、おそらくレジスタに関連するプログラムカウンタの値を格納するための配列です。元のコードではC言語のulong型で宣言されていましたが、これをGo言語のuintptr型に変更しています。これにより、regpc配列が保持する値が、ポインタのサイズに依存しない、より正確でポータブルなアドレス表現となることが保証されます。D_NONEは、この配列のサイズを決定するための定数であり、おそらく定義されているレジスタの総数を示しています。
getcallerpc()の戻り値のキャストの変更:
```
-\t\tregpc[i] = (ulong)getcallerpc(&n);\
+\t\tregpc[i] = (uintptr)getcallerpc(&n);\
```
この行は、getcallerpc(&n)関数が返す値をregpc[i]に代入する際に、明示的な型キャストを行っています。元のコードではulongにキャストしていましたが、これもuintptrにキャストするように変更されています。 getcallerpc(&n)は、現在の関数の呼び出し元のプログラムカウンタ（アドレス）を返します。この戻り値は本質的にポインタであるため、それをuintptrとして扱うことは、Goの型システムにおけるポインタと整数の間の適切な変換方法です。これにより、getcallerpc()が返すアドレス情報が、regpc配列に正確かつ安全に格納されるようになります。

これらの変更は、Goコンパイラが内部的にプログラムカウンタを扱う際の型の整合性とポータビリティを向上させ、Issue #2478で報告されたバグを修正するものです。

参考にした情報源リンク

Go Code Review 5593051: 8G: USE UINTPTR FOR LOCAL PC (https://golang.org/cl/5593051)
GoLand Issue GO-2478: Red code on make function (https://vertexaisearch.cloud.google.com/grounding-api-redirect/AUZIYQErZFoFP44Z6Lduwo4KzuU_YjTPjIzt9zCi-X_BvmCNV8Q0aDXr2vjFP5G-n61weNRZ5MngOkDyo-ZIFnOAYI7DtLbsLGMYdl8YX9634EuY7iT02cSLDoY7FGkAwYjXqC_ZdEcAce9Z)
GitHub Issue #2478 (minio/minio): server: golang runtime error on sending a curl request on localhost:9000 (https://vertexaisearch.cloud.google.com/grounding-api-redirect/AUZIYQHNQCCcw22rVS4N4TNRr0nkR_MA_ZN1i2riuSbPVp09_YlHDGMx-yuZt7AFLnZHeuzYp6bIzSxZKZwmG8jlZKG1RDCCwKQ2TmrFpmYS4lQAOilvpedX7HbbRT9Bi8j9KXVaEAQCNA==)
Go source code (src/runtime/proc.go): (https://vertexaisearch.cloud.google.com/grounding-api-redirect/AUZIYQFMeamFuAubdkp2RruffF1W8mSB5_eNGIweDrfOEw9Piuxs0oiqucpWmLAaO8oUZDgs1G3-vwNdHtpux-ds6v9aLe_h8R854imuuS8i7YgbSSRRBXJlwEArgMnxznc=)
Go source code (src/net/http/transport.go): (https://vertexaisearch.cloud.google.com/grounding-api-redirect/AUZIYQFXPNA4smYXSnfVnf3Rd08WjLM7NRuf1bu4XzvD8dfx5moCQaYe1xqjDpN9SJ8rUyz5djJegqHSp2JwxyHX0MDM1quol3XdodO-NXUJMuHuFPIWU9haGoLPzwrGryYC7rG-A2p-X9AgVID3uCDXEicZJ4oopzeBC4Cj)

comemo

[インデックス 11469] ファイルの概要

コミット

GitHub上でのコミットページへのリンク

元コミット内容

変更の背景

前提知識の解説

8gコンパイラ

プログラムカウンタ (PC)

uintptr型 (Go言語)

ulong型 (C言語)

`getcallerpc()`関数

技術的詳細

コアとなるコードの変更箇所

コアとなるコードの解説

関連リンク

参考にした情報源リンク

Keyboard shortcuts

comemo