5.131 MergeUTD

 procedure MergeUTD(
   utd1: UPTODATE_VECTOR_V1_EXT,
   utd2: UPTODATE_VECTOR_V1_EXT): UPTODATE_VECTOR_V1_EXT

Informative summary of behavior: The client does not want to include objects in the inconsistency-detection process that have not yet replicated. To meet this goal, it uses the MergeUTD procedure to compute an UPTODATE_VECTOR_V1_EXT that has minimal pairwise values for each uuidDsa.

MergeUTD is specified by the following normative semantics:

For every uuidDsa that is in both utd1 and utd2, add the uuidDsa to the returned UPTODATE_VECTOR_V1_EXT with a corresponding USN value such that the USN is the smaller of the USNs corresponding to the uuidDsa in utd1 and utd2.

Show: