drools規(guī)則引擎模式匹配效率優(yōu)化研究及實(shí)現(xiàn).pdf

1、drools規(guī)則引擎是一款開源的規(guī)則引擎項(xiàng)目，它支持jsr94規(guī)范，用面向?qū)ο蠓椒▽?shí)現(xiàn)了Rete模式匹配算法，Rete算法是一個(gè)的高效的模式匹配算法，這是經(jīng)過實(shí)踐證明的，但是這種高效是以消耗大量內(nèi)存為代價(jià)的，即Rete算法記錄了所有匹配的中間結(jié)果，也就是創(chuàng)建了所有斷言的所有元組，將所有的元組保留到緩存中，每聲明/撤銷/修改一個(gè)工作內(nèi)存中的事實(shí)對象時(shí)，都要對相關(guān)聯(lián)的元組進(jìn)行更新和傳播，這會(huì)對drools規(guī)則引擎在性能上產(chǎn)生負(fù)的影響。

2、 本論文針對Rete算法的這一不足，將處理事實(shí)對象的過程采用Leaps算法進(jìn)行改進(jìn)，Leaps算法的優(yōu)點(diǎn)就是不會(huì)創(chuàng)建所有斷言的元組，它采取了一種折衷的方案，規(guī)則引擎在匹對簡單的條件約束時(shí)不會(huì)占用太多資源，所以不會(huì)創(chuàng)建元組，即僅僅在必要的時(shí)候才創(chuàng)建元組，也就是僅僅存在not和exist條件時(shí)才創(chuàng)建元組，緩存匹配的中間結(jié)果，當(dāng)規(guī)則引擎操作工作內(nèi)存中的事實(shí)對象時(shí)，維護(hù)并傳播這些元組，這就是Lazy條件評估策略。這樣，從理論上是可以提高dro