Droolsupdate()使用与规则重评估技巧

本文深入解析了Drools规则引擎中`update()`方法的使用及其在规则重评估中的重要性。Drools通过Rete网络高效匹配规则，但外部事实的修改默认不会触发规则条件的自动更新。文章阐述了Rete网络的工作机制，解释了为何外部修改事实后规则条件仍保持旧值的原因。针对这一问题，详细介绍了如何利用`update()`方法（包括在规则内部和外部Java代码中）强制Drools重新评估相关规则，确保规则逻辑与最新数据状态同步。此外，还对比了`modify`与`update`的区别，强调了`FactHandle`的重要性，并提出了性能考量建议。掌握`update()`方法的使用，是构建健壮、高效Drools应用的关键，能有效解决规则条件未响应外部事实变化的问题，确保规则引擎基于最新的数据状态进行匹配和执行。

Drools规则在处理外部事实（Fact）状态变化时，若未显式通知，其条件部分可能不会自动重评估。本文将深入探讨Drools Rete网络的工作机制，解释为何外部事实更新后规则条件仍保持旧值，并详细介绍如何通过update()方法（包括在规则内部和外部Java代码中）强制Drools重评估相关规则，确保规则逻辑与最新数据状态同步，并提供关键注意事项。

Drools条件评估机制与事实更新挑战

在Drools规则引擎中，规则的触发依赖于工作内存（Working Memory）中事实（Fact）的状态。当一个事实被插入到工作内存时，Drools会利用Rete算法构建一个高效的网络来匹配规则条件。然而，当这些事实的属性在外部Java代码中被修改时，Drools并不会自动感知这些变化并重新评估相关规则。

问题现象：规则条件未响应外部事实变化

考虑以下Drools规则片段：

rule "Trade Restriction Rule"
when
   $tradeEvent : TradeEvent(bookShortName == "FMBTHQLA")
   p : PanicButtonManager(panicModeEnabled) // 期望此条件随p.panicModeEnabled的变化而更新
then      
   modify ($tradeEvent){
      messageCode = "PM003",
      message = "HQLA: FMBTHQLA is restricted to HQLA mode. Panic status: " + p.isPanicModeEnabled(),
      tradeValidationStatus = STATUS.ERROR
   }
end

用户观察到，当PanicButtonManager对象p的panicModeEnabled字段在外部Java代码中发生变化时，when部分的p : PanicButtonManager(panicModeEnabled)条件并未如预期地重新评估。这意味着即使panicModeEnabled已经变为true，如果规则在变化前已经匹配，它可能仍会使用旧的false状态。然而，在then部分的message中，p.isPanicModeEnabled()却能正确地打印出最新的状态。

深层原因：Rete网络与事实的可见性

这种现象的根本原因在于Drools的Rete算法优化。Rete网络为了高效匹配，会缓存事实的状态。当一个事实被插入到工作内存时，它的当前状态被Rete网络“快照”并用于条件匹配。如果该事实的属性在工作内存外部被修改，或者在规则内部修改但没有显式通知Drools，Rete网络并不知道这个变化。

• 条件不更新： when部分的条件匹配是基于Rete网络中事实的“已知”状态。如果外部修改没有通过Drools API通知引擎，Rete网络将继续使用旧的状态进行评估。
• then部分值正确： 在then部分，p.isPanicModeEnabled()是直接调用Java对象的方法。此时，Java虚拟机（JVM）会直接访问该对象的最新内存状态，因此能获取到正确的、已更新的值。这强调了Drools工作内存与底层Java对象之间的差异：Drools需要被告知对象状态的改变。

update() 方法：显式通知Drools事实变更

为了解决上述问题，Drools提供了update()方法，用于显式地通知规则引擎某个事实的状态已发生变化，从而触发Rete网络对受影响规则的重新评估。

基本概念与作用

update()方法的作用是告知Drools工作内存中某个事实的属性已经改变。一旦被通知，Drools会重新将该事实传入Rete网络，并根据其新状态重新评估所有可能受影响的规则。

场景一：规则内部修改事实并触发重评估

如果规则的then部分需要修改一个已存在于工作内存中的事实（而不是通过modify语句修改当前匹配的事实），并且希望这些修改能立即影响后续的规则评估，就需要使用update()。

例如，如果Trade Restriction Rule的then部分除了修改$tradeEvent，还需要改变PanicButtonManager的状态，并希望这个改变立即生效：

