我只是對我的新算法進行最后的修改。 它合并了Leaps ， 面向集合的Match和Left / Right取消鏈接的概念 ，以及我自己的一些想法。 該代碼已提交，但我正在積累工作并編寫更多測試。 我將在一周左右的時間內寫一個完整的博客，詳細介紹該博客，并希望為人們提供一個Alpha版本。 該算法解決了Rete的貪婪和浪費性質。 如果我們使用GWT進行JS移植，這將使其適用于更受限的環(huán)境，例如移動設備或瀏覽器。 此外，它的設計考慮了多核的使用-盡管我還沒有實現。 對于那些了解術語的人，這里是我到目前為止所做的要點列表。

規(guī)則解除連結

• 用細分來保留共享。 位掩碼用于正確的輸入和段，以進行有效檢查。
• 當所有正確的輸入都設置了位時，段就將其設置了位。
• 當每個段都設置了位時，將鏈接一個規(guī)則。
• 在一條規(guī)則都完全鏈接到議程中之前，不會進行beta測試（請參閱惰性規(guī)則評估）
• 當任何正確的輸入中沒有數據時，可以取消鏈接的規(guī)則
  • 保留所有的全部和部分聯(lián)接數據。
• 我懷疑我們可以使用弧度一致性來設置某個位時進一步延遲，而不是簡單地設置一個正確的輸入

懶惰規(guī)則評估

• 鏈接時不會評估Rule的beta網絡。 而是將其添加到優(yōu)先級隊列中，僅當它彈出時，我們才評估其Beta網絡

面向集合的傳播

• 為正確的輸入暫存所有插入，更新和刪除操作，直到評估規(guī)則為止。
• Beta網絡評估從根本開始
  • 所有插入/更新/刪除操作一起處理，導致一組元組傳播到下一個節(jié)點
• 確保課程粒度節(jié)點評估，非常適合多核調度。
• 單次傳播而不是典型的Rete，深度搜索會影響網絡。
• 請注意，我們還沒有進行面向集合的匹配，這會折疊節(jié)點中的匹配空間。
  • 當我們借用集合傳播概念時，面向集合的匹配的碎片整理過程需要更多考慮，因為它有缺點。

就地修改/差異更新

• 修改是真實的，而不是撤消+斷言
• 允許補償“撤消”操作，因為我們知道真正刪除了什么，更新了什么。
• 保留對象，以避免GC命中。

物業(yè)反應

• 模式可以偵聽并對特定的屬性更改做出反應
  • 將其視為屬性更改偵聽器，而不是當前類更改偵聽器

基于樹的圖

• 撤回只需要迭代圖
• 允許有效的“就地修改”

子網支持

• 不存在，積累可以支持的嵌套組和模式
• 作為單程網絡評估的一部分得到支持
  • 我們的元組集到達左輸入，然后遞歸地評估subetnworks。

雖然還不完整，但我可以想到以下一些TODO項目，以提出近期和長期的想法：

更有效的子網

• 新的設計允許子網內更有效的執(zhí)行，但是我們尚未利用這一優(yōu)勢。

GC加盟

• 如果不使用聯(lián)接，則允許在一段時間后進行GC聯(lián)接，但還必須在不使規(guī)則執(zhí)行順序無效的情況下支持重新創(chuàng)建（即，如果已觸發(fā)，則不能再次觸發(fā)該規(guī)則）

不同的網絡拓撲

• Rete網絡始終從左到右連接，這并不總是有效的。 Treat和Gator網絡著眼于不同的拓撲結構如何減少加入嘗試的次數，也可以改善與我們新的基于分段的網絡的共享。

多核工作

• 該設計現在已經基于隊列，并且支持粗粒度的工作單元。 現在，我們需要開始創(chuàng)建線程模型，并更好地隔離和分離alpha網絡傳播過程。 這涉及重構我們現有的鎖定模型。
• 需要對重疊規(guī)則進行有效測試-即一個規(guī)則與另一條規(guī)則共享段。 這將使我們能夠評估規(guī)則，而無需同步點。

智能鏈接

• 當正確的輸入接收到單個事實時，通過設置位完成鏈接。 弧度一致性可用于進一步延遲此鏈接過程，僅在實現弧度一致性時才在規(guī)則段以及規(guī)則中進行鏈接。

MVCC和交易

• 傳播模型應支持多版本并行控制。 這對于獲得更好的多核支持是必不可少的，它將使事務支持成為可能。

RIP RETE 2013 :)

參考： Drools＆jBPM博客上來自JCG合作伙伴 Geoffrey De-Smet的《超越Rete的生活– RIP Rete 2013：》 。

翻譯自: https://www.javacodegeeks.com/2013/04/life-beyond-rete-r-i-p-rete-2013.html

總結

以上是生活随笔為你收集整理的Rete之外的生活– RIP Rete 2013 :)的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。