Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

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

このコミットは、Go言語の標準ライブラリの一部である src/lib/math/runtime.go ファイルを追加するものです。このファイルは、Goのビルドプロセスにおいて見落とされていたために発生していたビルドエラーを修正することを目的としています。具体的には、浮動小数点数とビット表現間の変換、指数部と仮数部の分離、無限大や非数（NaN）の生成と判定など、低レベルの浮動小数点演算に関連する関数群の宣言を含んでいます。これらの関数は、Go言語のランタイム（../../runtime）でC言語によって実装されていることがコメントで示されており、Go言語とC言語の相互運用性の一端を示しています。

コミット

commit f4279f587ab3a3b2aabdb8e3727b331123c37ccb
Author: Russ Cox <rsc@golang.org>
Date:   Thu Jan 22 16:49:11 2009 -0800

    fix build - missed this file
    
    TBR=r
    OCL=23335
    CL=23335

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

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

元コミット内容

fix build - missed this file

変更の背景

このコミットは、Go言語の初期開発段階（2009年）に行われたものです。コミットメッセージ「fix build - missed this file」が示す通り、Go言語のビルドシステムにおいて src/lib/math/runtime.go ファイルが何らかの理由で見落とされ、その結果ビルドが失敗していた状況を修正するために導入されました。

Go言語の初期においては、多くの低レベルな機能やパフォーマンスが要求される部分はC言語で実装され、Go言語からはそのインターフェースが提供されるというハイブリッドな開発が行われていました。src/lib/math/runtime.go は、まさにそのようなC言語で実装されたランタイムレベルの数学関数へのGo言語からのインターフェースを提供する役割を担っていたと考えられます。このファイルがビルドプロセスから漏れていたことは、Go言語のコンパイラやリンカが、これらの関数定義を見つけられずにエラーを発生させていたことを意味します。

この修正は、Go言語のビルドの健全性を確保し、math パッケージが依存するランタイムレベルの浮動小数点演算機能が正しく利用できるようにするために不可欠でした。

前提知識の解説

Go言語の初期開発とランタイム

Go言語は2009年にGoogleによって発表されました。初期のGo言語は、現在のGo言語とは異なり、多くの部分でC言語のコードベースに依存していました。特に、ガベージコレクション、スケジューラ、プリミティブなI/O操作、そして低レベルの数学演算など、システムの根幹をなす部分はC言語で実装され、Go言語のコードからはこれらのC言語関数が呼び出される形が取られていました。

Go言語の「ランタイム（runtime）」とは、Goプログラムの実行をサポートする一連のライブラリとシステムのことです。これには、ガベージコレクタ、ゴルーチン（goroutine）スケジューラ、チャネル（channel）の実装、メモリ管理、そして今回関連する低レベルの数学関数などが含まれます。初期のGoランタイムは、C言語で書かれた部分が多くを占めていました。

浮動小数点数とIEEE 754

浮動小数点数（Floating-point number）は、実数を近似的に表現するためのコンピュータの数値表現形式です。現代のコンピュータシステムでは、ほとんどの場合、IEEE 754標準に従って浮動小数点数が表現されます。この標準は、単精度（32ビット）と倍精度（64ビット）の浮動小数点数の形式を定義しており、それぞれ float32 と float64 に対応します。

IEEE 754では、浮動小数点数は符号部、指数部、仮数部という3つの部分で構成されます。

  • 符号部 (Sign bit): 数値が正か負かを示す1ビット。
  • 指数部 (Exponent): 数値の大きさを表す部分。
  • 仮数部 (Mantissa/Significand): 数値の精度を表す部分。

この標準は、通常の数値だけでなく、特殊な値も定義しています。

  • 無限大 (Infinity): 正の無限大 (+Inf) と負の無限大 (-Inf)。オーバーフローなどの結果として生成されます。
  • 非数 (Not a Number, NaN): 不定形な演算（例: 0/0、無限大-無限大）の結果として生成される値。

ビット操作と浮動小数点数

浮動小数点数をビット列として直接操作することは、特定の低レベルな処理や最適化において重要です。例えば、浮動小数点数のビット表現を整数として解釈したり、その逆を行ったりすることで、符号、指数、仮数部を直接検査・操作することが可能になります。これは、数値の比較、特殊な値の判定、あるいは特定のアルゴリズムの実装において利用されます。

Go言語の math パッケージには、これらのビット操作を行うための関数が提供されています。例えば、Float32bits は float32 の値を uint32 のビット表現に変換し、Float32frombits はその逆を行います。

技術的詳細

src/lib/math/runtime.go ファイルは、Go言語の math パッケージの一部として、Go言語のコードからC言語で実装されたランタイムレベルの浮動小数点演算関数を呼び出すための「宣言」を提供しています。これは、Go言語のコンパイラに対して、これらの関数が存在し、特定のシグネチャ（引数と戻り値の型）を持つことを伝える役割を果たします。

ファイルの内容は以下の通りです。

// Copyright 2009 The Go Authors. All rights reserved.
// Use of this source code is governed by a BSD-style
// license that can be found in the LICENSE file.

package math

// implemented in C, in ../../runtime
// perhaps one day the implementations will move here.

