×
阿尔贝托·卢什·拉富恩特;米歇尔·洛雷蒂;乌戈·蒙塔纳里

基于定点的计算字段的异步分布式执行。 （英语） Zbl 1398.68369号

日志。方法计算。科学。 13，第1号，第13号论文，46页（2017年）.
摘要：对于组件表现出交互和自治行为的动态分布式系统来说，协调是必不可少的。空间分布、局部交互、传播的计算字段对于允许组件加入和离开而很少或没有开销特别有吸引力。计算字段是聚合编程这是一种非常有前途的软件工程方法，特别适用于物联网。在我们的方法中，空间拓扑由一个固定的图形形状的场表示，即节点和弧上都有属性的网络，其中弧表示节点之间的交互能力。我们建议SMuC公司calculus where\（\mu\）-calculus-like模式公式表示应如何组合存储在相邻节点中的值以更新当前节点。定点操作可以全局地理解为递归定义，也可以局部地理解为异步聚合传播过程。我们给出了微积分的分布式实现。翻译首先完成映射SMuC公司程序转换为标准形式，纯迭代程序，然后转换为分布式程序。给出了一些关键结果，表明在公平异步和节点重新初始化的情况下不动点计算的收敛性。第一个结果允许节点以不同的速度进行，而第二个结果提供了对某些类型故障的鲁棒性。我们通过一个基于灾难恢复场景的案例研究来说明我们的方法，该案例在一个原型模拟器中实现，我们使用该模拟器来评估恢复策略的性能。

引用于4文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
03B70号 计算机科学中的逻辑
68宽15 分布式算法

关键词：

分布式计算;计算场;分布式图算法;协调;模态逻辑

软件：

AVOCLOUDY公司;普雷格尔
PDF格式BibTeX公司 XML格式引用
\textit｛A.Lluch Lafuente｝等人，日志。方法计算。科学。13，第1号，第13号论文，46页（2017；Zbl 1398.68369）
全文： 内政部 arXiv公司

参考文献：

