セキュリティキャンプ2017用の特設ページ
セキュアなCPUを自作しよう！〜OSECPU-VMゼミ〜 の基本情報
- 時間帯： 3日間連続
- 概要：
- 講義「セキュアなCPUを自作しよう」では、2つのゼミがあります。
- ひとつは「OSECPU-VMゼミ」で、OSECPU-VMをFPGAに移植します。（このページで説明します。）
- もうひとつは「オリジナルCPUゼミ」で、自分で設計したCPUをFPGA上に実装します。（今岡さんが担当します。このページでは説明しません。）
- 必要機材： PCのみ
- FPGAボードは事前学習時に配布する予定です。キャンプ当日も忘れずに持ってきてください！
- PCに関しては、Quartus Prime Lite Edition v16.1 が動作するスペックのものが必要です。不安な方は、事前に以下のリンクから動作要件を確認しておいてください。
- http://dl.altera.com/requirements/16.1/
- OSはWindowsもしくはLinuxであれば問題ありませんが、Macの方は仮想マシン上のLinuxにインストールする必要がありますので、注意してください。
- 事前学習： あり
- このゼミは、事前学習を非常に重視しています。
- というのも、キャンプ当日の3日間だけでは、とてもCPUを移植するには時間が足りないからです。
- 事前学習では、一般的なCPUを構成する各回路の設計を学んでから、OSECPUの基本的な実装までを終わらせる予定でいます。
- ですから、事前学習に十分に時間を割ける自信があり、かつ十分なやる気がある人を募集します。
- キャンプ当日は、実装済みのOSECPUで自作のアプリを走らせたり、機能追加などの改造を行いたいと思います。
(0)そもそもOSECPU-VMとは？
- OSECPU-VMは、圧倒的なバイトコード密度と、セキュリティを考慮した設計が特徴の仮想マシンです。
- 「30日でできる！OS自作入門」で有名な川合秀実氏（通称Kさん）が設計・開発しました。
- ここOSECPU-Wikiは、その名の通り、OSECPUの情報がまとまったWikiです。
- しかし、ほとんどの情報は古くなってしまっているので、ここで2017年現在の最新情報をまとめます。とにかくまずはこのページを読んで下さい。
圧倒的なバイトコード密度
- HelloWorldというプログラムを書いたことはありますか？そうです。入門書でよく出てくる、あれです。
- みなさんは、HelloWorldのプログラムをどれだけ小さくできると思いますか？
- ちなみに何も考えずにCで書いてMacでコンパイルしたら8KB程度でした。
- たぶん、"Hello, world"で12文字だから、12バイトよりは大きいでしょう。
- 大抵のみなさんは、小さくても100バイト程度かな、と思うでしょう。
- 100バイトにするのだって非常に困難です。
- ちなみに、Linux(x86)では、58バイトで実現できるようです。
- ここで、OSECPU-VMの場合を見てみましょう。
- 「いやいや、きっと文字列表示に特化したCPUなんだろう。他の作業は苦手に違いない。」
- そんなことはありません！
- マンデルブロ集合：49バイト
- インベーダーゲーム：430バイト
- ちなみに他のOSでは：はりぼてOS: 1509バイト, win32: 2560バイト
- もっと例を知りたいひとは、page0103を読むと良いでしょう。
- ちなみに、マンデルブロ集合のプログラムは表示されるまですごく長い時間がかかります！
- 試す際は辛抱強く待ちましょう。
なぜこんなに高密度なアプリが書けるのか
- それは、コード体系を多層化し、フロントエンドコードではサイズだけを重視したからです。
- OSECPU-VMのバイナリには、バックエンドコードとフロントエンドコードの2種類があります。
- フロントエンドコードは、サイズをとにかく重視した設計になっています。
- 可変長の命令体系なのはもちろん、よく使う整数や命令は短く表現できるようになっています。
- hh4エンコードの説明: page0106
- フロントエンドコードの説明: page0107
- バックエンドコードは、シンプルさを追求した設計になっています。
OSECPUとセキュリティ
(1)背景情報
このゼミの講師について
- このゼミの講師はhikaliumです。OSECPU-VMを開発したKさん（川合秀実氏）ではありません！
- えー、そんな人から教わっても面白くないよ！と思った方。少し待ってください。
- Kさんはキャンプで別のゼミを担当していらっしゃいます（言語自作ゼミ）。もし会いたいのなら、キャンプに来れば会えます！
- OSECPU-VMの話も、聞けば色々と教えていただけるはずです。
- 私、hikaliumは、hikarupspという名前で、このWikiに2013年からいます。
- OSECPU-VMのJavaScript移植版 WebCPU-VM を開発しました。
- OSECPU-VM向けのC言語風独自言語 ELCHNOS も開発しました。
- OSECPU-VMのC言語実装をより読みやすくした HeavyOSECPU も開発しました(ttwilbさんと共同開発)。
- というわけで、私はOSECPU-VMのことを、Kさんの次くらいによく知っていると自負しています！
- なのでみなさん、OSECPU-VMのことで分からないことがあったらなんでも聞いてください。すぐに答えます。
- また、FPGAの実装に関しては、私以外にも今岡さんがサポートしてくださいます。
- というわけで、受講するみなさんは、サポート体制に関して不安に思う必要は特にありません。
- いちばん大事なのは、「OSECPUをFPGAに移植したい！」という熱意です！
OSECPU-VMとセキュリティ・キャンプについて
過去の特集ページは以下のとおりです。（かなり情報が古くなってしまったので参考程度に。）
(2)キャンプでは何をするのか
- このゼミの目標はただ一つ。「OSECPU-VMをFPGAに移植する！」
- つまり「OSECPU」をつくる！ということです。（もはやVMではない！）
- なお、事前学習の比率がそれなりに大きいことだけは覚悟してください。
事前学習ですること
- 事前学習では、まずFPGAに慣れるために、かんたんな組み合わせ回路や順序回路を構成するところから始めます。
- 次に、CPUを構成する上で必要となる各回路（命令デコーダ、ALU、レジスタ）の構成方法を学びます。
- 事前学習の終わりには、こちらの用意したFPGA版OSECPUを実際にFPGAに書き込んで実行してもらいます。
キャンプ当日にすること
- キャンプ本番では、みなさんが自分の手で書き込んだFPGA版OSECPUを用いて、好きなように遊んでください。
(3)セキュリティの話は？
- OSECPU-VMはセキュリティを非常に重視した設計になっています。それを命令セットを通して学んでもらえれば十分です。
- こんな脆弱性があるよ！とか、ここはもっとこうした方がいいのでは？という意見も大歓迎です。ぜひ、自分の手でOSECPUを改造して組み込んでみてください！
- ただし、この講義は「ものづくりトラック」の一部ですから、セキュリティよりも「ものづくり」を重視しています。
- なので、セキュリティなんてわからないけれどCPUを作りたいんだ！という学生でも全くかまいません！
(4)どんな学生に受講してほしいのか
- 一生に1度くらいはCPUを作りたいと思っていた学生
- 事前学習に時間が取れる学生
- 試験期間（の前後）や修学旅行などの時期は事前学習を完全にお休みしていただいて構いませんが、それ以外は1週間あたり5時間くらいは事前学習に費やしてほしいです。ですからたくさんの塾を掛け持ちしていて忙しくてたまらない、アルバイトが大変すぎる、部活動が大変すぎて時間がない、という人は、申し訳ありませんが他の講義を選択してください。
- 手持ちのPCがない人は残念ながら事前学習に取り組めないため、この講義には参加できません。ごめんなさい。また、この講義で使用するソフトウエアはそれなりにCPUパワーとメモリ容量を要求します。ですから、自分のPCの性能に不安がある方は再検討をおすすめします。
- 優秀な学生じゃないとだめですか？
- もちろん優秀な学生は大歓迎ですが、まだ技術が足りないなあ…と感じている方にもぜひ参加していただきたいです。もしかすると、初心者だからこそ気付けるバグや直したい点がみつかるかもしれませんよ。もちろん、初心者だからといって、こちらも特別扱いはできませんが、自分で解決していける意欲がある方なら誰でも歓迎します！
こめんと欄
![[PukiWiki]](image/pukiwiki.png "[PukiWiki]")
