Unikernelと和解せよ

kernel/vm探検隊東京第16回の発表です

Transcript

1. UNIKERNELと 和解せよ Takaya Saeki (@nullpo_head) Kernel/VM 探検隊 online part 5 @nullpo_head 1 2022/08/27
2. @nullpo_head 仮想化周りとかOSとかよくやってます 過去の発表とか • KVM vs HVF (AHF) vs HAXM – vmm食べ比べ – • カーネル空間ですべてのプロセスを動かすには • WebAssemblyのWeb以外のことぜんぶ話す • SystemdのWSLディストロを作る • デバッガと和解せよ
3. 注：この発表は 一発ギャグです 3
4. Unikernel作るの、 腰 が 重 く な い ？ 4
5. 5 Unikernelは少し面倒で気軽に使えない Unikernel への移植が 面倒 APIを 忘れる その他 Unikernelをやるのが面倒な理由（発表者脳内調べ） POSIX互換 だっけ？ 独自 ハイパーコル? Linux APIから unikernelのAPIへ 移植したくない
6. Unikernelを気軽に 使いたい！！！！ 6 Key technology • UKL
7. UKLというのがあるそうです 9
8. • ざっくり言って普通のLinuxアプリを Linuxカーネルに静的リンクしてくれる Unikernelの研究 • 理論上普通のLinuxアプリがコンパイル するだけでUnikernelに！ • https://github.com/unikernelLinux/ukl 10 UKL
9. UKLとリンクしてRustプログラムを Unikernelにするtargetが あったら面白いのでは？ 11
10. ビルドしたらUnikernelとしてQemuで動いたら嬉しい！！ 13 やりたい
11. • カーネル向けのCFLAGSでビルドするcustom target “x86_64-uknown-linux-ukl” を作成 • Rustでlibcを差し替えるのは難しい？(rustcの forkが必要？)ので、staticlibを作る • Staticlibを呼ぶCのトランポリンを作る 理想的にはカスタムターゲット向けにビルド するだけでunikernelになってほしいが、 難しそうなので `cargo ukl`コマンドとして実現する 14 UKLでRustプログラムをビルドする
12. ビルドしたらUnikernelとしてQemuで動いたら嬉しい！！ ➡ 動いて嬉しい！！ 15 作った
13. デモ 17