{"componentChunkName":"component---src-templates-post-template-js","path":"/posts/4873117127","result":{"data":{"markdownRemark":{"id":"0c949e9a-121e-5359-b244-d006453c36ee","html":"

有名な書籍『コンピュータシステムの理論と実装』の実装（Nand2Tetris）を完走したので、やってみた感想と、これから挑戦する方へのアドバイスなどをまとめます。

\n

※ 公式サイトのライセンスのページ にソースコードを Web に公開したりしないでほしいと書かれているので、ソースコードは非公開です。

\n

書籍『コンピュータシステムの理論と実装 ―モダンなコンピュータの作り方』とは

\n

\"\"

\n

『コンピュータシステムの理論と実装』は、背表紙で

\n
\n

コンピュータを理解するための最善の方法はゼロからコンピュータを作ること

\n
\n

と説明されている通り、NAND 回路 (と、フリップフロップ回路) だけを与えられ、そこからコンピュータを作っていく書籍です。

\n

最終的にはテトリスのようなアプリケーションが動かせるコンピュータを作るということで、「Nand2Tetris」とも言われています。

\n

Nand2Tetris で作るもの

\n

先述の通り NAND 回路 (と、フリップフロップ回路) だけが定義された状態で、

\n\n

といった流れでコンピュータを実現していくことになります。

\n

400 ページにも満たない書籍ですが、これだけの内容を、しっかり自分で考えながら進めることができるようになっています。

\n

感想

\n

まず全体を通して感じたのは、「論理回路と普段書いているプログラムは、思ったほどは遠くない」ということです。

\n

最近はプログラミングの入門も容易になっており、低レイヤがかなり隠蔽されている言語を使うことが増えていると思います。

\n

コンピュータは最終的に回路で実現されているということは知りつつも、普段書いているプログラムと低レイヤの動作の間に魔法のようなものを想像している方も少なくないと思います。

\n

この本は、そんな「コンピュータが魔法に見える」という現象を解くのにぴったりです。

\n

CPU の実装

\n

Nand2Tetris はまず、ALU や CPU などのハードウェアの実装から始まります。

\n

CPU を作るというとすごく難しいことのように聞こえますが、Nand2Tetris の CPU であれば、要件を満たす HDL を記述するのは難しくありません。\n(リングプロテクションや分岐予測といった高度な機能を持たない CPU です)

\n

このレイヤを解く鍵となるのはマルチプレクサだと思います。

\n

アセンブラの実装

\n

CPU が完成したら、機械語のプログラムを動かすことができます。

\n

次のステップは、アセンブリ言語で作られたプログラムを機械語に変換するアセンブラを実装することです。

\n

Nand2Tetris は全体として実装が比較的簡単にできる設計されており、プログラミングに慣れた方であれば、アセンブラの実装に大きな難点はないと思います。

\n

バーチャルマシンの実装

\n

アセンブラの次は、Java でいう JVM のような、バーチャルマシンの実装に入ります。

\n

書籍の中でも絶賛されていますが、「スタックマシン」による計算機の実現は本当にすごいと思います。

\n

どれだけ込み入った計算であっても、スタックというシンプルなデータ構造により、1 つ 1 つの小さな問題に帰着されてしまいます。

\n

この書籍は CPU とコンパイラの実装に注目されやすい気がしますが、個人的にはスタックマシンが最も重要な鍵を握っていると思います。

\n

コンパイラの実装

\n

中間言語をアセンブリ言語に翻訳するバーチャルマシンができたら、あとは高級言語を中間言語に変換するコンパイラを実装するだけです。

\n

コンパイラは書籍によっては yacc などのツールを利用して実装していきますが、この書籍ではフルスクラッチでトークナイザ・パーサ・コード生成を実装していくことになります。

\n

コンパイラは特に魔術的なものに見えるのではないかと思いますが、Nand2Tetris のコンパイラを実装すると、「コンパイラもプログラムの一種に過ぎない」と思えるようになります。\n(もちろん最適化などは非常に難しい話だと思います)

\n

OS (標準ライブラリ) の実装

\n

最後には、メモリ管理などを担う簡易的な OS (というか標準ライブラリ) を実装します。

\n

コンパイラの完成という山場を超えるとこの章はスキップしてもいいかなという気持ちになるかもしれませんが、個人的にはやってよかったと思います。

\n

というのも、コンパイラに加えて低レイヤを扱うライブラリまで実装したことで、今まで以上に色々なプログラミング言語に感謝しようと思えるようになりました。

\n

世の中には、

\n\n

などがあると思います。

\n

個人的には抽象化の進んだ言語が好きだったのですが、Nand2Tetris を通して、抽象化されていないコンピュータの面白さと、そんな低レイヤを扱える言語の面白さを感じました。

\n

全体を通して

\n

ということで一通り完成になるのですが、完了してみて思うのは、「特別難しくなく、別に普通だった」ということです。

\n

それがこの本の本当にすごいところなのですが、最適化について考慮せず、シンプルに実現できるように設計されたコンピュータは、ふつうのプログラミング能力で実装できてしまうのです。

\n

論理演算をしたり仕様を読み解いたりにはある程度頭を悩ませることになりますが、

\n\n

といった工夫により、とても進めやすくなっています。

\n

挑戦しようと思っている方へ

\n

ここから、Nand2Tetris に挑戦しようと思っている方に向けて、前提知識やアドバイスを書いていきます。

\n

前提知識

\n

Nand2Tetris が必要としている前提知識はかなり少ないです。

\n

具体的には、

\n\n

くらいです。

\n

書籍で言えば、

\n\n

くらいを読んでおくと手が出しやすいと思います。

\n

\"\"

\n

\"\"

\n

\"\"

\n

プログラミングの練習にもとても良い内容ですし、例えばプログラミングの研修後の発展課題にも良いと思います。

\n

アドバイス

\n

Nand2Tetris に着手する上では、いくつかアドバイスがあります。

\n

本をちゃんと読んで進める

\n

この本は、仕様や設計が非常によくまとまっています。

\n

その仕様や設計をしっかり読み解くことが、完走するうえでは何より重要です。

\n

短期でやる

\n

ゼロからコンピュータを作り上げるという性質上、あるレイヤを実装する際は、ひとつ手前のレイヤの仕様が前提になります。

\n

仕様を忘れないよう、ある程度短期集中で取り組むのがおすすめです。

\n

ちなみに、人によって使える時間も違うので参考までですが、私の場合は最初から最後までで半月ほどかかりました。

\n

TDD する

\n

書籍に付属しているテストツールも便利ですが、アセンブラ・バーチャルマシン・コンパイラの実装の際は、別途自動テストツールも導入したほうが楽です。

\n

これらは自分の好きな言語で実装することになるので、慣れた言語で、できれば TDD で実装するとスムーズになると思います。

\n

とにかく始めてみる

\n

最後に、とにかく始めてみることが大事です。

\n

やってみると面白くて、続きをやりたくなります。

\n

まずは NAND ゲートをもとに各種論理ゲートを作るところから、気軽に始めてみてください。

\n

完走すれば、CPU とコンパイラを作ったことがあると言えるようになります。\n(CPU はハードウェアエミュレータなうえ、どちらも簡易的なものですが…)

\n

今後やりたいこと

\n

ということで、感想や、これから取り組む方へのアドバイスなどを書いてきました。

\n

これで CPU とコンパイラは作りましたが、個人的にもう少し低レイヤを勉強したいと思っています。

\n

具体的には、今年中には簡易的な OS (カーネル)、シェル、デバイスドライバあたりを自作してみるつもりです。

\n

また、コンパイラ周辺では Lex、yacc、LLVM あたりを勉強したいなと思っています。

\n

これらもやってみたらまた記事にします！

\n

\"\"

","fields":{"slug":"/posts/4873117127","tagSlugs":["/tag/cpu/","/tag/compiler/"],"autoRecommendPosts":["linux-learning-roadmap","4839975868","cpu-books","c-next-step-books"]},"frontmatter":{"date":"2022-01-08T14:09:13.815Z","description":"有名な書籍『コンピュータシステムの理論と実装』の実装（Nand2Tetris）を完走したので、やってみた感想と、これから挑戦する方へのアドバイスなどをまとめます。","tags":["cpu","compiler"],"title":"【感想】『コンピュータシステムの理論と実装』（Nand2Tetris）を完走した","socialImage":null,"recommendPosts":null}}},"pageContext":{"slug":"/posts/4873117127"}},"staticQueryHashes":["251939775","3942705351","401334301"]}