安全模型

LiquidJS 提供了面向 DoS 的限制选项(parseLimitrenderLimitmemoryLimit)来降低风险。本文按统一结构说明每个限制的作用范围,以及你在生产环境应采用的安全边界。

安全边界

内置限制是协作式防护,不是严格的运行时隔离。

  • 不等于进程的 RSS/heap 实际占用。
  • 不是 JavaScript 沙箱。
  • 在生产环境中应结合进程/容器资源限制和请求超时做分层防护。

限制速览

  • parseLimit:限制每次 parse() 的模板总长度。
  • renderLimit:限制每次 render() 的总渲染时间。
  • memoryLimit:协作式限制 LiquidJS 已记账的内存敏感分配。

限制详解

parseLimit

parseLimit 限制每次 .parse() 调用中解析的模板大小(字符长度),包括引用的 partials 和 layouts。由于 LiquidJS 解析模板字符串的时间复杂度接近 O(n),限制模板总长度通常就足够了。

普通电脑可以很容易处理 1e8(100M)个字符的模板。

renderLimit

仅限制模板大小是不够的,因为在渲染时可能会出现动态的数组和循环。renderLimit 通过限制每次 render() 调用的时间来缓解这些问题。

{%- for i in (1..10000000) -%}
    order: {{i}}
{%- endfor -%}

渲染时间是在渲染每个模板之前检查的。在上面的例子中,循环中有两个模板:order:{{i}},因此会检查 2x10000000 次。

renderLimit 不是硬性的 CPU 限制器。它是在模板渲染边界做检查,因此检查点之间的高计算开销过滤器/标签/用户自定义函数,或深层模板嵌套,仍可能导致 DoS。

memoryLimit

memoryLimit 只限制 LiquidJS 显式记账到的操作。

  • 会被统计:LiquidJS 内部调用了内存记账逻辑的内存敏感操作。
  • 不保证被统计:任意用户对象行为(例如自定义 toValue() / toString() 链)以及其他发生在 LiquidJS 记账点之外的宿主侧分配。

换句话说,memoryLimit 限制的是 LiquidJS 的“已记账分配”,而不是进程里每一个字节的分配。

即使模板和迭代次数较少,内存使用量也可能呈指数增长。在下面的示例中,内存会在每次迭代中翻倍:

{% assign array = "1,2,3" | split: "," %}
{% for i in (1..32) %}
    {% assign array = array | concat: array %}
{% endfor %}

由于 JavaScript 使用 GC 来管理内存memoryLimit 可能无法反映实际的内存占用。

在线服务建议

如果你运行在线服务,建议尽量避免渲染完全由用户定义的模板。

  • 优先使用受控模板或受限模板子集。
  • 如果必须支持用户自定义模板,请隔离渲染(worker/进程/容器),并同时配置操作系统或容器级的内存/CPU 限额与请求限流。
  • parseLimit / renderLimit / memoryLimit 视为 DoS 防护体系中的一层,而不是唯一防线。

对于单个模板中的重型操作,仍建议使用进程级隔离(例如 paralleljs)。