论文研究 基于集中式存储的全局约束并行相容模型.pdf

为了利用多处理平台的并行处理能力, 提高约束求解中相容检查的效率, 提出了一种新的基于集中式存储的全局约束并行相容模型。利用动态分配约束条件的方法解决负载均衡问题; 通过对变量域的集中式管理, 保证了冲突检测的及时性; 利用变量域剪枝单调性的特点, 实现了异步相容检查, 提高了多节点间相容检查的并行程度。最后, 通过实验验证并讨论了模型的优势和适用范围。