singhpk234 commented on code in PR #1285:
URL: https://github.com/apache/polaris/pull/1285#discussion_r2153683238


##########
service/common/src/main/java/org/apache/polaris/service/catalog/iceberg/CatalogHandlerUtils.java:
##########
@@ -433,39 +461,233 @@ protected TableMetadata commit(TableOperations ops, 
UpdateTableRequest request)
               2.0 /* exponential */)
           .onlyRetryOn(CommitFailedException.class)
           .run(
-              taskOps -> {
+              (taskOps) -> {
                 TableMetadata base = isRetry.get() ? taskOps.refresh() : 
taskOps.current();
-                isRetry.set(true);
 
-                // validate requirements
+                TableMetadata.Builder metadataBuilder = 
TableMetadata.buildFrom(base);
+                TableMetadata newBase = base;
                 try {
-                  request.requirements().forEach(requirement -> 
requirement.validate(base));
+                  request.requirements().forEach((requirement) -> 
requirement.validate(base));
                 } catch (CommitFailedException e) {
-                  // wrap and rethrow outside of tasks to avoid unnecessary 
retry
-                  throw new ValidationFailureException(e);
+                  if (!isRollbackCompactionEnabled()) {
+                    throw new ValidationFailureException(e);
+                  }
+                  LOGGER.debug(
+                      "Attempting to Rollback replace operations for table={}, 
with current-snapshot-id={}",
+                      base.uuid(),
+                      base.currentSnapshot().snapshotId());
+                  UpdateRequirement.AssertRefSnapshotID assertRefSnapshotId =
+                      findAssertRefSnapshotID(request);
+                  MetadataUpdate.SetSnapshotRef setSnapshotRef = 
findSetSnapshotRefUpdate(request);
+
+                  if (assertRefSnapshotId == null || setSnapshotRef == null) {
+                    // This implies the request was not trying to add a 
snapshot.
+                    LOGGER.debug(
+                        "Giving up on Rollback replace operations for 
table={}, with current-snapshot-id={}, as operation doesn't attempts to add a 
single snapshot",
+                        base.uuid(),
+                        base.currentSnapshot().snapshotId());
+                    throw new ValidationFailureException(e);
+                  }
+
+                  // snapshot-id the client expects the table 
current_snapshot_id
+                  long expectedCurrentSnapshotId = 
assertRefSnapshotId.snapshotId();
+
+                  MetadataUpdate.AddSnapshot snapshotToBeAdded = 
findAddSnapshotUpdate(request);
+                  if (snapshotToBeAdded == null) {
+                    // Re-throw if, there's no snapshot data to be added.
+                    throw new ValidationFailureException(e);
+                  }
+
+                  LOGGER.info(
+                      "Attempting to Rollback replace operation for table={}, 
with current-snapshot-id={}, to snapshot={}",
+                      base.uuid(),
+                      base.currentSnapshot().snapshotId(),
+                      snapshotToBeAdded.snapshot().snapshotId());
+
+                  List<MetadataUpdate> metadataUpdates =
+                      generateUpdatesToRemoveNoopSnapshot(
+                          base, expectedCurrentSnapshotId, 
setSnapshotRef.name());
+
+                  if (metadataUpdates == null || metadataUpdates.isEmpty()) {
+                    // Nothing can be done as this implies that there were not 
all
+                    // No-op snapshots (REPLACE) between 
expectedCurrentSnapshotId and
+                    // currentSnapshotId. hence re-throw the exception caught.
+                    throw new ValidationFailureException(e);
+                  }
+                  // Set back the ref we wanted to set, back to the snapshot-id
+                  // the client is expecting the table to be at.
+                  metadataBuilder.setBranchSnapshot(
+                      expectedCurrentSnapshotId, setSnapshotRef.name());
+
+                  // apply the remove snapshots update in the current metadata.
+                  // NOTE: we need to setRef to expectedCurrentSnapshotId 
first and then apply
+                  // remove, as otherwise the remove will drop the reference.
+                  // NOTE: we can skip removing the now orphan base. Its not a 
hard requirement.
+                  // just something good to do, and not leave for Remove 
Orphans.
+                  // Ref rolled back update correctly to snapshot to be 
committed parent now.
+                  metadataUpdates.forEach((update -> 
update.applyTo(metadataBuilder)));
+                  newBase = 
setAppropriateLastSeqNumber(metadataBuilder.build());
+                  LOGGER.info(
+                      "Successfully roll-backed replace operation for 
table={}, with current-snapshot-id={}, to snapshot={}",
+                      base.uuid(),
+                      base.currentSnapshot().snapshotId(),
+                      newBase.currentSnapshot().snapshotId());
                 }
-
-                // apply changes
-                TableMetadata.Builder metadataBuilder = 
TableMetadata.buildFrom(base);
-                request.updates().forEach(update -> 
update.applyTo(metadataBuilder));
-
-                TableMetadata updated = metadataBuilder.build();
-                if (updated.changes().isEmpty()) {
-                  // do not commit if the metadata has not changed
-                  return;
+                // double check if the requirements passes now.
+                try {
+                  TableMetadata baseWithRemovedSnaps = newBase;
+                  request
+                      .requirements()
+                      .forEach((requirement) -> 
requirement.validate(baseWithRemovedSnaps));
+                } catch (CommitFailedException e) {
+                  throw new ValidationFailureException(e);
                 }
 
-                // commit
+                TableMetadata.Builder newMetadataBuilder = 
TableMetadata.buildFrom(newBase);
+                request.updates().forEach((update) -> 
update.applyTo(newMetadataBuilder));
+                TableMetadata updated = newMetadataBuilder.build();
+                // always commit this
                 taskOps.commit(base, updated);
               });
-
     } catch (ValidationFailureException e) {
       throw e.wrapped();
     }
 
     return ops.current();
   }
 
