CRDT : Des semiréseaux jusqu’au bout

Cet article explore les principes de conception des types de données répliqués sans conflit (CRDT), affirmant que tous les CRDT bien conçus doivent être basés sur des structures de semiréseaux. L’auteur critique les CRDT qui cachent des hypothèses, soulignant que toutes les hypothèses nécessaires doivent être internalisées dans le semiréseau. Prenant l’exemple des ensembles d’ajout/suppression, l’article montre comment l’intégration d’un treillis de causalité résout le comportement non convergent pouvant résulter de mécanismes d’expiration basés sur l’heure locale. L’auteur conclut en résumant les points clés de la conception des CRDT et en soulignant l’importance de construire des systèmes distribués fiables.