×

并行表逻辑程序中的并发表访问。 (英语) Zbl 1096.68584号

Danalotto,Marco(编辑)等人,《2004年欧洲药典》,并行处理。2004年8月31日至9月3日在意大利比萨举行的第十届国际欧巴会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22924-8/pbk)。计算机科学讲义3149662-670(2004)。
摘要:Tabling是一种实现技术,它通过重用子目标的答案来提高Prolog的声明性和表达性。表逻辑编程的声明性质表明它可能适合并行执行。另一方面,表机制的复杂性,以及共享资源表的存在,可能意味着并行性可能会受到限制,并且永远无法扩展到实际应用程序。在这项工作中,我们提出了三种用于处理并发表访问的替代锁定方案,并使用一组表程序研究了它们对OPTYap并行表系统的影响。
关于整个系列,请参见[Zbl 1056.68005号].

MSC公司:

68N17号 逻辑编程
PDF格式BibTeX公司 XML格式引用
全文: 内政部