埃琳娜·贾奇诺;伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;弗朗西斯科·蒂埃齐 基于元组的语言中的因果一致回滚。 (英语) Zbl 1362.68213号 J.日志。阿尔盖布。方法计划。 88, 99-120 (2017). 总结:回降是确保系统可靠性的基本技术,允许在出现故障时恢复过去的系统状态。然而,在并发/分布式场景中,回滚的定义相当复杂。我们提出了一种基于以下概念的方法因果一致可逆性:任何给定的过去操作都可以撤消,前提是由其引起的所有操作都已撤消。鉴于此,我们将回滚定义为能够撤消给定操作的最小因果一致的后退步骤序列。我们定义了这种回滚操作符的语义,并表明它满足上述规范。我们提出的方法非常通用,但我们在\(\mu\)的情况下实例化了它克莱姆,一种基于分布式元组空间的形式化协调语言。我们注意到,这是共享内存设置中因果一致回滚的第一个定义。我们在\(\mu\)中演示了回滚的使用克莱姆在一个简单但现实的应用程序场景中。 引用于15文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 关键词:可逆计算;进程代数;元组空间;克莱姆 软件:琳达;科莱姆;克拉瓦;交易人员 PDF格式BibTeX公司 XML格式引用 \textit{E.Giachino}等人,J.Log。阿尔盖布。方法计划。88、99-120(2017年;Zbl 1362.68213) 全文: 内政部 链接 参考文献: [1] Elnozahy,E.N.M。;阿尔维西,L。;Wang,Y.-M。;Johnson,D.B.,消息传递系统中回滚恢复协议的调查,ACM Compute。调查。,34, 3, 375-408 (2002) [2] 苹果、Time Machine(OS X) [3] 伯恩斯坦,P.A。;哈齐拉科斯,V。;Goodman,N.,《数据库系统中的并发控制和恢复》(1987),Addison-Wesley [4] Randell,B.,《软件容错的系统结构》,IEEE Trans。柔和。工程师,1,2,220-232(1975) [5] Danos,V。;Krivine,J.,《可逆通信系统》(Gardner,P.;Yoshida,N.,CONCUR 2004)。CONCUR 2004,计算机科学讲稿,第3170卷(2004),施普林格),292-307·1099.68066兹比尔 [6] 戈拉,D。;Pugliese,R.,《动态权限获取的资源访问和移动性控制》,(Baeten,J.C.M.;Lenstra,J.K.;Parrow,J.;Woeginger,G.J.,ICALP.ICALP,计算机科学讲义,第2719卷(2003),Springer),119-132·Zbl 1039.68542号 [7] 贾奇诺,E。;拉内斯,我。;Mezzina,C.A。;Tiezzi,F.,基于元组的语言中的因果一致可逆性,(Daneshtalab,M.;Aldinucci,M.);Leppänen,V.;Lilius,J.;Brorsson,M.,PDP(2015),IEEE),467-475 [8] 德尼古拉,R。;费拉里,G。;Pugliese,R.,KLAIM:一种用于代理交互和移动性的内核语言,IEEE Trans。柔和。工程,24,5,315-330(1998) [9] Gelernter,D.,《Linda中的生成传播》,ACM Trans。程序。语言系统。,7, 1, 80-112 (1985) ·Zbl 0559.68030号 [10] 贝蒂尼,L。;波诺,V。;德尼古拉,R。;法拉利,G.L。;戈拉,D。;洛雷蒂,M。;莫吉,E。;Pugliese,R。;Tuosto,E。;Venneri,B.,《KLAIM项目:理论与实践》,(Priami,C.,《全球计算》,《全球计算机科学讲义》,第2874卷(2003年),施普林格出版社),88-150·Zbl 1179.68027号 [11] 拉内斯,我。;Mezzina,C.A。;Stefani,J.-B.,《反转高阶圆周率》,(Gastin,P.;Laroussinie,F.,CONCUR 2010。CONCUR 2010,《计算机科学讲义》,第6269卷(2010),Springer),478-493·Zbl 1287.68137号 [12] 菲利普斯一世。;Ulidowski,I.,《逆向代数过程计算》,J.Log。代数程序。,73, 1-2, 70-96 (2007) ·Zbl 1123.68065号 [13] 克里斯特斯库,I.D。;Krivine,J。;Varacca,D.,可逆pi-calculus的合成语义,(LICS(2013),IEEE出版社),388-397·Zbl 1366.68201号 [14] Lienhardt,M。;拉内斯,我。;梅齐纳,C.A。;Stefani,J.-B.,《可逆抽象机及其空间开销》(Giese,H.;Rosu,G.,FMOODS/FORTE.FMOODS/WORTE,计算机科学讲义,第7273卷(2012),Springer),1-17 [15] 拉内斯,我。;Mezzina,C.A。;Stefani,J.-B.,高阶(π)演算中的可逆性,Theor。计算。科学。,625, 25-84 (2016) ·Zbl 1338.68078号 [16] Prabhu,P。;Ramalingam,G。;Vaswani,K.,《安全可编程推测并行》(Zorn,B.G.;Aiken,A.,PLDI(2010),ACM),50-61 [17] 巴恩斯,医学博士。;Carothers,C.D。;Jefferson,D.R。;LaPre,J.M.,《翘曲速度:在1966080核上执行时间翘曲》,(Loper,M.L.;Wainer,G.A.,SIGSIM-PADS(2013),ACM),327-336 [18] 拉内斯,我。;Lienhardt,M。;Mezzina,C.A。;施密特,A。;Stefani,J.-B.,并发柔性可逆性,(Felleisen,M.;Gardner,P.,ESOP,ESOP《计算机科学讲义》,第7792卷(2013),Springer),370-390·Zbl 1381.68210号 [19] 拉内斯,我。;Mezzina,C.A。;施密特,A。;Stefani,J.-B.,控制高阶π的可逆性,(Katoen,J.;König,B.,CONCUR 2011。CONCUR 2011,计算机科学讲稿,第6901卷(2011),Springer),297-311·Zbl 1344.68168号 [20] 阿维齐尼斯,A。;J.-C.拉普利。;Randell,B。;Landwehr,C.E.,可靠和安全计算的基本概念和分类,IEEE Trans。可靠安全计算。,1, 1, 11-33 (2004) [21] 乔提亚,T。;Duggan,D.,容错全局计算抽象,Theor。计算。科学。,322, 3, 567-613 (2004) ·Zbl 1071.68010号 [22] 菲尔德,J。;Varela,C.A.,《Transactors:在不可靠环境中维护全球一致分布式状态的编程模型》(Palsberg,J.;Abadi,M.,POPL(2005),ACM),195-208·Zbl 1369.68134号 [23] 齐亚雷克,L。;Jagannathan,S.,并发ML的轻量级检查点,J.Funct。程序。,20, 2, 137-173 (2010) ·Zbl 1214.68122号 [24] Leeman,G.,程序设计语言中撤消操作的正式方法,ACM Trans。程序。语言系统。,8, 1, 50-87 (1986) ·Zbl 0592.68015号 [25] Danos,V。;Regnier,L.,可逆、不可逆和最佳λ-机器,Theor。计算。科学。,227, 1-2, 79-97 (1999) ·Zbl 0952.03008号 [26] Bishop,P.G.,《使用可逆计算实现故障安全》(ISSRE(1997),IEEE计算机学会),182-191 [27] 达诺斯,V。;Krivine,J.,《RCCS交易》,(Abadi,M.;de Alfaro,L.,CONCUR 2005。CONCUR 2005,计算机科学讲稿,第3653卷(2005),Springer),398-412·Zbl 1134.68432号 [28] 巴奇,G。;Danos,V。;Kammar,O.,《关于可逆通信过程的统计热力学》,(Corradini,A.;Klin,B.;Crstea,C.,CALCO 2011。CALCO 2011,计算机科学讲义,第6859卷(2011),施普林格),1-18·Zbl 1344.68160号 [29] 菲利普斯一世。;乌利多夫斯基,I。;Yuen,S.,可逆过程微积分和ERK信号通路的建模,(Glück,R.;横山,T.,可逆计算。可逆计算,计算机科学讲义,第7581卷(2012),施普林格),218-232·Zbl 1451.68124号 [30] 库恩,S。;Ulidowski,I.,《朝向局部可逆性的建模》,(Krivine,J.;Stefani,J.-B.,《可逆计算》,可逆计算,计算机科学讲义,第9138卷(2015年),Springer),279-284·Zbl 1464.68113号 [31] 拉内斯,我。;Mezzina,C.A。;Tiezzi,F.,因果一致可逆性,公牛。欧洲协会。计算。科学。,114, 121-139 (2014) ·Zbl 1409.68117号 [32] 贝蒂尼,L。;德尼古拉,R。;Pugliese,R.,Klava:一个用于分布式和移动应用程序的Java包,Softw。实际。实验,32,14,1365-1394(2002)·Zbl 1009.68933号 [33] Engblom,J.,《反向调试综述》(System,Software,SoC and Silicon Debug(2012),IEEE),1-6 [34] 贾奇诺,E。;拉内斯,我。;Mezzina,C.A.,因果一致可逆调试,(Gnesi,S.;Rensink,A.,FASE.FASE,计算机科学讲义,第8411卷(2014),Springer),370-384 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。