×

关于多核集群的并行Prolog系统的实现。 (英语) Zbl 1379.68081号

摘要:如今,多核集群正在成为规范,尽管过去开发了许多并行Prolog系统,但据我们所知,没有一个是专门为探索共享和分布式内存体系结构的结合而设计的。在最近的工作中,我们提出了一种专门为这种组合设计的新型计算模型,该模型引入了分层模型有两个调度级别,一个用于共享内存资源的工作人员,我们将其命名为工人团队另一个用于工作组(不共享内存资源)。在这项工作中,我们提出了这种模型的第一个实现,为此,我们恢复并扩展了YapOr系统,以利用工人团队之间的或平行性。我们还提出了一组新的内置谓词,这些谓词构成了与我们平台中的or-parallel引擎交互的语法。实验结果表明,当我们增加每个团队的工作人员数量时,我们的实现能够提高速度,从而利用机器中的最大核心数量,并且当我们增加团队数量时,可以提高速度,因此可以利用向集群中添加更多计算机节点的优势。

MSC公司:

68N17号 逻辑编程
68平方米 计算机系统环境下的性能评估、排队和调度
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] 阿利克。和Karlsson R.1990。OR-Parallel Prolog的Muse方法。国际并行程序设计杂志19,2,129-162.10.1007/BF01407834·doi:10.1007/BF01407834
[2] 古普塔格。和PontelliE.1999。堆栈拆分:一种在分布式机器上实现Or-parallelism的简单技术。在逻辑程序设计国际会议上。麻省理工学院出版社,290-304。
[3] 古普塔格。,庞泰利。,相同。,卡尔森。和HermenegildoM。2001年5月。Prolog程序的并行执行:一项调查。美国计算机学会程序设计语言与系统汇刊23,4,472-602.10145/504083.504085·数字标识代码:10.1145/504083.504085
[4] 古普塔格。,庞泰利。,赫尔梅内吉尔多。V.和Santos CostaV.1994。ACE:基于和/或并行复制的逻辑程序执行。在逻辑程序设计国际会议上。麻省理工学院出版社,93-109。
[5] 卢斯克。,Butler R.、DiszT.、。,奥尔森R。,OverbeekR.、。,史蒂文斯R。,沃伦D。H.D.,卡尔德伍德。,塞雷迪普。,哈里迪斯。,品牌P。,卡尔森。,齐佩列夫斯基。和豪斯曼B.1988。极光或并行Prolog系统。在第五代计算机系统国际会议上。新一代计算机技术研究所,819-830。
[6] 庞泰利。,维拉弗德。,国H-F.和GuptaG.2006。堆栈拆分:一种在共享平台上高效利用搜索并行性的技术。并行与分布式计算杂志66,10,1267-1293.10.1016/j.jpdc.2006.05.002·Zbl 1103.68441号 ·doi:10.1016/j.jpdc.2006.05.002
[7] 罗查尔。,西尔瓦夫。和MartinsR.2003。YapDss:用于可扩展Beowulf集群的或并行Prolog系统。在葡萄牙人工智能会议上。LNAI中的编号2902。施普林格,136-150。
[8] 罗查尔。,西尔瓦夫。和Santos CostaV.1999。YapOr:一个基于环境复制的Or-Parallel Prolog系统。在葡萄牙人工智能会议上。LNAI编号1695。施普林格,178-192年。
[9] 桑托斯J。和RochaR.2014。基于团队的并行Prolog引擎接口调度模型。计算机科学与信息系统杂志11,4,1435-1454。
[10] 桑托斯·科斯塔。,杜特拉。和RochaR.2010。线程和Or-Parallelism统一。逻辑程序设计理论与实践杂志,逻辑程序设计国际会议,专刊10,4-6,417-432·兹比尔1209.68088
[11] 桑托斯·科斯塔。,罗查尔。和DamasL.2012。YAP Prolog系统。逻辑程序设计理论与实践杂志12,1&2,5-34.10.1017/S1471068411000512·Zbl 1244.68017号 ·doi:10.1017/S1471068411000512
[12] 桑托斯·科斯塔。,沃伦D。H.D.和YangR.1991年。安道尔一号:一个并行Prolog系统,它透明地利用了And-和Or-Parallelism。在ACM并行编程原理与实践研讨会上。美国医学会,83-93。
[13] 维埃拉。,罗查尔。和SilvaF.2012。基于堆栈拆分的多核上的Or-Parallel Prolog执行。在多核程序设计的声明性方面和应用国际研讨会上。ACM数字图书馆。
[14] 维拉弗德。,庞泰利。,国合。和GuptaG.2001。PALS:Beowulf架构上Prolog的Or-Parallel实现。在逻辑程序设计国际会议上。LNCS中的2237号。施普林格,27-42·Zbl 1053.68545号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。