Filters








4 Hits in 3.7 sec

Montage: A General System for Buffered Durably Linearizable Data Structures [article]

Haosen Wen, Wentao Cai, Mingzhe Du, Louis Jenkins, Benjamin Valpey, Michael L. Scott
<span title="2020-09-29">2020</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We present what we believe to be the first general-purpose approach to building buffered durably linearizable persistent data structures, and a system, Montage, to support that approach.  ...  We describe the implementation of Montage, argue its correctness, and report unprecedented throughput for persistent queues, sets/mappings, and general graphs.  ...  Conclusions We have introduced Montage, the first general-purpose system for buffered durable linearizability of persistent data structures.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2009.13701v1">arXiv:2009.13701v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6r3jpxoy2vd6nil4c4ed5yh5oe">fatcat:6r3jpxoy2vd6nil4c4ed5yh5oe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201001001423/https://arxiv.org/pdf/2009.13701v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2009.13701v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Fast Nonblocking Persistence for Concurrent Data Structures [article]

Wentao Cai, Haosen Wen, Vladimir Maksimovski, Mingzhe Du, Rafaello Sanna, Shreif Abdallah, Michael L. Scott
<span title="2021-05-20">2021</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We present a fully lock-free variant of the recent Montage system for persistent data structures.  ...  Like its predecessor, nbMontage is buffered durably linearizable: it guarantees that the state recovered in the wake of a crash will represent a consistent prefix of pre-crash execution.  ...  [54] is the only existing general-purpose system for buffered durable linearizable structures. It also has the advantage of persisting only semantically essential data.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2105.09508v1">arXiv:2105.09508v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/b6e3gqpvgvg3telz65onscdmnm">fatcat:b6e3gqpvgvg3telz65onscdmnm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210526070200/https://arxiv.org/pdf/2105.09508v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d1/a5/d1a518f714f1b5189ed3d7269184fa2c67a84f30.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2105.09508v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Practical Detectability for Persistent Lock-Free Data Structures [article]

Kyeongmin Cho, Seungmin Jeon, Jeehoon Kang
<span title="2022-03-15">2022</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
However, durable linearizability is insufficient to use persistent DSs for fault-tolerant systems requiring exactly-once semantics for storage systems, because we may not be able to detect whether an operation  ...  One of the most widely used correctness criteria for persistent lock-free DSs is durable linearizability (Izraelevitz et. al., DISC 2016).  ...  We argue that durable linearizability, while being widely accepted, is generally insufficient to use persistent lock-free DSs for transaction processing.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2203.07621v1">arXiv:2203.07621v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kzrxexlxavawrjtxezzl23u7k4">fatcat:kzrxexlxavawrjtxezzl23u7k4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220325152519/https://arxiv.org/pdf/2203.07621v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/db/35/db357091362d5759efc4204fa0705d44ddd131c2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2203.07621v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Fast Nonblocking Persistence for Concurrent Data Structures

Wentao Cai, Haosen Wen, Vladimir Maksimovski, Mingzhe Du, Rafaello Sanna, Shreif Abdallah, Michael L. Scott, Seth Gilbert
<span title="2021-10-04">2021</span>
We present a fully lock-free variant of our recent Montage system for persistent data structures.  ...  Like its predecessor, nbMontage is buffered durably linearizable: it guarantees that the state recovered in the wake of a crash will represent a consistent prefix of pre-crash execution.  ...  To the best of our knowledge, however, Montage [53] is the only existing general-purpose system for buffered durable linearizable structures.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/lipics.disc.2021.14">doi:10.4230/lipics.disc.2021.14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/crag6hgd65dgzgt4bhzrizqhza">fatcat:crag6hgd65dgzgt4bhzrizqhza</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20211004092144/https://drops.dagstuhl.de/opus/volltexte/2021/14816/pdf/LIPIcs-DISC-2021-14.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/4b/4d/4b4d852889b98c5dd6942dbe24cd46ecb5df968a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/lipics.disc.2021.14"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>