Recommended
More Related Content
Similar to Compile Time Type Level C Compiler (this may indicate out of memory)
Similar to Compile Time Type Level C Compiler (this may indicate out of memory) (7)
Recently uploaded
Recently uploaded (7)
Compile Time Type Level C Compiler (this may indicate out of memory)
- 1. Type-level C Compiler (THIS MAY INDICATE OUT OF MEMORY) eliza0x (現代魔術研究会)
- 2. こんにちはこんにちは！ ● 大阪工業大学 コンピュータ科学科(も う無くなったんでしたね) B4 ● プログラミング言語が好きです ● TOEIC300点プレイヤーです ○ 最近勉強をはじめたので、とりあえず中学 英文法レベルなら分かるようになりました ● 卒研では画像から特徴量を抽出する 回路を設計しています ● 今日は超ニッチなネタなのでウケるか ちょっと不安です
- 3. Type-level C Compiler (THIS MAY INDICATE OUT OF MEMORY) 再掲
- 4. プログラミングの計算能力 ● あるプログラミング言語Aとあるプログラミング言語Bの計算能力が同じであること を示したい時、どうすればいいと思いますか？ ● AでBを実装できると、A >= Bであることがわかる。 ● BでAを実装できると、A <= Bであることがわかる。 ● そのどちらも可能である場合、A == Bであることがわかる。
- 5. チューリング完全 ● チューリング・マシン ○ 無限の長さのテープとその上を行き来す るヘッドを持っている仮想的な機械で、 ヘッドがテープから読み取ったデータと今 持っている状態に応じてヘッドを動作させ る ○ アラン・チューリングが考案 ● C言語など、一般的なプログラミング 言語はチューリングマシンと同じ計算 能力を持っていることが証明されてい ます。 引用: https://en.wikipedia.org/wiki/Turing_machine#/medi a/File:Model_of_a_Turing_machine.jpg
- 6. Esolangs ● Esolang: 難解プログラミング言語 ● 理論の美しさを第一に考えて設計されていたり ● 難解になるように設定されていたり
- 7. Brainfuck チューリングマシンみたいな難解言語 1. > ポインタをインクリメントする。ポインタをptrとすると、C言語の「ptr++;」に相当する。 2. < ポインタをデクリメントする。C言語の「ptr--;」に相当。 3. + ポインタが指す値をインクリメントする。C言語の「(*ptr)++;」に相当。 4. - ポインタが指す値をデクリメントする。C言語の「(*ptr)--;」に相当。 5. . ポインタが指す値を出力に書き出す。C言語の「putchar(*ptr);」に相当。 6. , 入力から1バイト読み込んで、ポインタが指す先に代入する。C言語の「*ptr=getchar();」に相当。 7. [ ポインタが指す値が0なら、対応する ] の直後にジャンプする。C言語の「while(*ptr){」に相当。 8. ] ポインタが指す値が0でないなら、対応する[ （の直後）にジャンプする。C言語の「}」に相当 wikipedia brainfuckより引用: https://ja.wikipedia.org/wiki/Brainfuck +++++++++[>++++++++>+++++++++++>+++>+<<<<-]>.>++.+++++++..+++. >+++++.<<+++++++++++++++.>.+++.------.--------.>+.>+.
- 10. うっかりチューリング完全になったものたち ● Rule 110のセル・オートマトン ● Magic: The Gathering (Arxivに論文があるみたいです ● HTML5 + CSS ● スーパーマリオメーカー ● Minecraft ○ レッドストーン回路は計算機を作るのに夢中になったことがあるのは僕だけじゃないはず :) ● 繰り返しますが、これらは一般的なプログラミング言語と同じだけの計算能力を 持っているということです ○ (理論上は、実際はメモリや盤面、カード枚数などの制約がある )
- 13. 作るもの 1. 型レベルCPU 2. C Compiler
- 14. 型レベルCPU
- 15. 型システム ● 雑に言うと1 + ‘A’をするとエラーを出してくれるやつです
- 16. 型システム ● 『正しく型付けされた項はおかしくならない』ことを示すためのものです。 ○ 単純型付きラムダ計算は、型がつくならば必ず有限ステップで停止することを証明することが出来 る ○ ⇔ループが書けない ○ それは不便すぎるのでできるだけ安全なまま制約を緩めたシステムが開発されてきた (再帰型付 け、部分型付け等) ● 今日は型システムを使っておかしなことをします
- 17. type family: 型族 ● Haskell(GHC)にはtype familyといって、平たく言うと型レベルの関数を定義するた めの機能があります ● 関数として見ると ○ 高階関数は使えない ○ なんかいろいろ演算のための機能が足りない (プリミティブを組み合わせて表現した ) ○ 変数が定義できない ○ 型システムが無い(一応kindと言って型の型みたいなのはある )
- 18. はじめにCPUを定義します ● 型レベルでしか存在しないCPUです(つまり幽霊型です。) ○ 入力用のバッファと出力用のバッファ (自然数のリスト) ○ メモリ(二分木, 平衡を実装していないので実質リスト ) ○ プログラムカウンタ(pc) ○ レジスタ(a-d, sp, bp) ● これに操作を加えるいくつかの演算を定義します ● レジスタ長は24bitです
- 21. C Compiler
- 23. コンパイラ基盤 ● コンパイラは以下の２つで構成される ○ フロントエンド(ソースコードを解釈する） ○ バックエンド（解釈したデータから目標物を生成する） ● フロントエンドとバックエンドの間はIR(中間表現)を使ってやり取りする ● x86, arm向けのCコンパイラを作りたい場合フロントエンドは使い回せる ● 有名なバックエンドにLLVMが存在する(clang等に使われている) ● ただ、今回の目的にLLVMはリッチすぎる(中間表現が複雑)
- 24. ELVM ● LLVMインスパイアのプロジェクト、LLVMより圧倒的にシンプル ● Esoteric Language Virtual Machineの略(難解言語用VM) ● 8ccというコンパクトなCコンパイラを改造して出来ている ● ELVMを使うとCのプログラムを比較的簡単に別の言語に変換できる ○ 8cc: C source code -> EIR(ELVMの中間表現) ○ elc: EIR -> target(目的のプログラム、今回は Haskell) ● BrainfuckやBefunge、Pietなど向けのバックエンドが存在する。
- 25. ELVM IR ● 2operandのシンプルな命令セット ○ シンプルと言う割には多いような ……(ちょっとめんどくさかった ) ● レジスタはA, B, C, D, SP, BP ● 算術: Add, Sub ● 比較: Eq, Ne, Lt, Le, Gt, Ge ● ジャンプ: Jmp, Jeq, Jne, Jlt, Jle, Jgt, Jge ● コピー: Mov ● メモリアクセス: Load, Store ● 入出力: putc, getc
- 27. 実行例
- 28. FizzBuzz: コンパイル ● 1から100までの数値でFizz Buzzするプログラムを作成 ● 8ccでC source→EIRに変換(ELVMに付属) ● elcでEIR→Haskellの型レベル命令列に変換(今回作成)
- 30. Fizz Buzz: 実行 ● 型レベルCPUで実行
- 31. THIS MAY INDICATE OUT OF MEMORY
- 32. 突然のOOM Killer ● なにがダメだったか ● Fizz Buzz実行に20G積んであるメモリがすべて食い尽くされた ● 一応7までの数値でFizz Buzzは動いた ● ELVMの出力するコードは最適化等が一切されていないため、かなり効率が悪い ○ そのうえ可読性が地獄、めちゃめちゃつらい
- 33. 結論 ● ELVMのtype level haskell backendでCコンパイラもコンパイル出来た ● つまり理論上はHaskellの型システムの上でCコンパイラが動く ● 現実的には無限にメモリが無いとしんどい ○ 1から8までのFizz Buzzで20G必要だった ○ 現状20Gのメモリだと7000命令ぐらいでメモリを食いつぶす ● 気が向けばチューニングしてみます(もしかしたらメモリを大幅に節約できるかも) ● GHC(Haskellのコンパイラ)見に行かないとダメかな……？
- 35. 追記: 改良策 ● GCが無いのが悪いのでメモリが開放されるタイミングを考える ● →コンパイル終了時のみ ● type-level cpuはCPU以外で状態を持たない ● →ある程度計算するとCPUの状態をダンプして、CPUだけ途中からの状態ではじ めからコンパイルすると良いのでは？ ● →プログラムから生成されたプログラムがプログラムを生成する事態に