crimson/osd: fix assertion fail in prepare_clone

Ops like rbd.assert_snapc_seq can return -ERANGE, but we were preparing
clones in OpsExecuter constructor before guard evaluation.

On retry with sparse_copyup, this led to ceph_assert(!existed) in
prepare_clone() due to the pre-created clone OBC.

This adds precise OBC invalidation during rollback using single key
clear.

Fixes: https://tracker.ceph.com/issues/72705
Fixes: https://tracker.ceph.com/issues/72709
Fixes: https://tracker.ceph.com/issues/72041
Fixes: https://tracker.ceph.com/issues/72650

Signed-off-by: Kautilya Tripathi <[email protected]>

Author: knrt10

src/crimson/osd/ops_executer.h

@@ -450,6 +450,19 @@ class OpsExecuter {
 
   version_t get_last_user_version() const;
 
+  bool has_cloning_ctx() const {
+    return cloning_ctx != nullptr;
+  }
+
+  const hobject_t& get_cloning_coid() const {
+    ceph_assert(has_cloning_ctx());
+    return cloning_ctx->coid;
+  }
+
+  void reset_cloning_ctx() {
+    cloning_ctx.reset();
+  }
+
   ObjectContextRef prepare_clone(
     const hobject_t& coid,
     const ObjectState& initial_obs);

src/crimson/osd/pg.cc

@@ -1155,8 +1155,19 @@ PG::run_executer_fut PG::run_executer(
 {
   LOG_PREFIX(PG::run_executer);
   auto rollbacker = ox.create_rollbacker(
-    [obc_data = duplicate_obc_data(obc)](auto &obc) mutable {
+    [FNAME, obc_data = duplicate_obc_data(obc), &ox, this](auto &obc) mutable {
+      // First, revert the OBC state
       obc->update_from(obc_data);
+      // Then clean up any prepared clone OBCs
+      if (ox.has_cloning_ctx()) {
+        const auto coid = ox.get_cloning_coid();
+        DEBUGDPP("cleaning up clone OBC for {} reqid={}",
+        FNAME, coid, ox.get_message().get_reqid());
+        // Use single-key clear by passing [coid, coid] to avoid impacting other clones
+        this->obc_registry.clear_range(coid, coid);
+        // Reset the cloning context directly
+        ox.reset_cloning_ctx();
+      }
     });
   auto rollback_on_error = seastar::defer([&rollbacker] {
     rollbacker.rollback_obc_if_modified();