×
李西宁;约翰·克利里;布莱恩·昂格

虚拟时间和虚拟空间。 （英语） Zbl 0774.68026号

国际J并行程序。 21，第2期，123-150（1992）.
摘要：我们提出了一种新的分布式逻辑编程模型，并讨论了它的实现。分布式程序由虚拟空间表示，虚拟空间是一组过程，是系统对象的逻辑表示，并根据虚拟时间进行评估，虚拟时间是用于测量计算进度和指定同步的时间坐标。实施的主要重点是实现全球回溯的能力。该实现通过进程间通信收集全局知识，根据虚拟时间和依赖关系分布式控制全局回溯，并捕获启发式，因为早期同步可能会使后续同步更容易成功。
与其他分布式逻辑编程系统相比，我们的系统提供了更简单的语法、定义良好的语义和高效的实现。

MSC公司：

68N17号 逻辑编程
68宽15 分布式算法

关键词：

分布式系统;通信;回溯

软件：

序言;CS-预测
PDF格式BibTeX公司 XML格式引用
\textit｛X.Li｝等人，《国际并行程序》。21，第2号，第123--150页（1992；Zbl 0774.68026）
全文： 内政部

参考文献：

[1] X.Li，CSP*？《离散事件模拟的分布式逻辑编程语言》，卡尔加里大学博士论文（1989年）。
[2] D.R.Jefferson，《虚拟时间》，《美国计算机学会编程语言与系统汇刊》，7（3）：404-425（1985年7月）。 ·数字对象标识代码：10.1145/3916.3988
[3] J.Cleary、B.Unger和X.Li，《使用虚拟时间的分布式并行回溯算法》，分布式仿真，SCS，第177-82页（1988年）。
[4] I.Futo，基于Prolog的分布式仿真，分布式仿真，SCS，第160-165页（1988年）。
[5] P.Kacsuk，I.Futo和SZ.Ferenczi在通信过程体系结构上实现Cs-prolog，微机应用杂志。，13:19-41 (1990). ·doi:10.1016/0745-7138（90）90004-Q
[6] L.M.Pereira和R.Nasr，《Delta-prolog:分布式逻辑编程语言》，国际。关于第五代计算的争论。系统。ICOT（1984）。
[7] J.C.Cunhaet al.Delta prolog:一种分布式逻辑编程语言及其在分布式内存多处理器上的实现。《分布式Prolog的实现》，P.Kacsuk和M.Wise（编辑），John Wiley和Sons，第335-356页（1992年）。
[8] V.Ambriola、P.Ciancarni和M.Danalpto，并行逻辑语言共享Prolog的设计和分布式实现，ACM Sigplan通告，25（3）（1990年3月）。
[9] J.W.Lloyd，《逻辑编程》，Springer Verlag（1984）·Zbl 0547.68005号
[10] L.Lamport，《时间、时钟和分布式系统中事件的排序》，CACM，21（7）（1978年7月）·Zbl 0378.68027号
[11] M.Abadi和Z.Manna，《时序逻辑编程》，Symp。关于逻辑编程，IEEE，第4-16页（1987年）。
[12] L.Sterling和E.Shapiro，《序言的艺术》，麻省理工学院出版社（1986年）·Zbl 0605.68002号
[13] I.Futo和J.Szeredi，《T-prolog:A Very Highlevel Simulation System》，技术代表计算机研究所，H-1015 Budapes Donati，u.，第35-45页（1982年）。
[14] Z.Xiao，B.Cleary，G.Lomow，X.Li，K.Slind，《Jade虚拟时间实施手册》，Res.Rep.86/242/16，卡尔加里大学，2500 University Drive NW，Calgary，Alberta，Canada，T2N 1N4（1986年10月）。
[15] K.M.Chandy和J.Misra，《分布式仿真：分布式程序设计和验证的案例研究》，IEEE Tran。关于软件工程，SE5（5）：440-452（1979年9月）。 ·doi:10.1109/TSE.1979.230182
[16] D.Jefferson和H.Sowizral，《使用时间扭曲机制的快速并发模拟》，第一部分：局部控制，技术代表兰德公司（1982年12月）。
[17] J.Y.Halpern和Y.Moses，《分布式环境中的知识和公共知识》，《ACM交响乐团年鉴3》。《分布式计算原理》，ACM，第50-61页（1984年8月）。
[18] X.Li、B.Unger和J.Cleary，《通信顺序Prolog》，分布式仿真，SCS，第166-170页（1988年）。
[19] B.Unger、G.Birtwistle、J.Cleary和A.Dewar，《分布式软件原型和仿真环境：Jade》。SCS智能仿真环境会议，SCS（1986）。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。