Dynamic programming in faulty memory hierarchies (cache-obliviously)

作者: Irene Finocchi , Saverio Caminiti , Francesco Silvestri , Emanuele G. Fusco

DOI: 10.4230/LIPICS.FSTTCS.2011.433

关键词: Memory modelCache-oblivious algorithmComputer scienceDynamic programmingCacheTheoretical computer scienceState (computer science)Parallel computingRandom accessCache algorithmsMemory hierarchy

摘要: Random access memories suer from transient errors that lead the logical state of some bits to be read dierently how they were last written. Due technological constraints, caches in memory hierarchy modern computer platforms appear particularly prone bit flips. Since algorithms implicitly assume data stored reliable memories, might easily exhibit unpredictable behaviors even presence a small number faults. In this paper we investigate design dynamic programming faulty hierarchies. Previous works on resilient considered one-level model and, with respect programming, could address only problems local dependencies. Our improvement upon these is two-fold: (1) significantly extend class can solved resiliently via faults, settling challenging non-local such as all-pairs shortest paths and matrix multiplication; (2) connection between resiliency cache-eciency, providing cache-oblivious implementations incur an (almost) optimal cache misses. approach yields first tolerate faults at any level hierarchy, while maintaining cacheeciency. All our are correct high probability match running time misses their standard non-resilient counterparts tolerating large (polynomial) results also Fast Fourier Transform.

参考文章(26)
Allan Grønlund Jørgensen, Gabriel Moruz, Thomas Mølhave, None, Priority queues resilient to memory faults workshop on algorithms and data structures. pp. 127- 138 ,(2007) , 10.1007/978-3-540-73951-7_12
Fabian Gieseke, Gabriel Moruz, Jan Vahrenhold, None, Resilient k-d trees: k-means in space revisited Frontiers of Computer Science. ,vol. 6, pp. 166- 178 ,(2012) , 10.1007/S11704-012-2870-8
Bruce Jacob, Spencer Ng, David Wang, Memory Systems: Cache, DRAM, Disk ,(2007)
Gerth Stølting Brodal, Allan Grønlund Jørgensen, Thomas Mølhave, Fault Tolerant External Memory Algorithms workshop on algorithms and data structures. pp. 411- 422 ,(2009) , 10.1007/978-3-642-03367-4_36
Gerth Stølting Brodal, Allan Grønlund Jørgensen, Gabriel Moruz, Thomas Mølhave, Counting in the Presence of Memory Faults international symposium on algorithms and computation. pp. 842- 851 ,(2009) , 10.1007/978-3-642-10631-6_85
Robert S. Boyer, J. Strother Moore, MJRTY - A Fast Majority Vote Algorithm. Automated Reasoning: Essays in Honor of Woody Bledsoe. pp. 105- 117 ,(1991) , 10.1007/978-94-011-3488-0_5
Gerth Stølting Brodal, Rolf Fagerberg, Irene Finocchi, Fabrizio Grandoni, Giuseppe F. Italiano, Allan Grønlund Jørgensen, Gabriel Moruz, Thomas Mølhave, Optimal Resilient Dynamic Dictionaries Algorithms – ESA 2007. pp. 347- 358 ,(2007) , 10.1007/978-3-540-75520-3_32
Richard M. Karp, Michael O. Rabin, Efficient randomized pattern-matching algorithms Ibm Journal of Research and Development. ,vol. 31, pp. 249- 260 ,(1987) , 10.1147/RD.312.0249
M. Blum, W. Evans, P. Gemmell, S. Kannan, M. Naor, Checking the correctness of memories Algorithmica. ,vol. 12, pp. 225- 244 ,(1994) , 10.1007/BF01185212