Lossless fault-tolerant data structures with additive overhead

12th International Symposium, WADS 2011, New York, NY, USA, August 15-17, 2011. Proceedings

Bibliographic Details
Main Authors: Christiano, Paul F., Demaine, Erik D., Kishore, Shaunak
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format: Article
Language:en_US
Published: Springer Berlin / Heidelberg 2012
Online Access:http://hdl.handle.net/1721.1/73856
https://orcid.org/0000-0003-3803-5703
_version_ 1811082065566760960
author Christiano, Paul F.
Demaine, Erik D.
Kishore, Shaunak
author2 Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
author_facet Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Christiano, Paul F.
Demaine, Erik D.
Kishore, Shaunak
author_sort Christiano, Paul F.
collection MIT
description 12th International Symposium, WADS 2011, New York, NY, USA, August 15-17, 2011. Proceedings
first_indexed 2024-09-23T11:57:01Z
format Article
id mit-1721.1/73856
institution Massachusetts Institute of Technology
language en_US
last_indexed 2024-09-23T11:57:01Z
publishDate 2012
publisher Springer Berlin / Heidelberg
record_format dspace
spelling mit-1721.1/738562022-10-01T07:10:47Z Lossless fault-tolerant data structures with additive overhead Christiano, Paul F. Demaine, Erik D. Kishore, Shaunak Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science Christiano, Paul F. Demaine, Erik D. Kishore, Shaunak 12th International Symposium, WADS 2011, New York, NY, USA, August 15-17, 2011. Proceedings We develop the first dynamic data structures that tolerate δ memory faults, lose no data, and incur only an O(δ ) 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. Center for Massive Data Algorithmics (MADALGO) 2012-10-10T17:33:11Z 2012-10-10T17:33:11Z 2011-08 2011-08 Article http://purl.org/eprint/type/ConferencePaper 978-3-642-22299-3 0302-9743 1611-3349 http://hdl.handle.net/1721.1/73856 Christiano, Paul, Erik D. Demaine, and Shaunak Kishore. “Lossless Fault-Tolerant Data Structures with Additive Overhead.” Algorithms and Data Structures. Ed. Frank Dehne, John Iacono, & Jörg-Rüdiger Sack. LNCS Vol. 6844. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. 243–254. https://orcid.org/0000-0003-3803-5703 en_US http://dx.doi.org/10.1007/978-3-642-22300-6_21 Algorithms and Data Structures Creative Commons Attribution-Noncommercial-Share Alike 3.0 http://creativecommons.org/licenses/by-nc-sa/3.0/ application/pdf Springer Berlin / Heidelberg MIT web domain
spellingShingle Christiano, Paul F.
Demaine, Erik D.
Kishore, Shaunak
Lossless fault-tolerant data structures with additive overhead
title Lossless fault-tolerant data structures with additive overhead
title_full Lossless fault-tolerant data structures with additive overhead
title_fullStr Lossless fault-tolerant data structures with additive overhead
title_full_unstemmed Lossless fault-tolerant data structures with additive overhead
title_short Lossless fault-tolerant data structures with additive overhead
title_sort lossless fault tolerant data structures with additive overhead
url http://hdl.handle.net/1721.1/73856
https://orcid.org/0000-0003-3803-5703
work_keys_str_mv AT christianopaulf losslessfaulttolerantdatastructureswithadditiveoverhead
AT demaineerikd losslessfaulttolerantdatastructureswithadditiveoverhead
AT kishoreshaunak losslessfaulttolerantdatastructureswithadditiveoverhead