Cohérence éventuelle

Cette séance de cours couvre le concept de cohérence éventuelle dans les systèmes distribués, où les données seront finalement cohérentes si aucune autre mise à jour n'est faite, expliquant le protocole utilisé dans Dynamo pour y parvenir. Il aborde également les défis de la programmation de systèmes finalement cohérents, le théorème de CAP, le compromis entre cohérence et latence, et l'utilisation de verrous à granularité multiple. L'instructeur explique le problème fantôme, la prévention et la détection des blocages et le protocole de verrouillage à deux phases. La séance de cours se termine par un résumé des différents modèles de cohérence et de leurs applications.