- Book Chapter
5
- 10.1007/978-3-642-22300-6_21
Lossless Fault-Tolerant Data Structures with Additive Overhead
- Jan 01, 2011
- Paul Christiano + 2 more +2
We develop the first dynamic data structures that tolerate δ memory faults, lose no data, and incur only an \(\tilde O(\delta)\) additive overhead in overall space and time per operation. We obtain such data structures for arrays, linked lists, binary search trees, interval trees, predecessor search, and suffix trees. Like previous data structures, δ must be known in advance, but we show how to restore pristine state in linear time, in parallel with queries, making δ just a bound on the rate of memory faults. Our data structures require Θ(δ) words of safe memory during an operation, which may not be theoretically necessary but seems a practical assumption.KeywordsInterval TreeSoft ErrorBinary Search TreeAdditive OverheadEuler TourThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Read more