Abstract-Modern Internet-scale lagringssystem ger ofta svag konsekvens i utbyte mot bättre prestanda och motståndskraft. En viktig svag konsistens egenskap är k-atomicitet, som begränsar dödheten i värden returneras genom läsoperationer. K-atomicitet-verifiering problem (eller k-AV för kort) är problemet att avgöra om en given historia av operationer är k-atomic. 1-AV-problemet är likvärdigt med att verifiera atomicitet/linjärisabilitet, ett välkänt och löst problem. För k ≥ 2 är dock ingen polynom-tid-k-AV-algoritm känd. Detta dokument ger följande bidrag för att lösa k-AV-problemet. För det första presenterar vi en enkel 2-AV algoritm som kallas LBT, som sannolikt kommer att vara effektiv (quasilinear) för historia som uppstår i praktiken, även om det är mindre effektiv (kvadratisk) i värsta fall. För det andra presenterar vi en mer involverad 2-AV algoritm som kallas FZF, som kör effektivt (quasilinear) även i värsta fall. Enligt vår kunskap är dessa de första algoritmerna som helt löser 2-AV-problemet. För det tredje visar vi att det viktade k-AV-problemet, en naturlig förlängning av k-AV-problemet, är NP-komplett.
Mer nyligen, Golab et al. REF löser kontrollproblemet med 2-atomicitet (2-AV) och visar att det viktade k-AV-problemet är NP-komplett.
On the k-Atomicity-Verification Problem
{'venue': '2013 IEEE 33rd International Conference on Distributed Computing Systems', 'journal': '2013 IEEE 33rd International Conference on Distributed Computing Systems', 'mag_field_of_study': ['Computer Science']}