はてなブックマーク

GNU Assembler互換(サブセット)のアセンブラをGo言語でフルスクラッチで作ってみました。 開発22日目で自作Goコンパイラ(をセルフホストしたときに出力される20万行のアセンブリ)をアセンブルすることに成功しました。 どうやって作ったかというと、小さいコードを GNU Assembler (以下 as) に食わせて出力されたバイナリを観察する、を繰り返して中のロジックを推定し再現しました。as の実装は見ていません。(一瞬見たけど巨大すぎて何もわからなかった) アセンブラ自作は、やってみるとコンパイラ自作よりだいぶ簡単でハマりポイントも少ないので、学習テーマとしてはおすすめです。2箇所ほど難所(命令エンコーディングのルールを理解するのと、ジャンプ命令の最適化)がありましたがそれ以外はさくさく楽しく作れました。 作ってみた結果、アセンブリ言語の理解が深まったのはもちろんのこと、E

自作Goコンパイラ babygo でマルチスレッドを動かすこと(=子スレッドの作成)に成功しました。 実は以前に挫折していた 1年半前に 一作目のGoコンパイラ minigo でもマルチスレッドに挑戦したことがあるんですが、そのときは子スレッド生成後すぐに Segmentation Faultが起きてしまい、解決方法わからずあきらめたのでした。(動かなかった syscall cloneの残骸 https://github.com/DQNEO/minigo/blob/5ab7420fbca2f65d81bc761d5cbe51a2b28953a8/internal/runtime/runtime.s#L41-L61 ) (当時は gdb でステップ実行すると他のスレッドも処理が進むということを知らなかったので、ただただ謎の挙動にしか見えなかった) 今回やったこと 今回は以下のように要素技術を

00029 (min.go:6) MOVQ $1, "".i+8(SP) // i = 1 00038 (min.go:6) JMP 40 // goto 40番地 00040 (min.go:6) CMPQ "".i+8(SP), $10 // compare i <=> 10 00046 (min.go:6) JLE 50 // goto 50番地 if less than or equal to 00048 (min.go:6) JMP 91 // goto 91番地(for loopの出口へ) 00050 (min.go:7) PCDATA $1, $0 00050 (min.go:7) CALL runtime.printlock(SB) 00055 (min.go:7) MOVQ "".i+8(SP), AX // $AX = i 00060 (min.go:7) MOVQ A

例えば上のコードにおける、2, nil の型はなんでしょうか？ y.(T) は何個の値を産出するでしょうか？ 答えは「文脈による」です。「相手による」といってもいいかもしれません。 Go言語ではいくつかのケースにおいて、式をそれ単体で評価することができず文脈を考慮しないといけない場面があります。 なおこの「文脈」という概念は仕様書にはっきりと書かかれておらず、Goコンパイラを自作していて発見しました。 nilにおける文脈の役割 事前定義された識別子 nil は、コンピュータ上のハードウェア(つまりメモリやレジスタ)上でどんな姿かたち(値）をしているでしょうか？ 答えは「文脈による」です。文脈によって、8バイト分のゼロだったり16バイト分のゼロだったり24バイト分のゼロだったりします。[1] これはコンパイル後のアセンブリを見てみるとよくわかります。 x86-64環境でのアセンブリを例にとっ

Go言語には「ブロック」と「スコープ」という似たような２つの概念があります。 「ブロックとスコープはどう違うの？」という疑問に答えてみたいと思います。 ブロックとはソースコードの「かたまり」のこと ブロックとはソースコードをある単位でまとめた「かたまり」です。 最もわかりやすい例は、記号 { ... } でくくられたステートメント群です。 これを「明示的ブロック」と言います。 「明示的ブロック」以外にも「暗黙のブロック」というものがあります。 暗黙ブロックは以下のとおり5種類あります。 ユニバースブロック: 全てのGoのソースコードの外側を包んでいる仮想的なブロック パッケージブロック: 1パッケージ内の全ソースコードを包含するブロック ファイルブロック: 1ファイル内の全ソースコードを包含するブロック if, for, switchブロック: if,for,swtich文それ自体がブロッ