GRAIL: checking transaction isolation violations with graph queries - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2024

GRAIL: checking transaction isolation violations with graph queries

Résumé

Distributed databases are surging in popularity with the growing need for performance and fault tolerance. However, implementing transaction isolation models on distributed databases is more challenging due to their sharding and replication. As a result, they can produce executions that violate their claimed isolation guarantees. In this work, we propose a novel isolation model-agnostic approach that utilizes graph databases to efficiently detect isolation violations expressed as anti-patterns in transactional dependency graphs. To illustrate our approach, we introduce the GRAIL framework, implemented on top of the popular ArangoDB and Neo4j graph databases. GRAIL combines soundness guarantees and high performance with understandable, detailed counter-examples.
Fichier non déposé

Dates et versions

hal-04475697 , version 1 (23-02-2024)

Identifiants

  • HAL Id : hal-04475697 , version 1

Citer

Stefania Dumbrava, Zhao Jin, Burcu Kulahcioglu Ozkan, Jingxuan Qiu. GRAIL: checking transaction isolation violations with graph queries. 46th International Conference on Software Engineering (ICSE 2024), Apr 2024, Lisbon, Portugal. ⟨hal-04475697⟩
32 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More