FTL 让你把操作系统当作一个库来构建。这种用户态 OS 设计使添加功能、调试和升级系统都像编写应用一样简单安全。FTL 内核通过基于轻量级硬件隔离(用户模式)的类 hypervisor 接口隔离容器,也就是用户态 OS 实例,其隔离效果优于现有的单体内核,且不必依赖裸金属机器。FTL 兼容 Linux 二进制,比如为这个网站提供服务的 Rust HTTP 服务器就运行在 FTL 上。
正文
什么是 FTL?
- 你可以把操作系统当作库来构建。这种用户态操作系统的设计,让你能像写应用程序一样轻松添加功能、调试和安全升级系统。
- FTL 内核比现有的宏内核更能隔离容器(即用户态操作系统实例),它基于轻量级硬件隔离(用户模式)提供了类 hypervisor 的接口,因此你不需要裸金属机器。
- FTL 兼容 Linux 二进制文件。例如,本网站这个基于 Rust 的 HTTP 服务器就是运行在 FTL 上的 Linux 应用。你也可以运行类 Unikernel 的专用应用,而不需要 POSIX 抽象。
工作原理
每个容器运行一个用户态操作系统,它是一个共享库,实现了大部分操作系统概念,如 Linux 进程、VFS 和 TCP/IP。FTL 内核提供极简接口,让用户在用户态实现 Linux 系统调用,就像 hypervisor 那样。
FTL 结合了微内核(灵活且安全)与宏内核(高性能和简单)的优点,目标是让轻量级容器具备虚拟机般的安全性,并在不牺牲性能的前提下为应用解锁新的操作系统级能力。在 FTL 中,容器内的用户态操作系统(包含进程、VFS、TCP 等)通过极简接口对接下方的 FTL 内核(提供 vCPU、内存、驱动等);而 Linux 中应用进程直接运行在提供进程管理、fork/exec、内存、信号、TCP/IP、/proc、/dev、驱动等丰富接口的 Linux 内核上。
用户态操作系统的设计还让你无需内核或 eBPF 编程,就能扩展大部分 Linux 内核功能。你可以快速安全地添加调试输出、应用安全更新和新功能。阅读更多。
开发路线
- 2026 年 9 月:在 FTL 上运行简单的 Linux HTTP 服务器(已在 v0.0.1 发布 ✅)
- 2026 年 10 月:支持异步 Rust 应用——Linux 线程、epoll 等(已在 v0.1.0 发布 ✅)
- 2026 年 11 月:文件系统
- 2026 年 12 月:支持 Node.js / Go
- 2027 年 1 月:SMP、容器镜像、64 位 Arm 支持
相关链接
评论
社区对这款新发布的云操作系统 FTL 主要抱以技术探问与定位辨析,少数人表达看好或调侃。
认为项目类似微内核或 gVisor 等隔离方案
- 部分读者从其能运行 Linux 程序推断它近乎微内核,并认为与 gVisor 更相似且可能拦截更快,同时有人疑问是否为 unikernel 或类似 MirageOS 的库操作系统(少数人)
看好内存安全且精简的新操作系统方向
- 借近期 KVM 漏洞与虚拟机逃逸事件,有读者认为应转向默认内存安全、无历史包袱的新系统,本项目契合该趋势(少数人)
认为该项目让容器更贴近受限 chroot 是进步
- 有观点指出多数容器本不需独立内核,此项目将容器推近带能力限制的 chroot 隔离,反而是正向简化(少数人)
质疑项目规模、架构目标与官网呈现
- 有人玩笑式反问是否仅为爱好难成专业系统,也有开发者深究“云 OS”究竟依托虚拟化还是原生硬件、微内核能否复刻 Linux 全部功能,显露出对路线图的困惑;另有读者想要 Unix 兼容最小权限系统但怀疑非此项目(较多人) > 这项目只是爱好吧,不会像 GNU 那样大型专业?(@drybjed)
- 多名读者发现主页文本架构图错乱未对齐,影响第一印象(较多人)
对作者背景与当前成果表示鼓励
- 有人注意到作者任职知名云厂商因而觉靠谱,并欣慰项目已能跑 Linux 程序自托管网站,希望发展壮大(较多人)
有价值的补充
- 内核设计部分让人想起 Zircon 的句柄导向对象与虚拟内存对象,但边界不同:内核知线程不知进程,句柄可能管更高层网络(@raggi)