Unikernelと和解せよ

UNIKERNELと和解せよ Takaya Saeki (@nullpo_head) Kernel/VM 探検隊 online part 5
@nullpo_head 1 2022/08/27

@nullpo_head 仮想化周りとかOSとかよくやってます過去の発表とか • KVM vs HVF (AHF) vs HAXM
– vmm食べ比べ – • カーネル空間ですべてのプロセスを動かすには • WebAssemblyのWeb以外のことぜんぶ話す • SystemdのWSLディストロを作る • デバッガと和解せよ

注：この発表は一発ギャグです 3

Unikernel作るの、腰が重くない？ 4

5 Unikernelは少し面倒で気軽に使えない Unikernel への移植が面倒 APIを忘れるその他 Unikernelをやるのが面倒な理由（発表者脳内調べ） POSIX互換
だっけ？独自ハイパーコル? Linux APIから unikernelのAPIへ移植したくない

Unikernelを気軽に使いたい！！！！ 6 Key technology • UKL

UKLというのがあるそうです 9

• ざっくり言って普通のLinuxアプリを Linuxカーネルに静的リンクしてくれる Unikernelの研究 • 理論上普通のLinuxアプリがコンパイルするだけでUnikernelに！ • https://github.com/unikernelLinux/ukl 10
UKL

UKLとリンクしてRustプログラムを Unikernelにするtargetがあったら面白いのでは？ 11

ビルドしたらUnikernelとしてQemuで動いたら嬉しい！！ 13 やりたい

• カーネル向けのCFLAGSでビルドするcustom target “x86_64-uknown-linux-ukl” を作成 • Rustでlibcを差し替えるのは難しい？(rustcの forkが必要？)ので、staticlibを作る • Staticlibを呼ぶCのトランポリンを作る
理想的にはカスタムターゲット向けにビルドするだけでunikernelになってほしいが、難しそうなので `cargo ukl`コマンドとして実現する 14 UKLでRustプログラムをビルドする

ビルドしたらUnikernelとしてQemuで動いたら嬉しい！！ ➡ 動いて嬉しい！！ 15 作った

デモ 17

Unikernelと和解せよ

Unikernelと和解せよ

Takaya Saeki

More Decks by Takaya Saeki

Other Decks in Technology

Featured

Transcript