[1] 雅各布·比尔和乔纳森·巴赫拉赫。传感器/执行器网络工程应急基础设施。IEEE智能系统，21:10-192006。
[2] 雅各布·比尔（Jacob Beal）、奥利弗·米歇尔（Oliver Michel）和乌尔里克·帕赫·舒尔茨（Ulrik Pagh Schultz）。空间计算：利用我们的几何世界的分布式系统。ACM自治和自适应系统汇刊，2011年6月11日至11月3日。
[3] 雅各布·比尔（Jacob Beal）、斯特凡·杜尔曼（Stefan Dulman）、凯尔·乌斯贝克（Kyle Usbeck）、米尔科·维罗利（Mirko Viroli）和尼古拉·科雷尔（Nikolaus Correll）。组织聚合：空间计算语言。CoRR，abs/1202.55092012年。
[4] 雅各布·比尔（Jacob Beal）、达尼洛·皮亚尼尼（Danilo Pianini）和米尔科·维罗利（Mirko Viroli）。物联网的聚合编程。IEEE计算机，48（9）：22-302015。
[5] 迪米特里·伯特塞卡斯（Dimitri P.Bertsekas）。定点的分布式异步计算。数学。程序。，27(1):107– 120, 1983. ·Zbl 0521.90089号
[6] 肯·伯曼（Ken Birman）。八卦协议的承诺和限制。SIGOPS操作。系统。版次，41（5）：8–13，2007年10月。
[7] 斯特凡诺·比斯塔雷利（Stefano Bistarelli）、乌戈·蒙塔纳里（Ugo Montanari）和弗朗西丝卡·罗西（Francesca Rossi）。基于半环的约束满足和优化。J.ACM，44（2）：201–2361997年·Zbl 0890.68032号
[8] 艾弗里·钦（Avery Ching）、谢尔盖·埃杜诺夫（Sergey Edunov）、马贾·卡比略（Maja Kabiljo）、狄奥尼西奥斯·洛戈塞提斯（Dionysios Logothetis）和桑巴维·穆图克里希南（Sambavi Muthukris。一万亿条边：脸书规模的图形处理。PVLDB，8（12）：1804–18152015年。
[9] 费鲁西奥·达米亚尼和米尔科·维罗利。用于计算场的基于类型的自稳定。《计算机科学中的逻辑方法》，11（4），2015年·Zbl 1448.68336号
[10] Ferruccio Damiani、Mirko Viroli和Jacob Beal。计算域的一种类型正确的演算。《计算机编程科学》，117:17–442016年。
[11] Ferruccio Damiani、Mirko Viroli、Danilo Pianini和Jacob Beal。代码迁移满足自组织：计算域的高阶演算。Susanne Graf和Mahesh Viswanathan，编辑，《分布式对象、组件和系统的形式化技术——第35届IFIP WG 6.1国际会议》，FORTE 2015，作为第十届国际分布式计算技术联合会会议的一部分，DisCoTec 2015，法国格勒诺布尔，2015年6月2日至4日，会议记录，《计算机科学讲义》第9039卷，第113-128页。斯普林格，2015年。
[12] 杰弗里·迪恩（Jeffrey Dean）和桑杰·盖马沃特（Sanjay Ghemawat）。Mapreduce：一种灵活的数据处理工具。Commun公司。ACM，53（1）：72-772010年。
[13] Edsger W.Dijkstra和C.S.Scholten。扩散计算的终止检测。信息处理快报，11（1）：1–42080·Zbl 0439.68039号
[14] 马克·杰拉西蒂（M'ark Jelasity）。流言，第139-162页。施普林格-柏林-海德堡，柏林，海德堡。
[15] M'ark Jelasity、Alberto Montresor和Ozalp Babaoglu。大型动态网络中基于流言的聚合。ACM事务处理。计算。系统。，23（3）：219–2522005年8月·Zbl 1176.68020号
[16] Alberto Lluch-Lafuente、Michele Loreti和Ugo Montanari。用于图形形状计算域的基于定点的微积分。Tom Holvoet和Mirko Viroli，《协调模型和语言-第17届IFIP WG 6.1国际会议，Coordination 2015》编辑，作为第10届国际分布式计算技术联合会会议的一部分，DisCoTec 2015，法国格勒诺布尔，2015年6月2-4日，会议录，计算机科学讲稿第9037卷，第101-116页。斯普林格，2015年。
[17] Alberto Lluch-Lafuente和Ugo Montanari。在约束半环上定义的定量微积分和CTL。西奥。计算。科学。，346(1):135–160, 2005. ·Zbl 1080.68065号
[18] 拉菲克·马克鲁菲（Rafik Makhloufi）、格里戈里·博内（Gr’egory Bonnet）、纪尧姆·多恩（Guillaume Doyen）和多米尼克·加蒂（Dominique Ga“ti）。对等网络中的分散聚合协议：调查，第111-116页。施普林格-柏林-海德堡，柏林，海德堡。
[19] 格列戈兹·马莱维茨、马修·奥斯汀、阿尔特·J.C.比克、詹姆斯·德内特、伊兰·霍恩、纳蒂·雷瑟和格列戈兹·扎伊科夫斯基。Pregel：用于大规模图形处理的系统。艾哈迈德·埃尔马加米德（Ahmed K.Elmagarmid）和迪维坎特·阿格拉瓦尔（Divyakant Agrawal），编辑，《ACM SIGMOD国际数据管理会议记录》，2010年6月6日至10日，美国印第安纳州印第安纳波利斯，SIGMOD2010，第135至146页。ACM，2010年。
[20] M.Mamei和F.Zambonelli。编程普及和移动计算应用程序：TOTA方法。ACM《软件工程与方法论汇刊》，2009年18:15:1–15:56。
[21] 马可·马梅（Marco Mamei）和弗兰科·赞博内利（Franco Zambonelli）。普适计算应用程序的基于现场的协调·兹比尔1092.68084
[22] 萨拉·蒙塔格纳（Sara Montagna）、米尔科·维罗利（Mirko Viroli）、何塞·路易斯·费尔南德斯·马尔克斯（Jose Luis Fernandez-Marquez）、乔瓦娜·迪·马尔佐·塞鲁根多（Giovanna Di Marzo Serugendo）和弗兰科·赞博内利（Franco Zambonelli）。将自我组织注入无处不在的服务生态系统。莫奈，18（3）：398–4122013。
[23] 汉内·里斯·尼尔森和弗莱明·尼尔森。语义与应用：开胃菜。计算机科学本科专题。施普林格，2007年·Zbl 1126.68052号
[24] 丹尼尔·皮亚尼尼（Danilo Pianini）、雅各布·比尔（Jacob Beal）和米尔科·维罗利（Mirko Viroli）。通过重叠复制来改善八卦动态。在Alberto Lluch-Lafuente和Jose’e Proen\c{}ca，编辑，协调模型和语言-第18届IFIP WG 6.1国际会议，2016年协调，作为第11届国际分布式计算技术联合会会议的一部分举行，DisCoTec 2016，希腊克里特岛赫拉克利翁，2016年6月6-9日，会议记录，《计算机科学讲义》第9686卷，第192-207页。斯普林格，2016年。
[25] 丹尼尔·皮亚尼尼（Danilo Pianini）、米尔科·维罗利（Mirko Viroli）和雅各布·比尔（Jacob Beal）。Protelis：实用聚合编程。罗杰·温赖特（Roger L.Wainwright）、胡安·曼努埃尔·科尔查多（Juan Manuel Corchado）、阿莱西奥·贝奇尼（Alessio Bechini）和吉曼·洪（Jiman Hong），编辑，《第30届ACM应用计算年会论文集》，西班牙萨拉曼卡，2015年4月13日至17日，第1846-1853页。ACM，2015年。
[26] S.A.Savari和Dimitri P.Bertsekas。异步迭代算法的有限终止。并行计算，22（1）：39-561996·Zbl 0873.65018号
[27] 斯特凡诺·塞巴斯蒂奥（Stefano Sebastio）、米歇尔·阿莫雷蒂（Michele Amoretti）和阿尔贝托·卢奇·拉富恩特（Alberto Lluch-Lafuente）。志愿者云中协同任务执行的计算域框架。Gregor Engels和Nelly Bencomo，编辑，第九届自适应和自我管理系统软件工程国际研讨会，SEAMS 2014，会议记录，印度海得拉巴，2014年6月2-3日，第105–114页。ACM，2014年。
[28] 斯特凡诺·塞巴斯蒂奥（Stefano Sebastio）、米歇尔·阿莫雷蒂（Michele Amoretti）和阿尔贝托·卢奇·拉富恩特（Alberto Lluch-Lafuente）。AVOCLOUDY：志愿者云的模拟器。软质。，实际。专家。，46(1):3–30, 2016.
[29] 迈克尔·B·史密斯。权力领域。J.计算。系统。科学。，16(1):23–36, 1978. ·Zbl 0391.68011号
[30] 莱斯利·瓦利安特（Leslie G.Valiant）。并行计算的桥接模型。Commun公司。ACM，33（8）：103–1111990年。
[31] 米尔科·维罗利（Mirko Viroli）、马泰奥·卡萨迪（Matteo Casadei）、萨拉·蒙塔格纳（Sara Montagna）和弗兰科·赞博内利（Franco Zambonelli）。通过受化学启发的元组空间实现普及服务的空间协调。TAAS，6（2）：2014年。
[32] 米尔科·维罗利和费鲁西奥·达米亚尼。一种自稳定计算场的微积分。eva K“uhn和Rosario Pugliese，编辑，协调模型和语言-第16届IFIP WG 6.1国际会议，Coordination 2014，作为第9届分布式计算技术国际联合会会议的一部分，2014年6月3日至5日，德国柏林，DisCoTec 2014，会议记录，《计算机科学讲义》第8459卷，第163-178页。斯普林格，2014年·兹比尔1448.68336
[33] 米尔科·维罗利（Mirko Viroli）、费鲁西奥·达米亚尼（Ferruccio Damiani）和雅各布·比尔（Jacob Beal）。计算领域的微积分。Carlos Canal和Massimo Villari主编，《面向服务和云计算的进展——ESOCC 2013研讨会》，2013年9月11日至13日，西班牙M'alaga，修订论文集，《计算机和信息科学通信》第393卷，第114-128页。施普林格，2013年。
[34] 易善和，李成，李群。雾计算综述：概念、应用和问题。《2015年移动大数据研讨会论文集》编辑群力和董璇，Mobidata@MobiHoc2015年6月21日，中国杭州，第37-42页。ACM，2015年。1.简介计算字段。聚合编程。贡献。前期工作论文结构。背景3.SMuC：计算领域的软演算3.1。基于图形的字段3.2。SMuC公式3.3。针对不可用性的稳健性3.4。抗故障鲁棒性3.5。SMuC程序4。SMuC在工作：拯救受害者5。关于分配SMuC计算5.1。异步协议。5.2。SMuC程序的分布式执行6。相关工作7。结论确认书附录A证据附录B符号参考
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。