https://momori.dev/tags/cs/Recent content in Cs on Momori NakanoHugo -- 0.147.0en-usThu, 20 Oct 2022 00:00:00 +0000https://momori.dev/posts/computer-organization-and-desigin-2/Thu, 20 Oct 2022 00:00:00 +0000https://momori.dev/posts/computer-organization-and-desigin-2/<p><a href="https://bookplus.nikkei.com/atcl/catalog/21/S70100/">『コンピュータの構成と設計 MIPS Edition 第 6 版 下』</a> はコンピュータサイエンスの教科書です. ハードウェアを知り, ソフトウェアを適合させる方法が説明されます.</p> <p>上下巻に分かれていますが, 内容は完全に上巻の続きです. 各巻で相互に参照されている箇所もあるので, 両方を手元に置いて置くと理解しやすいでしょう. 下巻のメインはメモリ (キャッシュや仮想メモリなど) と並行処理で, アセンブラや論理回路についての付録も含まれています.</p> <p>キャッシュをどのように保存するか考える. キャッシュはメインメモリ中の値を保持するものだから, メモリアドレスに基づいてキャッシュを入れる場所を決定するのは自然だろう. アドレスによってキャッシュの場所を一箇所に定める方法をダイレクトマップ方式という.<br> アドレスが 4bit, キャッシュのブロック数が 4 個なのであれば, アドレス上位の 2bit をインデックスとして用いる. つまりアドレス 0000, 0001, 0010, 0011 は同じインデックスが割り当てられる. 残りの下位 2bit をタグとしてデータと合わせて保持して, 現在キャッシュにあるのがどのアドレスのデータなのか特定できるようにする.<br> もし 0000, 0010 を交互にアクセスするとどうなるだろうか. 両者とも同じインデックスに保存されているためキャッシュ位置が競合し, キャッシュミスが繰り返される.</p> <p>競合を減らす柔軟な方法はないだろうか.<br> 一つのインデックスに二つのブロックを保存できるようにすればどうだろう. そうすれば二つのブロックを持つセット二つから成るキャッシュができる. 元々 <code>4 * 1</code> だった構造が <code>2 * 2</code> になったということだ.<br> キャッシュを格納するとき, 各セットにある二つのブロックどちらを使っても良い.もちろん空きがなければ追い出すしかなく, LRU(Least Recently Used) 法などに従って捨てるキャッシュを選び, 新たにキャッシュを入れる.<br> 一般化して, 一つのインデックスに複数のブロックを保存する方法をセット・アソシエイティブ方式という. 究極はセットが一つしかないフル・アソシエイティブ方式だ. 一セット当たりのブロック数のこと指す連想度という用語を使えば, ダイレクトマップ方式からフル・アソシエイティブ方式に向けて連想度が上がると表現できる.</p>https://momori.dev/posts/computer-organization-and-desigin-1/Wed, 05 Oct 2022 00:00:00 +0000https://momori.dev/posts/computer-organization-and-desigin-1/<p><a href="https://bookplus.nikkei.com/atcl/catalog/21/S70090/">『コンピュータの構成と設計 MIPS Edition 第 6 版 上』</a> はコンピュータ・アーキテクチャの教科書です.<br> 2 名の著者パターソン&amp;ヘネシーの名前を取ってパタへネという愛称で知られています. ヘネパタという紛らわしい愛称が付けられている『コンピュータ・アーキテクチャ』はより上級者向けの内容です.</p> <p>本書はソフトウェアとハードウェアの境界付近についての本です. コンピュータの中核的な仕組みを説明し, プログラムを書く上でどうやってハードウェアを活用すればよいかという視点で語られます. コンピュータの中身を知りたい方におすすめです.</p> <h2 id="moore-の法則の終わり">Moore の法則の終わり</h2> <p>プロセッサは数百ものトランジスタが搭載された集積回路によって実現されている. トランジスタを始めとする半導体素子の材料になるのはシリコンという砂に含まれている物質だ. 円柱状のシリコン結晶を 0.1mm ほどに薄くスライスしたウェハ (wafer) を格子状にカットすると, 小さなチップができる.</p> <p>チップ一つ当たりのトランジスタ数が 2 年で倍増するという, Intel の創始者の一人である Gordon Moore の予想「Moore の法則」は 50 年間に渡って正しかった. しかしいつまでも指数的な成長が続くわけではない. 消費電力の増加とともに発熱が増え, ついには冷却性能の限界を迎えたのだ. ここに来てプロセッサ開発者は方針転換を余儀なくされた. 一つのプロセッサの性能が頭打ちとなったので, 一つの CPU に複数のプロセッサを搭載することにしたのである.<br> マルチコア CPU の性能を引き出すにはプログラムの努力が欠かせない. 現代は, ソフトウェアエンジニアもハードのことを考えなければならない時代なのである.</p> <h2 id="mips-について">MIPS について</h2> <p>本書で取り扱われる MIPS という命令セットは, 命令数を抑えシンプルさを重視して設計された. フォーマットが単純であれば規則性が保たれ, 回路の実装が容易となる. そして単純な回路は消費電力を抑えらる.<br> スマートフォンの時代 (ポスト PC 時代) において, 消費電力は命令セットの良し悪しを決める鍵となった. MIPS と同様の思想を持って設計された ARMv8 や RISC-V が脚光を浴びるのは自然な流れであった.</p>https://momori.dev/posts/csapp/Sun, 14 Aug 2022 00:00:00 +0000https://momori.dev/posts/csapp/<p><a href="https://www.maruzen-publishing.co.jp/item/?book_no=295109">『コンピュータ・システム プログラマの視点から』</a> はコンピュータ・サイエンスの教科書です.<br> コードを書いて, コンパイルして, プログラムを実行する一連の流れにおいて, コンピュータの中では実際のところ何が起きているのかを知りたい人のための本です.</p> <p>扱う範囲が幅広く</p> <ul> <li>CPU アーキテクチャ</li> <li>メモリ階層</li> <li>リンクの仕組み</li> <li>仮想メモリ</li> <li>並行プログラミング</li> </ul> <p>など, 盛り沢山な内容となっています.</p> <p>非常に分厚い本で 900 ページ近くあるのですが, これでも内容は絞られています.<br> 副題の「プログラマの視点から」というのは大事な指針です. 多岐に渡る本書の内容は, どれも「C 言語を書くときに知っておいたほうが良いかどうか」という基準で取捨選択されています.<br> 例えばアセンブラを学びますが, アセンブラを自力で書けるようになることは目的としていません. そうではなく, コンパイラが出力したアセンブラを読んで挙動を追ったり性能を最適化したりすることができるようになることが目的です.</p> <p>ほぼ全てのものが順を追って説明されるので前提となる知識は少ないです (大学のコンピュータ・サイエンス入門コースを元にした本らしい). 例えば CPU のパイプライン制御の章では「論理ゲートとは」というところから話が始まります.</p> <p>個人的には, これまで学んできたことが関連付けられたり補強されたり, 知識や理解を整理する良い機会となりました.<br> 以下印象に残った点をかいつまんでまとめます.</p> <h2 id="浮動小数点">浮動小数点</h2> <p>浮動小数点はなんとなく地味な存在だと思っていて, これまであまり深く考えたことがなかったのですが, 今更ながらよく考えられたフォーマットだなと思いました.<br> 昇順に並べた時ビットが符号なし整数と同じになる, 非正規化数から最小の正規化数まで等間隔に滑らかにつながると言う事実を知って驚きました. かつては仕様が乱立していた時代もあったそうですが, 今の形に落ち着いたのも納得です.</p> <p>実用的には小数と整数の変換で誤差が出るかどうか, 丸めがどのように行われるのかといったことは把握しておくと役に立つかもしれないと思いました.</p> <h2 id="アセンブリ">アセンブリ</h2> <p>C 言語がどのようにアセンブリに変換されるのかが説明されています. 例えば if は条件ジャンプを使って実現されることをなどを学びます.<br> このあたりは昔 <a href="https://momori-nakano.hashnode.dev/nand2tetris">『コンピュータシステムの理論と実装』で自力で考えたことがありました</a> が, 本書を先に読んでいれば楽だったかもしれないと思いました.</p> <p>多くは既知の内容でしたが, switch については認識を改めました. これまで if-else と同じようなものだろうと思っていたのですが, アセンブリのレベルで見ると実装方法が異なります. switch はジャンプテーブルを用いて対象の case に直接ジャンプするので効率が良いです. if-else の連続だとその回数分条件式が評価されますしね.<br> switch の case には定数しか書けないというような制約があったりして疑問に思っていたのですが, アセンブリを知れば納得です.</p>https://momori.dev/posts/nand2tetris/Sun, 18 Jul 2021 00:00:00 +0000https://momori.dev/posts/nand2tetris/<p>コンピュータを 0 から自分の手で作り上げるという意欲的な内容です. 論理ゲートから始まって高水準言語を実装し,その言語で OS を作成するという過程は旅という言葉がしっくりくるほど濃密なものでした.</p> <h2 id="内容">内容</h2> <p>コンピュータの構築を通じてコンピュータ・サイエンスにおける重要なテーマを学びます ( <a href="https://www.oreilly.co.jp/books/9784873117126/">出版社のサイト</a> ).</p> <ul> <li>ハードウェア (論理演算, CPU, メモリ)</li> <li>ハードとソフト全体が協調するシステムのアーキテクチャ</li> <li>プログラミング言語 (コンパイラ, オブジェクト指向)</li> <li>OS (メモリ管理, 数学/幾何アルゴリズム, I/O など)</li> <li>ソフトウェアエンジニアリング (モジュール化, テスト, API デザインなど)</li> </ul> <p>ハードウェア → ソフトウェアとボトムアップにコンピュータ構築を進めていきます. ハードウェア編では論理ゲートから始まって CPU とメモリを実装し, 最終的にノイマン型アーキテクチャのコンピュータを作り上げます. ソフトウェア編ではアセンブラ, バーチャルマシン, コンパイラと進んで高級言語を実装する過程がメインです. 最後に実装した高級言語で OS を作成します.</p> <p>自分の手で作るということが本書のテーマであり, 各章には説明と仕様だけがあり答えはありません. ハードウェアの設計にはハードウェア記述言語 (HDL) を用い, シミュレータで実行するので実際に電子部品を組み立てる必要はありません. ソフトウェア編で作成するコンパイラは自分の好みの言語で実装します.</p> <h2 id="感想">感想</h2> <p>ハードウェアの設計は初体験だったのですが, パズルを解くような感覚で楽しめました. 多少苦労した箇所もありましたが, ハードウェア編でかかった時間は各章 2 時間程度でした.</p> <p>それよりも遥かに苦戦したのはコンパイラの実装です. 今でこそ各章の内容が秩序立って理解できますが, 当初はそもそも何をすれば良いのかわからず, 何度も説明を読んだり試しに実装をしたりしてなんとか進めてきました. ソフトウェア編全体でかかった時間は 100 時間近いと思います. 本書に取り組んでいて迷ったときのコツですが, アセンブラとコンパイラは完成品が提供されているのでその挙動を見ると良いと思います. 私は最初コンパイラが何をすればよいのかさっぱりつかめなかったのですが, 提供されているコンパイラを実行して理解できました.</p> <p>大変な苦労はしましたが, 全体を通じて有意義な学びが多く取り組んで良かったと思っています. コンピュータの仕組みを実際に作りながら学びたいという方には非常におすすめです.</p> <h2 id="印象に残ったこと">印象に残ったこと</h2> <p>特に印象に残ったこと, 考えたことをまとめます.</p>