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的状态已更新
endupdate()与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
注意事项
- 性能开销: update()操作会触发Drools引擎对所有相关规则进行重新评估，这可能带来一定的性能开销。因此，应仅在必要时调用update()，避免不必要的频繁更新。
- FactHandle: 在Java代码中调用KieSession.update()时，通常需要提供对象的FactHandle。FactHandle是在对象被插入工作内存时由kieSession.insert()方法返回的唯一标识符。如果只持有对象引用而没有FactHandle，可以通过kieSession.getFactHandle(object)方法获取。
- 外部修改: 当一个对象被插入到Drools的工作内存后，其状态应尽可能通过Drools的modify或update机制进行管理。直接在外部修改对象属性而不通知Drools，是导致when条件不更新的常见原因。
总结
为了确保Drools规则能够正确响应工作内存中对象的动态状态变化，尤其是当这些变化发生在规则引擎外部时，必须使用update()方法显式地通知Drools引擎。理解update()与modify()的区别及其适用场景，是有效利用Drools规则引擎处理复杂业务逻辑的关键。通过合理地运用update()机制，可以构建出对实时数据变化敏感、逻辑严谨的Drools规则系统。
