###「コンピューターシステムの理論と実装」

読んだ本のまとめと紹介です。

コンピューターシステムの理論と実装

コンピューターサイエンスを学ぶ為に手に取りました。この本では、コンピューターが動く仕組みを理解し、実際にバーチャル上にコンピューターを作り上げて学ぶことができます。必要なツールなどはWebサイトに用意されています。この記事では、読んだ内容を要約し概要や大まかな流れなどを書いていきます。各実装の詳細はこの記事では書いていません。

目次：
１、学習計画
２、本の目次紹介
３、概要
４、コンピューターが実装される流れ

#１、学習計画
１、一通り読んで知識をインプット（知識が無さすぎて読みながらの実装は難しかった）
２、内容をまとめブログに書いてアウトプット
３、実装し、経験を通して知識・技術を身につける

#２、本の目次紹介
１章　ブール論理
２章　ブール算術
３章　順序回路
４章　機械語
５章　コンピューターアーキテクチャ
６章　アセンブラ
７章　バーチャルマシン#１：スタック操作
８章　バーチャルマシン#２：プログラム要素
９章　高水準言語
１０章　コンパイラ#１：構文解析
１１章　コンパイラ#２：コード生成
１２章　オペレーティングシステム
１３章　さらに先へ
付録

本で学べる実装の流れとしては、
・コンピューターを構成するハードウェアの実装
（NANDという電子ゲート、論理回路、加算器、ALU、CPU）
・実装したハードウェア上で動くソフトウェアの実装
（アセンブラ、バーチャルマシン、OS、プログラミング言語など）

このように、コンピューター全体を構成する要素を実際に作ることによって、コンピューター全体の仕組みを理解できる構成となっています（なっているそうです）。

本書は”発見の旅”である。本書によって、読者は次の３つのことを学ぶことになる。それは、「コンピューターの動く仕組み」「複雑な問題を扱いやすいモジュールに分割する方法」そして「ハードウェアとソフトウェアからなる巨大なシステムを開発する方法」である。

#３、概要

”Hello World”を表示する為には数行のコードを書けば表示することができますが、実際それがどのように実行されているのでしょうか。
コードを書いてからその裏でコンピューターがどのように動きているのか見ていきます。

プログラムはテキストファイルに格納された文字列のデータです。最初にすべき作業は、このテキストに書かれている構文を解析し、その内容を明らかにすること。
そして、それをコンピューターが理解できる低水準の言語に直す必要があります。その変換する作業が「コンパイル」と呼ばれます。

コンピューターが理解できる機械語とは何でしょうか。
その中身はある規則に基づくバイナリーコードの集合です。バイナリーコードは0と1の２進数で表現されるコードです。そのバイナリーコードは何らかのハードウェアアーキテクチャによって具現化します。
では、そのアーキテクチャはどのように実装されるのか。それはレジスタやメモリ、ALUといった回路集合が用いられます。さらにこれらにハードウェアデバイスは、集積されパッケージされた基本論理ゲートから構成されます。これらのゲートはNANDやNORなどのゲートから構築していきます。

このように、様々な実装が必要であると初めて読んだとき、コンピューターの奥の深さを実感しました。これ以上深く掘り下げると物理学の領域になる為、この本で扱うものはここまでとなっています。

#４、コンピューターが実装される流れ

コンピューターシステムを支える抽象化の集合は、上位レベルの抽象化から、より単純なものへとトップダウン的に全体を捉えることができる。また、下位レベルの抽象化から、より複雑なものへとボトムアップ的な視点で捉えることもできる。

この本では、ボトムアップに実装していくことになります。

逆にトップダウンから（つまり私たちが実際にコーディングしたところから）見てみると、
まず頂上で高水準のプログラムを書き、それを実行する。その後ハードウェアの世界へ下り、高水準プログラム（私たちが書いたプログラム）が機械語へ変換される。最後に麓へたどり着き、一般的なハードウェアのプラットフォームが構成されている。

概要でも少し触れた内容ですが、より細かく流れを見ていきます。

##頂上：
####「高水準のプログラムを書き、それを実行する場所」
プログラミングをする際、「高水準言語」と「ライブラリ」という２つのツールを常用します。これらによってプログラミングし、文字などをディスプレイに表示できますが、それが実現されるのはOS（オペレーティングシステム）と標準言語ライブラリによってそのサービスが提供されているからです。では、そのOSはどのような仕組みで動いているのか。それは様々なアルゴリズム（数学ファンクション、文字列操作、メモリ配置、入出力（I/O)処理など）により完成されます。

##中間地点：
####「機械語への変換を行う場所」
概要でも触れましたが、変換作業は「コンパイル」と呼ばれます。このコンパイルを行う為にコンパイラ、バーチャルマシン、アセンブラという３つの変換器が関わっています。

コンパイラが行う変換作業：
#####１、構文解析
まず、ソースコードが解析され、意味的なグループ化が行われます。ここでの結果は「構文木」と呼ばれるデータ構造に格納されます。このパース作業が構文解析と呼ばれています。
#####２、コード生成
このパース木を再帰的に処理し、中間言語で書かれたプログラムを生成します。それがアセンブリコードです。このアセンブリコードはアセンブラによってバイナリコードに変換します。

##一番下:
####「ソフトウェアとハードウェアが交わる場所」
最下層では、Hackと呼ばれる汎用コンピュータシステム（ハードウェア）が活躍します。これは、様々な回路セットにより構成されます。コンピューターを設計する為に必要な基本的な原理や要素を兼ね備えています。