米歇尔，L。;A.施瓦茨曼。;Sonnederger，E。;Van Hentenryck，P。 最终可序列化数据服务的最佳部署。 （英语） 邮编：1225.90089 安·Oper。物件。 184, 273-294 (2011). 摘要：提供一致和容错的分布式对象服务是分布式计算的基本问题之一。为了实现容错和提高吞吐量，对象在不同的网络节点上进行复制。然而，为了保持副本一致性，复制会导致巨大的通信成本。最终，提出了可串行化数据服务（ESDS），以降低这些成本，实现对数据的快速操作，同时仍然保证复制的数据最终将保持一致。本文重新考虑了ESDS的部署阶段，其中通信软件组件的特定实现必须映射到物理架构。这种部署旨在最小化总体通信成本，同时满足协议施加的约束。提出了MIP（混合整数规划）和CP（约束规划）模型，并将其应用于实际的ESDS实例。实验结果表明，两种模型都能找到最优解并证明其最优性。然而，CP模型在效率方面提供了数量级的改进。讨论了MIP模型的局限性和CP模型的关键方面。对称破缺和并行计算也会带来显著的好处。 引用于1文件 MSC公司： 90立方厘米 混合整数编程 软件：PVS公司;Uppaal公司 PDF格式BibTeX公司 XML格式引用 \textit{L.Michel}等人，安·奥珀。第184、273--294号决议（2011年；Zbl 1225.90089） 全文： 内政部 参考文献： [1] 阿奎莱拉，M.（2007年）。休利特·帕卡德。个人沟通。 [2] Bastarrica，M.C.（2000年）。分布式系统的体系结构规范和优化部署。康涅狄格大学博士论文。 [3] Bastarrica，M.、Demurjian，S.和；Shvartsman，A.（1998）。用于优化对象分布的软件体系结构规范。SCCC’98：程序。智利计算机科学学会第十八届国际会议，美国华盛顿特区。 [4] Behrmann，G.、David，A.、Larsen，K.、Möller，O.、Pettersson，P.和；Yi，W.（2001）。Uppaal–现在和未来。第40届IEEE决策与控制会议记录（CDC’2001）（第2881–2886页）。 [5] Boysen，N.（2010年）。零库存交叉码头的卡车调度。计算机与运筹学，37（1），32–41。http://dx.doi.org/10.1016/j.cor.2009.03.010 . ·Zbl 1171.90391号 ·doi:10.1016/j.cor.2009.03.010 [6] Cheiner，O.和；Shvartsman，A.（1999）。将最终可序列化的数据服务实现为分布式系统构建块。分布式计算中的网络，45，43–71·Zbl 0936.68004号 [7] Fekete，A.、Gupta，D.、Luchangco，V.、Lynch，N.和；Shvartsman，A.（1996）。最终可序列化的数据服务。1996年《PODC：第十五届ACM分布式计算原理研讨会论文集》（第300-309页）·Zbl 0933.68009号 [8] Gilbert，S.、Lynch，N.A.和；Shvartsman，A.A.（2003年）。兰博ii：用于动态网络的快速可重构原子存储器。DSN（第259页）。洛斯·阿拉米托斯：IEEE计算。Soc公司。 [9] IETF（1990）。域名系统，rfc 1034和rfc 1035。 [10] Kaynar，D.K.、Lynch，N.、Segala，R.和；Vaandrager，F.（2006）。定时I/O自动机理论（计算机科学综合讲座）。圣拉斐尔：摩根；Claypool出版社。 [11] Larsen，K.G.、Pettersson，P.和；Yi，W.（1997）。简言之，UPPAAL。国际技术转让软件工具杂志，1（1-2），134-152·Zbl 1060.68577号 ·doi:10.1007/s100090050010 [12] Li，Y.，Lim，A.和；罗德里格斯，B.（2004）。Crossdocking–带时间窗口的JIT调度。运筹学学会杂志，55（12），1342-1351·Zbl 1088.90026号 ·doi:10.1057/palgrave.jors.2601812 [13] Lim，A.、Ma，H.和；苗政（2006）。计算机科学课堂讲稿：第3982卷。通过交叉码头的转运网络中具有时间窗和容量限制的卡车码头分配问题（第688页）·Zbl 1172.90405号 [14] 林奇，N.，&；Shvartsman，A.（2002）。Rambo：一种用于动态网络的可重构原子内存服务。第16届分布式计算国际研讨会论文集（第173-190页）·Zbl 1029.68527号 [15] 林奇，N.，&；Tuttle，M.（1989）。输入/输出自动机简介。CWI-Quarterly，第2（3）期，219–246页·Zbl 0677.68067号 [16] Lynch，N.A.、Garland，S.、Kaynar，D.、Michel，L.和；Shvartsman，A.（2007）。节奏语言用户指南和参考手册。网址：http://www.veromodo.com，VeroModo Inc.，2007年12月。 [17] Miao，Z.，Lim，A.和；Ma，H.（2009）。交叉码头内作业时间受限的卡车码头分配问题。《欧洲运筹学杂志》，192（1），105-115·Zbl 1181.90122号 ·doi:10.1016/j.ejor.2007.09.031 [18] Michel，L.、See，A.和；Van Hentenryck，P.（2007年）。透明地并行化约束程序。在普罗维登斯举行的第13届约束规划原则与实践国际会议记录（CP-2007）中。 [19] Michel，L.、Van Hentenryck，P.、Sonnederger，E.、Shvartsman，A.和；Moral，M.（2009年）。最终可序列化数据服务的带宽受限优化部署。《组合优化问题约束规划中人工智能和操作规则技术的集成：第六届国际会议，CPAIOR 2009（p.193），匹兹堡，宾夕法尼亚州，美国，2009年5月27日至31日。柏林：斯普林格。 [20] Pardalos，P.M.和；Wolkowicz，H.（编辑）（1994年）。离散数学和理论计算机科学DIMACS系列：第16卷。二次分配及相关问题：DIMACS研讨会，1993年5月20日至21日。普罗维登斯：美国数学学会。 [21] Owre，S.、Rajan，S.，Rushby，J.M.、Shankar，N.和；Srivas，M.K.（1996）。PVS：结合规范、校对和模型检查。第八届计算机辅助验证CAV国际会议论文集（第1102卷，第411-414页），美国新泽西州新不伦瑞克。 [22] Saito，Y.、Frölund，S.、Veitch，A.C.、Merchant，A.和；Spence，S.（2004）。Fab：利用商品组件构建分布式企业磁盘阵列。在Mukherjee，S.，&；McKinley，K.S.（编辑），ASPLOS（第48-58页）。纽约：ACM。 [23] Van Hentenryck，P.、Flener，P.和Pearson，J；奥格伦，M.（2003）。具有可互换值的csp的可牵引对称破坏。在国际人工智能联合会议（IJCAI'03）上。 [24] Yu，W.和；Egbelu，P.（2008）。在带有临时存储的交叉泊位系统中安排进站和出站卡车。《欧洲运筹学杂志》，184（1），377–396·Zbl 1278.90177号 ·doi:10.1016/j.ejor.2006.10.047 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。