Drools规则引擎中动态对象状态更新与条件重评估机制

在Drools规则引擎中，当工作内存中的对象状态在规则外部发生改变时，when条件部分可能无法自动感知这些更新。为确保规则能正确响应这些外部状态变化，需要通过显式调用update()方法通知Drools引擎重新评估相关规则，从而使when条件能够基于最新的对象状态进行匹配。本文将深入探讨Drools中对象状态更新的机制，并指导如何正确使用update()方法来处理动态数据。

Drools规则引擎的工作原理与状态感知

drools规则引擎的核心是其“工作内存”（working memory），所有被插入到引擎中的事实（facts）都存储于此。当规则被激活并执行时，它会基于工作内存中事实的当前状态进行匹配。然而，drools并不会自动监控工作内存中对象的外部变化。这意味着，如果一个对象（例如，panicbuttonmanager实例）的某个属性（例如，panicmodeenabled）在drools引擎外部被修改，引擎本身并不知道这个变化，因此依赖该属性的when条件将继续使用旧的状态进行评估。

这解释了为什么在原始问题中，when条件中的p: PanicButtonManager(panicModeEnabled)始终保持不变，而then部分通过p.isPanicModeEnabled()却能获取到最新的值。then部分直接访问了Java对象的当前状态，而when部分依赖的是Drools工作内存中该对象上次被“感知”到的状态。

显式通知引擎：update()方法

为了解决上述问题，当工作内存中的一个对象在规则引擎外部被修改后，我们需要显式地通知Drools引擎该对象的状态已发生变化。这个通知机制就是通过调用update()方法来实现的。

update()方法的作用是告知Drools，某个特定对象的状态已经改变，引擎需要重新评估所有依赖于该对象及其属性的规则。

update()方法的使用示例

假设我们有一个PanicButtonManager对象，其panicModeEnabled状态可以在规则外部被改变。为了让Drools规则能够响应这种变化，我们需要在外部修改PanicButtonManager对象后，将其作为参数传递给update()方法。

// 假设这是你的Drools会话 KieSession kieSession = ...;  // 插入PanicButtonManager实例到工作内存 PanicButtonManager panicManager = new PanicButtonManager(); kieSession.insert(panicManager);  // ... 你的规则可能已经运行了一次  // 在外部改变panicManager的状态 panicManager.setPanicModeEnabled(true); // 假设这是外部的某个操作  // ！！！关键步骤：通知Drools该对象已更新 ！！！ kieSession.update(kieSession.getFactHandle(panicManager), panicManager);  // 再次触发规则，此时依赖panicModeEnabled的规则将基于新状态重新评估 kieSession.fireAllRules();

在DLR（Drools Rule Language）内部，如果需要在then块中更新一个已被匹配的对象，并希望这个更新立即影响后续规则的匹配，通常使用modify语句。但如果规则本身需要重新评估一个在when条件中引用的、且其状态在外部（或在当前规则的then块中被间接改变，但需要重新评估）的对象，也可以在then块中使用update()。

Brizy

Brizy是一个面向机构和 SaaS 的白标网站生成器，可以在几分钟内创建网站页面。

166

查看详情

rule "Update Panic Mode Status" when     // 匹配TradeEvent和PanicButtonManager     $tradeEvent : TradeEvent(bookShortName == "FMBTHQLA")     $panicManager : PanicButtonManager(panicModeEnabled) // 此时panicModeEnabled为true then     // 修改TradeEvent的状态     modify ($tradeEvent) {         messageCode = "PM003",         message = "HQLA: FMBTHQLA is restricted to HQLA mode. Panic status: " + $panicManager.isPanicModeEnabled(),         tradeValidationStatus = STATUS.ERROR     }      // 如果PanicButtonManager的panicModeEnabled状态在当前规则执行后可能需要被改变     // 并且希望其他规则能够立即感知到这个改变，可以在这里调用update()     // 注意：这里的场景是假设panicModeEnabled在外部被改变，     // 如果是在then块中改变了$panicManager的属性，然后需要重新评估，才会在then块里用update。     // 在本例中，原始问题是外部改变，所以更常见是在Java代码中调用update。     // 但是，如果规则逻辑导致$panicManager的某个属性变化，并需要立即触发其他规则，也可以使用：     // update($panicManager); // 这会通知引擎$panicManager的状态已更新 end

update()与modify()的区别

理解update()与modify()之间的区别至关重要：

• modify(): 通常在then块中使用，用于修改工作内存中已匹配的事实（fact）的属性。modify语句会通知Drools引擎，该事实已被修改，并可能导致依赖于该事实的新规则被激活，或已激活但尚未执行的规则被重新评估。它主要用于在规则内部对事实进行操作。

  rule "Modify Trade Event" when     $tradeEvent : TradeEvent(status == STATUS.NEW) then     modify ($tradeEvent) {         status = STATUS.PROCESSING // 修改$tradeEvent的status属性     } end

• update(): 既可以在DLR的then块中使用，也可以在Java/外部代码中通过KieSession.update()调用。它用于通知Drools引擎，工作内存中某个对象的状态已发生变化，无论这个变化是在规则内部还是外部发生的。update()会触发所有依赖于该对象的新规则激活或现有规则的重新评估。当对象状态在规则引擎外部被修改时，update()是确保规则感知这些变化的关键。

  rule "Re-evaluate Panic Manager" when     // ...     $panicManager : PanicButtonManager(...) then     // 假设这里某种逻辑导致$panicManager的某个属性被改变了     // 或者只是为了强制重新评估所有依赖$panicManager的规则     update($panicManager); end

注意事项

1. 性能开销: update()操作会触发Drools引擎对所有相关规则进行重新评估，这可能带来一定的性能开销。因此，应仅在必要时调用update()，避免不必要的频繁更新。
2. FactHandle: 在Java代码中调用KieSession.update()时，通常需要提供对象的FactHandle。FactHandle是在对象被插入工作内存时由kieSession.insert()方法返回的唯一标识符。如果只持有对象引用而没有FactHandle，可以通过kieSession.getFactHandle(Object)方法获取。
3. 外部修改: 当一个对象被插入到Drools的工作内存后，其状态应尽可能通过Drools的modify或update机制进行管理。直接在外部修改对象属性而不通知Drools，是导致when条件不更新的常见原因。

总结

为了确保Drools规则能够正确响应工作内存中对象的动态状态变化，尤其是当这些变化发生在规则引擎外部时，必须使用update()方法显式地通知Drools引擎。理解update()与modify()的区别及其适用场景，是有效利用Drools规则引擎处理复杂业务逻辑的关键。通过合理地运用update()机制，可以构建出对实时数据变化敏感、逻辑严谨的Drools规则系统。