主要讲了规则匹配时的优先级设置的方式。
甩锅声明:本人英语一般,翻译只是为了做个笔记,所以有翻译错误的地方,错就错了,如果你想给我纠正,就给我留言,我会改过来,如果懒得理我,就直接划过即可。
目录
Drools的执行控制
规则的优先级
规则的议程组
规则激活组
drools的规则执行模式和线程安全
Drools的执行控制
当新的规则数据进入Drools的工作内存时,规则就有可能被完全匹配并执行。单个工作内容操作可能导致多个规则的执行。当规则被完全匹配时,Drools会创建一个引用规则和匹配的事实的内部匹配实例,并将这个实例放到Drools的议程中。议程使用冲突解决策略控制着规则内部匹配的执行顺序。
在调用fireAllRule方法之后,drools会重复执行下面两个阶段:
议程评估。在这个阶段,drools选择所有可以被执行的规则。如果没有可执行规则存在,则执行周期结束。如果执行规则被发现,drools在议程中注册一个内部匹配,然后将这个内部匹配转移到工作内存操作阶段去执行规则结果操作。
工作内存操作。在这个阶段,drools对所有在议程中之前注册的激活规则执行规则结果操作(每条规则then后面的部分)。所有的操作完成,或者java应用再次调用fireAllRules之后,drools会返回到议程评估阶段重新评估规则。
图示4. drools执行的两个阶段
当议程上存在多条规则时,一条规则的执行可能会导致议程长的另一条规则被移除。为了防止这件事情发生,你可以定义drools上的规则如何以及何时执行。定义规则执行顺序的常用方法是通过使用规则优先级,议程组,或者内部匹配组。
规则的优先级
每一条规则都有一个salience属性,这个属性可以决定规则的执行顺序。在内部匹配队里里面,优先级越高的规则,执行顺序越靠前。默认的优先级的值是0,优先级的值可以是正数,也可以是负数。
举例来说,drools堆栈中按展示顺序列出了下面的DRL规则示例
rule "RuleA"
salience 95
when
$fact : MyFact( field1 == true )
then
System.out.println("Rule2 : " + $fact);
update($fact);
end
rule "RuleB"
salience 100
when
$fact : MyFact( field1 == false )
then
System.out.println("Rule1 : " + $fact);
$fact.setField1(true);
update($fact);
end
RuleB规则是列表中的第二条规则,但是他比ruleA的优先级要高,因此会先执行ruleB。
规则的议程组
议程组,就是有相同agenda-group属性的一组规则集合。议程组在议程上将规则分开。在任何一个时间,只能有一组成为焦点,这组成为焦点的议程组会优先执行,通过调用setFocus方法决定焦点议程组。也可以使用auto-focus属性定义规则,这样,在下一次激活规则时,有这个属性的规则,会让其所在的议程组自动成为焦点。
每次setFocus方法被调用,drools会在堆栈头添加指定的议程组。默认的议程组“MAIN”包含所有没有指定议程组的规则,除非其他议程组有焦点,否则这个默认议程组会第一个执行。
例如:下面的示例DRL规则属于指定议程组,并在drools堆栈中按顺序列出:
银行应用的示例DRL规则
rule "Increase balance for credits"
agenda-group "calculation"
when
ap : AccountPeriod()
acc : Account( $accountNo : accountNo )
CashFlow( type == CREDIT,
accountNo == $accountNo,
date >= ap.start && <= ap.end,
$amount : amount )
then
acc.balance += $amount;
end
rule "Print balance for AccountPeriod"
agenda-group "report"
when
ap : AccountPeriod()
acc : Account()
then
System.out.println( acc.accountNo +
" : " + acc.balance );
end
对于这个例子来说,report议程组的规则必须总是第一个执行,calculation议程组的规则必须是第二个执行,然后执行其余议程组的剩余规则。因此,在其他规则执行之前,report和calculation组必须按顺序接收焦点:
设置议程组执行顺序的焦点
Agenda agenda = ksession.getAgenda();
agenda.getAgendaGroup( "report" ).setFocus();
agenda.getAgendaGroup( "calculation" ).setFocus();
ksession.fireAllRules();
也可以通过clear()方法取消议程组的的执行。
ksession.getAgenda().getAgendaGroup( "Group A" ).clear();
规则激活组
内部匹配组是一组规则,这一组规则拥有相同的actibation-group规则属性。在这组里,只能有一条规则被执行。当这个组里面的某条规则满足条件并执行之后,这个组里的所有其他挂起的规则会被从议程中移除。
例如,下面这个示例DRL规则属于指定的内部匹配组,并像下面展示的顺序排列在drools堆栈中:
银行示例DRL规则
rule "Print balance for AccountPeriod1"
activation-group "report"
when
ap : AccountPeriod1()
acc : Account()
then
System.out.println( acc.accountNo +
" : " + acc.balance );
end
rule "Print balance for AccountPeriod2"
activation-group "report"
when
ap : AccountPeriod2()
acc : Account()
then
System.out.println( acc.accountNo +
" : " + acc.balance );
end
这个例子里,如果report内部匹配组的第一条规则被执行了,则组内的第二条规则和议程上的其他规则都会被移出议程。