Write Skew
Le write skew est une anomalie de l'isolation par instantané : deux transactions effectuent des vérifications conditionnelles sur un instantané cohérent puis écrivent des lignes différentes ; combinées, elles violent la contrainte.
Objectif
Comprendre pourquoi l'isolation par instantané ne garantit pas la sérialisabilité et identifier l'anomalie que le SSI doit détecter.
Mécanisme
Exemple classique : la contrainte de garde exige au moins un médecin de garde. T1 lit les deux de garde et retire A ; T2 lit les deux et retire B. Chaque instantané satisfait la contrainte, mais combinés, plus personne n'est de garde. Le SSI détecte les dépendances de lecture et fait un rollback.
Cas d’usage
- Détection d'anomalies SSI
- Limites de l'isolation par instantané
- Analyse de contraintes concurrentes