Man är väl medveten om kompromisserna mellan konsekvens, prestanda och tillgänglighet. Traditionellt sett har dock formgivare av replikerade system tvingats välja mellan antingen starka konsekvensgarantier eller inga alls. I detta dokument undersöks det semantiska utrymmet mellan traditionella starka och optimistiska konsekvensmodeller för replikerade tjänster. Vi hävdar att en viktig klass av tillämpningar kan tolerera avslappnad konsistens, men dra nytta av att begränsa den maximala graden av inkonsekvent tillgång på ett applikationsspecifikt sätt. Således utvecklar vi en conit-baserad kontinuerlig konsistens modell för att fånga konsistensspektrumet med hjälp av tre applikationsoberoende mätvärden, numeriskt fel, orderfel, och dödhet. Vi presenterar sedan utformningen och genomförandet av TACT, ett mellanlager som upprätthåller godtyckliga konsekventa gränser bland repliker med hjälp av dessa mått. Vi hävdar att TACT-konsistensmodellen samtidigt kan uppnå de ofta motstridiga målen av allmängiltighet och praktiskhet genom att beskriva hur ett brett spektrum av tillämpningar kan uttrycka sin enhetlighet semantik med hjälp av TACT och genom att visa att applikationsoberoende algoritmer effektivt kan genomdriva målkonsistensnivåer. Slutligen visar vi att tre replikerade applikationer som körs över Internet visar betydande semantiska och prestandafördelar genom att använda vårt ramverk.
TACT REF, en kontinuerlig konsekvens modell, integrerar metriska på numeriska fel med dödhet.
Design and evaluation of a conit-based continuous consistency model for replicated services
{'venue': 'TOCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}