Service de synchronisation distribuée

Statut documentaire : architecture — voir Maturité et preuves.

Rôle

La synchronisation distribuée propage des opérations sémantiques entre répliques en conservant routage, progression du journal, métadonnées d'ordre/causalité et état d'acquittement.

Pipeline principal

mutation locale
    -> opération de synchronisation
    -> journal durable
    -> politique de routage
    -> métadonnées causales/d'ordre
    -> transport
    -> application distante
    -> acquittement/checkpoint

Règles de conception publiques

• attribuer à chaque réplique une identité stable ;
• synchroniser des opérations plutôt que transférer systématiquement des snapshots complets lorsque la propagation incrémentale convient ;
• maintenir la politique de routage hors du code de mutation métier ;
• rendre l'application distante idempotente lorsque des doublons sont possibles ;
• préserver les métadonnées causales/d'ordre plutôt que dépendre uniquement de l'heure murale ;
• borner les queues mémoire et utiliser des journaux durables lorsque nécessaire ;
• exposer lag de synchronisation et santé des checkpoints.

Indépendance du transport

La synchronisation répond à ce qui a changé, où cela doit aller, dans quel contexte causal et ce qui a été acquitté. Le transport répond à la manière dont l'opération circule. Le transport peut donc évoluer sans redéfinir la sémantique des mutations métier si les garanties nécessaires sont préservées.

Statut

Cette page décrit le modèle de programmation public actuel. Les anciens noms de classes de workers, tags FIFO et configurations moduleClass ne sont pas des contrats publics.