深入淺析drools中Fact的equality modes

Posted on by

一、equality modes介紹

在drools中存在如下2種equality modes。

1、identity模式

identity：這是默認的情況。drools引擎使用IdentityHashMap保存所有插入到工作內存中的Fact對象。對於每次插入一個新的對象，則會返回一個新的FactHandle對象。如果是重復插入對象，則返回已經存在的FactHandle對象。

舉例：

Person p1 = new Person("zhangsan", 20, "湖北羅田");
Person p2 = new Person("zhangsan", 20, "湖北黃岡羅田");
FactHandle factHandle1 = kieSession.insert(p1);
FactHandle factHandle2 = kieSession.insert(p2);
FactHandle factHandle3 = kieSession.insert(p2);

針對以上例子， factHandle1 != factHandle2但是 factHandle2 == factHandle3。即工作內存中會存在2個Person對象。

2、equality模式

equality：drools引擎使用HashMap保存所有插入到工作內存中的Fact對象。在這種模式下，如果向drools中插入一個新的對象，隻有這個對象不存在(根據對象的hashcode和equals判斷)才會返回一個新的FactHandle否則返回已經存在的FactHandle。

舉例：

// 重寫瞭Person對象的hashcode和equals方法
Person p1 = new Person("zhangsan", 20, "湖北羅田");
Person p2 = new Person("zhangsan", 20, "湖北黃岡羅田");
FactHandle factHandle1 = kieSession.insert(p1);
FactHandle factHandle2 = kieSession.insert(p2);
FactHandle factHandle3 = kieSession.insert(p2);

針對以上例子， factHandle1 == factHandle2但是 factHandle2 == factHandle3。即工作內存中會存在1個Person對象。

二、需求

我們存在一個Person對象，存在如下3個屬性name,age和address，其中重寫對象的name和age的hashcode和equals方法。

  • 多次向工作內存中插入對象，看產生的結果。
  • 插入同一個對象看獲取到的FactHandle對象是否是同一個。

三、如何設置fact對象的equality行為

此處介紹一個通過kmodule.xml配置的方法

<kmodule xmlns="http://www.drools.org/xsd/kmodule">
    <kbase name="kbase-identity" packages="rules" default="false" equalsBehavior="identity">
        <ksession name="ksession-01" default="false" type="stateful"/>
    </kbase>
    <kbase name="kbase-equality" packages="rules" default="false" equalsBehavior="equality">
        <ksession name="ksession-02" default="false" type="stateful"/>
    </kbase>
</kmodule>

通過上方的代碼可知是通過配置kbase下的equalsBehavior屬性來配置。

其餘的配置方法，參考下圖：

四、編碼實現

1、項目結構圖

2、倒入jar包

<dependencyManagement>
    <dependencies>
        <dependency>
            <groupId>org.drools</groupId>
            <artifactId>drools-bom</artifactId>
            <type>pom</type>
            <version>7.69.0.Final</version>
            <scope>import</scope>
        </dependency>
    </dependencies>
</dependencyManagement>
<dependencies>
    <dependency>
        <groupId>org.drools</groupId>
        <artifactId>drools-compiler</artifactId>
    </dependency>
    <dependency>
        <groupId>org.drools</groupId>
        <artifactId>drools-mvel</artifactId>
    </dependency>
    <dependency>
        <groupId>ch.qos.logback</groupId>
        <artifactId>logback-classic</artifactId>
        <version>1.2.11</version>
    </dependency>
</dependencies>

3、編寫Person對象

public class Person {
    private String name;
    private Integer age;
    private String address;
    public Person(String name, Integer age, String address) {
        this.name = name;
        this.age = age;
        this.address = address;
    }
    public String getName() {
        return name;
    }
    public void setName(String name) {
        this.name = name;
    }
    public Integer getAge() {
        return age;
    }
    public void setAge(Integer age) {
        this.age = age;
    }
    public String getAddress() {
        return address;
    }
    public void setAddress(String address) {
        this.address = address;
    }
    @Override
    public boolean equals(Object o) {
        if (this == o) return true;
        if (o == null || getClass() != o.getClass()) return false;
        Person person = (Person) o;
        return Objects.equals(name, person.name) && Objects.equals(age, person.age);
    }
    @Override
    public int hashCode() {
        return Objects.hash(name, age);
    }
}

註意：
此對象需要重寫hashcode和equals方法。

4、編寫kmodule.xml文件

