在 React Server Components（RSC）框架的竞争中，性能指标往往集中在运行时渲染速度与吞吐量。然而，Rari 框架的突破性表现 ——0.69ms 平均响应时间、20,226 req/sec 吞吐量、68% 更小的包体积 —— 其根源不仅在于 Rust 运行时，更在于其底层捆绑器（Bundler）中增量编译（Incremental Compilation）与 Tree Shaking（树摇）算法的深度协同。本文将深入剖析这一协同机制的技术实现，揭示其如何实现毫秒级热更新（HMR）与极致包体积优化。
架构概览：Rust 运行时与模块化捆绑器
Rari 采用分层架构：上层是 React Server Components 框架，下层是 Rust 编写的服务器运行时（HTTP 服务器、RSC 渲染器、路由）。捆绑器层则基于 Rolldown（Rust 实现的 Rollup 兼容捆绑器）与 tsgo（TypeScript 转换器），负责将开发者编写的 TypeScript/JavaScript 代码转换为可部署的包。
关键设计在于，Rari 的捆绑器并非独立工具，而是与框架深度集成。应用路由器（App Router）在构建时分析每个路由、每个组件，明确哪些需要在服务器端执行，哪些需要在客户端水合（hydrate）。这一分析结果直接馈送给捆绑器，形成精确的模块依赖图（Module Graph），为后续的增量编译与 Tree Shaking 奠定基础。
增量编译算法：基于资产图的细粒度依赖跟踪
传统 JavaScript 捆绑器在开发模式下，每次文件变更都可能触发全量重建，导致热更新延迟。Rolldown 通过引入稀疏的、哈希映射支持的依赖图结构，实现了高效的增量编译。
1. 双图结构：前向与反向依赖图
Rolldown 在内存中维护两个核心数据结构：
- 前向依赖图（Forward Dependency Graph）：记录模块间的导入关系，用于确定编译顺序与代码分割边界。
- 反向依赖图（Reverse Dependency Graph）：记录每个模块被哪些模块所依赖，这是 Tree Shaking 与增量失效（Invalidation）的关键。
当开发者修改一个文件（例如 components/Button.tsx）时，捆绑器首先定位该模块在图中的节点，然后沿反向依赖图向上遍历，仅标记那些直接或间接依赖该模块的节点为 “脏”（dirty）。这种细粒度的依赖跟踪确保了只有受影响的最小模块子集需要重新处理。
2. 缓存策略与增量扫描
Rolldown 的增量编译并非简单地重新解析所有文件。它利用module_id_to_idx等索引结构，将模块的唯一标识符映射到内部存储位置。在增量构建中，系统会重用前一次构建时扫描的依赖图的大部分状态，仅对 “脏” 路径进行重新扫描。
此外，开发模式与生产模式采用不同的内部存储：开发模式使用稀疏的哈希映射，便于快速插入、删除与更新；生产模式则使用紧凑的IndexVec数组，以优化内存占用与序列化性能。这种区分使得开发时的热更新几乎无感知，而生产构建则追求极致输出大小。
3. Vite 7 集成带来的缓存优化
在 Vite 7 中，Rolldown 被集成为默认捆绑器，进一步引入了更先进的增量编译策略。通过并行块生成、减少 I/O 操作以及改进的缓存利用率，大型应用在持续集成（CI）环境与本地开发中的重建时间得到显著缩短。这意味着 Rari 项目在npm run dev后，每次保存文件都能在毫秒级内看到更新反馈。
Tree Shaking 协同：应用路由器驱动的死代码消除
Tree Shaking（死代码消除）是减少客户端包体积的核心技术。Rari 的 Tree Shaking 并非孤立运行，而是与应用路由器的静态分析紧密协同，形成了 “1+1>2” 的优化效果。
1. 基于 ES 模块的静态分析
Rolldown 的 Tree Shaking 算法基于 ES 模块（ESM）的静态结构。它解析每个模块的import与export语句，构建出完整的模块导出与导入关系网。在优化阶段，算法从用户定义的入口点（如app/page.tsx）出发，遍历前向依赖图，标记所有可达的导出。任何未被标记的导出（及其关联代码）被视为 “死代码”，在最终打包时被移除。
2. 应用路由器的边界信息注入
这是 Rari 独有的优化点。应用路由器在构建阶段已经分析了整个应用的路由结构，明确了哪些组件是纯服务端组件（Server Component），哪些是客户端交互组件（Client Component）。这些信息被注入到捆绑器的模块图中。
例如，一个仅在服务端渲染的组件（如数据获取层），其关联的import语句虽然可能在模块图中存在，但应用路由器会告知捆绑器：“该组件的代码永远不会发送到客户端”。因此，捆绑器可以安全地将该组件及其依赖（除非被其他客户端组件共享）从客户端包中完全剔除，即使它们在某些条件下 “看似可达”。这种基于语义的消除比纯语法分析更加激进，直接贡献了 68% 的包体积缩减。
3. Side Effects 元数据与安全边界
为确保 Tree Shaking 的安全性，Rolldown 尊重package.json中的sideEffects字段。对于未声明为无副作用的模块，捆绑器会保守地保留其代码，以防删除可能影响程序行为的操作。Rari 框架通过其严格的 RSC 语义（服务端组件默认无副作用，客户端组件显式标记），使得大多数应用代码都能被安全地摇树优化。
协同工作流：从文件变更到更新包
当开发者修改一个 React 组件并保存时，Rari 开发服务器的协同工作流如下：
- 文件系统监听：检测到
components/Header.tsx变更。 - 增量失效：捆绑器根据反向依赖图，快速确定受影响的模块范围（可能仅限
Header.tsx及其直接消费者）。 - 重新转换：仅对受影响模块调用 tsgo 进行 TypeScript 转换，结果被缓存。
- 局部 Tree Shaking：在更新的子图上重新运行可达性分析，由于应用路由器的边界信息不变，分析范围极小。
- 代码生成与热更新推送：生成更新的代码块，通过 WebSocket 将差异推送到浏览器，完成毫秒级界面更新。
整个过程避免了全量解析、全量转换与全量优化，将计算量压缩到最低。
工程化参数与监控要点
要将此协同算法的优势最大化，开发团队应关注以下可落地参数：
监控点清单
- 增量重建时间：监控
npm run dev后文件保存到 HMR 完成的时间，目标应稳定在 100ms 以内。 - Tree Shaking 效率：通过构建报告分析客户端包中未被使用的导出占比，目标低于 5%。
- 内存占用：观察开发服务器进程的内存增长，确保增量缓存未导致内存泄漏。
配置参数建议（基于 Rolldown Options）
treeshake: 'smallest'：在生产构建中启用最激进的 Tree Shaking。dev.graph.sparse: true：确保开发模式使用稀疏图结构。cache.dir: 设置持久化缓存目录，加速 CI 重建。
回滚策略
若更新后出现包体积异常增大或运行时错误，应检查：
- 是否误将客户端组件标记为服务端组件，导致关键代码被错误消除。
- 第三方库的
sideEffects声明是否准确。 - 增量缓存是否损坏（可尝试删除
node_modules/.cache目录）。
总结
Rari 框架的性能突破，本质上是其底层 Rust 捆绑器中增量编译与 Tree Shaking 算法深度协同的结果。通过应用路由器注入的语义信息、Rolldown 的双图结构与增量缓存策略，以及基于 ES 模块的静态分析，Rari 实现了开发时的毫秒级热更新与生产环境的极致包体积。这一技术路径证明，在前端工具链中，编译期优化与运行时架构的紧密配合，能够释放出数量级的性能提升。对于追求极致性能与开发体验的团队，深入理解并利用此类协同算法，将是构建下一代 Web 应用的关键。
资料来源
- Hacker News 讨论 - "Rari – Rust-powered React framework" (https://news.ycombinator.com/item?id=46993596)
- Ryan Skinner 博客 - "The Rari SSR Breakthrough: 12x Faster, 10x Higher Throughput Than Next.js" (https://ryanskinner.com/posts/the-rari-ssr-breakthrough-12x-faster-10x-higher-throughput-than-nextjs)
- Rolldown 技术分析 - "How Rolldown Works: Module Loading, Dependency Graphs ..." (参考搜索摘要)
- Vite 7 集成说明 - "What's New in Vite 7: Rust, Baseline, and Beyond" (参考搜索摘要)