彼得·王;佐尔坦·索莫吉 最小化依赖与平行的开销。 (英语) Zbl 1245.68058号 Gallagher,John P.(编辑)等人,第27届逻辑编程国际会议的技术交流(ICLP 2011),美国肯塔基州列克星敦,2011年7月6日至10日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-31-6)。LIPIcs–莱布尼茨国际信息学会议录11,128-138,仅电子版(2011年)。 概要:编程语言的并行实现需要控制同步开销。同步对于确保并行代码的正确性至关重要,但它增加了顺序程序中不存在的开销。这是并行逻辑编程系统的一个重要问题,因为此类程序中的几乎每个操作都需要访问变量,而且,向所有此类访问添加同步代码的传统方法成本高昂,以至于程序的并行版本在四个处理器上的运行速度可能比序列版本在一个处理器上运行的速度慢。我们提出了一种在逻辑编程语言中实现依赖AND并行的程序转换,该转换使用模式信息仅向实际需要的变量访问添加同步代码。有关整个系列,请参见[Zbl 1237.68017号]. MSC公司: 68N17号 逻辑编程 68甲19 其他编程范式(面向对象、顺序、并发、自动等) 68号30 软件工程的数学方面(规范、验证、度量、需求等) 关键词:同步;程序转换 软件:水银;wamcc公司;DASWAM公司;序言 PDF格式BibTeX公司 XML格式引用 \textit{P.Wang}和\textit{Z.Somogyi},LIPIcs——莱布尼茨国际程序。通知。11、128——138(2011;Zbl 1245.68058) 全文: 内政部 链接