卡米尼蒂，萨维里奥;艾琳·菲诺奇;Emanuele G.富斯科。;弗朗西斯科·西尔维斯特里 弹性动态编程。 （英语） Zbl 1359.68287号 算法 77，No.2，389-425（2017）. 摘要：我们研究了不可靠存储器中动态编程算法的设计，即存在导致某些位的逻辑状态与上次写入时不同的错误。假设具有无限计算能力的对手可以在运行时插入有限数量的内存错误，我们获得了第一个用于广泛动态编程问题的弹性算法，设计了一个通用框架，可应用于迭代和递归实现。除了所有的局部依赖问题，其中表项的更新由相邻单元格的内容决定，我们还解决了具有挑战性的非局部问题，例如所有对最短路径和矩阵乘法。我们的所有算法都是正确的，具有很高的概率，并且与标准非弹性算法的运行时间相匹配，同时可以容忍多项式数量的错误。递归算法还具有缓存效率，可以容忍内存层次结构中任何级别的故障。我们的结果利用了数据复制、大多数技术、指纹计算和延迟故障检测的精心组合。为了应对我们的一些算法导致的复杂数据访问模式，我们还设计了放大指纹，这可能对针对不同问题的弹性算法的设计具有独立的意义。 MSC公司： 68周05 非数值算法 90立方厘米 动态编程 关键词：动态规划;缓存缓冲算法;高斯消去范式;存储器故障;弹性计算 PDF格式BibTeX公司 XML格式引用 \textit{S.Caminiti}等人，Algorithmica 77，No.2，389--425（2017；Zbl 1359.68287） 全文： DOI程序 链接 参考文献： [1] Aggarwal，A.、Vitter，J.S.：排序的输入/输出复杂性和相关问题。Commun公司。ACM 31（9），1116-1127（1988）·doi:10.1145/48529.48535 [2] Ajtai，M.、Feldman，V.、Hassidim，A.、Nelson，J.：不精确比较的排序和选择。摘自：第36届国际自动化、语言和编程学术讨论会论文集，第37-48页（2009年）·Zbl 1248.68177号 [3] Aslam，J.A.，Dhagat，A.：在存在线性有界误差的情况下进行搜索。收录于：第23届美国计算机学会计算理论研讨会论文集，第486-493页（1991年） [4] Assaf，S.，Upfal，E.：容错分拣网络。SIAM J.离散数学。4(4), 472-480 (1991) ·Zbl 0735.68019号 ·数字对象标识代码：10.1137/0404042 [5] Aumann，Y.，Bender，M.A.：容错数据结构。摘自：第37届IEEE计算机科学基础研讨会论文集，第580-589页（1996）·Zbl 0872.68033号 [6] Babenko，M.A.，Pouzyrevsky，I.：弹性快速分类和选择。收录于：俄罗斯第七届国际计算机科学研讨会论文集。LNCS，第7353卷，第6-17页（2012年）·Zbl 1360.68390号 [7] Blömer，J.，Seifert，J.：高级加密标准（AES）的基于故障的密码分析。收录于：《金融密码术》，第162-181页（2003年）·Zbl 1274.94043号 [8] Blum，M.，Evans，W.S.，Gemmell，P.，Kannan，S.，Naor，M.：检查记忆的正确性。算法12（2-3），225-244（1994）·Zbl 1323.68200号 ·doi:10.1007/BF01185212 [9] Borgstrom，R.S.，Kosaraju，S.R.：存在错误的基于比较的搜索。摘自：第25届ACM计算机理论研讨会论文集，第130-136页（1993）·Zbl 1310.68070号 [10] Boyer，R.S.，Moore，J.S.:MJRTY：快速多数投票算法。摘自：《自动推理：纪念伍迪·布莱德索的论文》，第105-118页（1991年）·Zbl 1300.68020号 [11] Brodal，G.S.，Fagerberg，R.，Finocchi，I.，Grandoni，F.，Italiano，G.F.，Jörgensen，A.G.，Moruz，G.，Mölhave，T.：最佳弹性动态词典。摘自：第15届欧洲算法研讨会论文集。LNCS，第4698卷，第347-358页（2007年）·Zbl 1151.68384号 [12] Brodal，G.S.、Jörgensen，A.G.、Mölhave，T.：容错外部存储器算法。摘自：第十一届算法和数据结构研讨会论文集。LNCS，第5664卷，第411-422页（2009年）·Zbl 1253.68351号 [13] Brodal，G.S.、Jörgensen，A.G.、Moruz，G.、Mölhave，T.：存在内存故障时的计数。摘自：第20届国际算法与计算研讨会论文集。LNCS，第5878卷，第842-851页（2009年）·Zbl 1273.68067号 [14] Caminiti，S.、Finocchi，I.、Fusco，E.G.：内存故障情况下的局部依赖动态编程。收录于：第28届计算机科学理论方面研讨会论文集。LIPICS，第9卷，第45-56页（2011年）·Zbl 1230.68227号 [15] Caminiti，S.、Finocchi，I.、Fusco，E.G.、Silvestri，F.：错误内存层次结构中的动态编程（缓存-发布）。摘自：第31届IARCS软件技术和理论计算机科学基础年会论文集。LIPICS，第13卷，第433-444页（2011年）·Zbl 1246.68071号 [16] Chen，V.，Grigorescu，E.，de Wolf，R.：纠错数据结构。SIAM J.计算。42(1), 84-111 (2013) ·兹比尔1267.68101 ·数字对象标识代码：10.1137/10834949 [17] Chowdhury，R.A.，Le，H.S.，Ramachandran，V.：生物信息学的Cache-oblievious动态编程。IEEE/ACM传输。计算。生物信息。7(3), 495-510 (2010) ·doi:10.1109/TCBB.2008.94 [18] Chowdhury，R.A.，Ramachandran，V.：Cache-oblievious动态编程。摘自：第17届ACM-SIAM离散算法研讨会论文集，第591-600页（2006）·Zbl 1192.90241号 [19] Chowdhury，R.A.，Ramachandran，V.：多核的高效缓存动态编程算法。摘自：第20届ACM算法和架构并行性研讨会论文集，第207-216页（2008） [20] Chowdhury，R.A.，Ramachandran，V.：基于缓存的高斯消除范式：理论框架、并行化和实验评估。理论计算。系统。47, 878-919 (2010) ·Zbl 1213.68070号 ·doi:10.1007/s00224-010-9273-8 [21] Chowdhury，R.A.，Ramachandran，V.，Silvestri，F.，Blakeley，B.：多核和处理器网络的不经意算法。J.平行分布计算。73(7), 911-925 (2013) ·Zbl 1327.68327号 ·doi:10.1016/j.jpdc.2013.04.008 [22] Christiano，P.，Demaine，E.D.，Kishore，S.：具有附加开销的无损容错数据结构。摘自：第14届算法和数据结构国际研讨会论文集。LNCS，第6844卷，第243-254页（2011年）·Zbl 1342.68107号 [23] Chu，M.，Kannan，S.，McGregor，A.：检查并检查优先级队列的正确性。收录：第34届国际自动化、语言和编程学术讨论会论文集。LNCS，第4596卷，第728-739页（2007年）·Zbl 1171.68433号 [24] De Stefani，L.，Silvestri，F.：在弹性算法和数据结构中利用非恒定安全内存。西奥。计算。科学。583，86-97（2015）·Zbl 1310.68220号 [25] Feige，U.，Raghavan，P.，Peleg，D.，Upfal，E.：用噪声信息进行计算。SIAM J.计算。23(5), 1001-1018 (1994) ·Zbl 0813.68057号 ·doi:10.1137/S0097539791195877 [26] Ferraro Petrillo，U.，Finocchi，I.，Italiano，G。F.：弹性的代价：关于记忆错误排序的案例研究。《算法》53（4），597-620（2009）·兹比尔1183.68229 ·doi:10.1007/s00453-008-9264-1 [27] Ferraro Petrillo，U.，Grandoni，F.，Italiano，G.F.：对记忆错误有弹性的数据结构：词典的实验研究。ACM J.实验算法18，1.6:1.1-1.6:14（2013）·Zbl 1322.68061号 [28] Finocchi，I.，Grandoni，F.，Italiano，G.F.：存在记忆故障时的最佳弹性排序和搜索。西奥。计算。科学。410(44), 4457-4470 (2009) ·Zbl 1183.68230号 ·doi:10.1016/j.tcs.2009.07.026 [29] Finocchi，I.，Grandoni，F.，Italiano，G.F.：弹性词典。ACM事务处理。算法6（1），1:1-1:19（2009）·Zbl 1300.68020号 ·数字对象标识代码：10.1145/1644015.1644016 [30] Finocchi，I.，Italiano，G.F.：错误记忆中的排序和搜索。《算法》52（3），309-332（2008）·Zbl 1163.68319号 ·doi:10.1007/s00453-007-9088-4 [31] Frigo，M.，Leiserson，C.E.，Prokop，H.，Ramachandran，S.：Cache-obliovious算法。ACM事务处理。算法8（1），4:1-4:22（2012）·Zbl 1295.68236号 ·doi:10.1145/2071379.2071383 [32] Gieseke，F.，Moruz，G.，Vahrenhold，J.：弹性k-d树：空间中的k-means重新访问。前面。计算。科学。6(2), 166-178 (2012) ·Zbl 1251.68084号 [33] Govindavajhala，S.，Appel，A.W.：使用内存错误攻击虚拟机。摘自：IEEE安全与隐私研讨会，第154-165页（2003） [34] Gusfield，D.：字符串、树和序列的算法——计算机科学和计算生物学。剑桥大学出版社，剑桥（1997）·Zbl 0934.68103号 ·doi:10.1017/CBO9780511574931 [35] Jacob，B.L.，Ng，S.W.，Wang，D.T.：内存系统：缓存、DRAM、磁盘。Morgan Kaufmann，伯灵顿（2008） [36] Jörgensen，A.G.，Moruz，G.，Mölhave，T.：优先级队列对内存故障具有弹性。摘自：第十届算法和数据结构研讨会论文集。LNCS，第4619卷，第127-138页（2007年）·Zbl 1209.68159号 [37] Karp，R.M.，Rabin，M.O.：高效随机模式匹配算法。IBM J.Res.Dev.31（2），249-260（1987）·Zbl 0653.68054号 ·doi:10.1147/rd.312.0249 [38] Kopelowitz，T.，Talmon，N.：存在内存故障时的选择，以及就地弹性排序的应用。摘自：第23届算法与计算国际研讨会论文集。LNCS，第7676卷，第558-567页（2012年）·Zbl 1260.68131号 [39] Leighton，F.T.，Ma，Y.，Plaxton，C.G.：打破用错误进行排序的\[Theta（n\log^2n）\]θ（nlog2n）屏障。J.计算。系统。科学。54(2), 265-304 (1997) ·Zbl 0872.68033号 ·doi:10.1006/jcss.1997.1470 [40] Li，D.，Chen，Z.，Wu，P.，Vetter，J.S.：用合作软件方法重新思考基于算法的容错。摘自：《高性能计算、网络、存储和分析国际会议论文集》，第44:1-44:12页（2013年） [41] Muthukrishnan，S.：关于存在错误时的最佳搜索策略。摘自：第五届ACM-SIAM离散算法研讨会论文集，第680-689页（1994）·Zbl 0871.68071号 [42] 佩尔克：搜索有错误的游戏——五十年来一直在与说谎者打交道。西奥。计算。科学。270(1-2), 71-109 (2002) ·Zbl 0984.68041号 ·文件编号：10.1016/S0304-3975（01）00303-6 [43] Pilla，L.L.，Rech，P.，Silvestri，F.，Frost，C.，Navaux，P.O.A.，Sonza，M.，Carro，L.：GPU上中子敏感FFT算法的基于软件的强化策略。IEEE传输。编号。科学。61(4), 1874-1880 (2014) ·doi:10.1109/TNS.2014.2301768 [44] 拉宾，M.O.：测试素性的概率算法。《数论》12（1），128-138（1980）·Zbl 0426.10006号 ·doi:10.1016/0022-314X（80）90084-0 [45] Rech，P.、Pilla，L.、Silvestri，F.、Navaux，P.和Carro，L.：图形处理单元上矩阵乘法和FFT的中子灵敏度和软件强化策略。摘自：第三届极端规模HPC容错研讨会论文集，第13-20页（2013年） [46] Schroeder，B.、Pinheiro，E.、Weber，W.D.：野外DRAM错误：大规模实地研究。Commun公司。ACM 54（2），100-107（2011）·doi:10.1145/1897816.1897844 [47] Vitter，J.S.：外部存储器的算法和数据结构。Now Publishers Inc.，汉诺威（2008）·Zbl 1244.68007号 [48] 沃德·M·：硅芯片中的错误有助于提高计算机功率。BBC新闻（2010年5月25日）。http://news.bbc.co.uk/2/hi/technology/10134655.stm 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。