func Float32bits(f float32) (b uint32) 
func Float32frombits(b uint32) (f float32) 
func Float64bits(f float64) (b uint64) 
func Float64frombits(b uint64) (f float64) 
func Frexp(f float64) (frac float64, exp int) 
func Inf(sign int32) (f float64) 
func IsInf(f float64, sign int) (is bool) 
func IsNaN(f float64) (is bool) 
func Ldexp(frac float64, exp int) (f float64) 
func Modf(f float64) (integer float64, frac float64) 
func NaN() (f float64)

各関数の役割は以下の通りです。

  • Float32bits(f float32) (b uint32): float32 型の浮動小数点数 f のIEEE 754ビット表現を uint32 として返します。
  • Float32frombits(b uint32) (f float32): uint32 型のビット表現 b から float32 型の浮動小数点数を生成します。
  • Float64bits(f float64) (b uint64): float64 型の浮動小数点数 f のIEEE 754ビット表現を uint64 として返します。
  • Float64frombits(b uint64) (f float64): uint64 型のビット表現 b から float64 型の浮動小数点数を生成します。
  • Frexp(f float64) (frac float64, exp int): 浮動小数点数 f を frac * 2^exp の形式に分解します。frac は [0.5, 1.0) の範囲の仮数部、exp は指数部です。
  • Inf(sign int32) (f float64): 指定された符号 (sign が正なら +Inf、負なら -Inf) を持つ無限大の float64 値を返します。
  • IsInf(f float64, sign int) (is bool): f が無限大であるかどうかを判定します。sign が0でない場合、f が sign と同じ符号の無限大である場合にのみ true を返します。
  • IsNaN(f float64) (is bool): f が非数（NaN）であるかどうかを判定します。
  • Ldexp(frac float64, exp int) (f float64): frac * 2^exp を計算し、その結果を float64 として返します。Frexp の逆操作です。
  • Modf(f float64) (integer float64, frac float64): 浮動小数点数 f を整数部と小数部に分離します。両方とも float64 として返されます。
  • NaN() (f float64): 非数（NaN）の float64 値を返します。

これらの関数は、Go言語の math パッケージの基盤となる低レベルな浮動小数点演算を提供しており、より高レベルな数学関数（例: Sin, Cos, Sqrt など）の実装にも利用されます。コメントにある「implemented in C, in ../../runtime」は、これらの関数がGo言語のソースコード内には実装されておらず、Goのランタイムの一部としてC言語で書かれたコードにその実体があることを明確に示しています。また、「perhaps one day the implementations will move here.」というコメントは、将来的にはこれらの関数もGo言語で実装される可能性があるという初期のGo開発チームの意図を示唆しています。実際に、Go言語の進化とともに、多くのランタイム機能がC言語からGo言語へと移植されていきました。

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

このコミットによる変更は、単一のファイル src/lib/math/runtime.go の追加のみです。

--- /dev/null
+++ b/src/lib/math/runtime.go
@@ -0,0 +1,20 @@
+// Copyright 2009 The Go Authors. All rights reserved.
+// Use of this source code is governed by a BSD-style
+// license that can be found in the LICENSE file.
+
+package math
+
+// implemented in C, in ../../runtime
+// perhaps one day the implementations will move here.
+
+func Float32bits(f float32) (b uint32) 
+func Float32frombits(b uint32) (f float32) 
+func Float64bits(f float64) (b uint64) 
+func Float64frombits(b uint64) (f float64) 
+func Frexp(f float64) (frac float64, exp int) 
+func Inf(sign int32) (f float64) 
+func IsInf(f float64, sign int) (is bool) 
+func IsNaN(f float64) (is bool) 
+func Ldexp(frac float64, exp int) (f float64) 
+func Modf(f float64) (integer float64, frac float64) 
+func NaN() (f float64)

コアとなるコードの解説

追加された src/lib/math/runtime.go ファイルは、Go言語の math パッケージに属する一連の関数宣言を含んでいます。これらの関数は、Go言語のコンパイラに対して、対応するC言語で実装された関数が存在することを通知するためのものです。Go言語では、関数本体が記述されていない関数宣言は、外部で実装されている関数（この場合はC言語で実装されたランタイム関数）へのバインディングとして機能します。

このファイルが追加されたことで、Go言語の math パッケージやその他のGoコードが、これらの低レベルな浮動小数点演算関数を呼び出す際に、コンパイラがその存在とシグネチャを認識できるようになり、ビルドエラーが解消されました。

特に注目すべきは、関数宣言の後に {}（関数本体）がない点です。これは、Go言語のコンパイラがこれらの関数を「外部関数」として扱い、リンク時に実際のC言語実装と結合することを意味します。

このコミットは、Go言語の初期の設計思想、すなわち、パフォーマンスが重要な部分や既存のシステムとの連携が必要な部分ではC言語を活用しつつ、Go言語自体はより高レベルな抽象化と並行処理の容易さを提供するというアプローチを明確に示しています。

関連リンク

参考にした情報源リンク

  • Go言語のソースコードリポジトリ: https://github.com/golang/go
  • IEEE 754 - Wikipedia: https://ja.wikipedia.org/wiki/IEEE_754
  • Go言語の歴史に関する記事やドキュメント (具体的なURLはコミット当時の情報ではないため割愛しますが、Go言語の初期開発に関する一般的な知識に基づいています)
  • Go言語のランタイムに関する一般的な情報 (具体的なURLは割愛しますが、Go言語のランタイムの役割に関する一般的な知識に基づいています)