Sub-problem 4: Ultimate Structure

Replicas can become out-of-sync together in the collective editing concept but i must guarantee that the brand new says kept in the simulation usually eventually converge.

• At t = T0 , Alice happens traditional
• At the t = T1 , Alice attempted to posting an emails M1 (post fails)
• In the t = T2 , Bob sends M2
• At the t = T3 , Alice goes on the web once again. WebSocket is re-built
• During the t = T4 , Alice directs M4
• At the t = T5 , Bob post M5
• During the t = T6 , Alice re also-directs M1

M4 M5 M1 

M2 M4 M5 M1 

Just what Bob sees are consistent with precisely what the servers observes on T6 but there’s an effective divergence (inconsistency) between Alice’s talk history and you will Bob’s speak records.