Erratum: Limited-Use Atomic Snapshots with Polylogarithmic Step Complexity
Journal of the ACM, pp. 1-2, 2018.
This is an erratum for the article “Limited-Use Atomic Snapshots with Polylogarithmic Step Complexity” published in J. ACM 62(1): 3:1-3:22 (2015). The implementation of a MaxArrayk×h object in Algorithm 2 does not guarantee linearizability. We give here a simple correction to the algorithm and its correctness proof.
Full Text (Upload PDF)
PPT (Upload PPT)