クラウド向け新OS「FTL」に海外エンジニアが沸く

姉妹サイトの新着

Vercelのエンジニアが公開したクラウド向けの新しいOS「FTL」が、Hacker Newsで注目を集めた。コンテナ実行に必要なカーネル機能を絞り込んだ設計で、スレではマイクロカーネルかユニカーネルかという議論から始まり、最終的に「エクソカーネル」という分類に落ち着いた。gVisorやUnikraft、MirageOS、GoogleのZirconとの比較も交わされ、RustではなくC/C++で新規プロジェクトを始めることへの説明責任を問う声も上がった。合間には、リーナス・トーバルズが1991年にLinuxを発表した際の有名な投稿を引いたジョークも挟まり、技術論と軽口が入り混じるスレになった。

FTL:クラウド向けの新しいオペレーティングシステム

出典: github.com / 元記事はこちら

2 海外の名無しさん 2026-10-03 18:05
自分はエージェントにアプリ用とハードウェア用のアセンブリを生成させて、そのまま直接起動してるよ。
3 海外の名無しさん 2026-10-03 15:45
これって単なる趣味で、GNUみたいに大きくプロフェッショナルになる予定はないの?
20 海外の名無しさん 2026-10-03 17:38
80386でしか動かないよ。手元にあるのがそれしかないから。
21 海外の名無しさん 2026-10-03 16:35
さあ急いで、作者がビール片手に上半身裸で写ってる写真が消される前に探しておこう。
22 海外の名無しさん 2026-10-03 15:59
今の若い子たちはこの元ネタ、わからないだろうね。
5 海外の名無しさん 2026-10-03 18:21
トップページの図、なんでレイアウトが崩れてるの?
6 海外の名無しさん 2026-10-03 16:50
FTLって見て「new」って書いてあったから期待したのに、残念ながらあのゲームじゃなかった。
23 海外の名無しさん 2026-10-03 17:31
見出しを最後まで読み切る前に、頭の中であの曲が流れ始めた。
7 海外の名無しさん 2026-10-03 17:40
これは実際面白いね。大半のコンテナは独立したカーネルを本当には必要としていないから。もちろんこれは、コンテナを事実上chroot jailに近づけることになるけど(それはいいことだ)、一部の権限は削られる形になる。
8 海外の名無しさん 2026-10-03 17:53
作者はこの人:https://seiya.me — Vercelで働いてるみたいで、かなり本格的っぽい。
9 海外の名無しさん 2026-10-03 15:05
FTL v0.1.0がリリースされたところ。非同期Rustのサポート(マルチスレッドTokioランタイム)と、Linux互換レイヤーの不足部分がたくさん追加されてる。(自分のプロジェクトじゃないよ)
10 海外の名無しさん 2026-10-03 15:53
UnikraftよりむしろgVisorに近い感じ?もう少し速いインターセプトパスがあるくらいで。
24 海外の名無しさん 2026-10-03 16:08
自分も最初そう思った。関連する先行研究についてのFAQがちゃんとあれば採用は増えると思う。読者(人間でもAIでも)に調べさせるんじゃなくて。
11 海外の名無しさん 2026-10-03 16:12
つまりマイクロカーネル…的な感じ?それでLinuxのプログラムを動かして、自分のサイトを配信できるくらいの機能はある。いいね、流行ってほしい。
12 海外の名無しさん 2026-10-03 17:56
カーネルの設計の一部がZirconを思い出させる(ハンドル指向のオブジェクト、VMOとか)。でも線を引く場所がいろいろ違う(カーネルはスレッドは知ってるけどプロセスは知らない、ネットワーキングはもう少し高レベルで扱ってるかも)。
13 海外の名無しさん 2026-10-03 16:47
Rustで書かれてるのに、サイトにはそう書いてない。あの「Rustで書きました」アピールの時代はもう終わったんだな。
26 海外の名無しさん 2026-10-03 17:01
今は逆に、なんでRustで書かなかったのって聞かれる時代になったよ。
34 海外の名無しさん 2026-10-03 17:23
しかも今はプロンプトでそう頼むだけでできちゃうからね。
35 海外の名無しさん 2026-10-03 17:41
C言語やC++で新しいプロジェクトを始めるなら、もう相応の理由が要る時代だよね。少なくとも企業の現場では。
14 海外の名無しさん 2026-10-03 18:01
これってopenbalenaとはどう違うの?
15 海外の名無しさん 2026-10-03 18:00
MirageOSも「ライブラリとしてのOS」を名乗ってるけど、これと似てる?https://mirage.io/
27 海外の名無しさん 2026-10-03 18:17
似てる部分もあるけど、これはMirageと違ってカーネルとユーザーの分離がまだある。これは古典的なエクソカーネル設計そのものだね。

他サイトの新着

16 海外の名無しさん 2026-10-03 16:11
legacyの肥大化が無くて、デフォルトでもっとメモリセーフな新しいOSを見てみる時期かもね。ちょうど今、KVMの0dayでVMエスケープの脆弱性が出てるところだし。[0]
[0] https://x.com/PaulosYibelo/status/2106378929158135903
17 海外の名無しさん 2026-10-03 15:50
これってユニカーネル?ASCIIアートの図が崩れてるよ。
28 海外の名無しさん 2026-10-03 18:18
エクソカーネルだよ。ハイパーバイザーを、普通のVMじゃなくユニカーネルを動かすために改造したようなものだと思えばいい。
29 海外の名無しさん 2026-10-03 17:08
ちなみにiOSのBraveだと図は正常に表示されてるよ。
18 海外の名無しさん 2026-10-03 16:40
いいものだね!
32 海外の名無しさん 2026-10-03 17:57
みんな気づくと思うよ。当時その場で見てなかった世代にも、かなり有名な引用だから。
33 海外の名無しさん 2026-10-03 18:06
そのコメントのおかげで、あなたがネタを分かってるってことは全員に伝わったよ、それが要点だから!それに、そのコメントのおかげで知らなかった人たちもおそらく気づくと思う、それがもっと渋いポイントだね!
36 海外の名無しさん 2026-10-03 18:14
形式検証済みのCが、ある程度クリティカルなソフトウェアの標準になると思ってる。プログラムの等価性証明をこんなに簡単に量産できるようになったのは驚きだよ…

この話題の背景と論点

FTLは、コンテナ実行に必要な最小限のカーネル機能だけをホスト側に残し、残りの処理をゲスト側に委ねる「エクソカーネル」という設計思想を採るOSで、1990年代にMITなどで研究された古い概念の延長にある。Linuxカーネル全体を仮想化するgVisorや、アプリとOSを一体化してビルドするユニカーネル(MirageOSなど)とは、カーネルとユーザー空間の分離を残す点で異なる。スレで繰り返し引かれた「趣味で、GNUのように大きくプロフェッショナルになる予定はない」という一文は、リーナス・トーバルズが1991年にLinuxを発表したUsenet投稿そのもので、新しいOSが出るたびにファンの間で引用される定番の冗句になっている。#16で触れられたKVMの脆弱性情報は、既存の仮想化基盤への不安を背景に新設計OSへの関心を後押しする文脈で挙げられたもので、FTL自体の欠陥を指すものではない。

※本記事は5ch(Hacker News)スレッド「FTL: A new operating system for clouds」より抜粋・要約して構成しています。

この記事のリアクション

他サイトの新着

まだコメントはありません。

コメントする

誹謗中傷・個人を特定する書き込みは削除対象です。投稿は承認後に表示されます。

相互リンクサイト新着記事