Publication:
A fast implementation of Parallel Snapshot Isolation

dc.contributor.advisorLópez López, María Victoria
dc.contributor.advisorGotsman, Alexey
dc.contributor.authorArnau de Régil Basáñez, Borja
dc.date.accessioned2023-06-17T10:50:46Z
dc.date.available2023-06-17T10:50:46Z
dc.date.defense2020
dc.date.issued2020
dc.degree.titleGrado en Ingeniería Informática
dc.descriptionGrado en Ingeniería Informática, Facultad de Informática UCM, Departamento de Arquitectura de Computadores y Automática, Curso 2019/2020.
dc.description.abstractMost distributed database systems offer weak consistency models in order to avoid the performance penalty of coordinating replicas. Ideally, distributed databases would offer strong consistency models, like serialisability, since they make it easy to verify application invariants, and free programmers from worrying about concurrency. However, implementing and scaling systems with strong consistency is difficult, since it usually requires global communication. Weak models, while easier to scale, impose on the programmers the need to reason about possible anomalies, and the need to implement conflict resolution mechanisms in application code. Recently proposed consistency models, like Parallel Snapshot Isolation (PSI) and NonMonotonic Snapshot Isolation (NMSI), represent the strongest models that still allow to build scalable systems without global communication. They allow comparable performance to previous, weaker models, as well as similar abort rates. However, both models still provide weaker guarantees than serialisability, and may prove difficult to use in applications. This work shows an approach to bridge the gap between PSI, NMSI and strong consistency models like serialisability. It introduces and implements fastPSI, a consistency protocol that allows the user to selectively enforce serialisability for certain executions, while retaining the scalability properties of weaker consistency models like PSI and NMSI. In addition, it features a comprehensive evaluation of fastPSI in comparison with other consistency protocols, both weak and strong, showing that fastPSI offers better performance than serialisability, while retaining the scalability of weaker protocols.
dc.description.abstractLa mayoría de las bases de datos distribuidas ofrecen modelos de consistencia débil, con la finalidad de evitar la penalización de rendimiento que supone la coordinación de las distintas réplicas. Idealmente, las bases de datos distribuidas ofrecerían modelos de consistencia fuerte, como serialisability, ya que facilitan la verificación de los invariantes de las aplicaciones, y permiten que los programadores no deban preocuparse sobre posibles problemas de concurrencia. Sin embargo, implementar sistemas escalables que con modelos de consistencia fuerte no es fácil, pues requieren el uso de comunicación global. Sin embargo, aunque los modelos de consistencia más débiles permiten sistemas más escalables, imponen en los programadores la necesidad de razonar sobre posibles anomalías, así como implementar mecanismos de resolución de conflictos en el código de las aplicaciones. Dos modelos de consistencia propuestos recientemente, Parallel Snapshot Isolation (PSI) y Non-Monotonic Snapshot Isolation (NMSI), representan los modelos más fuertes que permiten implementaciones escalables sin necesidad de comunicación global. Permiten, a su vez, implementar sistemas con rendimientos similares a aquellos con modelos más débiles, a la vez que mantienen tasas de cancelación de transacciones similares. Aun así, ambos modelos no logran ofrecer las mismas garantías que serialisability, por lo que pueden ser difíciles de usar desde el punto de vista de las aplicaciones. Este trabajo presenta una propuesta que busca acortar la distancia entre modelos como PSI y NMSI y modelos fuertes como serialisability. Con esa finalidad, este trabajo presenta fastPSI, un protocolo de consistencia que permite al usuario ejecutar de manera selectiva transacciones serializables, reteniendo a su vez las propiedades de escalabilidad propias de modelos de consistencia débiles como PSI o NMSI. Además, este trabajo cuenta con una evaluación exhaustiva de fastPSI, comparándolo con otros protocolos de consistencia, tanto fuertes como débiles. Se muestra así que fastPSI logra un rendimiento mayor que serialisability sin por ello renunciar a la escalabilidad de protocolos más débiles.
dc.description.departmentDepto. de Arquitectura de Computadores y Automática
dc.description.facultyFac. de Informática
dc.description.refereedTRUE
dc.description.statusunpub
dc.eprint.idhttps://eprints.ucm.es/id/eprint/61641
dc.identifier.urihttps://hdl.handle.net/20.500.14352/10178
dc.language.isoeng
dc.page.total56
dc.rightsAtribución-NoComercial 3.0 España
dc.rights.accessRightsopen access
dc.rights.urihttps://creativecommons.org/licenses/by-nc/3.0/es/
dc.subject.cdu004(043.3)
dc.subject.keywordConsistency models
dc.subject.keywordTransactions
dc.subject.keywordParallel Snapshot Isolation
dc.subject.keywordNon-Monotonic Snapshot Isolation
dc.subject.keywordConcurrency control
dc.subject.keywordModelos de Consistencia
dc.subject.keywordTransacciones
dc.subject.keywordControl de Concurrencia
dc.subject.ucmInformática (Informática)
dc.subject.unesco1203.17 Informática
dc.titleA fast implementation of Parallel Snapshot Isolation
dc.title.alternativeUna implementación rápida de Parallel Snapshot Isolation
dc.typebachelor thesis
dspace.entity.typePublication
relation.isAdvisorOfPublicationf806566f-1e28-4933-b145-c9531c1ded1c
relation.isAdvisorOfPublication.latestForDiscoveryf806566f-1e28-4933-b145-c9531c1ded1c
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
ARNAU_DE_REGIL_BASANEZ_A_Fast_Implementation_of_Parallel_Snapshot_Isolation_4398577_1356479533.pdf
Size:
1.29 MB
Format:
Adobe Portable Document Format