×
戈帕尔·古普塔;恩里科·蓬泰利

非确定性语言和系统并行实现的优化模式。 （英语） Zbl 0984.68734号

软件。实践与经验 31，第12期，1143-1181（2001）.
摘要：非确定性系统（如定理证明系统）和语言（如逻辑、约束或并发约束语言）的朴素并行实现可能导致性能低下。我们提出了三种优化方案，基于计算树的扁平化、开销的延迟和计算的序列化，可以系统地应用于非确定性系统/语言的并行实现，以减少并行开销并提高并行执行的效率。通过将这些模式应用于ACE并行逻辑编程系统，说明了这些模式的有效性。所提供的性能数据表明，可以显著提高执行效率。

MSC公司：

68单位99 计算方法和应用
68N17号 逻辑编程

关键词：

非确定性系统

软件：

SICStus公司
PDF格式BibTeX公司 XML格式引用
\textit{G.Gupta}和\textit{E.Pontelli}，软件。，实际。专家。31，第12号，1143--1181（2001；Zbl 0984.68734）
全文： 内政部

参考文献：

[1] 序言的艺术。麻省理工学院出版社：马萨诸塞州剑桥，1994年·Zbl 0850.68137号
[2] 逻辑程序设计中的约束满足。麻省理工学院出版社：马萨诸塞州剑桥，1989年。
[3] 并发约束编程语言。1989年，匹兹堡卡内基梅隆大学计算机科学学院博士论文。
[4] OPS5中的编程专家系统：基于规则的编程导论。Addison-Wesley，1985年。
[5] 并行和矢量计算机的超级编译器。ACM出版社：纽约，1991年。
[6] 计算机系统设计提示。ACM操作系统原理研讨会论文集。ACM出版社：纽约，1983年。
[7] ACE：基于和/或并行复制的逻辑程序执行。ICLP’94会议记录。麻省理工学院出版社：马萨诸塞州剑桥市，1994年；93-109中。
[8] &ACE：高性能并行序言系统。国际并行处理研讨会论文集，1995年4月。IEEE计算机学会：加州圣巴巴拉，1995年；564-571. ·doi:10.1109/IPPS.1995.395891
[9] &-Prolog及其性能：利用独立性和平行性。《逻辑程序国际会议记录》，1990年6月。麻省理工学院出版社：马萨诸塞州剑桥，1990年；253-268.
[10] 逻辑程序的有限与并行执行的一种抽象机器。第三届ICLP会议录（计算机科学讲义，第225卷）。施普林格：柏林，1986年；25-40.
[11] Lusk，新一代计算7（1990）·doi:10.1007/BF03037208
[12] Muse或并行Prolog模型及其性能。1990年北美逻辑程序会议记录。麻省理工学院出版社：马萨诸塞州剑桥，1990年；757-776.
[13] 关于逻辑程序全局流分析的实用性。第五届逻辑程序设计国际会议和研讨会论文集，1988年8月。麻省理工学院出版社：马萨诸塞州剑桥，1988年。
[14] 使用Ciao系统预处理器进行程序分析、调试和优化。逻辑程序设计国际会议论文集。麻省理工学院出版社：马萨诸塞州剑桥，1999年。
[15] 使用全局分析进行编程。国际逻辑程序设计研讨会论文集。麻省理工学院出版社：马萨诸塞州剑桥市，1997年。
[16] 逻辑程序的非故障分析。逻辑程序设计国际会议论文集。麻省理工学院出版社：马萨诸塞州剑桥，1997年。
[17] 逻辑程序的下限成本估算。国际逻辑程序设计研讨会论文集。麻省理工学院出版社：马萨诸塞州剑桥，1997年；291-306.
[18] 逻辑编程中的类型。麻省理工学院出版社：马萨诸塞州剑桥，1992年。
[19] Prolog中函数计算的检测和优化。第三届逻辑编程国际会议记录，帝国理工学院，1986年7月（计算机科学讲义，第225卷）。施普林格：柏林，1986年；490-505. ·数字对象标识代码：10.1007/3-540-16492-897
[20] 相关AND并行的prolog程序的编译时自动并行化。逻辑程序设计国际会议论文集。麻省理工学院出版社：马萨诸塞州剑桥，1997年；108-122.
[21] 逻辑程序中的任务粒度分析。1990年ACM编程语言设计与实现会议记录。ACM出版社，1990年。
[22] 德布雷（Debray），《逻辑编程杂志》（Journal of Logic Programming）第5卷第207页–（1988年）·Zbl 0647.68010号 ·doi:10.1016/0743-1066（88）90010-6
[23] 庞泰利，《计算机语言》22（1996）·doi:10.1016/S0096-0551（96）00010-0
[24] 分布式Prolog的实现。威利：奇切斯特，1992年。
[25] Araujo，《逻辑编程杂志》，第33页，第49页–（1997）·Zbl 0886.68030号 ·doi:10.1016/S0743-1066（96）00117-3
[26] 分开来看：并行分布式堆栈内存管理。逻辑编程系统的实现，（eds.）。Kluwer学术出版社：马萨诸塞州诺威尔，1994年。
[27] ACE中的数据和并行逻辑编程。第七届IEEE并行和分布式处理研讨会论文集。IEEE：加利福尼亚州洛斯阿拉米托斯，1995年。
[28] 确定性驱动的并行Prolog实现优化。逻辑程序设计会议记录95。麻省理工学院出版社，1995年；615-629.
[29] Sicstus Prolog用户手册。瑞典斯潘加S-16313，邮政信箱1263，1988年。
[30] 依赖AND并行的实现机制。逻辑程序设计国际会议论文集。麻省理工学院出版社，1997年。
[31] Hermenegildo，《逻辑编程杂志》13第349页-（1991）·doi:10.1016/0743-1066（92）90053-6
[32] Muthukumar，《逻辑编程杂志》38页165–（1997）·Zbl 0927.68018号 ·doi:10.1016/S0743-1066（98）10022-5
[33] 限制性与平行主义。第五代计算机系统国际会议记录，OHMSHA，东京，1984年11月；471-478.
[34] 实现并发约束逻辑编程的高效并行实现。俄勒冈州大学ICOT/NFS并行逻辑编程及其编程环境研讨会论文集，Chikayama T，Tick E（eds.），1994年。
[35] 通过抽象解释联合确定程序变量的共享性和自由性。《1991年逻辑程序设计国际会议论文集》，1991年6月。麻省理工学院出版社：马萨诸塞州剑桥，1991年；49-63.
[36] 严格独立自动程序并行化中全局分析的有效性。国际逻辑程序设计研讨会论文集（编辑）。麻省理工学院出版社，1994年。
[37] 逻辑程序编译时自动并行化方法的比较研究。并行符号计算，1994年9月。世界科学出版公司，1994年；63-73.
[38] 有效管理AND并行中的回溯。第三届逻辑编程国际会议记录，帝国理工学院，1986年7月（计算机科学讲义，第225卷）。斯普林格·弗拉格。1986; 40-55. ·doi:10.1007/3-540-16492-8_63
[39] 非确定性语言的并行实现中的高效回溯。并行处理国际会议记录。IEEE计算机协会，1998年。
[40] 自然语言多处理：案例研究。AAAI会议记录。麻省理工学院出版社：马萨诸塞州剑桥，1998年；76-82.
[41] 抽象序言指令集。技术报告309，SRI国际，1983年。
[42] 一种改进的prolog实现，它优化了尾部递归。爱丁堡大学人工智能系研究论文156。
[43] Pettorosi，《逻辑编程杂志》19/20第261页–（1994）·兹比尔0942.68528 ·doi:10.1016/0743-1066（94）90028-0
[44] Or-parallel逻辑编程系统的最后一个备选优化。第八届并行和分布式处理国际研讨会论文集。IEEE计算机学会，1996年。
[45] 并发逻辑编程为la模式。高性能逻辑编程系统，（eds.）。Kluwer，1994年。
[46] 在多处理器上编译执行reduce-OR进程模型。NACLP’89会议记录。麻省理工学院出版社，1989年；313-331.
[47] Paralation模型：与体系结构无关的并行编程。麻省理工学院出版社，1988年。
[48] 数据并行计算的向量模型。麻省理工学院出版社，1990年。
[49] 高效工作的嵌套数据并行。大规模并行计算的前沿。弗吉尼亚州麦克莱恩，1994年。
[50] 快速嵌套屏障同步的有效技术。第七届ACM并行算法和体系结构研讨会论文集。ACM出版社：纽约，1995年。
[51] 嵌套并行调用优化。1996年IEEE计算机学会国际并行处理研讨会论文集。
[52] 改革序言：语言及其实现。第十届逻辑程序设计国际会议论文集。麻省理工学院出版社，1993年；283-298.
[53] Prolog中与/或并行性的研究。剑桥大学博士论文，1992年。
[54] 为什么多SLD优于SLD（即使在单处理器上）。LPAR公司。施普林格出版社：柏林，1994年。
[55] 多日志：数据或并行逻辑编程。逻辑程序设计国际会议论文集。麻省理工学院出版社，1993年。
[56] Prolog中的递归与迭代。逻辑程序设计国际会议论文集。麻省理工学院出版社，1991年。
[57] 极光并行Prolog系统在计算分子生物学中的应用。国际逻辑程序设计研讨会论文集。麻省理工学院出版社，1993年。
[58] 在Or-parallel Prolog系统中调度推测工作。第十届逻辑程序设计国际会议论文集。麻省理工学院出版社，1993年；135-149.
[59] 带约束的编程。麻省理工学院出版社：马萨诸塞州剑桥，1998年。
[60] clp（fd）的WAM的最小扩展。国际逻辑程序设计会议，麻省理工学院出版社，1993年。
[61] 关于编译Prolog中优化浅层回溯的效率。第六届逻辑程序设计国际会议记录，1989年6月。麻省理工学院出版社，1989年；3-16.
[62] 回溯家庭以实现独立和平等。技术报告，马德里理工大学，1993年。
[63] 安道尔I：一个并行Prolog系统，透明地利用了And和Or并行。第三届ACM SIGPLAN PPoPP会议记录。ACM出版社，1991年；83-93.
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。