For a highly available replication system, a process is presented whereby, after a successful failover from primary to replica, with the replica now being the new primary, and where, at a later time, the original primary is subsequently restored to operation, a subset close to the minimal possible subset of data that needs to be transferred between the new and original primaries can be computed.