This is an automated email from the ASF dual-hosted git repository.

dataroaring pushed a commit to branch master
in repository https://gitbox.apache.org/repos/asf/doris.git


The following commit(s) were added to refs/heads/master by this push:
     new f1b6bc4da99 [fix](merge-on-write) remove some CHECKs in 
Tablet::revise_tablet_meta (#31268)
f1b6bc4da99 is described below

commit f1b6bc4da9917c38109df8c87e3ad5e773dedaff
Author: zhannngchen <48427519+zhannngc...@users.noreply.github.com>
AuthorDate: Wed May 8 15:02:41 2024 +0800

    [fix](merge-on-write) remove some CHECKs in Tablet::revise_tablet_meta 
(#31268)
---
 be/src/olap/base_tablet.cpp | 31 ++++++++++++-----
 be/src/olap/base_tablet.h   |  5 +--
 be/src/olap/tablet.cpp      | 85 ++++++++++++++++++++++++++++++++++++++-------
 3 files changed, 99 insertions(+), 22 deletions(-)

diff --git a/be/src/olap/base_tablet.cpp b/be/src/olap/base_tablet.cpp
index 74c8810e26e..aec5495262d 100644
--- a/be/src/olap/base_tablet.cpp
+++ b/be/src/olap/base_tablet.cpp
@@ -1368,13 +1368,19 @@ Status BaseTablet::check_rowid_conversion(
 }
 
 // The caller should hold _rowset_update_lock and _meta_lock lock.
-Status BaseTablet::update_delete_bitmap_without_lock(const BaseTabletSPtr& 
self,
-                                                     const RowsetSharedPtr& 
rowset) {
-    DBUG_EXECUTE_IF("Tablet.update_delete_bitmap_without_lock.random_failed", {
-        if (rand() % 100 < (100 * dp->param("percent", 0.1))) {
-            
LOG_WARNING("Tablet.update_delete_bitmap_without_lock.random_failed");
+Status BaseTablet::update_delete_bitmap_without_lock(
+        const BaseTabletSPtr& self, const RowsetSharedPtr& rowset,
+        const std::vector<RowsetSharedPtr>* specified_base_rowsets) {
+    
DBUG_EXECUTE_IF("BaseTablet.update_delete_bitmap_without_lock.random_failed", {
+        auto rnd = rand() % 100;
+        auto percent = dp->param("percent", 0.1);
+        if (rnd < (100 * percent)) {
+            LOG(WARNING) << 
"BaseTablet.update_delete_bitmap_without_lock.random_failed";
             return Status::InternalError(
                     "debug tablet update delete bitmap without lock random 
failed");
+        } else {
+            LOG(INFO) << 
"BaseTablet.update_delete_bitmap_without_lock.random_failed not triggered"
+                      << ", rnd:" << rnd << ", percent: " << percent;
         }
     });
     int64_t cur_version = rowset->end_version();
@@ -1387,12 +1393,21 @@ Status 
BaseTablet::update_delete_bitmap_without_lock(const BaseTabletSPtr& self,
                   << self->tablet_id() << " cur max_version: " << cur_version;
         return Status::OK();
     }
-    RowsetIdUnorderedSet cur_rowset_ids;
-    RETURN_IF_ERROR(self->get_all_rs_id_unlocked(cur_version - 1, 
&cur_rowset_ids));
+
+    // calculate delete bitmap between segments if necessary.
     DeleteBitmapPtr delete_bitmap = 
std::make_shared<DeleteBitmap>(self->tablet_id());
     RETURN_IF_ERROR(self->calc_delete_bitmap_between_segments(rowset, 
segments, delete_bitmap));
 
-    std::vector<RowsetSharedPtr> specified_rowsets = 
self->get_rowset_by_ids(&cur_rowset_ids);
+    // get all base rowsets to calculate on
+    std::vector<RowsetSharedPtr> specified_rowsets;
+    RowsetIdUnorderedSet cur_rowset_ids;
+    if (specified_base_rowsets == nullptr) {
+        RETURN_IF_ERROR(self->get_all_rs_id_unlocked(cur_version - 1, 
&cur_rowset_ids));
+        specified_rowsets = self->get_rowset_by_ids(&cur_rowset_ids);
+    } else {
+        specified_rowsets = *specified_base_rowsets;
+    }
+
     OlapStopWatch watch;
     auto token = self->calc_delete_bitmap_executor()->create_token();
     RETURN_IF_ERROR(calc_delete_bitmap(self, rowset, segments, 
specified_rowsets, delete_bitmap,
diff --git a/be/src/olap/base_tablet.h b/be/src/olap/base_tablet.h
index ea36ca8c47a..a157cd1e018 100644
--- a/be/src/olap/base_tablet.h
+++ b/be/src/olap/base_tablet.h
@@ -230,8 +230,9 @@ public:
             const std::map<RowsetSharedPtr, std::list<std::pair<RowLocation, 
RowLocation>>>&
                     location_map);
 
-    static Status update_delete_bitmap_without_lock(const BaseTabletSPtr& self,
-                                                    const RowsetSharedPtr& 
rowset);
+    static Status update_delete_bitmap_without_lock(
+            const BaseTabletSPtr& self, const RowsetSharedPtr& rowset,
+            const std::vector<RowsetSharedPtr>* specified_base_rowsets = 
nullptr);
 
     
////////////////////////////////////////////////////////////////////////////
     // end MoW functions
diff --git a/be/src/olap/tablet.cpp b/be/src/olap/tablet.cpp
index dfe1220ada8..a6f0202d1e3 100644
--- a/be/src/olap/tablet.cpp
+++ b/be/src/olap/tablet.cpp
@@ -330,11 +330,19 @@ Status Tablet::revise_tablet_meta(const 
std::vector<RowsetSharedPtr>& to_add,
                                   const std::vector<RowsetSharedPtr>& 
to_delete,
                                   bool is_incremental_clone) {
     LOG(INFO) << "begin to revise tablet. tablet_id=" << tablet_id();
-    delete_rowsets(to_delete, false);
-    add_rowsets(to_add);
-    // reconstruct from tablet meta
-    
_timestamped_version_tracker.construct_versioned_tracker(_tablet_meta->all_rs_metas());
-    if (keys_type() == UNIQUE_KEYS && enable_unique_key_merge_on_write()) {
+    // 1. for incremental clone, we have to add the rowsets first to make it 
easy to compute
+    //    all the delete bitmaps, and it's easy to delete them if we end up 
with a failure
+    // 2. for full clone, we can calculate delete bitmaps on the cloned 
rowsets directly.
+    if (is_incremental_clone) {
+        CHECK(to_delete.empty()); // don't need to delete rowsets
+        add_rowsets(to_add);
+        // reconstruct from tablet meta
+        
_timestamped_version_tracker.construct_versioned_tracker(_tablet_meta->all_rs_metas());
+    }
+
+    Status calc_bm_status;
+    std::vector<RowsetSharedPtr> base_rowsets_for_full_clone = to_add; // copy 
vector
+    while (keys_type() == UNIQUE_KEYS && enable_unique_key_merge_on_write()) {
         std::vector<RowsetSharedPtr> calc_delete_bitmap_rowsets;
         int64_t to_add_min_version = INT64_MAX;
         int64_t to_add_max_version = INT64_MIN;
@@ -369,20 +377,73 @@ Status Tablet::revise_tablet_meta(const 
std::vector<RowsetSharedPtr>& to_add,
         }
 
         if (calc_delete_bitmap_ver.first <= calc_delete_bitmap_ver.second) {
-            Status res = 
capture_consistent_rowsets_unlocked(calc_delete_bitmap_ver,
-                                                             
&calc_delete_bitmap_rowsets);
-            // Because the data in memory has been changed, can't return an 
error.
-            CHECK(res.ok()) << "fail to capture_consistent_rowsets, res: " << 
res;
-
+            calc_bm_status = 
capture_consistent_rowsets_unlocked(calc_delete_bitmap_ver,
+                                                                 
&calc_delete_bitmap_rowsets);
+            if (!calc_bm_status.ok()) {
+                LOG(WARNING) << "fail to capture_consistent_rowsets, res: " << 
calc_bm_status;
+                break;
+            }
             // FIXME(plat1ko): Use `const TabletSharedPtr&` as parameter
             auto self = _engine.tablet_manager()->get_tablet(tablet_id());
             CHECK(self);
             for (auto rs : calc_delete_bitmap_rowsets) {
-                res = update_delete_bitmap_without_lock(self, rs);
-                CHECK(res.ok()) << "fail to update_delete_bitmap_without_lock, 
res: " << res;
+                if (is_incremental_clone) {
+                    calc_bm_status = update_delete_bitmap_without_lock(self, 
rs);
+                } else {
+                    calc_bm_status = update_delete_bitmap_without_lock(
+                            self, rs, &base_rowsets_for_full_clone);
+                    base_rowsets_for_full_clone.push_back(rs);
+                }
+                if (!calc_bm_status.ok()) {
+                    LOG(WARNING) << "fail to 
update_delete_bitmap_without_lock, res: "
+                                 << calc_bm_status;
+                    break;
+                }
+            }
+        }
+        break; // while (keys_type() == UNIQUE_KEYS && 
enable_unique_key_merge_on_write())
+    }
+
+    // error handling
+    if (!calc_bm_status.ok()) {
+        if (is_incremental_clone) {
+            delete_rowsets(to_add, false);
+            LOG(WARNING) << "incremental clone on tablet: " << tablet_id() << 
" failed due to "
+                         << calc_bm_status.msg() << ", revert " << 
to_add.size()
+                         << " rowsets added before.";
+        } else {
+            LOG(WARNING) << "full clone on tablet: " << tablet_id() << " 
failed due to "
+                         << calc_bm_status.msg() << ", will not update tablet 
meta.";
+        }
+        return calc_bm_status;
+    }
+
+    // full clone, calculate delete bitmap succeeded, update rowset
+    if (!is_incremental_clone) {
+        delete_rowsets(to_delete, false);
+        add_rowsets(to_add);
+        // reconstruct from tablet meta
+        
_timestamped_version_tracker.construct_versioned_tracker(_tablet_meta->all_rs_metas());
+
+        // check the rowsets used for delete bitmap calculation is equal to 
the rowsets
+        // that we can capture by version
+        if (keys_type() == UNIQUE_KEYS && enable_unique_key_merge_on_write()) {
+            Version full_version = Version(0, max_version_unlocked());
+            std::vector<RowsetSharedPtr> expected_rowsets;
+            auto st = capture_consistent_rowsets_unlocked(full_version, 
&expected_rowsets);
+            DCHECK(st.ok()) << st;
+            DCHECK_EQ(base_rowsets_for_full_clone.size(), 
expected_rowsets.size());
+            if (st.ok() && base_rowsets_for_full_clone.size() != 
expected_rowsets.size())
+                    [[unlikely]] {
+                LOG(WARNING) << "full clone succeeded, but the count("
+                             << base_rowsets_for_full_clone.size()
+                             << ") of base rowsets used for delete bitmap 
calculation is not match "
+                                "expect count("
+                             << expected_rowsets.size() << ") we capture from 
tablet meta";
             }
         }
     }
+
     // clear stale rowset
     for (auto& [v, rs] : _stale_rs_version_map) {
         _engine.add_unused_rowset(rs);


---------------------------------------------------------------------
To unsubscribe, e-mail: commits-unsubscr...@doris.apache.org
For additional commands, e-mail: commits-h...@doris.apache.org

Reply via email to