×
西里尔·巴罗;贝诺·凯劳德;克洛德·贾德;雷内·索拉瓦尔

测量常规分布式计算的并发性。 （英文） Zbl 1496.68147号

Mosses，Peter D.（编辑）等人，《TAPSOFT’95：软件开发的理论与实践》。1995年5月在丹麦奥胡斯举行的第六届CAAP/FASE国际联席会议。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。915, 711-725 (1995).
摘要：在本文中，我们提出了一种并发性度量方法，它特别适用于表现出常规运行时行为的分布式程序，包括通过自动并行化序列代码获得的许多程序。此度量基于部分顺序的反链格，该反链格对所考虑的分布式执行进行建模。我们展示了在无限执行（即有限模式的重复）上可以计算度量的条件。在那里，可以通过只考虑有限数量的模式来计算度量值，该边界最多是处理器的数量。
关于整个系列，请参见[Zbl 0835.68002号].

MSC公司：

2010年第68季度 计算模式（非确定性、并行、交互式、概率性等）
68号30 软件工程的数学方面（规范、验证、度量、需求等）
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
PDF格式BibTeX公司 XML格式引用
\textit{C.Bareau}等人，Lect。注释计算。科学。915711--725（1995年；Zbl 1496.68147）
全文： 内政部

参考文献：

[1] F.André、O.Chéron和J-L.Pazat。用Pandore II编译分布式内存并行计算机的顺序程序。在编辑Jack J.Dongarra和Bernard Tourancheau的文章中，并行科学计算的环境和工具，第293-308页，爱思唯尔科学出版社，1993年。
[2] C.Bareau、B.Caillaud、C.Jard和R.Thoraval。顺序程序自动分发的正确性。编辑A.Bode、M.Reeve和G.Wolf，93年谈判第517-528页，LNCS 694，Springer Verlag，1993年6月。
[3] C.Bareau、B.Caillaud、C.Jard和R.Thoraval。规则分布式计算的并发性度量《研究报告882》，Irisa，Rennes，France，1994年10月。
[4] D.卡拉汉和K.肯尼迪。为分布式内存多处理器编译程序。超级计算杂志, 2:151-169, 1988. ·doi:10.1007/BF00128175
[5] B.查隆-博斯特。一致割的组合数学和几何：并发理论的应用。在Bernard和Raynal的编辑中，并行和分布式算法国际研讨会，第45-56页，施普林格-弗拉格，法国尼斯，1989年。
[6] B.A.Davey和Priestley H.A。格与序简介剑桥大学出版社，1990年·Zbl 0701.06001号
[7] C.Diehl、C.Jard和J.X.Rampon。分布式执行的可达性分析。在JP.Jouannaud MC.Gaudel编辑中，程序。塔普索特，93 LNCS 668，第629-643页，施普林格·弗拉格，奥赛，巴黎，1993年4月·Zbl 1497.68097号
[8] T.Fahringer、R.Blasko和H.P.Zima。支持大规模并行系统Fortran程序并行化的自动性能预测。在程序。92年超级计算国际会议第347-356页，ACM出版社，1992年7月。
[9] C.J.菲奇。一个简单的运行时并发度量。在第3次会议的议事程序\（^{rd}\）澳大利亚Transputer和OCCAM用户组会议，第92-101页，1990年。
[10] G.H.Golub和C.F.Van Loan。矩阵计算约翰·霍普金斯大学出版社，第二版，1990年。
[11] M.Habib、M.Morvan和J.X.Rampon。关于一些并发措施的备注。在计算机科学中的图论概念，第221-238页，LNCS 4841990年6月·Zbl 0825.68382号
[12] C·贾德和J·M·Jézéquel。ECHIDNA是分布式计算机上原型协议的Estelle编译器。并行实践和经验, 4(5):377-397, 1992.
[13] C.Jard、G.V.Jourdan和J.X.Rampon。Poset理想格的一些在线计算研究报告773，IRISA，1993年12月·兹比尔083368055
[14] L.Lamport。分布式系统中的时间、时钟和事件顺序。ACM的通信，21（7）：558-5651978年7月·Zbl 0378.68027号 ·doi:10.1145/359545.359563
[15] F.马特。分布式系统的虚拟时间和全局状态。Cosnard、Quinton、Raynal和Robert编辑，程序。并行和分布式算法国际研讨会，法国博纳斯，1988年10月北荷兰，1989年·Zbl 0648.68036号
[16] M.Raynal、M.Mizuno和M.-L.Neilsen。分布式计算的同步和并发度量\（在12^{th}\中）IEEE分布式计算系统国际会议，第657-664页，横滨，1992年6月。
[17] H.啜饮\（4^{th}）并行计算机编译器国际研讨会。Sips，H.编辑。代尔夫特，12月13日至16日。代尔夫特理工大学，1993年。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。