22. gVisor（LinuxユーザプログラムとしてLinuxカーネルを実装したサンドボックス）とNoahの話 (ぬるぽへ)

gVisorというLinux向けサンドボックスがオープンソース化されました。gVisorの構成は、ぬるぽへさんが作成していたNoahとかなりよく似ています。そこで、ぬるぽへさんからNoahの経験をもとにgVisorの話を伺いました。 出演者: ぬるぽへ ( @nullpo_head )、Rui Ueyama ( @rui314 ) ハッシュタグは です。 TCFMはサポーターの投げ銭によって収益を上げています。このコンテンツに課金してもいいよという方はぜひ クリエイター支援サイトPatreon から登録してご協力ください。 イントロ (0:00) NoahはLinux互換環境を提供する薄いVM環境 (1:38) NoahでもgVisorでもないサンドボックス環境の例 (2:40) Noahをサンドボックスにするアイデアはあった (4:51) gVisorはGoogleのクラウドで数年間使われている実績のあるもの (5:37) gVisorがlldでリンクできなかった問題 (6:36) -mcmodel={medium,large} (7:05) gVisorがうっかりlibcをリンクしていた (9:24) gVisorはNoahに似ている (11:53) gVisorは複数プロセスを持つことができる (12:55) gVisorはLinuxカーネルをGoで実装したもの (15:16) gVisorはTCP/IPプロトコルスタックを自前で実装 (19:54) TCP/IPはなぜカーネルに実装されているのか (26:52) Go Genericsパッケージ (28:28) C11の型でディスパッチするマクロ (30:02) C言語の正しいgoto文の使い方 (32:12) C言語にテンプレートを入れてほしい (34:15) コンテナはサンドボックスなのか (37:34) 起動の速いVMの研究 (40:32) プロセスイメージのダンプ・アンダンプをgVisor/Noahでできないか (41:54) ダンプ・アンダンプはLispの伝統的テクニック (45:45) gVisorはptraceも実装 (51:51) VDSO (53:58) ソフトウェアでVMを実装するほうがハードウェアより速いことがよくある (56:56) Intel EPT (nested pages)は性能上のメリットがある (1:00:42) Shadow page table (1:02:55) スタンフォードのコンピュータサイエンスの古典の論文を読む授業 (1:07:10) IBM System/360とパーソナルコンピュータ (1:09:43) NFS v1の論文 (1:13:23) 因果律を満たす限り非同期に書き込む同期ファイルシステムの研究 (1:14:57) 投機的ファイル読み込みとプロセス状態のロールバックを行うカーネルの研究 (1:21:21) Ken Thompsonがコンパイラに埋め込んだハック (1:26:09) ビルド環境では再現可能性が重要 (1:32:54) エンディング (1:35:54) gVisor Noah lld Understanding the x64 code models My VM is Lighter (and Safer) than your Container (PDF) CRIU — プロセスのチェックポインティングを行うツール CS240（Stanfordの授業） NFSの論文 (PDF) VMwareによるソフトウェアとハードウェアの仮想マシン実装の比較の論文 (PDF) Rethink the sync（因果律を満たすファイルシステムの実装の論文） (PDF) Reflections on Trusting Trust （Ken Thompsonのチューリング賞授賞式で発表した内容のペーパー） (PDF)

You can listen to 22. gVisor（LinuxユーザプログラムとしてLinuxカーネルを実装したサンドボックス）とNoahの話 (ぬるぽへ) online on Radio and Podcast. Open the player on this page to stream the available audio.

22. gVisor（LinuxユーザプログラムとしてLinuxカーネルを実装したサンドボックス）とNoahの話 (ぬるぽへ) is an episode from Turing Complete FM by Rui Ueyama.

This episode is 1:38:53 long.

This episode was published on Jun 11, 2018.

Yes. Use the heart button on the episode page to add it to your favorite episodes list.

Yes. This page shows related episodes from Turing Complete FM when more episodes are available from the podcast feed.