+  private UpdateRequirement.AssertRefSnapshotID findAssertRefSnapshotID(
+      UpdateTableRequest request) {
+    UpdateRequirement.AssertRefSnapshotID assertRefSnapshotID = null;
+    int total = 0;
+    for (UpdateRequirement requirement : request.requirements()) {
+      if (requirement instanceof UpdateRequirement.AssertRefSnapshotID) {
+        ++total;
+        assertRefSnapshotID = (UpdateRequirement.AssertRefSnapshotID) 
requirement;
+      }
+    }
+
+    // if > 1 assertion for refs, then it's not safe to roll back, make this 
Noop.
+    return total != 1 ? null : assertRefSnapshotID;
+  }
+
+  private List<MetadataUpdate> generateUpdatesToRemoveNoopSnapshot(
+      TableMetadata base, long expectedCurrentSnapshotId, String 
updateRefName) {
+    // find the all the snapshots we want to retain which are not the part of 
current branch.
+    Set<Long> idsToRetain = Sets.newHashSet();
+    for (Map.Entry<String, SnapshotRef> ref : base.refs().entrySet()) {
+      String refName = ref.getKey();
+      SnapshotRef snapshotRef = ref.getValue();
+      if (refName.equals(updateRefName)) {
+        continue;
+      }
+      idsToRetain.add(ref.getValue().snapshotId());
+      // Always check the ancestry for both branch and tags
+      // mostly for case where a branch was created and then was dropped
+      // then a tag was created and then rollback happened post that tag
+      // was dropped and branch was re-created on it.
+      for (Snapshot ancestor : 
SnapshotUtil.ancestorsOf(snapshotRef.snapshotId(), base::snapshot)) {
+        idsToRetain.add(ancestor.snapshotId());
+      }
+    }
+
+    List<MetadataUpdate> updateToRemoveSnapshot = new ArrayList<>();
+    Long snapshotId = base.ref(updateRefName).snapshotId(); // current tip of 
the given branch
+    // ensure this branch has the latest sequence number.
+    long expectedSequenceNumber = base.lastSequenceNumber();
+    Set<Long> snapshotsToRemove = new LinkedHashSet<>();
+    while (snapshotId != null && !Objects.equals(snapshotId, 
expectedCurrentSnapshotId)) {
+      Snapshot snap = base.snapshot(snapshotId);
+      // catch un-expected state the commit sequence number are
+      // not continuous can happen for a table with multiple branches.
+      if (expectedSequenceNumber != snap.sequenceNumber()) {
+        LOGGER.debug(
+            "Giving up rolling back table {} to snapshot {}, Sequence Number 
are not continuous from {}",
+            base.uuid(),
+            snapshotId,
+            expectedSequenceNumber);
+        break;
+      }
+      if (!isRollbackSnapshot(snap) || idsToRetain.contains(snapshotId)) {
+        // Either encountered a non no-op snapshot or the snapshot is being 
referenced by any other
+        // reference either by branch or a tag.
+        LOGGER.debug(
+            "Giving up rolling back table {} to snapshot {}, snapshot to be 
removed referenced by another branch or tag ancestor",
+            base.uuid(),
+            snapshotId);
+        break;
+      }
+      snapshotsToRemove.add(snap.snapshotId());
+      snapshotId = snap.parentId();
+      // we need continuous sequence number to correctly rollback
+      expectedSequenceNumber--;

Review Comment:
   Its just that it will miss the opportunity to rollback, i think its fine 
from correctness POV, but i understand we can handle it, let me see if i can 
add that check !



-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: issues-unsubscr...@polaris.apache.org

For queries about this service, please contact Infrastructure at:
us...@infra.apache.org

Reply via email to