rule "Update PanicManager State and Trade"
when
   $tradeEvent : TradeEvent(bookShortName == "FMBTHQLA")
   p : PanicButtonManager(panicModeEnabled == false) // 假设条件是panicModeEnabled为false
then
   // 1. 修改TradeEvent
   modify ($tradeEvent){
      messageCode = "PM003",
      message = "HQLA: FMBTHQLA is restricted to HQLA mode. Panic status: " + p.isPanicModeEnabled(),
      tradeValidationStatus = STATUS.ERROR
   }

   // 2. 修改PanicButtonManager的状态 (在规则内部进行)
   p.setPanicModeEnabled(true); // 假设规则逻辑需要将恐慌模式开启

   // 3. 显式通知Drools p的状态已改变，触发相关规则的重评估
   update(p);
end

注意： modify语句是Drools提供的一种特殊语法，它在修改事实属性的同时，会自动隐式地调用update()方法，因此对于modify ($tradeEvent)，无需额外调用update($tradeEvent)。

场景二：外部Java代码修改事实并触发重评估（针对原始问题）

这正是原始问题中PanicButtonManager状态在外部被修改，但Drools规则未感知的情况。当一个事实对象在Drools会话外部的Java代码中被修改时，必须通过KieSession接口显式地通知Drools。

假设PanicButtonManager对象p已经通过kieSession.insert(p)插入到工作内存，并且我们持有了它的FactHandle。

// 假设 kieSession 是当前的 KieSession 实例
// 假设 panicManagerFactHandle 是 PanicButtonManager 对象插入时返回的 FactHandle

// 1. 从 KieSession 中获取 PanicButtonManager 实例 (如果需要，或直接使用已有的引用)
FactHandle panicManagerFactHandle = ...; // 获取或保存 FactHandle
PanicButtonManager p = (PanicButtonManager) kieSession.getObject(panicManagerFactHandle);

// 2. 在外部Java代码中修改 PanicButtonManager 的属性
p.setPanicModeEnabled(true); // 将恐慌模式开启

// 3. 显式通知 Drools 工作内存中 p 的状态已改变
// 这会触发 Drools 重新评估所有依赖于 PanicButtonManager 状态的规则
kieSession.update(panicManagerFactHandle, p);

// 4. 触发规则执行，使重评估后的规则能够被激活
kieSession.fireAllRules();

通过kieSession.update(factHandle, factObject)，Drools被告知与factHandle关联的factObject已经发生了变化，它会重新将其传入Rete网络进行匹配。

重要注意事项

1. modify 与 update 的区别：

   • modify 是DLR（Drools Language Rule）中的一种语法糖，专门用于在规则的then部分修改一个已匹配的事实，并自动触发该事实的更新。它本质上是update()的简化形式，且通常作用于当前规则when部分匹配到的事实。
   • update() 是一个更通用的API，既可以在规则内部使用（如场景一），也可以通过KieSession在外部Java代码中使用（如场景二），用于通知Drools任何已存在于工作内存中的事实发生了变化。

2. FactHandle 的重要性： 当通过KieSession在外部更新事实时，必须提供该事实的FactHandle。FactHandle是Drools内部用于唯一标识工作内存中事实的引用。在插入事实时，kieSession.insert(factObject)会返回一个FactHandle，务必妥善保存它，以便后续进行更新或删除操作。

3. 性能考量：update()操作会触发Rete网络对所有可能受影响的规则进行重新评估。如果频繁地对大量事实进行update()操作，可能会对性能产生影响。因此，应仅在事实确实发生变化且需要规则引擎感知时才调用update()。在设计规则和应用时，需要权衡状态更新的频率和规则评估的效率。

总结

Drools规则引擎在处理外部事实状态变化时，需要显式的通知才能触发条件的重新评估。通过理解Rete网络的工作原理，并正确使用update()方法（无论是规则内部的DLR语法还是外部Java代码中的kieSession.update()），开发者可以确保Drools规则始终基于最新的数据状态进行匹配和执行。正确管理事实的生命周期和状态更新，是构建健壮、高效Drools应用的关键。

到这里，我们也就讲完了《Droolsupdate()使用与规则重评估技巧》的内容了。个人认为，基础知识的学习和巩固，是为了更好的将其运用到项目中，欢迎关注golang学习网公众号，带你了解更多关于的知识点！