3. Rete算法原理：Rete网络结构、Alpha节点与Beta节点、模式匹配过程、内存优化策略

规则引擎跑得慢，十有八九是模式匹配没做好。我早年接手过一个风控项目，规则不到500条，但每次触发都要好几秒——用户都输完密码了，风控结果还没出来。后来一查，就是Rete网络没搭对。

Rete算法，说白了就是用空间换时间。它把规则条件拆成一张网络，让事实（Fact）在网络里流动，只计算变化的部分。今天我们就把它拆开看看。

3.1 Rete网络结构

Rete网络长什么样？我习惯把它想象成一个流水线。事实从入口进去，经过各种节点，最后到达终端节点（Terminal Node），触发规则。

网络里主要有这么几类节点：

• 根节点（Root Node） —— 所有事实的入口，就一个。
• Alpha节点 —— 处理单个条件的节点，比如“年龄 > 18”。
• Beta节点 —— 处理多个条件之间的连接，比如“A 且 B”。
• 终端节点（Terminal Node） —— 规则匹配成功，准备执行。

下面这张图，是我画的一个简化版Rete网络。你看事实怎么从根节点一路流下去：

3.2 Alpha节点与Beta节点

这两个节点是Rete的核心。咱们一个一个说。

Alpha节点

Alpha节点处理的是原子条件。说白了，就是不能再拆的条件。比如：

• age > 18
• amount >= 10000
• city == "Beijing"

每个Alpha节点内部维护一个Alpha内存，存的是所有满足这个条件的事实。举个例子，如果来了100个事实，其中30个满足age > 18，那这个Alpha内存里就存这30个。

Beta节点

Beta节点处理的是条件之间的连接。它有两个输入：

• 左输入 —— 通常是另一个Beta节点的结果，或者Alpha内存
• 右输入 —— 通常是Alpha内存

Beta节点做的事情，就是Join。把左输入和右输入里满足条件的组合找出来。比如左输入是“年龄>18”的人，右输入是“金额>1000”的交易，Beta节点就找出这些人的大额交易。

Beta节点也维护内存，叫Beta内存，存的是已经匹配成功的部分结果。

节点类型	输入	输出	内存内容
Alpha节点	单个事实	匹配的事实	满足条件的事实列表
Beta节点	两个部分结果	匹配的组合	已匹配的元组列表

3.3 模式匹配过程

好了，网络搭好了，事实怎么流？我拿一个具体例子走一遍。

假设我们有规则：如果 年龄 > 18 且 金额 > 1000 且 城市 == "北京"，则 触发风控

现在来了一个新事实：{年龄: 25, 金额: 5000, 城市: "北京"}

1. 进入根节点 —— 事实被分发到所有Alpha节点
2. Alpha节点1（年龄>18） —— 25 > 18，匹配。存进Alpha内存，向下传递
3. Alpha节点2（金额>1000） —— 5000 > 1000，匹配。存进Alpha内存，向下传递
4. Alpha节点3（城市=北京） —— 匹配。存进Alpha内存，向下传递
5. Beta节点1（年龄 && 金额） —— 左输入是Alpha1的结果，右输入是Alpha2的结果。找到匹配的组合，存进Beta内存
6. Beta节点2（金额 && 城市） —— 类似，找到匹配的组合
7. 顶层Beta节点 —— 合并所有条件，找到最终匹配
8. 终端节点 —— 规则匹配成功，触发执行

整个过程，每个节点只处理自己关心的部分。新事实来了，不会重新计算所有规则，只走受影响的分支。

3.4 内存优化策略

Rete算法吃内存，这是出了名的。我见过最夸张的一次，一个规则引擎跑了三天，内存涨了2个G。怎么优化？我总结了几条实战经验。

策略一：共享Alpha节点

多条规则可能有相同的条件。比如规则A有age > 18，规则B也有age > 18。那就只建一个Alpha节点，两条规则共用。

策略二：控制Beta内存大小

Beta内存是内存大户。怎么控制？

• 尽早过滤 —— 把过滤性强的条件放在Beta节点的左边。比如“城市=北京”可能只过滤出10%的数据，那就让它先执行
• 设置内存上限 —— 给Beta内存设置一个最大条目数，超过就触发淘汰策略
• 使用索引 —— 对Beta内存里的数据建索引，加快查找速度，减少内存碎片

策略三：事实的增量更新

不要每次更新都重新插入整个事实。只传递变化的部分。比如一个事实有10个字段，只改了1个字段，那就只传递这个字段的变化。

优化策略	适用场景	效果
共享Alpha节点	多条规则有相同条件	减少内存占用30%-50%
控制Beta内存	规则数量多，组合爆炸	防止OOM
增量更新	事实频繁更新	减少计算量50%以上

策略四：使用Rete的变体

如果标准Rete实在扛不住，可以考虑它的变体：

• Rete-OO —— 面向对象的Rete，适合Java等OOP语言
• Rete-NT —— 支持否定条件（NOT）的Rete
• Rete-UL —— 无锁Rete，适合多线程环境

这些变体在内存管理上各有优化。我个人的建议是：先用标准Rete，遇到瓶颈再换变体。别一开始就上复杂的。