What STRRL Known

Go / Rust / 系统编程 参考合集

7 min read

Go / Rust / 系统编程 参考合集（2026-W10）

本合集整理了 7 篇关于 Go、Rust、Swift 并发以及系统编程的参考资料，涵盖工具链、并发原语、内存安全语言探索等主题。

ZZ-104 | Go sync.Map：该用的时候才用

来源： VictoriaMetrics Blog — Go sync.Map: The Right Tool for the Right Job

VictoriaMetrics 出品的 Go 并发系列博客之一，系统讲解 sync.Map 的内部机制和适用场景。

关键要点

  • 普通 map + sync.Mutex/sync.RWMutex 并非总是劣于 sync.Map，两者各有适用场景
  • sync.Map 内部维护两个 map（read map + dirty map），适合读多写少的场景
  • 写多读少时，sync.Map 反而会带来额外内存和 CPU 开销
  • sync.Map 的键值存为 interface{}，丢失类型安全
  • 系列还涵盖：sync.Mutex（Normal/Starvation Mode）、sync.WaitGroup、sync.Pool、sync.Cond、sync.Once、singleflight

“sync.Map isn’t some magic replacement for all concurrent map scenarios. Most of the time, you’re probably better off sticking with a native Go map, combined with locking.”

ZZ-114 | Go Binary Size Analyzer

来源： Twitter @yahiyadev

关于分析 Go 二进制体积的工具讨论，关注如何理解和优化 Go 编译产物的大小。

关键要点

  • Go 二进制通常比较大，因为静态链接和运行时内嵌
  • 有工具可以分析各依赖对二进制大小的贡献（如 go-size-analyzer、goweight）
  • 适合做瘦身优化时作为诊断工具使用

ZZ-132 | Network Routing Deep Dive

来源： Twitter @hnasr

Hussein Nasser（高人气 backend/SRE 教育者）关于网络路由深度讲解的内容，属于系统编程基础知识范畴。

关键要点

  • 网络路由是系统编程和 SRE 必备基础知识
  • Hussein Nasser 以深入浅出著称，值得跟进其系列内容

ZZ-144 | Golang Monorepo 实践

来源： Earthly Blog — Monorepo in Golang

深入讲解如何在 Go 中构建多模块 monorepo，解决本地模块引用、独立构建/发布等实际痛点。

关键要点

  • Go 传统上一个 repo 一个 module，多模块 monorepo 需要特殊处理
  • 目录结构推荐：libs/ 放共享库，services/ 放各微服务，各有独立 go.mod
  • 本地模块引用两种方案：
    • go.mod 的 replace 指令（老方式）
    • go.work workspace（Go 1.18+，更官方）
  • Pros： 跨项目改动方便、代码复用、风格统一
  • Cons： 构建工具更复杂、可能导致意外紧耦合
  • Earthly 工具可为每个模块独立管理构建流水线，适合 monorepo CI/CD

ZZ-156 | Swift Concurrency 平易近人指南

来源： fuckingapproachableswiftconcurrency.com
作者： Pedro Piñera（Tuist 联合创始人），基于 Matt Massicotte 的工作

系统讲解 Swift 并发模型的教程网站，让开发者真正理解而非死记 API。

关键要点

  • async/await： 函数在 await 处暂停，不阻塞线程；async let 可并行执行多个任务
  • Task： 异步工作单元，可取消、可等待结果；SwiftUI 的 .task modifier 在视图销毁时自动取消
  • TaskGroup： 动态并行任务集合，取消会传播到所有子任务
  • Actor： 保护共享可变状态，避免数据竞争（类似 Rust 的所有权但运行时执行）
  • MainActor： UI 更新必须在 MainActor 上执行，@MainActor 注解自动约束
  • Sendable： 标记可跨并发域安全传递的类型，是类型系统级别的并发安全保证
  • 开源项目：github.com/tuist/fuckingapproachableswiftconcurrency

ZZ-181 | Rue Language：比 Rust 更易学的内存安全语言实验

来源： rue-lang.dev
作者： Steve Klabnik（设计者）+ Claude AI（主要实现者）

探索”能否找到一条比 Rust 更平滑的内存安全之路”的早期研究项目。

关键要点

  • 早期研究阶段， 有 bug，有 breaking changes，不适合生产
  • 目标语法：类似 Rust/Go/C，但学习曲线更平缓
  • 原生编译到 x86-64 和 ARM64， 无 GC、无 VM、无解释器——真正的系统级语言
  • 核心问题：内存安全和易用性之间的 tradeoff 能走多远？
  • 人机协作实验亮点： Steve Klabnik 设计，Claude AI 主要实现，两周内从零到可工作的编译器
  • 值得关注其演化方向，尤其是 borrow checker 替代方案的探索

ZZ-858 | Tape Model Rust Native Core

来源： tape.systems / getrepublic.org / github.com/bubbuild/bub
性质： ZZ 内部项目构想

将 tape.systems 定义的上下文模型用 Rust 重写为 native core，通过 FFI 提供多语言绑定。

Tape 模型概览

  • 4 原语： Tape、Entry、Anchor、View
  • 3 机制： Append、Anchor、Handoff，加上 Fork/Merge
  • 核心不变量： history append-only，derivatives 不替换原始 facts，context 是构造的而非整体继承

为何用 Rust 重写

  • 当前唯一实现是 Python 的 Republic 库（被 Bub AI framework 使用）
  • 模型足够小（TapeEntry / TapeStore trait / TapeQuery / TapeContext / TapeManager），适合 Rust 实现
  • 多语言绑定方案：
    • pyo3 → 替代 Python Republic
    • napi-rs → Node.js / TypeScript
    • wasm-bindgen → 浏览器
    • Go 方向：CGO 绑定开销可能超过收益，考虑直接 Go 原生重写
  • Anchor 可形成非线性图， memory views 从多个节点组装，需要显式 lineage 和 provenance 追踪，增加实现复杂度
  • 实际收益： 统一跨语言行为、单一 source of truth、对大 tape 的查询/重建性能提升

由 GTD Master 整理，2026-W10 Weekly Review

Graph View