はじめに
はじめまして、糸井と言います。
現在公務員からエンジニアへの転職活動の準備中の身です。
縁あって、ポートフォリオをレビューしていただいたエンジニアの方から「この本の勉強会を開くから来ない？」とお誘いをいただき、低レイヤーの勉強のために毎週一回参加させてもらっています。
まだ1章の演習中ですが、nand回路からnot, and, or, xor等の徐々に複雑な回路を実装していくのが、パズルのようでおもしろいです。
この記事では、本の第1章の終わりまでをスムーズに取り組めるよう、内容を書いていこうと思います。
手元にある本は初版第7刷になります。ページ数表記は適宜読み合わせてください。
「コンピュータシステムの理論と実装」とは
この本の愛称は、この記事のタグにもさせてもらっているNand2Tetrisだそうです。Nand回路からTetrisを作る…わかりやすいですね。
裏書きは以下のとおり
コンピュータを理解するための最善の方法はゼロからコンピュータを作ることです。コンピュータの構成要素は、ハードウェア、ソフトウェア、コンパイラ、OSに大別できます。本書では、これらコンピュータの構成要素をひとつずつ組み立てます。具体的には、NANDという電子素子からスタートし、論理ゲート、加算器、CPUを設計します。そして、オペレーティングシステム、コンパイラ、バーチャルマシンなどを実装しコンピュータを完成させて、最後にその上でアプリケーション(テトリスなど)を動作させます。実行環境はJava(Mac、Windows、Linuxで動作)。
自分でコンピュータを作る！これに私は非常に興味をそそられました。
もくじ
1. シミュレータのインストール
2. チップ実装の手順
3. VS Codeでシンタックスハイライト
4. 1章の実装のヒント
5. おわりに
1. シミュレータのインストール
まずは1.5 プロジェクトまで読み進めてください。
1.5 プロジェクトの"手順"(P.25)まで来たら、手順に従ってハードウェアシミュレータをインストールします。
付録C(P.361)に従って"https://www.nand2tetris.org/software/nand2tetris.zip" からOSに合ったファイルをダウンロードしてインストールしてください。英語ですががんばってください！
私はMacでインストールしましたが、Macの場合"Setup Guide for Apple MacOS"にきちんと手順が書いてあります。
ちなみに、2022年３月にインストールしましたが、たしかにJavaは最新版でなければ動作しませんでした。
$ java -version
java version "1.8.0_321"
Java(TM) SE Runtime Environment (build 1.8.0_321-b07)
Java HotSpot(TM) 64-Bit Server VM (build 25.321-b07, mixed mode)
さらにちなみに、訳注のハードウェアシミュレータ・チュートリアルのURLは変わっています。
このページ↓の上から1/3あたり、"Software Tools"にあります。
https://www.nand2tetris.org/software
PDF↓
https://www.nand2tetris.org/_files/ugd/44046b_bfd91435260748439493a60a8044ade6.pdf
2. チップ実装の手順
ハードウェアシミュレータの起動
手順書通りインストールしていれば、下記のコマンドでシミュレータを起動できます。
~/Desktop/nand2tetris/tools/HardwareSimulator.sh &
コードを書く
エディターで該当チップの.hdlファイルを開き、実装します。
ハードウェアシミュレータではコードを書き換えられません。
シンタックスハイライトが当てられるプラグインを後ほど紹介するので、VS Codeはオススメです。
CHIP Not {
IN in;
OUT out;
PARTS:
// Put your code here:
// ここに書く
}
「とりあえずどう書くのか例を見たい」という方のために、Notの回答例を置いておきます。
Notの回答例
CHIP Not {
IN in;
OUT out;
PARTS:
// Put your code here:
Nand (a=in, b=in, out=out);
}
回路のロード
左上のFileの下の[ICチップのようなアイコン]をクリックし、ロードする回路を選択します。
Desktop/nand2tetris/projects/[1章なら 01]
テストのロード・実行
- 回路をロードできたら、テストをロードします。
赤い旗の左隣の[羊皮紙のようなアイコン]をクリックし、回路と同名のテストをロードします。 - [>>のようなアイコン]でテストします。ちなみに、その左の[>のアイコン]はステップ実行です。
- ウィンドウ左下に
End of script - Comparison ended successfullyと出ればテストをパスしています。おめでとうございます🎉
3. VS Codeでシンタックスハイライト
VS Codeでシンタックスハイライトを当てるプラグイン
https://marketplace.visualstudio.com/items?itemName=loyio.Nand2Tetris-vscode
非常に見やすいのでオススメです。
あとは指定された回路を実装していきましょう！
4. 1章の実装のヒント
作る順番としては
Not
And
Or
Not16
And16
Or16
Or8Way
Xor
Mux
Mux16
Mux4way16
Mux8way16
DMux
DMux4Way
DMux8Way
の順がよいかと思います。
また、私がつまずいたものだけですが、考え方のヒントを残しておきます。
コード自体の答えが知りたい方は、GitHubに上がっているものを探してみてください。
参考にさせていただいた@y-meguro さんの記事にもGitHubリポジトリのURLがあります。
Not16
Xor
P.5の図1-2を参考に、正準表現から実装しました。
正準表現は、P.3ブール式を参考にすれば、Nand,Not,And,Orをどう組み合わせるかわかります。
Mux
ポイントはやはり正準表現。ただし今度は入力が3つなので図1-2は使えません。
Muxさらにヒント
Mux4Way16（3行で実装するテクニック）
ちなみに、多ビットの一括した入力出力の書き方は
(IN a[16], b[16], out[16]; の場合）
And16 (a=a, b=b, out=out);
(IN sel[2]; の場合）
sel = sel[0..1];
このように書けます。
DMux
どうやって出力を増やすかですね。
出力ピンの増やし方
あとはどういうときに出力を0/1にするかです。
5. おわりに
今のところ一章までしか終わっていませんが、非常に楽しく学べています。
今後も章ごとに詰まったポイントをまとめていきますので、気長にお待ちいただけると幸いです。
お読みいただきありがとうございました！
参考にさせていただいた記事
@y-meguro さん
「コンピュータシステムの理論と実装」をやりきりました
https://qiita.com/y-meguro/items/dc11c31cc2667aa20b3c
@Kendai さん
プログラミングを初めて半年の初心者がCPU ・コンパイラ・ OSを自作した話
https://qiita.com/Kendai/items/be5eb2d66d6b9138a9f2
更新履歴
2022/05/10 Mux4Way16, DMuxのヒント追記
2022/05/23 2章以降に合わせ、タイトル変更