在此配置文件中，需要在kbase上指定equalsBehavior，用來確定Fact對象的equality modes。

<kmodule xmlns="http://www.drools.org/xsd/kmodule">
    <kbase name="kbase-identity" packages="rules" default="false" equalsBehavior="identity">
        <ksession name="ksession-01" default="false" type="stateful"/>
    </kbase>
    <kbase name="kbase-equality" packages="rules" default="false" equalsBehavior="equality">
        <ksession name="ksession-02" default="false" type="stateful"/>
    </kbase>
</kmodule>

註意：
需要看2個equalsBehavior的取值

5、編寫一個規則文件

package rules
import com.huan.drools.Person
// 定義規則
rule "rule_01"
    when
        $p: Person()
    then
        System.out.println(Thread.currentThread().getName() + " name:"+$p.getName()+" age:"+$p.getAge());
end

規則文件中的內容很簡單，隻要工作內存中存在Person對象，那麼就輸出這個對象的name和age的值。

6、identity模式測試

1、編寫測試代碼

public class DroolsApplication {
    public static void main(String[] args) {
        equalsBehaviorIdentity();
    }
    private static void equalsBehaviorIdentity() {
        KieServices kieServices = KieServices.get();
        KieContainer kieContainer = kieServices.getKieClasspathContainer();
        // 註意此處的 ksession-01
        KieSession kieSession = kieContainer.newKieSession("ksession-01");
        kieSession.addEventListener(new DebugRuleRuntimeEventListener());
        Person p1 = new Person("zhangsan", 20, "湖北羅田");
        Person p2 = new Person("zhangsan", 20, "湖北黃岡羅田");
        FactHandle factHandle1 = kieSession.insert(p1);
        FactHandle factHandle2 = kieSession.insert(p2);
        FactHandle factHandle3 = kieSession.insert(p2);
        kieSession.fireAllRules();
        kieSession.dispose();
    }   
}

2、運行結果

具體的解釋見上圖中的說明。

7、equality模式測試

1、編寫測試代碼

public class DroolsApplication {
    public static void main(String[] args) {
        equalsBehaviorEquality();
    }
    private static void equalsBehaviorEquality() {
        KieServices kieServices = KieServices.get();
        KieContainer kieContainer = kieServices.getKieClasspathContainer();
        KieSession kieSession = kieContainer.newKieSession("ksession-02");
        kieSession.addEventListener(new DebugRuleRuntimeEventListener());
        Person p1 = new Person("zhangsan", 20, "湖北羅田");
        Person p2 = new Person("zhangsan", 20, "湖北黃岡羅田");
        FactHandle factHandle1 = kieSession.insert(p1);
        FactHandle factHandle2 = kieSession.insert(p2);
        FactHandle factHandle3 = kieSession.insert(p2);
        kieSession.fireAllRules();
        kieSession.dispose();
    }
}

2、運行結果

五、結論

針對如下代碼，看看在不同equality modes下的行為

 Person p1 = new Person("zhangsan", 20, "湖北羅田");
 Person p2 = new Person("zhangsan", 20, "湖北黃岡羅田");
 FactHandle factHandle1 = kieSession.insert(p1);
 FactHandle factHandle2 = kieSession.insert(p2);
 FactHandle factHandle3 = kieSession.insert(p2);

Person對象的hashcode和equals方法進行重寫瞭，根據構造方法的前2個參數。

1、identity模式下

factHandle1 != factHandle2 因為p1和p2是2個不同的對象。
factHandle2 == factHandle3 因為是p2重復加入工作內存，這個時候工作內存中已經存在瞭，所以返回之前關聯的FactHandle

2、equality模式下

factHandle1 == factHandle2 == factHandle3 因為這種模式下，是需要根據對象的equals和hashcode方法進行比較，而Person對象重寫瞭這2個方法，所以返回的是同一個。

六、完整代碼

https://gitee.com/huan1993/spring-cloud-parent/tree/master/drools/drools-fact-equality-modes

七、參考鏈接

1、https://docs.drools.org/7.69.0.Final/drools-docs/html_single/index.html#fact-equality-modes-con_decision-engine

到此這篇關於drools中Fact的equality modes的文章就介紹到這瞭,更多相關drools equality modes內容請搜索WalkonNet以前的文章或繼續瀏覽下面的相關文章希望大傢以後多多支持WalkonNet！

推薦閱讀：