Resilient dictionaries for randomly unreliable memory
Journal
Leibniz International Proceedings in Informatics, LIPIcs
Journal Volume
144
Date Issued
2019
Author(s)
Abstract
We study the problem of designing a dictionary data structure that is resilient to memory corruptions. Our error model is a variation of the faulty RAM model in which, except for constant amount of definitely reliable memory, each memory word is randomly unreliable with a probability p < 1/2 , and the locations of the unreliable words are unknown to the algorithm. An adversary observes the whole memory and can, at any time, arbitrarily corrupt (i.e., modify) the contents of one or more unreliable words. Our dictionary has capacity n, stores N < n keys in the optimal O(N) amount of space, supports insertions and deletions in O(log n) amortized time, and allows to search for a key in O(log n) worst-case time. With a global probability of at least 1 − 1/n , all possible search operations are guaranteed to return the correct answer w.r.t. the set of uncorrupted keys. The closest related results are the ones of Finocchi et al. [13] and Brodal et al. [6] on the faulty RAM model, in which all but O(1) memory is unreliable. There, if an upper bound δ on the number of corruptions is known in advance, all dictionary operations can be implemented in Θ(log n + δ) amortized time, thus trading resiliency for speed as soon as δ = ω(log n). Our construction does not need to know the value of δ in advance and remains fast and effective even when up to a constant fraction of the available memory is corrupted. Our techniques can be immediately extended to implement other data types (e.g., associative containers and priority queues), which can then be used as a building block in the design of other resilient algorithms. For example, we are able to solve the resilient sorting problem in our model using O(n log n) time. © Stefano Leucci, Chih-Hung Liu, and Simon Meierhans.
Subjects
Faulty RAM; Resilient dictionary; Unreliable memory
SDGs
Other Subjects
Amortized time; Building blockes; Dictionary operations; Insertions and deletions; Memory corruption; Priority queues; Probability p; Search operations; Random access storage
Type
conference paper