Class MySqlHistoryRecordComparator

    • Constructor Detail

      • MySqlHistoryRecordComparator

        public MySqlHistoryRecordComparator​(Predicate<String> gtidSourceFilter)
    • Method Detail

      • isPositionAtOrBefore

        protected boolean isPositionAtOrBefore​(Document recorded,
                                               Document desired)
        Determine whether the first offset is at or before the point in time of the second offset, where the offsets are given in JSON representation of the maps returned by #offset().

        This logic makes a significant assumption: once a MySQL server/cluster has GTIDs enabled, they will never be disabled. This is the only way to compare a position with a GTID to a position without a GTID, and we conclude that any position with a GTID is *after* the position without.

        When both positions have GTIDs, then we compare the positions by using only the GTIDs. Of course, if the GTIDs are the same, then we also look at whether they have snapshots enabled.

        Overrides:
        isPositionAtOrBefore in class HistoryRecordComparator
        Parameters:
        recorded - the position obtained from recorded history; never null
        desired - the desired position that we want to obtain, which should be after some recorded positions, at some recorded positions, and before other recorded positions; never null
        gtidFilter - the predicate function that will return true if a GTID source is to be included, or false if a GTID source is to be excluded; may be null if no filtering is to be done
        Returns:
        true if the recorded position is at or before the desired position; or false otherwise