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.