×
卡琳·阿尔蒂森；圣埃芬·德维斯梅斯

关于概率snap稳定。 （英语） Zbl 1371.68031号

西奥。计算。科学。 688, 49-76 (2017).
小结：在本文中，我们介绍概率snap稳定。我们放宽了确定性snap稳定的定义，而不损害其安全保证。在不安全的环境中，一种概率快速稳定算法满足其安全性立即最后一次故障后；而它的活性只有概率1才能保证。
我们表明，概率snap稳定比确定性snap稳定更具表现力。实际上，对于没有确定性快照或自稳定解决方案的问题，我们提出了两种概率快照稳定算法：保障服务领导选举在任意匿名网络中。这个问题包括计算每个引发问题“我是网络的领导者吗？”的过程的正确答案，即（1）过程总是计算该问题的相同答案，（2）恰好一个过程计算答案真的.
我们的解决方案是概率稳定的，答案只能在几乎可以肯定的有限时间内给出；然而，无论初始配置如何，只要问题已经正确开始，任何提交的答案都是正确的。

引用于三文件

MSC公司：

64岁以下 分布式系统
68米10 计算机系统中的网络设计和通信

关键词：

snap稳定；概率算法；领导人选举
PDF格式BibTeX公司 XML格式引用
\textit{K.Altisen}和\textit{S.Devismes}，Theor。计算。科学。688，49-76（2017年；兹bl 1371.68031）
全文： 内政部

参考文献：

