図で理解する Plan 9 アセンブリと Go の中の Plan 9

プログラミングの世界には、時々「あれ？これってどういう意味だろう？」と首をかしげたくなるような記法が出てくることがあります。Go言語でコードを書いていると、アセンブリ言語という、コンピュータに直接指示を出すような低レベルな部分を扱う際に、「TEXT ·Add(SB), NOSPLIT, $0-24」といった、ちょっと変わった書き方を目にすることがあるかもしれません。

これは、まるで昔のOS「Plan 9」の世界に入り込んだかのように見えるかもしれませんが、実はそうではありません。Plan 9というのは、かつてベル研究所で作られた、ユニークな発想を持ったOSのこと。そのPlan 9で使われていたアセンブリ言語の書き方を、Go言語が「いいな」と思って取り入れた、というイメージです。つまり、Go言語専用のアセンブリ言語として、Plan 9の書き方を受け継いでいる、ということなんですね。

なぜGo言語は、このようなPlan 9のアセンブリ記法を採用したのでしょうか。Go言語は、シンプルさと効率性を追求して作られた言語です。アセンブリ言語は、プログラムがどのように動いているかを深く理解したり、極限までパフォーマンスを高めたりするために使われることがあります。Plan 9のアセンブリ記法は、その目的を達成するために、ある種の分かりやすさや構造を持っていたのかもしれません。Go言語の開発者たちは、その記法が、Go言語のプログラムの中でアセンブリを使う際に、より明確で管理しやすく、そして効率的だと考えたのでしょう。

「TEXT ·Add(SB), NOSPLIT, $0-24」という表記を分解してみると、「TEXT」はこれから関数（プログラムの部品）を定義しますよ、という合図。「·Add」はその関数の名前。「(SB)」は「Stack Bottom」の略で、プログラムのどこからでも参照できる場所を示します。「NOSPLIT」は、この部分では処理が途中で分割されないようにする指示。「$0-24」は、この関数が受け取るデータや、使うメモリのサイズなどを示しています。このように、一見難しそうに見える記法も、それぞれの部分に意味があり、Go言語がアセンブリを扱う上でのルールとして機能しているのです。

このPlan 9のアセンブリ記法は、Go言語の内部で、コンパイラがコードを機械語に翻訳する際に使われるものです。普段私たちがGo言語でアプリケーションを作る際には、直接このアセンブリ記法に触れる機会は少ないかもしれません。しかし、Go言語のパフォーマンスをさらに追求したい開発者や、Go言語がどのように動いているのかを深く知りたい人にとっては、この知識は非常に役立ちます。Go言語の背後にある設計思想や、進化の過程を垣間見ることができる、興味深い部分と言えるでしょう。