Georeplicerade lagringssystem är kärnan i de nuvarande Internettjänsterna. Formgivarna av de replikeringsprotokoll som används av dessa system måste välja mellan att antingen stödja låg latens, så småningom konsekventa operationer, eller säkerställa stark konsekvens för att underlätta tillämpningen korrekthet. Vi föreslår en alternativ konsekvensmodell, explicit konsekvens, som stärker den eventuella konsekvensen med en garanti för att bevara specifika invarianter som definieras av ansökningarna. Med tanke på dessa tillämpningsspecifika invarianter, ett system som stöder explicit konsekvens identifierar vilka åtgärder som skulle vara osäkra under samtidig körning, och tillåter programmerare att välja antingen överträdelse-undvikande eller invariant-reparation tekniker. Vi visar hur man uppnår det förra, samtidigt som man låter verksamheten slutföras lokalt i det gemensamma fallet, genom att förlita sig på ett bokningssystem som för bort samordningen från den kritiska vägen för operationsgenomförandet. Den senare, i sin tur, gör det möjligt att utföra operationer utan restriktioner, och återställa invarianter genom att tillämpa en reparation operation till databastillståndet. Vi presenterar design och utvärdering av Indigo, en middleware som ger explicit konsekvens på toppen av en kausalt konsekvent datalager. Indigo garanterar stark applikation invarianter samtidigt som den ger liknande latens till ett så småningom konsekvent system i det gemensamma fallet.
Explicit konsekvens Ref använder också en SMT-lösningsmetod för att "identifiera vilka åtgärder som skulle vara osäkra vid samtidig genomförande".
Putting consistency back into eventual consistency
{'venue': "EuroSys '15", 'journal': None, 'mag_field_of_study': ['Computer Science']}