多核集群上面向或并行 Prolog 系统的实现
分布式、并行与集群计算
2016-08-05 v1
摘要
如今，多核集群正成为常态，并且尽管过去已开发了许多或并行（or-parallel）Prolog 系统，但据我们所知，它们中没有一个专门设计用于探索共享与分布式内存架构的结合。在最近的工作中，我们提出了一种专为这种结合设计的新型计算模型，其引入了一个具有两级调度的分层模型，一级用于共享内存资源的 worker（我们命名为 worker 团队），另一级用于 worker 团队（不共享内存资源）。在这项工作中，我们呈现该模型的首次实现，为此我们复兴并扩展了 YapOr 系统以利用团队间的或并行性。我们还提出了一组新的内置谓词，构成在我们平台上与或并行引擎交互的语法。实验结果表明，我们的实现能够随着每团队 worker 数量的增加而提高加速比，从而利用机器中最大数量的核，并且随着团队数量的增加而提高加速比，从而利用向集群添加更多计算机节点。因此我们主张，我们的平台是在当前可用的低成本多核架构集群中利用隐式或并行性的高效且可行的替代方案。
引用
@article{arxiv.1608.01499,
title = {On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores},
author = {João Santos and Ricardo Rocha},
journal= {arXiv preprint arXiv:1608.01499},
year = {2016}
}
备注
Paper presented at the 32nd International Conference on Logic Programming (ICLP 2016), New York City, USA, 16-21 October 2016, 15 pages