Non c'è davvero una domanda qui, ma mi è capitato di leggere quel documento proprio ora. Proverò a fornire la mia interpretazione.
- Questa frase afferma che la riconciliazione Scuttlebut non differirà dalla riconciliazione precisa se non ci fosse il massimo della dimensione dei messaggi di rete. Ovviamente, c'è; questo è il punto di partenza di un intelligente meccanismo di riconciliazione.
- Questa frase afferma che non ci possono essere vuoti nella sequenza di modifiche (delta) che fanno parte di un singolo messaggio di Scuttlebut. Se una determinata modifica non viene trasmessa in alcuni messaggi, non è consentito includere alcuna modifica più recente rispetto al messaggio omesso. Quindi, in breve: un messaggio contiene sempre un insieme di modifiche che sono le più vecchie tra le modifiche non note al peer che riceveranno il messaggio.
- L'invariant garantisce che per ogni chiave k nel set di variabili di stato, il partecipante q abbia il valore corrente di k presente a partecipante p , o il numero di versione (o timestamp) del valore corrente in p è maggiore del numero massimo di versione di tutti i valori in p che q conosce. Tutto sommato, questo ha a che fare con l'assenza di lacune di nuovo.
Scrivere questo ha reso le cose più chiare per me stesso, spero che ti aiuti :)
(sentiti libero di commentare quando le cose sono ancora troppo confuse)