Cohérence (données)
Un article de Wikipédia, l'encyclopédie libre.
En informatique, la cohérence est la capacité pour un système à refléter sur la copie d'une donnée les modifications intervenues sur d'autre copies de cette donnée. Cette notion est principalement utilisée dans trois domaines informatiques : les systèmes de fichiers, les base de données, et les mémoires réparties.
Sommaire |
[modifier] Modèles généraux
[modifier] Cohérence forte
Un système en cohérence forte assure que toute lecture d'une copie d'une donnée reflétera toute modification antérieure à la lecture intervenue sur n'importe quelle copie de la donnée.
Soit A une donnée. Soit en {C1, C2, ... Cn} des copies de données. Supposons que C1 soit modifiée en C1'.
Le système de gestion de la donnée A assure une cohérence forte si toute lecture d'une copie Cx postérieure à la modification retourne C1'.
[modifier] Cohérence faible
Un système en cohérence faible assure que si une copie est modifiée, toutes les copies des données refléteront ces modifications au bout d'un certains temps.
[modifier] Autres modèles
[modifier] Modèles sans synchronisation
[modifier] Cohérence atomique
Ce modèle de cohérence est le plus fort qui soit. Une donnée est modifiée lorsque les lectures et écritures sur les copies des données sont terminées. Les lectures ou une écritures intervenant sur les copies c1 pendant une phase d'écriture seront suspendues le temps que les modifications induites par cette écriture soient répercutées sur toutes les copies.
- Cohérence causale
- Cohérence séquentielle
- Cohérence PRAM
- Cohérence objet
- Cohérence à la longue
[modifier] Modèles avec synchronisation
- Cohérence faible
- Cohérence au relâchement
- Cohérence à l'entrée
