47、基于规则的跨实例约束运行时监控与时间感知云资源分配形式验证

基于规则的跨实例约束运行时监控与时间感知云资源分配形式验证

在规则匹配与云资源分配领域，有两个关键的研究方向值得深入探讨，分别是基于规则的跨实例约束运行时监控以及时间感知云资源分配的形式验证。下面我们将详细介绍这两个方面的内容。

基于规则的跨实例约束运行时监控

在规则匹配过程中，共享条件节点的位置对匹配时间有着显著影响。当条件节点数量（CN）为 1 时，共享条件节点的两种可能定位选项（顶部和底部）在匹配时间上差异不大。然而，随着 CN 的增加，顶部和底部位置的匹配时间差距逐渐扩大。

一般来说，如果规则不影响共享条件（RHS = Noop），并且由于一致性检查失败不会导致激活（RHS = 0%），那么无论事件提交的顺序如何，共享条件节点置于顶部的匹配效果更好。但当每次事件提交时后果事件规则完全激活（RHS = 100%），严格遵循后序遍历的底部位置在匹配时间上会更加稳定。因此，后果事件规则被触发的概率对共享条件节点的定位有重要影响。当后果事件流相对较小时（如 CN = 1），只要保持后序遍历，共享条件节点的位置对匹配时间影响不大。

在使用三元结构表示条件和事实时，会出现一些问题。一个缺点是需要使用多个三元组来表示单个事件实例，这会导致匹配时间延长。因为每个节点激活都有非恒定的成本，并且通过条件共享会进一步放大这个成本。这个成本与子节点数量、存储的令牌数量以及工作内存元素（WMEs）有关。虽然 Rete 结构可以识别中断激活的机会以避免子图遍历，但并非总是可行。

另一个缺点与时间戳的表示有关。每个时间戳由三元组 (?eventid, “timestamp”, ?timestamp) 表示，由于哈希表优化，这种形式的