Erratum: Limited-use atomic snapshots with polylogarithmic step complexity (Journal of the ACM (2015) 62:1 (301-322))

J. Aspnes; H. Attiya; K. Censor-Hillel; F. Ellen

doi:10.1145/3231592

Erratum: Limited-use atomic snapshots with polylogarithmic step complexity (Journal of the ACM (2015) 62:1 (301-322))

J. Aspnes, H. Attiya, K. Censor-Hillel, F. Ellen

Computer Science

Research output: Contribution to journal › Comment/debate

Abstract

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 MaxArray_k×_h object in Algorithm 2 does not guarantee linearizability. We give here a simple correction to the algorithm and its correctness proof.

Original language	English
Article number	38
Journal	Journal of the ACM
Volume	65
Issue number	6
DOIs	https://doi.org/10.1145/3231592
State	Published - Nov 2018

ASJC Scopus subject areas

Software
Control and Systems Engineering
Information Systems
Hardware and Architecture
Artificial Intelligence

Access to Document

10.1145/3231592

Cite this

@article{2357274ef5274715a561a1325167eaee,

title = "Erratum: Limited-use atomic snapshots with polylogarithmic step complexity (Journal of the ACM (2015) 62:1 (301-322))",

abstract = "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.",

author = "J. Aspnes and H. Attiya and K. Censor-Hillel and F. Ellen",

note = "Publisher Copyright: {\textcopyright} 2018 Association for Computing Machinery.",

year = "2018",

month = nov,

doi = "10.1145/3231592",

language = "אנגלית",

volume = "65",

number = "6",

}

TY - JOUR

T1 - Erratum

T2 - Limited-use atomic snapshots with polylogarithmic step complexity (Journal of the ACM (2015) 62:1 (301-322))

AU - Aspnes, J.

AU - Attiya, H.

AU - Censor-Hillel, K.

AU - Ellen, F.

PY - 2018/11

Y1 - 2018/11

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85057144688&partnerID=8YFLogxK

U2 - 10.1145/3231592

DO - 10.1145/3231592

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.comment???

AN - SCOPUS:85057144688

SN - 0004-5411

VL - 65

JO - Journal of the ACM

JF - Journal of the ACM

IS - 6

M1 - 38

ER -

Erratum: Limited-use atomic snapshots with polylogarithmic step complexity (Journal of the ACM (2015) 62:1 (301-322))

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this