Gokrazy – Go 设备

原文 ↗ Hacker News 讨论 ↗

一种名为 Gokrazy 的极简操作系统，旨在把 Raspberry Pi 等设备变成单一用途的“设备”，方法是在 Linux 内核之上运行几乎完全基于 Go 的用户空间。评论者将其与 unikernels、Talos Linux、LinuxKit、u-root 以及 Elixir 的 Nerves 进行比较，强调其优势包括更小的攻击面、简洁的部署，以及相对于 C 更强的内存安全性。主要争议点在于 Go 的垃圾回收运行时是否适合低内存或对延迟敏感的环境，而一些真实案例表明，只要应用编写得当，它在适度硬件上表现良好。

对 gokrazy 的整体反应

  • 对“Go 设备”这一想法表现出强烈兴趣：在单一用途设备上使用一个极简 Linux 内核，加上几乎只用 Go 的用户空间。
  • 一些评论者认为这非常适合 Raspberry Pi 级别的硬件，也是做 Pi 项目的“正确方式”，尤其是在只运行一个应用程序时。
  • 也有人认为把这个概念紧紧绑定到 Go 是设计上的错误，更希望采用一种与语言无关的方案。

相关和类似项目

  • 多个评论将其与其他极简或专用的 OS/用户态方案进行比较：
    • Talos Linux 和 Bottlerocket OS（面向服务器/Kubernetes、以 Go 为主或基于 Go 的用户空间）。
    • LinuxKit、u-root（Go 用户空间 / 基于容器的极简系统）。
    • TinyGo 和 TamaGo（面向微控制器或裸机的 Go）。
    • Unikernels（OSv、NanoVMs/OPS）和 MirageOS，以及将 Android 作为“Java 用户空间”类比。
    • 面向嵌入式系统的 Elixir Nerves 框架（因 OTA 和蓝绿部署而被提及）。

内存占用、GC 与“低功耗”设备

  • 一方认为 Go 并不适合低内存/IoT 目标，理由是：
    • Go 的 GC 需要“很多” RAM，或者需要仔细调优（GOGC、GOMEMLIMIT、MADV_DONTNEED）。
    • 在内存压力下性能会急剧下降。
  • 其他人强烈反对，并举例称：
    • 很多生产环境的 Go 服务在 50–128MB 限制内运行良好。
    • 多个服务和数据库在 512MB–4GB 的服务器上运行时也没有 GC 问题。
    • 在 Raspberry Pi Zero 2 W（512MB）上成功使用 gokrazy 运行运动检测摄像头工作负载。
  • 讨论中提到 TinyGo 更适合真正的微控制器，但它被描述为 Go 的一种“方言”，语言/运行时支持被削减。

网络和性能

  • 有评论者声称 Go 的网络栈在丢包、高延迟链路上表现很差。
  • 其他人对此提出质疑，指出 Go 使用的是操作系统的网络栈，并报告了在适度内存预算下不错的真实吞吐量（每秒数千到数万次请求）。
  • 也有人报告即使在较老的单核 Pi 上也有不错的性能，不过 ARMv6 支持细节存在争议。

部署模型与安全性

  • 有人担心生产设备上会带着 Go 编译器。
  • 后文澄清说 gokrazy 是在别处（例如 PC/CI）构建镜像并部署；目标设备上并不包含 Go 工具链。
  • 与“轻量 Linux + SSH + Ansible”相比，gokrazy 被认为更为极简，不过它仍然依赖 Linux 内核。

使用场景与吸引力

  • 对“单进程机器”很有吸引力，攻击面极小；有人认为这与容器密集型部署形成对比。
  • 有人有兴趣将 gokrazy 用于个人/家庭项目、服务器和设备；一些人认为真正困难的不是概念，而是执行和长期维护。