Non-Monotonic Snapshot Isolation
Résumé
We study two important properties for the scalability of a replicated system: genuine partial replication (GPR) and snapshot isolation (SI). We prove that these properties are incompatible. To side step this impossibility result, we propose a novel consistency criterion called Non-Monotonic Snapshot Isolation (NMSI). NMSI retains the most important properties of SI: read-only transactions always commit, and two concurrent write-conflicting updates never both commit. We also introduce a GPR protocol that ensures NMSI, and commits transactions faster and/or contacts fewer replicas than previous systems.
Cet article étudie deux propriétés favorisant le passage à l'échelle des systèmes répartis transactionnels: la réplication partielle authentique GPR), et le critère de cohérence Snapshot Isolation (SI). GPR spécifie que pour valider une transaction T, seules les répliques des données accédées par T effectuent des pas de calcul. SI définit que toute transaction doit lire une vue cohérente du système, et que deux transactions concurrentes ne peuvent écrire la même donnée. Nous montrons que ces deux propriétés sont incompatibles. Nous proposons ensuite un nouveau critère de cohérence nommé Non-Monotonic Snapshot Isolation (NMSI). NMSI est proche de SI et compatible avec GPR. Pour justifier ce propos, nous présentons un protocole authentique implémentant de manière efficace NMSI. Au regard des travaux précédents sur le contrôle de concurrence dans les systèmes répartis transactionnelles, notre protocole est plus performant en latence et/ou en nombre de messages échangés.
Origine : Fichiers produits par l'(les) auteur(s)