Vi studerar frågan om datakonsistens i distribuerade system. Specifikt, Vi anser ett distribuerat system som replikerar sina data på flera platser, som är benägna att partitioner, och som antas vara tillgängliga (i den meningen att frågor alltid så småningom besvaras). I en sådan inställning, stark konsekvens, där alla kopior av systemet tillämpas synkront varje operation, är inte möjligt att genomföra. Men många svagare konsekvent kriterier som tillåter ett större antal beteenden än stark konsekvens, är genomförbara i tillgängliga distribuerade system. Vi fokuserar på att fastställa det starkaste överensstämmelsekriteriet som kan genomföras i ett konvergent och tillgängligt distribuerat system som tolererar partitioner. Vi fokuserar på objekt där verksamheten kan delas upp i uppdateringar och frågor. Vi visar att inget kriterium som är starkare än monoton prefixkonsistens (MPC) kan genomföras.
Slutligen presenterar REF ett genomförande av kriteriet monoton prefixkonsistens (MPC) och visade att inget kriterium som är starkare än MPC inte kan genomföras i ett system med partitionprone-meddelanden.
Monotonic Prefix Consistency in Distributed Systems
{'venue': 'FORTE', 'journal': None, 'mag_field_of_study': ['Computer Science']}