Drools动态对象状态与条件重评估解析

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()。

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规则系统。