How groupthink could be more general

The idea is to make a more-general data structure which can synchronize itself behind the scenes. The steps are basically

• Serialize your data in a way that doesn't reshuffle by itself too often
• Elect a leader
• Keep the last version you think you synced with each other participant. This is imperfect because you can never be sure the other side got the message, but good enough.
• Send changes to the leader, using an rsync-like protocol.
  • Unlike rsync, this is initiated by the sender
    • but the sender thinks it knows a version which is stored both by it and the receiver
    • so it sends the signatures of the chunks of that "common" version, as if it were the receiver; and then any new data and assembly instructions, as with rsync
    • If all goes smoothly, the leader/receiver can use that; otherwise, it asks for any missing chunks.
• If the leader/recipient has not changed the version, it just says "OK" and uses the new version.
  • If it has, it makes an attempt to "resolve" the three-way diff, and sends the changes back, using the version it got as the "common" version and the algorithm above.
    • When it can't resolve the changes, it just chooses the other side, and puts its own changes into its "redo" stack.

Take a relatively simple case. Alice (leader) and Bob have a common structure, synchronized: chunks "AaBbCcDd". They lose communication. Alice edits it to "AaBbEeDd", and Bob edits it to "AaBbCcDdFf". Then they get communication back.

Now Bob says "I think you have AaBbCcDd; I want you to add 'Ff' after the d." Alice then says "I think you have AaBbCcDdFf; I want you to take the part up to b, then add 'Ee', then the part starting with D". Now they are synchronized.

Say that, instead, Bob misses Alice's reply. As far as Bob knows, their last common version is "AaBbCcDd", yet Alice thinks it's "AaBbEeDdFf". Alice takes the opportunity to forget the "AaBbCcDd" state, though her versioning file system happens to still have kept "AaBbCc". Bob makes another change - from AaBbCcDdFf to AaBbCGcDdFf. Now he says "I think you have AaBbCcDd; I want you to add 'G' between C and c, and 'Ff' after the d.". Alice (without figuring out the contents of chunks C and c) replies "Up to b, then 'Ee', then G, then starting from D", and if Bob can hear that they are synchronized.