[1] Altisen，K。；Devismes，S.，《关于概率snap稳定化》（Chatterjee，M.；Cao，J.-N.；Kothapalli，K.；Rajsbaum，S.），《分布式计算与网络会议记录——第15届国际会议记录》，ICDCN，印度哥印拜陀，2014年1月4-7日。分布式计算与网络会议记录-第15届国际会议。《分布式计算与网络会议录》——第十五届国际会议，ICDCN，印度哥印拜陀，2014年1月4日至7日，《计算讲义》。科学。，第8314卷（2014），施普林格），272-286
[2] Dijkstra，E.W.，《分布式控制下的自我稳定系统》，Commun。ACM，17，11，643-644（1974）·Zbl 0305.68048号
[3] 山下，M。；Kameda，T.，《匿名网络上的计算：第一部分描述可解情况》，IEEE Trans。并行分配系统。，7, 1, 69-89 (1996)
[4] Herman，T.，概率自稳定，Inform。过程。莱特。，35, 2, 63-67 (1990) ·Zbl 0697.68027号
[5] Gouda，M.G.，《弱稳定理论》，（Datta，A.K.；Herman，T.，《自我稳定系统会议录》，第五届国际研讨会。《自我稳定体系会议录》第五期国际研讨会，WSS，葡萄牙里斯本，2001年10月1日至2日。自我稳定系统会议录，第五届国际研讨会。《自我稳定系统会议录》，第五届国际研讨会，WSS，葡萄牙里斯本，2001年10月1日至2日，计算机课堂讲稿。科学。，第2194卷（2001），施普林格），114-123·Zbl 1030.68524号
[6] Devismes，S。；Tixeuil，S。；Yamashita，M.，《弱与自与概率稳定》，（第28届分布式计算系统国际会议论文集。第28届国际分布式计算系统会议论文集，ICDCS，2008年6月17日至20日，中国北京（2008），IEEE计算机学会），681-688
[7] Beauquier，J。；Genolini，C。；Kutten，S.，最优反应稳定：互斥情况，（Coan，B.A.；Welch，J.L.，分布式计算原理第十八届年度研讨会论文集。分布式计算原理第十八届年度研讨会论文集，PODC，美国乔治亚州亚特兰大，1999年5月3日至6日（1999年），ACM），209-218·Zbl 1321.68062号
[8] 以色列，A。；Jalfon，M.，令牌管理方案和随机游走产生自稳定互斥，（Dwork，C.，《第九届分布式计算原理年度研讨会论文集》，加拿大魁北克市PODC，1990年8月22日至24日（1990），ACM，119-131
[9] 多列夫，S。；以色列，A。；Moran，S.，《统一动态自稳定领导人选举》，IEEE Trans。并行分配系统。，8, 4, 424-440 (1997)
[10] Ghosh，S。；古普塔，A。；Herman，T。；Pemmaraju，S.V.，含故障自稳定分布式协议，分布式计算。，20, 1, 53-73 (2007) ·Zbl 1266.68064号
[11] 多列夫，S。；Herman，T.，动态分布式系统的超稳定协议，Chic。J.理论。计算。科学。，1997 (1997) ·Zbl 0924.68005号
[12] Bui，A。；Datta，A.K。；佩蒂特，F。；Villain，V.，树网络中的Snap稳定和PIF，Distrib.Comput。，20, 1, 3-19 (2007) ·Zbl 1266.68206号
[13] 斯洛曼，M。；Kramer，J.，《分布式系统和计算机网络》（1987），普伦蒂斯·霍尔·兹比尔0609.93022
[14] Puterman，M.L.，《马尔可夫决策过程：离散随机动态规划》（1994），John Wiley&Sons，Inc·兹伯利0829.90134
[15] Beauquier，J。；Gradinariu，M。；Johnen，C.，环上任意调度下的随机自稳定和空间最优领导选举，Distribute.Compute。，20, 1, 75-93 (2007) ·Zbl 1266.68063号
[16] 杜弗洛特，M。；弗里堡，L。；Picaronny，C.，随机有限状态分布式算法作为马尔可夫链，（Welch，J.L.，《分布式计算学报》，第15届国际会议。《分布式计算杂志》，第十五届国际会议，DISC，葡萄牙里斯本，2001年10月3-5日。《分布式计算学报》，第15届国际会议。《分布式计算会议录》，第15届国际会议，DISC，葡萄牙里斯本，2001年10月3-5日，《计算讲义》。科学。，第2180卷（2001），施普林格），240-254·Zbl 1024.68899号
[17] Durrett，R.，《概率、理论和实例》（2010），剑桥大学出版社·Zbl 1202.60001号
[18] Alpern，B。；Schneider，F.B.，《定义活力，信息》。过程。莱特。，21, 4, 181-185 (1985) ·Zbl 0575.68030号
[19] Manna，Z。；Pnueli，A.，时间属性的层次结构，（Dwork，C.，第九届分布式计算原理年度研讨会论文集。第九届分布计算原理年度会议论文集，加拿大魁北克市，1990年8月22日至24日（1990年），ACM），377-410
[20] 库尼尔，A。；Devismes，S.公司。；Villain，V.，捕捉稳定PIF和无用计算，（第12届并行和分布式系统国际会议论文集。第12届平行和分布式系统世界会议论文集，ICPADS，2006年7月12-15日，明尼阿波利斯，明尼苏达州，美国（2006），IEEE计算机学会），39-48
[21] Tel，G.，《分布式算法导论》（2001），剑桥大学出版社
[22] 马蒂亚斯，Y。；Afek，Y.，《匿名网络的简单高效选举算法》，（Bermond，J.-C.；Raynal，M.，《分布式算法会议录》，第三届国际研讨会。《分布式算法会刊》，第3届国际研讨会，WDAG，法国尼斯，1989年9月26日至28日。分布式算法会议录，第三届国际研讨会。《分布式算法会议录》，第三届国际研讨会，WDAG，法国尼斯，1989年9月26-28日，《计算机课堂讲稿》。科学。，第392卷（1989），施普林格），183-194
[23] 多列夫，S。；以色列，A。；Moran，S.，《统一动态自稳定领导人选举》，IEEE Trans。并行分配系统。，8, 4, 424-440 (1997)
[24] Boulinier，C。；佩蒂特，F。；Villain，V.，《当图论有助于自我稳定时》，（Chaudhuri，S.；Kutten，S.，《第二十届分布式计算原理年度研讨会论文集》，PODC，加拿大纽芬兰圣约翰，2004年7月25日至28日（2004年），ACM，150-159·Zbl 1321.68065号
[25] Boulinier，C.，L'unisson（2007），皮卡迪大学Jules Verne博士论文
[26] Arora，A。；多列夫，S。；Gouda，M.G.，《保持数字时钟同步，并行处理》。莱特。，1991年11月1日至18日
[27] Devismes，S。；Petit，F.，《论统一的效率》，（Blin，L.；Busnel，Y.，《动态分布式系统理论方面第四次研讨会论文集》，《动态分布系统理论方面的第四次会议论文集》（TADDS，意大利罗马，2012年12月17日，ACM），20-25
[28] Boulinier，C。；Levert，M。；Petit，F.，《匿名网络中的快照稳定波》，（Rao，S.；Chatterjee，M.；Jayanti，P.；Murthy，C.S.R.；Saha，S.K.，《第九届国际会议分布式计算和网络会议记录》，第九届国际会议，ICDCN，印度加尔各答，2008年1月5日至8日。分布式计算和网络会议录，第九届国际会议。《分布式计算与网络会议录》，第九届国际会议，ICDCN，印度加尔各答，2008年1月5-8日，《计算讲义》。科学。，第4904卷（2008），施普林格），191-202·Zbl 1131.68310号
[29] Datta，A.K。；拉莫尔，L.L。；Devismes，S。；Heurtefeux，K。；Rivierre，Y.，自我稳定小k支配集，国际期刊Netw。计算。，3, 1, 116-136 (2013)
[30] 古普塔，R。；斯莫尔卡，S.A。；Bhaskar，S.，《关于序列和分布式算法中的随机化》，ACM Compute。调查。，26, 1, 7-86 (1994)
[31] Katz，S。；Perry，K.J.，消息传递系统的自稳定扩展，分布式计算。，7, 1, 17-26 (1993) ·兹比尔1282.68077
[32] 库尼尔，A。；达塔，A.K。；佩蒂特，F。；Villain，V.，Enabling snap stabilization，（《第23届分布式计算系统国际会议论文集》，第23届国际分布式计算系统会议论文集，ICDCS，2003年5月19日至22日，美国罗得岛州普罗维登斯（2003），IEEE计算机学会），12-19
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。