Coverage Report

Created: 2026-05-14 06:37

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
be/src/storage/tablet/base_tablet.cpp
Line
Count
Source
1
// Licensed to the Apache Software Foundation (ASF) under one
2
// or more contributor license agreements.  See the NOTICE file
3
// distributed with this work for additional information
4
// regarding copyright ownership.  The ASF licenses this file
5
// to you under the Apache License, Version 2.0 (the
6
// "License"); you may not use this file except in compliance
7
// with the License.  You may obtain a copy of the License at
8
//
9
//   http://www.apache.org/licenses/LICENSE-2.0
10
//
11
// Unless required by applicable law or agreed to in writing,
12
// software distributed under the License is distributed on an
13
// "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
14
// KIND, either express or implied.  See the License for the
15
// specific language governing permissions and limitations
16
// under the License.
17
18
#include "storage/tablet/base_tablet.h"
19
20
#include <bthread/mutex.h>
21
#include <crc32c/crc32c.h>
22
#include <fmt/format.h>
23
#include <rapidjson/prettywriter.h>
24
25
#include <algorithm>
26
#include <cstdint>
27
#include <iterator>
28
#include <random>
29
#include <shared_mutex>
30
31
#include "cloud/cloud_tablet.h"
32
#include "cloud/config.h"
33
#include "common/cast_set.h"
34
#include "common/logging.h"
35
#include "common/metrics/doris_metrics.h"
36
#include "common/status.h"
37
#include "core/assert_cast.h"
38
#include "core/data_type/data_type_factory.hpp"
39
#include "load/memtable/memtable.h"
40
#include "service/point_query_executor.h"
41
#include "storage/compaction/cumulative_compaction_time_series_policy.h"
42
#include "storage/delete/calc_delete_bitmap_executor.h"
43
#include "storage/delete/delete_bitmap_calculator.h"
44
#include "storage/index/primary_key_index.h"
45
#include "storage/iterators.h"
46
#include "storage/partial_update_info.h"
47
#include "storage/rowid_conversion.h"
48
#include "storage/rowset/beta_rowset.h"
49
#include "storage/rowset/rowset.h"
50
#include "storage/rowset/rowset_fwd.h"
51
#include "storage/rowset/rowset_reader.h"
52
#include "storage/segment/column_reader.h"
53
#include "storage/tablet/tablet_fwd.h"
54
#include "storage/txn/txn_manager.h"
55
#include "util/bvar_helper.h"
56
#include "util/debug_points.h"
57
#include "util/jsonb/serialize.h"
58
59
namespace doris {
60
61
using namespace ErrorCode;
62
63
namespace {
64
65
bvar::LatencyRecorder g_tablet_commit_phase_update_delete_bitmap_latency(
66
        "doris_pk", "commit_phase_update_delete_bitmap");
67
bvar::LatencyRecorder g_tablet_lookup_rowkey_latency("doris_pk", "tablet_lookup_rowkey");
68
bvar::Adder<uint64_t> g_tablet_pk_not_found("doris_pk", "lookup_not_found");
69
bvar::PerSecond<bvar::Adder<uint64_t>> g_tablet_pk_not_found_per_second(
70
        "doris_pk", "lookup_not_found_per_second", &g_tablet_pk_not_found, 60);
71
bvar::LatencyRecorder g_tablet_update_delete_bitmap_latency("doris_pk", "update_delete_bitmap");
72
73
static bvar::Adder<size_t> g_total_tablet_num("doris_total_tablet_num");
74
75
Status _get_segment_column_iterator(const BetaRowsetSharedPtr& rowset, uint32_t segid,
76
                                    const TabletColumn& target_column,
77
                                    SegmentCacheHandle* segment_cache_handle,
78
                                    std::unique_ptr<segment_v2::ColumnIterator>* column_iterator,
79
8.56k
                                    OlapReaderStatistics* stats) {
80
8.56k
    RETURN_IF_ERROR(SegmentLoader::instance()->load_segments(rowset, segment_cache_handle, true));
81
    // find segment
82
8.56k
    auto it = std::find_if(
83
8.56k
            segment_cache_handle->get_segments().begin(),
84
8.56k
            segment_cache_handle->get_segments().end(),
85
8.58k
            [&segid](const segment_v2::SegmentSharedPtr& seg) { return seg->id() == segid; });
86
8.56k
    if (it == segment_cache_handle->get_segments().end()) {
87
0
        return Status::NotFound(fmt::format("rowset {} 's segemnt not found, seg_id {}",
88
0
                                            rowset->rowset_id().to_string(), segid));
89
0
    }
90
8.56k
    segment_v2::SegmentSharedPtr segment = *it;
91
8.56k
    StorageReadOptions opts;
92
8.56k
    opts.stats = stats;
93
8.56k
    RETURN_IF_ERROR(segment->new_column_iterator(target_column, column_iterator, &opts));
94
8.56k
    segment_v2::ColumnIteratorOptions opt {
95
8.56k
            .use_page_cache = !config::disable_storage_page_cache,
96
8.56k
            .file_reader = segment->file_reader().get(),
97
8.56k
            .stats = stats,
98
8.56k
            .io_ctx = io::IOContext {.reader_type = ReaderType::READER_QUERY,
99
8.56k
                                     .file_cache_stats = &stats->file_cache_stats},
100
8.56k
    };
101
8.56k
    RETURN_IF_ERROR((*column_iterator)->init(opt));
102
8.56k
    return Status::OK();
103
8.56k
}
104
105
} // namespace
106
107
extern MetricPrototype METRIC_query_scan_bytes;
108
extern MetricPrototype METRIC_query_scan_rows;
109
extern MetricPrototype METRIC_query_scan_count;
110
DEFINE_COUNTER_METRIC_PROTOTYPE_2ARG(flush_bytes, MetricUnit::BYTES);
111
DEFINE_COUNTER_METRIC_PROTOTYPE_2ARG(flush_finish_count, MetricUnit::OPERATIONS);
112
113
406k
BaseTablet::BaseTablet(TabletMetaSharedPtr tablet_meta) : _tablet_meta(std::move(tablet_meta)) {
114
406k
    _metric_entity = DorisMetrics::instance()->metric_registry()->register_entity(
115
406k
            fmt::format("Tablet.{}", tablet_id()), {{"tablet_id", std::to_string(tablet_id())}},
116
406k
            MetricEntityType::kTablet);
117
406k
    INT_COUNTER_METRIC_REGISTER(_metric_entity, query_scan_bytes);
118
406k
    INT_COUNTER_METRIC_REGISTER(_metric_entity, query_scan_rows);
119
406k
    INT_COUNTER_METRIC_REGISTER(_metric_entity, query_scan_count);
120
406k
    INT_COUNTER_METRIC_REGISTER(_metric_entity, flush_bytes);
121
406k
    INT_COUNTER_METRIC_REGISTER(_metric_entity, flush_finish_count);
122
123
    // construct _timestamped_versioned_tracker from rs and stale rs meta
124
406k
    _timestamped_version_tracker.construct_versioned_tracker(_tablet_meta->all_rs_metas(),
125
406k
                                                             _tablet_meta->all_stale_rs_metas());
126
127
    // if !_tablet_meta->all_rs_metas()[0]->tablet_schema(),
128
    // that mean the tablet_meta is still no upgrade to doris 1.2 versions.
129
    // Before doris 1.2 version, rowset metas don't have tablet schema.
130
    // And when upgrade to doris 1.2 version,
131
    // all rowset metas will be set the tablet schmea from tablet meta.
132
406k
    if (_tablet_meta->all_rs_metas().empty() ||
133
406k
        !_tablet_meta->all_rs_metas().begin()->second->tablet_schema()) {
134
126k
        _max_version_schema = _tablet_meta->tablet_schema();
135
280k
    } else {
136
280k
        std::vector<RowsetMetaSharedPtr> rowset_metas(_tablet_meta->all_rs_metas().size());
137
280k
        std::transform(_tablet_meta->all_rs_metas().begin(), _tablet_meta->all_rs_metas().end(),
138
477k
                       rowset_metas.begin(), [](const auto& it) { return it.second; });
139
280k
        _max_version_schema = tablet_schema_with_merged_max_schema_version(rowset_metas);
140
280k
    }
141
406k
    DCHECK(_max_version_schema);
142
406k
    g_total_tablet_num << 1;
143
406k
}
144
145
167k
BaseTablet::~BaseTablet() {
146
167k
    DorisMetrics::instance()->metric_registry()->deregister_entity(_metric_entity);
147
167k
    g_total_tablet_num << -1;
148
167k
}
149
150
TabletSchemaSPtr BaseTablet::tablet_schema_with_merged_max_schema_version(
151
287k
        const std::vector<RowsetMetaSharedPtr>& rowset_metas) {
152
287k
    RowsetMetaSharedPtr max_schema_version_rs = *std::max_element(
153
287k
            rowset_metas.begin(), rowset_metas.end(), [](const auto& a, const auto& b) -> bool {
154
253k
                return !a->tablet_schema()
155
253k
                               ? true
156
253k
                               : (!b->tablet_schema()
157
253k
                                          ? false
158
253k
                                          : a->tablet_schema()->schema_version() <
159
253k
                                                    b->tablet_schema()->schema_version());
160
253k
            });
161
287k
    return max_schema_version_rs->tablet_schema();
162
287k
}
163
164
15.6k
Status BaseTablet::set_tablet_state(TabletState state) {
165
15.6k
    if (_tablet_meta->tablet_state() == TABLET_SHUTDOWN && state != TABLET_SHUTDOWN) {
166
0
        return Status::Error<META_INVALID_ARGUMENT>(
167
0
                "could not change tablet state from shutdown to {}", state);
168
0
    }
169
15.6k
    _tablet_meta->set_tablet_state(state);
170
15.6k
    return Status::OK();
171
15.6k
}
172
173
2.22k
void BaseTablet::update_max_version_schema(const TabletSchemaSPtr& tablet_schema) {
174
2.22k
    std::lock_guard wrlock(_meta_lock);
175
    // Double Check for concurrent update
176
2.22k
    if (!_max_version_schema ||
177
2.22k
        tablet_schema->schema_version() > _max_version_schema->schema_version()) {
178
1.72k
        _max_version_schema = tablet_schema;
179
1.72k
    }
180
2.22k
}
181
182
316k
uint32_t BaseTablet::get_real_compaction_score() const {
183
316k
    std::shared_lock l(_meta_lock);
184
316k
    const auto& rs_metas = _tablet_meta->all_rs_metas();
185
639k
    return std::accumulate(rs_metas.begin(), rs_metas.end(), 0, [](uint32_t score, const auto& it) {
186
639k
        return score + it.second->get_compaction_score();
187
639k
    });
188
316k
}
189
190
Status BaseTablet::capture_rs_readers_unlocked(const Versions& version_path,
191
0
                                               std::vector<RowSetSplits>* rs_splits) const {
192
0
    DCHECK(rs_splits != nullptr && rs_splits->empty());
193
0
    for (auto version : version_path) {
194
0
        auto it = _rs_version_map.find(version);
195
0
        if (it == _rs_version_map.end()) {
196
0
            VLOG_NOTICE << "fail to find Rowset in rs_version for version. tablet=" << tablet_id()
197
0
                        << ", version='" << version.first << "-" << version.second;
198
199
0
            it = _stale_rs_version_map.find(version);
200
0
            if (it == _stale_rs_version_map.end()) {
201
0
                return Status::Error<CAPTURE_ROWSET_READER_ERROR>(
202
0
                        "fail to find Rowset in stale_rs_version for version. tablet={}, "
203
0
                        "version={}-{}",
204
0
                        tablet_id(), version.first, version.second);
205
0
            }
206
0
        }
207
0
        RowsetReaderSharedPtr rs_reader;
208
0
        auto res = it->second->create_reader(&rs_reader);
209
0
        if (!res.ok()) {
210
0
            return Status::Error<CAPTURE_ROWSET_READER_ERROR>(
211
0
                    "failed to create reader for rowset:{}", it->second->rowset_id().to_string());
212
0
        }
213
0
        rs_splits->emplace_back(std::move(rs_reader));
214
0
    }
215
0
    return Status::OK();
216
0
}
217
218
// snapshot manager may call this api to check if version exists, so that
219
// the version maybe not exist
220
RowsetSharedPtr BaseTablet::get_rowset_by_version(const Version& version,
221
134k
                                                  bool find_in_stale) const {
222
134k
    auto iter = _rs_version_map.find(version);
223
134k
    if (iter == _rs_version_map.end()) {
224
132k
        if (find_in_stale) {
225
0
            return get_stale_rowset_by_version(version);
226
0
        }
227
132k
        return nullptr;
228
132k
    }
229
1.53k
    return iter->second;
230
134k
}
231
232
0
RowsetSharedPtr BaseTablet::get_stale_rowset_by_version(const Version& version) const {
233
0
    auto iter = _stale_rs_version_map.find(version);
234
0
    if (iter == _stale_rs_version_map.end()) {
235
0
        VLOG_NOTICE << "no rowset for version:" << version << ", tablet: " << tablet_id();
236
0
        return nullptr;
237
0
    }
238
0
    return iter->second;
239
0
}
240
241
// Already under _meta_lock
242
13.5k
RowsetSharedPtr BaseTablet::get_rowset_with_max_version() const {
243
13.5k
    Version max_version = _tablet_meta->max_version();
244
13.5k
    if (max_version.first == -1) {
245
0
        return nullptr;
246
0
    }
247
248
13.5k
    auto iter = _rs_version_map.find(max_version);
249
13.5k
    if (iter == _rs_version_map.end()) {
250
0
        DCHECK(false) << "invalid version:" << max_version;
251
0
        return nullptr;
252
0
    }
253
13.5k
    return iter->second;
254
13.5k
}
255
256
15
Status BaseTablet::get_all_rs_id(int64_t max_version, RowsetIdUnorderedSet* rowset_ids) const {
257
15
    std::shared_lock rlock(_meta_lock);
258
15
    return get_all_rs_id_unlocked(max_version, rowset_ids);
259
15
}
260
261
Status BaseTablet::get_all_rs_id_unlocked(int64_t max_version,
262
134k
                                          RowsetIdUnorderedSet* rowset_ids) const {
263
    //  Ensure that the obtained versions of rowsets are continuous
264
134k
    Version spec_version(0, max_version);
265
134k
    Versions version_path;
266
134k
    auto st = _timestamped_version_tracker.capture_consistent_versions(spec_version, &version_path);
267
134k
    if (!st.ok()) [[unlikely]] {
268
0
        return st;
269
0
    }
270
271
1.16M
    for (auto& ver : version_path) {
272
1.16M
        if (ver.second == 1) {
273
            // [0-1] rowset is empty for each tablet, skip it
274
134k
            continue;
275
134k
        }
276
1.03M
        auto it = _rs_version_map.find(ver);
277
1.03M
        if (it == _rs_version_map.end()) {
278
0
            return Status::Error<CAPTURE_ROWSET_ERROR, false>(
279
0
                    "fail to find Rowset for version. tablet={}, version={}", tablet_id(),
280
0
                    ver.to_string());
281
0
        }
282
1.03M
        rowset_ids->emplace(it->second->rowset_id());
283
1.03M
    }
284
134k
    return Status::OK();
285
134k
}
286
287
0
Versions BaseTablet::get_missed_versions(int64_t spec_version) const {
288
0
    DCHECK(spec_version > 0) << "invalid spec_version: " << spec_version;
289
290
0
    Versions existing_versions;
291
0
    {
292
0
        std::shared_lock rdlock(_meta_lock);
293
0
        for (const auto& [ver, _] : _tablet_meta->all_rs_metas()) {
294
0
            existing_versions.emplace_back(ver);
295
0
        }
296
0
    }
297
0
    return calc_missed_versions(spec_version, std::move(existing_versions));
298
0
}
299
300
546
Versions BaseTablet::get_missed_versions_unlocked(int64_t spec_version) const {
301
546
    DCHECK(spec_version > 0) << "invalid spec_version: " << spec_version;
302
303
546
    Versions existing_versions;
304
1.69k
    for (const auto& [ver, _] : _tablet_meta->all_rs_metas()) {
305
1.69k
        existing_versions.emplace_back(ver);
306
1.69k
    }
307
546
    return calc_missed_versions(spec_version, std::move(existing_versions));
308
546
}
309
310
1
void BaseTablet::_print_missed_versions(const Versions& missed_versions) const {
311
1
    std::stringstream ss;
312
1
    ss << tablet_id() << " has " << missed_versions.size() << " missed version:";
313
    // print at most 10 version
314
3
    for (int i = 0; i < 10 && i < missed_versions.size(); ++i) {
315
2
        ss << missed_versions[i] << ",";
316
2
    }
317
1
    LOG(WARNING) << ss.str();
318
1
}
319
320
2.75k
bool BaseTablet::_reconstruct_version_tracker_if_necessary() {
321
2.75k
    double data_orphan_vertex_ratio = _timestamped_version_tracker.get_orphan_vertex_ratio();
322
2.75k
    double row_binlog_orphan_vertex_ratio = _row_binlog_version_tracker.get_orphan_vertex_ratio();
323
2.75k
    if (data_orphan_vertex_ratio >= config::tablet_version_graph_orphan_vertex_ratio) {
324
2.71k
        _timestamped_version_tracker.construct_versioned_tracker(
325
2.71k
                _tablet_meta->all_rs_metas(), _tablet_meta->all_stale_rs_metas());
326
2.71k
        return true;
327
2.71k
    } else if (row_binlog_orphan_vertex_ratio >= config::tablet_version_graph_orphan_vertex_ratio) {
328
0
        _row_binlog_version_tracker.construct_versioned_tracker(
329
0
                _tablet_meta->all_row_binlog_rs_metas());
330
0
        return true;
331
0
    }
332
40
    return false;
333
2.75k
}
334
335
// should use this method to get a copy of current tablet meta
336
// there are some rowset meta in local meta store and in in-memory tablet meta
337
// but not in tablet meta in local meta store
338
void BaseTablet::generate_tablet_meta_copy(TabletMeta& new_tablet_meta,
339
2
                                           bool cloud_get_rowset_meta) const {
340
2
    std::shared_lock rdlock(_meta_lock);
341
2
    generate_tablet_meta_copy_unlocked(new_tablet_meta, cloud_get_rowset_meta);
342
2
}
343
344
// this is a unlocked version of generate_tablet_meta_copy()
345
// some method already hold the _meta_lock before calling this,
346
// such as EngineCloneTask::_finish_clone -> tablet->revise_tablet_meta
347
void BaseTablet::generate_tablet_meta_copy_unlocked(TabletMeta& new_tablet_meta,
348
324
                                                    bool cloud_get_rowset_meta) const {
349
324
    TabletMetaPB tablet_meta_pb;
350
324
    _tablet_meta->to_meta_pb(&tablet_meta_pb, cloud_get_rowset_meta);
351
324
    new_tablet_meta.init_from_pb(tablet_meta_pb);
352
324
}
353
354
Status BaseTablet::calc_delete_bitmap_between_segments(
355
        TabletSchemaSPtr schema, RowsetId rowset_id,
356
11
        const std::vector<segment_v2::SegmentSharedPtr>& segments, DeleteBitmapPtr delete_bitmap) {
357
11
    size_t const num_segments = segments.size();
358
11
    if (num_segments < 2) {
359
11
        return Status::OK();
360
11
    }
361
362
0
    OlapStopWatch watch;
363
0
    size_t seq_col_length = 0;
364
0
    if (schema->has_sequence_col()) {
365
0
        auto seq_col_idx = schema->sequence_col_idx();
366
0
        seq_col_length = schema->column(seq_col_idx).length() + 1;
367
0
    }
368
0
    size_t rowid_length = 0;
369
0
    if (!schema->cluster_key_uids().empty()) {
370
0
        rowid_length = PrimaryKeyIndexReader::ROW_ID_LENGTH;
371
0
    }
372
373
0
    MergeIndexDeleteBitmapCalculator calculator;
374
0
    RETURN_IF_ERROR(calculator.init(rowset_id, segments, seq_col_length, rowid_length));
375
376
0
    RETURN_IF_ERROR(calculator.calculate_all(delete_bitmap));
377
378
0
    delete_bitmap->add(
379
0
            {rowset_id, DeleteBitmap::INVALID_SEGMENT_ID, DeleteBitmap::TEMP_VERSION_COMMON},
380
0
            DeleteBitmap::ROWSET_SENTINEL_MARK);
381
0
    LOG(INFO) << fmt::format(
382
0
            "construct delete bitmap between segments, "
383
0
            "tablet: {}, rowset: {}, number of segments: {}, bitmap count: {}, bitmap cardinality: "
384
0
            "{}, cost {} (us)",
385
0
            tablet_id(), rowset_id.to_string(), num_segments,
386
0
            delete_bitmap->get_delete_bitmap_count(), delete_bitmap->cardinality(),
387
0
            watch.get_elapse_time_us());
388
0
    return Status::OK();
389
0
}
390
391
std::vector<RowsetSharedPtr> BaseTablet::get_rowset_by_ids(
392
156k
        const RowsetIdUnorderedSet* specified_rowset_ids) {
393
156k
    std::vector<RowsetSharedPtr> rowsets;
394
1.39M
    for (auto& rs : _rs_version_map) {
395
1.39M
        if (!specified_rowset_ids ||
396
1.39M
            specified_rowset_ids->find(rs.second->rowset_id()) != specified_rowset_ids->end()) {
397
652k
            rowsets.push_back(rs.second);
398
652k
        }
399
1.39M
    }
400
401
2.33M
    std::sort(rowsets.begin(), rowsets.end(), [](RowsetSharedPtr& lhs, RowsetSharedPtr& rhs) {
402
2.33M
        return lhs->end_version() > rhs->end_version();
403
2.33M
    });
404
156k
    return rowsets;
405
156k
}
406
407
Status BaseTablet::lookup_row_data(const Slice& encoded_key, const RowLocation& row_location,
408
                                   RowsetSharedPtr input_rowset, OlapReaderStatistics& stats,
409
4.60k
                                   std::string& values, bool write_to_cache) {
410
4.60k
    MonotonicStopWatch watch;
411
4.60k
    size_t row_size = 1;
412
4.60k
    watch.start();
413
4.60k
    Defer _defer([&]() {
414
4.60k
        LOG_EVERY_N(INFO, 500) << "get a single_row, cost(us):" << watch.elapsed_time() / 1000
415
10
                               << ", row_size:" << row_size;
416
4.60k
    });
417
418
4.60k
    BetaRowsetSharedPtr rowset = std::static_pointer_cast<BetaRowset>(input_rowset);
419
4.60k
    CHECK(rowset);
420
4.60k
    const TabletSchemaSPtr tablet_schema = rowset->tablet_schema();
421
4.60k
    SegmentCacheHandle segment_cache_handle;
422
4.60k
    std::unique_ptr<segment_v2::ColumnIterator> column_iterator;
423
4.60k
    const auto& column = *DORIS_TRY(tablet_schema->column(BeConsts::ROW_STORE_COL));
424
4.60k
    RETURN_IF_ERROR(_get_segment_column_iterator(rowset, row_location.segment_id, column,
425
4.60k
                                                 &segment_cache_handle, &column_iterator, &stats));
426
    // get and parse tuple row
427
4.60k
    MutableColumnPtr column_ptr = ColumnString::create();
428
4.60k
    std::vector<segment_v2::rowid_t> rowids {static_cast<segment_v2::rowid_t>(row_location.row_id)};
429
4.60k
    RETURN_IF_ERROR(column_iterator->read_by_rowids(rowids.data(), 1, column_ptr));
430
4.60k
    assert(column_ptr->size() == 1);
431
4.60k
    auto* string_column = static_cast<ColumnString*>(column_ptr.get());
432
4.60k
    StringRef value = string_column->get_data_at(0);
433
4.60k
    values = value.to_string();
434
4.60k
    if (write_to_cache) {
435
67
        RowCache::instance()->insert({tablet_id(), encoded_key}, Slice {value.data, value.size});
436
67
    }
437
4.60k
    return Status::OK();
438
4.60k
}
439
440
Status BaseTablet::lookup_row_key(const Slice& encoded_key, TabletSchema* latest_schema,
441
                                  bool with_seq_col,
442
                                  const std::vector<RowsetSharedPtr>& specified_rowsets,
443
                                  RowLocation* row_location, int64_t version,
444
                                  std::vector<std::unique_ptr<SegmentCacheHandle>>& segment_caches,
445
                                  RowsetSharedPtr* rowset, bool with_rowid,
446
                                  std::string* encoded_seq_value, OlapReaderStatistics* stats,
447
3.89M
                                  DeleteBitmapPtr delete_bitmap) {
448
3.89M
    SCOPED_BVAR_LATENCY(g_tablet_lookup_rowkey_latency);
449
3.89M
    size_t seq_col_length = 0;
450
    // use the latest tablet schema to decide if the tablet has sequence column currently
451
3.89M
    const TabletSchema* schema =
452
3.89M
            (latest_schema == nullptr ? _tablet_meta->tablet_schema().get() : latest_schema);
453
3.89M
    if (schema->has_sequence_col() && with_seq_col) {
454
23.3k
        seq_col_length = schema->column(schema->sequence_col_idx()).length() + 1;
455
23.3k
    }
456
3.89M
    size_t rowid_length = 0;
457
3.91M
    if (with_rowid && !schema->cluster_key_uids().empty()) {
458
68.8k
        rowid_length = PrimaryKeyIndexReader::ROW_ID_LENGTH;
459
68.8k
    }
460
3.89M
    Slice key_without_seq =
461
3.89M
            Slice(encoded_key.get_data(), encoded_key.get_size() - seq_col_length - rowid_length);
462
3.89M
    RowLocation loc;
463
464
3.89M
    auto tablet_delete_bitmap =
465
3.89M
            delete_bitmap == nullptr ? _tablet_meta->delete_bitmap_ptr() : delete_bitmap;
466
4.31M
    for (size_t i = 0; i < specified_rowsets.size(); i++) {
467
4.31M
        const auto& rs = specified_rowsets[i];
468
4.31M
        std::vector<KeyBoundsPB> segments_key_bounds;
469
4.31M
        rs->rowset_meta()->get_segments_key_bounds(&segments_key_bounds);
470
4.31M
        int num_segments = cast_set<int>(rs->num_segments());
471
        // MOW lookup requires per-segment bounds. Aggregation must be disabled
472
        // for MOW writers, but enforce at runtime too — indexing segments_key_bounds[j]
473
        // below would be out-of-bounds otherwise.
474
4.31M
        if (UNLIKELY(rs->rowset_meta()->is_segments_key_bounds_aggregated() ||
475
4.31M
                     static_cast<int>(segments_key_bounds.size()) != num_segments)) {
476
0
            return Status::InternalError(
477
0
                    "MOW lookup got rowset with inconsistent segments_key_bounds, rowset_id={}, "
478
0
                    "aggregated={}, bounds_size={}, num_segments={}",
479
0
                    rs->rowset_id().to_string(),
480
0
                    rs->rowset_meta()->is_segments_key_bounds_aggregated(),
481
0
                    segments_key_bounds.size(), num_segments);
482
0
        }
483
4.31M
        std::vector<uint32_t> picked_segments;
484
8.42M
        for (int j = num_segments - 1; j >= 0; j--) {
485
4.10M
            if (_key_is_not_in_segment(key_without_seq, segments_key_bounds[j],
486
4.10M
                                       rs->rowset_meta()->is_segments_key_bounds_truncated())) {
487
4.00k
                continue;
488
4.00k
            }
489
4.10M
            picked_segments.emplace_back(j);
490
4.10M
        }
491
4.31M
        if (picked_segments.empty()) {
492
199k
            continue;
493
199k
        }
494
495
4.11M
        if (UNLIKELY(segment_caches[i] == nullptr)) {
496
72.4k
            segment_caches[i] = std::make_unique<SegmentCacheHandle>();
497
72.4k
            RETURN_IF_ERROR(SegmentLoader::instance()->load_segments(
498
72.4k
                    std::static_pointer_cast<BetaRowset>(rs), segment_caches[i].get(), true, true));
499
72.4k
        }
500
4.11M
        auto& segments = segment_caches[i]->get_segments();
501
4.11M
        DCHECK_EQ(segments.size(), num_segments);
502
503
4.11M
        for (auto id : picked_segments) {
504
4.11M
            Status s = segments[id]->lookup_row_key(encoded_key, schema, with_seq_col, with_rowid,
505
4.11M
                                                    &loc, stats, encoded_seq_value);
506
4.11M
            if (s.is<KEY_NOT_FOUND>()) {
507
216k
                continue;
508
216k
            }
509
3.90M
            if (!s.ok() && !s.is<KEY_ALREADY_EXISTS>()) {
510
0
                return s;
511
0
            }
512
3.90M
            if (s.ok() && tablet_delete_bitmap->contains_agg_with_cache_if_eligible(
513
3.89M
                                  {loc.rowset_id, loc.segment_id, version}, loc.row_id)) {
514
                // if has sequence col, we continue to compare the sequence_id of
515
                // all rowsets, util we find an existing key.
516
339
                if (schema->has_sequence_col()) {
517
190
                    continue;
518
190
                }
519
                // The key is deleted, we don't need to search for it any more.
520
149
                break;
521
339
            }
522
            // `st` is either OK or KEY_ALREADY_EXISTS now.
523
            // for partial update, even if the key is already exists, we still need to
524
            // read it's original values to keep all columns align.
525
3.90M
            *row_location = loc;
526
3.90M
            if (rowset) {
527
                // return it's rowset
528
3.90M
                *rowset = rs;
529
3.90M
            }
530
            // find it and return
531
3.90M
            return s;
532
3.90M
        }
533
4.11M
    }
534
18.4E
    g_tablet_pk_not_found << 1;
535
18.4E
    return Status::Error<ErrorCode::KEY_NOT_FOUND>("can't find key in all rowsets");
536
3.89M
}
537
538
// if user pass a token, then all calculation works will submit to a threadpool,
539
// user can get all delete bitmaps from that token.
540
// if `token` is nullptr, the calculation will run in local, and user can get the result
541
// delete bitmap from `delete_bitmap` directly.
542
Status BaseTablet::calc_delete_bitmap(const BaseTabletSPtr& tablet, RowsetSharedPtr rowset,
543
                                      const std::vector<segment_v2::SegmentSharedPtr>& segments,
544
                                      const std::vector<RowsetSharedPtr>& specified_rowsets,
545
                                      DeleteBitmapPtr delete_bitmap, int64_t end_version,
546
                                      CalcDeleteBitmapToken* token, RowsetWriter* rowset_writer,
547
98.3k
                                      DeleteBitmapPtr tablet_delete_bitmap) {
548
98.3k
    if (specified_rowsets.empty() || segments.empty()) {
549
73.0k
        return Status::OK();
550
73.0k
    }
551
552
25.2k
    OlapStopWatch watch;
553
25.3k
    for (const auto& segment : segments) {
554
25.3k
        const auto& seg = segment;
555
25.3k
        if (token != nullptr) {
556
6.69k
            RETURN_IF_ERROR(token->submit(tablet, rowset, seg, specified_rowsets, end_version,
557
6.69k
                                          delete_bitmap, rowset_writer, tablet_delete_bitmap));
558
18.6k
        } else {
559
18.6k
            RETURN_IF_ERROR(tablet->calc_segment_delete_bitmap(
560
18.6k
                    rowset, segment, specified_rowsets, delete_bitmap, end_version, rowset_writer,
561
18.6k
                    tablet_delete_bitmap));
562
18.6k
        }
563
25.3k
    }
564
565
25.2k
    return Status::OK();
566
25.2k
}
567
568
Status BaseTablet::calc_segment_delete_bitmap(RowsetSharedPtr rowset,
569
                                              const segment_v2::SegmentSharedPtr& seg,
570
                                              const std::vector<RowsetSharedPtr>& specified_rowsets,
571
                                              DeleteBitmapPtr delete_bitmap, int64_t end_version,
572
                                              RowsetWriter* rowset_writer,
573
25.3k
                                              DeleteBitmapPtr tablet_delete_bitmap) {
574
25.3k
    OlapStopWatch watch;
575
25.3k
    auto rowset_id = rowset->rowset_id();
576
25.3k
    Version dummy_version(end_version + 1, end_version + 1);
577
25.3k
    auto rowset_schema = rowset->tablet_schema();
578
579
25.3k
    PartialUpdateInfo* partial_update_info {nullptr};
580
25.3k
    bool is_partial_update = rowset_writer && rowset_writer->is_partial_update();
581
    // `have_input_seq_column` is for fixed partial update only. For flexible partial update, we should use
582
    // the skip bitmap to determine wheather a row has specified the sequence column
583
25.3k
    bool have_input_seq_column = false;
584
    // `rids_be_overwritten` is for flexible partial update only, it records row ids that is overwritten by
585
    // another row with higher seqeucne value
586
25.3k
    std::set<uint32_t> rids_be_overwritten;
587
25.3k
    if (is_partial_update) {
588
89
        partial_update_info = rowset_writer->get_partial_update_info().get();
589
89
        if (partial_update_info->is_fixed_partial_update() && rowset_schema->has_sequence_col()) {
590
4
            std::vector<uint32_t> including_cids =
591
4
                    rowset_writer->get_partial_update_info()->update_cids;
592
4
            have_input_seq_column =
593
4
                    rowset_schema->has_sequence_col() &&
594
4
                    (std::find(including_cids.cbegin(), including_cids.cend(),
595
4
                               rowset_schema->sequence_col_idx()) != including_cids.cend());
596
4
        }
597
89
    }
598
599
25.3k
    if (rowset_schema->num_variant_columns() > 0) {
600
        // During partial updates, the extracted columns of a variant should not be included in the rowset schema.
601
        // This is because the partial update for a variant needs to ignore the extracted columns.
602
        // Otherwise, the schema types in different rowsets might be inconsistent. When performing a partial update,
603
        // the complete variant is constructed by reading all the sub-columns of the variant.
604
4.34k
        rowset_schema = rowset_schema->copy_without_variant_extracted_columns();
605
4.34k
    }
606
    // use for partial update
607
25.3k
    FixedReadPlan read_plan_ori;
608
25.3k
    FixedReadPlan read_plan_update;
609
25.3k
    int64_t conflict_rows = 0;
610
25.3k
    int64_t new_generated_rows = 0;
611
612
25.3k
    std::map<RowsetId, RowsetSharedPtr> rsid_to_rowset;
613
25.3k
    rsid_to_rowset[rowset_id] = rowset;
614
25.3k
    Block block = rowset_schema->create_block();
615
25.3k
    Block ordered_block = block.clone_empty();
616
25.3k
    uint32_t pos = 0;
617
618
25.3k
    RETURN_IF_ERROR(seg->load_pk_index_and_bf(nullptr)); // We need index blocks to iterate
619
25.3k
    const auto* pk_idx = seg->get_primary_key_index();
620
25.3k
    int64_t total = pk_idx->num_rows();
621
25.3k
    uint32_t row_id = 0;
622
25.3k
    int64_t remaining = total;
623
25.3k
    bool exact_match = false;
624
25.3k
    std::string last_key;
625
25.3k
    int batch_size = 1024;
626
    // The data for each segment may be lookup multiple times. Creating a SegmentCacheHandle
627
    // will update the lru cache, and there will be obvious lock competition in multithreading
628
    // scenarios, so using a segment_caches to cache SegmentCacheHandle.
629
25.3k
    std::vector<std::unique_ptr<SegmentCacheHandle>> segment_caches(specified_rowsets.size());
630
53.8k
    while (remaining > 0) {
631
28.4k
        std::unique_ptr<segment_v2::IndexedColumnIterator> iter;
632
28.4k
        RETURN_IF_ERROR(pk_idx->new_iterator(&iter, nullptr));
633
634
28.4k
        size_t num_to_read = std::min<int64_t>(batch_size, remaining);
635
28.4k
        auto index_type = DataTypeFactory::instance().create_data_type(pk_idx->type(), 1, 0);
636
28.4k
        auto index_column = index_type->create_column();
637
28.4k
        Slice last_key_slice(last_key);
638
28.4k
        RETURN_IF_ERROR(iter->seek_at_or_after(&last_key_slice, &exact_match));
639
28.4k
        auto current_ordinal = iter->get_current_ordinal();
640
18.4E
        DCHECK(total == remaining + current_ordinal)
641
18.4E
                << "total: " << total << ", remaining: " << remaining
642
18.4E
                << ", current_ordinal: " << current_ordinal;
643
644
28.4k
        size_t num_read = num_to_read;
645
28.4k
        RETURN_IF_ERROR(iter->next_batch(&num_read, index_column));
646
18.4E
        DCHECK(num_to_read == num_read)
647
18.4E
                << "num_to_read: " << num_to_read << ", num_read: " << num_read;
648
28.4k
        last_key = index_column->get_data_at(num_read - 1).to_string();
649
650
        // exclude last_key, last_key will be read in next batch.
651
28.4k
        if (num_read == batch_size && num_read != remaining) {
652
3.61k
            num_read -= 1;
653
3.61k
        }
654
3.92M
        for (size_t i = 0; i < num_read; i++, row_id++) {
655
3.89M
            Slice key = Slice(index_column->get_data_at(i).data, index_column->get_data_at(i).size);
656
3.89M
            RowLocation loc;
657
            // calculate row id
658
3.89M
            if (!_tablet_meta->tablet_schema()->cluster_key_uids().empty()) {
659
68.8k
                size_t seq_col_length = 0;
660
68.8k
                if (_tablet_meta->tablet_schema()->has_sequence_col()) {
661
11.9k
                    seq_col_length =
662
11.9k
                            _tablet_meta->tablet_schema()
663
11.9k
                                    ->column(_tablet_meta->tablet_schema()->sequence_col_idx())
664
11.9k
                                    .length() +
665
11.9k
                            1;
666
11.9k
                }
667
68.8k
                size_t rowid_length = PrimaryKeyIndexReader::ROW_ID_LENGTH;
668
68.8k
                Slice key_without_seq =
669
68.8k
                        Slice(key.get_data(), key.get_size() - seq_col_length - rowid_length);
670
68.8k
                Slice rowid_slice =
671
68.8k
                        Slice(key.get_data() + key_without_seq.get_size() + seq_col_length + 1,
672
68.8k
                              rowid_length - 1);
673
68.8k
                const auto* rowid_coder = get_key_coder(FieldType::OLAP_FIELD_TYPE_UNSIGNED_INT);
674
68.8k
                RETURN_IF_ERROR(rowid_coder->decode_ascending(&rowid_slice, rowid_length,
675
68.8k
                                                              (uint8_t*)&row_id));
676
68.8k
            }
677
            // same row in segments should be filtered
678
3.89M
            if (delete_bitmap->contains({rowset_id, seg->id(), DeleteBitmap::TEMP_VERSION_COMMON},
679
3.89M
                                        row_id)) {
680
5
                continue;
681
5
            }
682
683
3.89M
            DBUG_EXECUTE_IF("BaseTablet::calc_segment_delete_bitmap.inject_err", {
684
3.89M
                auto p = dp->param("percent", 0.01);
685
3.89M
                std::mt19937 gen {std::random_device {}()};
686
3.89M
                std::bernoulli_distribution inject_fault {p};
687
3.89M
                if (inject_fault(gen)) {
688
3.89M
                    return Status::InternalError(
689
3.89M
                            "injection error in calc_segment_delete_bitmap, "
690
3.89M
                            "tablet_id={}, rowset_id={}",
691
3.89M
                            tablet_id(), rowset_id.to_string());
692
3.89M
                }
693
3.89M
            });
694
695
3.89M
            RowsetSharedPtr rowset_find;
696
3.89M
            Status st = Status::OK();
697
3.89M
            if (tablet_delete_bitmap == nullptr) {
698
2.42M
                st = lookup_row_key(key, rowset_schema.get(), true, specified_rowsets, &loc,
699
2.42M
                                    dummy_version.first - 1, segment_caches, &rowset_find);
700
2.42M
            } else {
701
1.47M
                st = lookup_row_key(key, rowset_schema.get(), true, specified_rowsets, &loc,
702
1.47M
                                    dummy_version.first - 1, segment_caches, &rowset_find, true,
703
1.47M
                                    nullptr, nullptr, tablet_delete_bitmap);
704
1.47M
            }
705
3.89M
            bool expected_st = st.ok() || st.is<KEY_NOT_FOUND>() || st.is<KEY_ALREADY_EXISTS>();
706
            // It's a defensive DCHECK, we need to exclude some common errors to avoid core-dump
707
            // while stress test
708
18.4E
            DCHECK(expected_st || st.is<MEM_LIMIT_EXCEEDED>())
709
18.4E
                    << "unexpected error status while lookup_row_key:" << st;
710
3.89M
            if (!expected_st) {
711
0
                return st;
712
0
            }
713
3.89M
            if (st.is<KEY_NOT_FOUND>()) {
714
27.8k
                continue;
715
27.8k
            }
716
717
3.87M
            ++conflict_rows;
718
3.87M
            if (st.is<KEY_ALREADY_EXISTS>() &&
719
3.87M
                (!is_partial_update ||
720
300
                 (partial_update_info->is_fixed_partial_update() && have_input_seq_column))) {
721
                // `st.is<KEY_ALREADY_EXISTS>()` means that there exists a row with the same key and larger value
722
                // in seqeunce column.
723
                // - If the current load is not a partial update, we just delete current row.
724
                // - Otherwise, it means that we are doing the alignment process in publish phase due to conflicts
725
                // during concurrent partial updates. And there exists another load which introduces a row with
726
                // the same keys and larger sequence column value published successfully after the commit phase
727
                // of the current load.
728
                //     - If the columns we update include sequence column, we should delete the current row becase the
729
                //       partial update on the current row has been `overwritten` by the previous one with larger sequence
730
                //       column value.
731
                //     - Otherwise, we should combine the values of the missing columns in the previous row and the values
732
                //       of the including columns in the current row into a new row.
733
285
                delete_bitmap->add({rowset_id, seg->id(), DeleteBitmap::TEMP_VERSION_COMMON},
734
285
                                   row_id);
735
285
                continue;
736
                // NOTE: for partial update which doesn't specify the sequence column, we can't use the sequence column value filled in flush phase
737
                // as its final value. Otherwise it may cause inconsistency between replicas.
738
285
            }
739
3.87M
            if (is_partial_update && rowset_writer != nullptr) {
740
                // In publish version, record rows to be deleted for concurrent update
741
                // For example, if version 5 and 6 update a row, but version 6 only see
742
                // version 4 when write, and when publish version, version 5's value will
743
                // be marked as deleted and it's update is losed.
744
                // So here we should read version 5's columns and build a new row, which is
745
                // consists of version 6's update columns and version 5's origin columns
746
                // here we build 2 read plan for ori values and update values
747
748
                // - for fixed partial update, we should read update columns from current load's rowset
749
                // and read missing columns from previous rowsets to create the final block
750
                // - for flexible partial update, we should read all columns from current load's rowset
751
                // and read non sort key columns from previous rowsets to create the final block
752
                // So we only need to record rows to read for both mode partial update
753
83
                read_plan_ori.prepare_to_read(loc, pos);
754
83
                read_plan_update.prepare_to_read(RowLocation {rowset_id, seg->id(), row_id}, pos);
755
756
                // For flexible partial update, we should use skip bitmap to determine wheather
757
                // a row has specified the sequence column. But skip bitmap should be read from the segment.
758
                // So we record these row ids and process and filter them in `generate_new_block_for_flexible_partial_update()`
759
83
                if (st.is<KEY_ALREADY_EXISTS>() &&
760
83
                    partial_update_info->is_flexible_partial_update()) {
761
0
                    rids_be_overwritten.insert(pos);
762
0
                }
763
764
83
                rsid_to_rowset[rowset_find->rowset_id()] = rowset_find;
765
83
                ++pos;
766
767
                // delete bitmap will be calculate when memtable flush and
768
                // publish. The two stages may see different versions.
769
                // When there is sequence column, the currently imported data
770
                // of rowset may be marked for deletion at memtablet flush or
771
                // publish because the seq column is smaller than the previous
772
                // rowset.
773
                // just set 0 as a unified temporary version number, and update to
774
                // the real version number later.
775
83
                delete_bitmap->add(
776
83
                        {loc.rowset_id, loc.segment_id, DeleteBitmap::TEMP_VERSION_COMMON},
777
83
                        loc.row_id);
778
83
                delete_bitmap->add({rowset_id, seg->id(), DeleteBitmap::TEMP_VERSION_COMMON},
779
83
                                   row_id);
780
83
                ++new_generated_rows;
781
83
                continue;
782
83
            }
783
            // when st = ok
784
3.87M
            delete_bitmap->add({loc.rowset_id, loc.segment_id, DeleteBitmap::TEMP_VERSION_COMMON},
785
3.87M
                               loc.row_id);
786
3.87M
        }
787
28.4k
        remaining -= num_read;
788
28.4k
    }
789
    // DCHECK_EQ(total, row_id) << "segment total rows: " << total << " row_id:" << row_id;
790
791
25.3k
    if (config::enable_merge_on_write_correctness_check) {
792
25.3k
        RowsetIdUnorderedSet rowsetids;
793
212k
        for (const auto& specified_rowset : specified_rowsets) {
794
212k
            rowsetids.emplace(specified_rowset->rowset_id());
795
212k
            VLOG_NOTICE << "[tabletID:" << tablet_id() << "]"
796
60
                        << "[add_sentinel_mark_to_delete_bitmap][end_version:" << end_version << "]"
797
60
                        << "add:" << specified_rowset->rowset_id();
798
212k
        }
799
25.3k
        add_sentinel_mark_to_delete_bitmap(delete_bitmap.get(), rowsetids);
800
25.3k
    }
801
802
25.3k
    if (pos > 0) {
803
19
        DCHECK(partial_update_info);
804
19
        if (partial_update_info->is_fixed_partial_update()) {
805
19
            RETURN_IF_ERROR(generate_new_block_for_partial_update(
806
19
                    rowset_schema, partial_update_info, read_plan_ori, read_plan_update,
807
19
                    rsid_to_rowset, &block));
808
19
        } else {
809
0
            RETURN_IF_ERROR(generate_new_block_for_flexible_partial_update(
810
0
                    rowset_schema, partial_update_info, rids_be_overwritten, read_plan_ori,
811
0
                    read_plan_update, rsid_to_rowset, &block));
812
0
        }
813
19
        RETURN_IF_ERROR(sort_block(block, ordered_block));
814
19
        RETURN_IF_ERROR(rowset_writer->flush_single_block(&ordered_block));
815
19
        auto cost_us = watch.get_elapse_time_us();
816
19
        if (config::enable_mow_verbose_log || cost_us > 10 * 1000) {
817
19
            LOG(INFO) << "calc segment delete bitmap for "
818
19
                      << partial_update_info->partial_update_mode_str()
819
19
                      << ", tablet: " << tablet_id() << " rowset: " << rowset_id
820
19
                      << " seg_id: " << seg->id() << " dummy_version: " << end_version + 1
821
19
                      << " rows: " << seg->num_rows() << " conflict rows: " << conflict_rows
822
19
                      << " new generated rows: " << new_generated_rows
823
19
                      << " bitmap num: " << delete_bitmap->get_delete_bitmap_count()
824
19
                      << " bitmap cardinality: " << delete_bitmap->cardinality()
825
19
                      << " cost: " << cost_us << "(us)";
826
19
        }
827
19
        return Status::OK();
828
19
    }
829
25.3k
    auto cost_us = watch.get_elapse_time_us();
830
25.3k
    if (config::enable_mow_verbose_log || cost_us > 10 * 1000) {
831
5.96k
        LOG(INFO) << "calc segment delete bitmap, tablet: " << tablet_id()
832
5.96k
                  << " rowset: " << rowset_id << " seg_id: " << seg->id()
833
5.96k
                  << " dummy_version: " << end_version + 1 << " rows: " << seg->num_rows()
834
5.96k
                  << " conflict rows: " << conflict_rows
835
5.96k
                  << " bitmap num: " << delete_bitmap->get_delete_bitmap_count()
836
5.96k
                  << " bitmap cardinality: " << delete_bitmap->cardinality() << " cost: " << cost_us
837
5.96k
                  << "(us)";
838
5.96k
    }
839
25.3k
    return Status::OK();
840
25.3k
}
841
842
19
Status BaseTablet::sort_block(Block& in_block, Block& output_block) {
843
19
    MutableBlock mutable_input_block = MutableBlock::build_mutable_block(&in_block);
844
19
    MutableBlock mutable_output_block = MutableBlock::build_mutable_block(&output_block);
845
846
19
    std::shared_ptr<RowInBlockComparator> vec_row_comparator =
847
19
            std::make_shared<RowInBlockComparator>(_tablet_meta->tablet_schema());
848
19
    vec_row_comparator->set_block(&mutable_input_block);
849
850
19
    std::vector<std::unique_ptr<RowInBlock>> row_in_blocks;
851
19
    DCHECK(in_block.rows() <= std::numeric_limits<int>::max());
852
19
    row_in_blocks.reserve(in_block.rows());
853
102
    for (size_t i = 0; i < in_block.rows(); ++i) {
854
83
        row_in_blocks.emplace_back(std::make_unique<RowInBlock>(i));
855
83
    }
856
19
    std::sort(row_in_blocks.begin(), row_in_blocks.end(),
857
19
              [&](const std::unique_ptr<RowInBlock>& l,
858
128
                  const std::unique_ptr<RowInBlock>& r) -> bool {
859
128
                  auto value = (*vec_row_comparator)(l.get(), r.get());
860
128
                  DCHECK(value != 0) << "value equel when sort block, l_pos: " << l->_row_pos
861
0
                                     << " r_pos: " << r->_row_pos;
862
128
                  return value < 0;
863
128
              });
864
19
    std::vector<uint32_t> row_pos_vec;
865
19
    row_pos_vec.reserve(in_block.rows());
866
83
    for (auto& block : row_in_blocks) {
867
83
        row_pos_vec.emplace_back(block->_row_pos);
868
83
    }
869
19
    return mutable_output_block.add_rows(&in_block, row_pos_vec.data(),
870
19
                                         row_pos_vec.data() + in_block.rows());
871
19
}
872
873
// fetch value by row column
874
Status BaseTablet::fetch_value_through_row_column(RowsetSharedPtr input_rowset,
875
                                                  const TabletSchema& tablet_schema, uint32_t segid,
876
                                                  const std::vector<uint32_t>& rowids,
877
337
                                                  const std::vector<uint32_t>& cids, Block& block) {
878
337
    MonotonicStopWatch watch;
879
337
    watch.start();
880
337
    Defer _defer([&]() {
881
337
        LOG_EVERY_N(INFO, 500) << "fetch_value_by_rowids, cost(us):" << watch.elapsed_time() / 1000
882
1
                               << ", row_batch_size:" << rowids.size();
883
337
    });
884
885
337
    BetaRowsetSharedPtr rowset = std::static_pointer_cast<BetaRowset>(input_rowset);
886
337
    CHECK(rowset);
887
337
    CHECK(tablet_schema.has_row_store_for_all_columns());
888
337
    SegmentCacheHandle segment_cache_handle;
889
337
    std::unique_ptr<segment_v2::ColumnIterator> column_iterator;
890
337
    OlapReaderStatistics stats;
891
337
    const auto& column = *DORIS_TRY(tablet_schema.column(BeConsts::ROW_STORE_COL));
892
337
    RETURN_IF_ERROR(_get_segment_column_iterator(rowset, segid, column, &segment_cache_handle,
893
337
                                                 &column_iterator, &stats));
894
    // get and parse tuple row
895
337
    MutableColumnPtr column_ptr = ColumnString::create();
896
337
    RETURN_IF_ERROR(column_iterator->read_by_rowids(rowids.data(), rowids.size(), column_ptr));
897
337
    assert(column_ptr->size() == rowids.size());
898
337
    auto* string_column = static_cast<ColumnString*>(column_ptr.get());
899
337
    DataTypeSerDeSPtrs serdes;
900
337
    serdes.resize(cids.size());
901
337
    std::unordered_map<uint32_t, uint32_t> col_uid_to_idx;
902
337
    std::vector<std::string> default_values;
903
337
    default_values.resize(cids.size());
904
3.73k
    for (int i = 0; i < cids.size(); ++i) {
905
3.39k
        const TabletColumn& tablet_column = tablet_schema.column(cids[i]);
906
3.39k
        DataTypePtr type = DataTypeFactory::instance().create_data_type(tablet_column);
907
3.39k
        col_uid_to_idx[tablet_column.unique_id()] = i;
908
3.39k
        default_values[i] = tablet_column.default_value();
909
3.39k
        serdes[i] = type->get_serde();
910
3.39k
    }
911
337
    RETURN_IF_ERROR(JsonbSerializeUtil::jsonb_to_block(serdes, *string_column, col_uid_to_idx,
912
337
                                                       block, default_values, {}));
913
337
    return Status::OK();
914
337
}
915
916
Status BaseTablet::fetch_value_by_rowids(RowsetSharedPtr input_rowset, uint32_t segid,
917
                                         const std::vector<uint32_t>& rowids,
918
3.61k
                                         const TabletColumn& tablet_column, MutableColumnPtr& dst) {
919
3.61k
    MonotonicStopWatch watch;
920
3.61k
    watch.start();
921
3.61k
    Defer _defer([&]() {
922
3.61k
        LOG_EVERY_N(INFO, 500) << "fetch_value_by_rowids, cost(us):" << watch.elapsed_time() / 1000
923
10
                               << ", row_batch_size:" << rowids.size();
924
3.61k
    });
925
926
    // read row data
927
3.61k
    BetaRowsetSharedPtr rowset = std::static_pointer_cast<BetaRowset>(input_rowset);
928
3.61k
    CHECK(rowset);
929
3.61k
    SegmentCacheHandle segment_cache_handle;
930
3.61k
    std::unique_ptr<segment_v2::ColumnIterator> column_iterator;
931
3.61k
    OlapReaderStatistics stats;
932
3.61k
    RETURN_IF_ERROR(_get_segment_column_iterator(rowset, segid, tablet_column,
933
3.61k
                                                 &segment_cache_handle, &column_iterator, &stats));
934
3.61k
    RETURN_IF_ERROR(column_iterator->read_by_rowids(rowids.data(), rowids.size(), dst));
935
3.61k
    return Status::OK();
936
3.61k
}
937
938
const signed char* BaseTablet::get_delete_sign_column_data(const Block& block,
939
3.61k
                                                           size_t rows_at_least) {
940
3.61k
    if (int pos = block.get_position_by_name(DELETE_SIGN); pos != -1) {
941
3.59k
        const ColumnWithTypeAndName& delete_sign_column = block.get_by_position(pos);
942
3.59k
        const auto& delete_sign_col = assert_cast<const ColumnInt8&>(*(delete_sign_column.column));
943
3.59k
        if (delete_sign_col.size() >= rows_at_least) {
944
3.03k
            return delete_sign_col.get_data().data();
945
3.03k
        }
946
3.59k
    }
947
574
    return nullptr;
948
3.61k
};
949
950
Status BaseTablet::generate_default_value_block(const TabletSchema& schema,
951
                                                const std::vector<uint32_t>& cids,
952
                                                const std::vector<std::string>& default_values,
953
                                                const Block& ref_block,
954
1.64k
                                                Block& default_value_block) {
955
1.64k
    auto mutable_default_value_columns = default_value_block.mutate_columns();
956
12.8k
    for (auto i = 0; i < cids.size(); ++i) {
957
11.2k
        const auto& column = schema.column(cids[i]);
958
11.2k
        if (column.has_default_value()) {
959
3.81k
            const auto& default_value = default_values[i];
960
3.81k
            StringRef str(default_value);
961
3.81k
            RETURN_IF_ERROR(ref_block.get_by_position(i).type->get_serde()->default_from_string(
962
3.81k
                    str, *mutable_default_value_columns[i]));
963
3.81k
        }
964
11.2k
    }
965
1.64k
    default_value_block.set_columns(std::move(mutable_default_value_columns));
966
1.64k
    return Status::OK();
967
1.64k
}
968
969
Status BaseTablet::generate_new_block_for_partial_update(
970
        TabletSchemaSPtr rowset_schema, const PartialUpdateInfo* partial_update_info,
971
        const FixedReadPlan& read_plan_ori, const FixedReadPlan& read_plan_update,
972
19
        const std::map<RowsetId, RowsetSharedPtr>& rsid_to_rowset, Block* output_block) {
973
    // do partial update related works
974
    // 1. read columns by read plan
975
    // 2. generate new block
976
    // 3. write a new segment and modify rowset meta
977
    // 4. mark current keys deleted
978
19
    CHECK(output_block);
979
19
    auto full_mutable_columns = output_block->mutate_columns();
980
19
    const auto& missing_cids = partial_update_info->missing_cids;
981
19
    const auto& update_cids = partial_update_info->update_cids;
982
19
    auto old_block = rowset_schema->create_block_by_cids(missing_cids);
983
19
    auto update_block = rowset_schema->create_block_by_cids(update_cids);
984
985
19
    bool have_input_seq_column = false;
986
19
    if (rowset_schema->has_sequence_col()) {
987
4
        have_input_seq_column =
988
4
                (std::find(update_cids.cbegin(), update_cids.cend(),
989
4
                           rowset_schema->sequence_col_idx()) != update_cids.cend());
990
4
    }
991
992
    // rowid in the final block(start from 0, increase continuously) -> rowid to read in update_block
993
19
    std::map<uint32_t, uint32_t> read_index_update;
994
995
    // read current rowset first, if a row in the current rowset has delete sign mark
996
    // we don't need to read values from old block
997
19
    RETURN_IF_ERROR(read_plan_update.read_columns_by_plan(
998
19
            *rowset_schema, update_cids, rsid_to_rowset, update_block, &read_index_update, false));
999
19
    size_t update_rows = read_index_update.size();
1000
64
    for (auto i = 0; i < update_cids.size(); ++i) {
1001
246
        for (auto idx = 0; idx < update_rows; ++idx) {
1002
201
            full_mutable_columns[update_cids[i]]->insert_from(
1003
201
                    *update_block.get_by_position(i).column, read_index_update[idx]);
1004
201
        }
1005
45
    }
1006
1007
    // if there is sequence column in the table, we need to read the sequence column,
1008
    // otherwise it may cause the merge-on-read based compaction policy to produce incorrect results
1009
19
    const auto* __restrict new_block_delete_signs =
1010
19
            rowset_schema->has_sequence_col()
1011
19
                    ? nullptr
1012
19
                    : get_delete_sign_column_data(update_block, update_rows);
1013
1014
    // rowid in the final block(start from 0, increase, may not continuous becasue we skip to read some rows) -> rowid to read in old_block
1015
19
    std::map<uint32_t, uint32_t> read_index_old;
1016
19
    RETURN_IF_ERROR(read_plan_ori.read_columns_by_plan(*rowset_schema, missing_cids, rsid_to_rowset,
1017
19
                                                       old_block, &read_index_old, true,
1018
19
                                                       new_block_delete_signs));
1019
19
    size_t old_rows = read_index_old.size();
1020
19
    const auto* __restrict old_block_delete_signs =
1021
19
            get_delete_sign_column_data(old_block, old_rows);
1022
19
    DCHECK(old_block_delete_signs != nullptr);
1023
    // build default value block
1024
19
    auto default_value_block = old_block.clone_empty();
1025
19
    RETURN_IF_ERROR(BaseTablet::generate_default_value_block(*rowset_schema, missing_cids,
1026
19
                                                             partial_update_info->default_values,
1027
19
                                                             old_block, default_value_block));
1028
1029
19
    CHECK(update_rows >= old_rows);
1030
1031
    // build full block
1032
121
    for (auto i = 0; i < missing_cids.size(); ++i) {
1033
102
        const auto& rs_column = rowset_schema->column(missing_cids[i]);
1034
102
        auto& mutable_column = full_mutable_columns[missing_cids[i]];
1035
572
        for (auto idx = 0; idx < update_rows; ++idx) {
1036
            // There are two cases we don't need to read values from old data:
1037
            //     1. if the conflicting new row's delete sign is marked, which means the value columns
1038
            //     of the row will not be read. So we don't need to read the missing values from the previous rows.
1039
            //     2. if the conflicting old row's delete sign is marked, which means that the key is not exist now,
1040
            //     we should not read old values from the deleted data, and should use default value instead.
1041
            //     NOTE: since now we are in the publishing phase, all data is commited
1042
            //         before, even the `strict_mode` is true (which requires partial update
1043
            //         load job can't insert new keys), this "new" key MUST be written into
1044
            //         the new generated segment file.
1045
470
            bool new_row_delete_sign =
1046
470
                    (new_block_delete_signs != nullptr && new_block_delete_signs[idx]);
1047
470
            if (new_row_delete_sign) {
1048
18
                mutable_column->insert_default();
1049
452
            } else {
1050
452
                bool use_default = false;
1051
452
                bool old_row_delete_sign = (old_block_delete_signs != nullptr &&
1052
452
                                            old_block_delete_signs[read_index_old.at(idx)] != 0);
1053
452
                if (old_row_delete_sign) {
1054
0
                    if (!rowset_schema->has_sequence_col()) {
1055
0
                        use_default = true;
1056
0
                    } else if (have_input_seq_column || !rs_column.is_seqeunce_col()) {
1057
                        // to keep the sequence column value not decreasing, we should read values of seq column
1058
                        // from old rows even if the old row is deleted when the input don't specify the sequence column, otherwise
1059
                        // it may cause the merge-on-read based compaction to produce incorrect results
1060
0
                        use_default = true;
1061
0
                    }
1062
0
                }
1063
1064
452
                if (use_default) {
1065
0
                    if (rs_column.has_default_value()) {
1066
0
                        mutable_column->insert_from(*default_value_block.get_by_position(i).column,
1067
0
                                                    0);
1068
0
                    } else if (rs_column.is_nullable()) {
1069
0
                        assert_cast<ColumnNullable*, TypeCheckOnRelease::DISABLE>(
1070
0
                                mutable_column.get())
1071
0
                                ->insert_default();
1072
0
                    } else {
1073
0
                        mutable_column->insert_default();
1074
0
                    }
1075
452
                } else {
1076
452
                    mutable_column->insert_from(*old_block.get_by_position(i).column,
1077
452
                                                read_index_old[idx]);
1078
452
                }
1079
452
            }
1080
470
        }
1081
102
    }
1082
19
    output_block->set_columns(std::move(full_mutable_columns));
1083
19
    VLOG_DEBUG << "full block when publish: " << output_block->dump_data();
1084
19
    return Status::OK();
1085
19
}
1086
1087
static void fill_cell_for_flexible_partial_update(
1088
        std::map<uint32_t, uint32_t>& read_index_old,
1089
        std::map<uint32_t, uint32_t>& read_index_update, const TabletSchemaSPtr& rowset_schema,
1090
        const PartialUpdateInfo* partial_update_info, const TabletColumn& tablet_column,
1091
        std::size_t idx, MutableColumnPtr& new_col, const IColumn& default_value_col,
1092
        const IColumn& old_value_col, const IColumn& cur_col, bool skipped,
1093
0
        bool row_has_sequence_col, const signed char* delete_sign_column_data) {
1094
0
    if (skipped) {
1095
0
        bool use_default = false;
1096
0
        bool old_row_delete_sign =
1097
0
                (delete_sign_column_data != nullptr &&
1098
0
                 delete_sign_column_data[read_index_old[cast_set<uint32_t>(idx)]] != 0);
1099
0
        if (old_row_delete_sign) {
1100
0
            if (!rowset_schema->has_sequence_col()) {
1101
0
                use_default = true;
1102
0
            } else if (row_has_sequence_col || (!tablet_column.is_seqeunce_col() &&
1103
0
                                                (tablet_column.unique_id() !=
1104
0
                                                 partial_update_info->sequence_map_col_uid()))) {
1105
                // to keep the sequence column value not decreasing, we should read values of seq column(and seq map column)
1106
                // from old rows even if the old row is deleted when the input don't specify the sequence column, otherwise
1107
                // it may cause the merge-on-read based compaction to produce incorrect results
1108
0
                use_default = true;
1109
0
            }
1110
0
        }
1111
0
        if (use_default) {
1112
0
            if (tablet_column.has_default_value()) {
1113
0
                new_col->insert_from(default_value_col, 0);
1114
0
            } else if (tablet_column.is_nullable()) {
1115
0
                assert_cast<ColumnNullable*, TypeCheckOnRelease::DISABLE>(new_col.get())
1116
0
                        ->insert_many_defaults(1);
1117
0
            } else if (tablet_column.is_auto_increment()) {
1118
                // For auto-increment column, its default value(generated value) is filled in current block in flush phase
1119
                // when the load doesn't specify the auto-increment column
1120
                //     - if the previous conflicting row is deleted, we should use the value in current block as its final value
1121
                //     - if the previous conflicting row is an insert, we should use the value in old block as its final value to
1122
                //       keep consistency between replicas
1123
0
                new_col->insert_from(cur_col, read_index_update[cast_set<uint32_t>(idx)]);
1124
0
            } else {
1125
0
                new_col->insert_default();
1126
0
            }
1127
0
        } else {
1128
0
            new_col->insert_from(old_value_col, read_index_old[cast_set<uint32_t>(idx)]);
1129
0
        }
1130
0
    } else {
1131
0
        new_col->insert_from(cur_col, read_index_update[cast_set<uint32_t>(idx)]);
1132
0
    }
1133
0
}
1134
1135
Status BaseTablet::generate_new_block_for_flexible_partial_update(
1136
        TabletSchemaSPtr rowset_schema, const PartialUpdateInfo* partial_update_info,
1137
        std::set<uint32_t>& rids_be_overwritten, const FixedReadPlan& read_plan_ori,
1138
        const FixedReadPlan& read_plan_update,
1139
0
        const std::map<RowsetId, RowsetSharedPtr>& rsid_to_rowset, Block* output_block) {
1140
0
    CHECK(output_block);
1141
1142
0
    int32_t seq_col_unique_id = -1;
1143
0
    if (rowset_schema->has_sequence_col()) {
1144
0
        seq_col_unique_id = rowset_schema->column(rowset_schema->sequence_col_idx()).unique_id();
1145
0
    }
1146
0
    const auto& non_sort_key_cids = partial_update_info->missing_cids;
1147
0
    std::vector<uint32_t> all_cids(rowset_schema->num_columns());
1148
0
    std::iota(all_cids.begin(), all_cids.end(), 0);
1149
0
    auto old_block = rowset_schema->create_block_by_cids(non_sort_key_cids);
1150
0
    auto update_block = rowset_schema->create_block_by_cids(all_cids);
1151
1152
    // rowid in the final block(start from 0, increase continuously) -> rowid to read in update_block
1153
0
    std::map<uint32_t, uint32_t> read_index_update;
1154
1155
    // 1. read the current rowset first, if a row in the current rowset has delete sign mark
1156
    // we don't need to read values from old block for that row
1157
0
    RETURN_IF_ERROR(read_plan_update.read_columns_by_plan(*rowset_schema, all_cids, rsid_to_rowset,
1158
0
                                                          update_block, &read_index_update, true));
1159
0
    size_t update_rows = read_index_update.size();
1160
1161
    // TODO(bobhan1): add the delete sign optimazation here
1162
    // // if there is sequence column in the table, we need to read the sequence column,
1163
    // // otherwise it may cause the merge-on-read based compaction policy to produce incorrect results
1164
    // const auto* __restrict new_block_delete_signs =
1165
    //         rowset_schema->has_sequence_col()
1166
    //                 ? nullptr
1167
    //                 : get_delete_sign_column_data(update_block, update_rows);
1168
1169
    // 2. read previous rowsets
1170
    // rowid in the final block(start from 0, increase, may not continuous becasue we skip to read some rows) -> rowid to read in old_block
1171
0
    std::map<uint32_t, uint32_t> read_index_old;
1172
0
    RETURN_IF_ERROR(read_plan_ori.read_columns_by_plan(
1173
0
            *rowset_schema, non_sort_key_cids, rsid_to_rowset, old_block, &read_index_old, true));
1174
0
    size_t old_rows = read_index_old.size();
1175
0
    DCHECK(update_rows == old_rows);
1176
0
    const auto* __restrict old_block_delete_signs =
1177
0
            get_delete_sign_column_data(old_block, old_rows);
1178
0
    DCHECK(old_block_delete_signs != nullptr);
1179
1180
    // 3. build default value block
1181
0
    auto default_value_block = old_block.clone_empty();
1182
0
    RETURN_IF_ERROR(BaseTablet::generate_default_value_block(*rowset_schema, non_sort_key_cids,
1183
0
                                                             partial_update_info->default_values,
1184
0
                                                             old_block, default_value_block));
1185
1186
    // 4. build the final block
1187
0
    auto full_mutable_columns = output_block->mutate_columns();
1188
0
    DCHECK(rowset_schema->has_skip_bitmap_col());
1189
0
    auto skip_bitmap_col_idx = rowset_schema->skip_bitmap_col_idx();
1190
0
    const std::vector<BitmapValue>* skip_bitmaps =
1191
0
            &(assert_cast<const ColumnBitmap*, TypeCheckOnRelease::DISABLE>(
1192
0
                      update_block.get_by_position(skip_bitmap_col_idx).column->get_ptr().get())
1193
0
                      ->get_data());
1194
1195
0
    if (rowset_schema->has_sequence_col() && !rids_be_overwritten.empty()) {
1196
        // If the row specifies the sequence column, we should delete the current row becase the
1197
        // flexible partial update on the current row has been `overwritten` by the previous one with larger sequence
1198
        // column value.
1199
0
        for (auto it = rids_be_overwritten.begin(); it != rids_be_overwritten.end();) {
1200
0
            auto rid = *it;
1201
0
            if (!skip_bitmaps->at(rid).contains(seq_col_unique_id)) {
1202
0
                ++it;
1203
0
            } else {
1204
0
                it = rids_be_overwritten.erase(it);
1205
0
            }
1206
0
        }
1207
0
    }
1208
1209
0
    for (std::size_t cid {0}; cid < rowset_schema->num_columns(); cid++) {
1210
0
        MutableColumnPtr& new_col = full_mutable_columns[cid];
1211
0
        const IColumn& cur_col = *update_block.get_by_position(cid).column;
1212
0
        const auto& rs_column = rowset_schema->column(cid);
1213
0
        auto col_uid = rs_column.unique_id();
1214
0
        for (auto idx = 0; idx < update_rows; ++idx) {
1215
0
            if (cid < rowset_schema->num_key_columns()) {
1216
0
                new_col->insert_from(cur_col, read_index_update[idx]);
1217
0
            } else {
1218
0
                const IColumn& default_value_col =
1219
0
                        *default_value_block.get_by_position(cid - rowset_schema->num_key_columns())
1220
0
                                 .column;
1221
0
                const IColumn& old_value_col =
1222
0
                        *old_block.get_by_position(cid - rowset_schema->num_key_columns()).column;
1223
0
                if (rids_be_overwritten.contains(idx)) {
1224
0
                    new_col->insert_from(old_value_col, read_index_old[idx]);
1225
0
                } else {
1226
0
                    fill_cell_for_flexible_partial_update(
1227
0
                            read_index_old, read_index_update, rowset_schema, partial_update_info,
1228
0
                            rs_column, idx, new_col, default_value_col, old_value_col, cur_col,
1229
0
                            skip_bitmaps->at(idx).contains(col_uid),
1230
0
                            rowset_schema->has_sequence_col()
1231
0
                                    ? !skip_bitmaps->at(idx).contains(seq_col_unique_id)
1232
0
                                    : false,
1233
0
                            old_block_delete_signs);
1234
0
                }
1235
0
            }
1236
0
        }
1237
0
        DCHECK_EQ(full_mutable_columns[cid]->size(), update_rows);
1238
0
    }
1239
1240
0
    output_block->set_columns(std::move(full_mutable_columns));
1241
0
    VLOG_DEBUG << "full block when publish: " << output_block->dump_data();
1242
0
    return Status::OK();
1243
0
}
1244
1245
Status BaseTablet::commit_phase_update_delete_bitmap(
1246
        const BaseTabletSPtr& tablet, const RowsetSharedPtr& rowset,
1247
        RowsetIdUnorderedSet& pre_rowset_ids, DeleteBitmapPtr delete_bitmap,
1248
        const std::vector<segment_v2::SegmentSharedPtr>& segments, int64_t txn_id,
1249
21.2k
        CalcDeleteBitmapToken* token, RowsetWriter* rowset_writer) {
1250
21.2k
    DBUG_EXECUTE_IF("BaseTablet::commit_phase_update_delete_bitmap.enable_spin_wait", {
1251
21.2k
        auto tok = dp->param<std::string>("token", "invalid_token");
1252
21.2k
        while (DebugPoints::instance()->is_enable(
1253
21.2k
                "BaseTablet::commit_phase_update_delete_bitmap.block")) {
1254
21.2k
            auto block_dp = DebugPoints::instance()->get_debug_point(
1255
21.2k
                    "BaseTablet::commit_phase_update_delete_bitmap.block");
1256
21.2k
            if (block_dp) {
1257
21.2k
                auto pass_token = block_dp->param<std::string>("pass_token", "");
1258
21.2k
                if (pass_token == tok) {
1259
21.2k
                    break;
1260
21.2k
                }
1261
21.2k
            }
1262
21.2k
            std::this_thread::sleep_for(std::chrono::milliseconds(50));
1263
21.2k
        }
1264
21.2k
    });
1265
21.2k
    SCOPED_BVAR_LATENCY(g_tablet_commit_phase_update_delete_bitmap_latency);
1266
21.2k
    RowsetIdUnorderedSet cur_rowset_ids;
1267
21.2k
    RowsetIdUnorderedSet rowset_ids_to_add;
1268
21.2k
    RowsetIdUnorderedSet rowset_ids_to_del;
1269
21.2k
    int64_t cur_version;
1270
1271
21.2k
    std::vector<RowsetSharedPtr> specified_rowsets;
1272
21.2k
    {
1273
        // to prevent seeing intermediate state of a tablet
1274
21.2k
        std::unique_lock<bthread::Mutex> sync_lock;
1275
21.2k
        if (config::is_cloud_mode()) {
1276
19.3k
            sync_lock = std::unique_lock<bthread::Mutex>(
1277
19.3k
                    std::static_pointer_cast<CloudTablet>(tablet)->get_sync_meta_lock());
1278
19.3k
        }
1279
21.2k
        std::shared_lock meta_rlock(tablet->_meta_lock);
1280
21.2k
        if (tablet->tablet_state() == TABLET_NOTREADY) {
1281
            // tablet is under alter process. The delete bitmap will be calculated after conversion.
1282
17
            LOG(INFO) << "tablet is under alter process, delete bitmap will be calculated later, "
1283
17
                         "tablet_id: "
1284
17
                      << tablet->tablet_id() << " txn_id: " << txn_id;
1285
17
            return Status::OK();
1286
17
        }
1287
21.1k
        cur_version = tablet->max_version_unlocked();
1288
21.1k
        RETURN_IF_ERROR(tablet->get_all_rs_id_unlocked(cur_version, &cur_rowset_ids));
1289
21.1k
        _rowset_ids_difference(cur_rowset_ids, pre_rowset_ids, &rowset_ids_to_add,
1290
21.1k
                               &rowset_ids_to_del);
1291
21.1k
        specified_rowsets = tablet->get_rowset_by_ids(&rowset_ids_to_add);
1292
21.1k
    }
1293
14.3k
    for (const auto& to_del : rowset_ids_to_del) {
1294
14.3k
        delete_bitmap->remove({to_del, 0, 0}, {to_del, UINT32_MAX, INT64_MAX});
1295
14.3k
    }
1296
1297
21.1k
    RETURN_IF_ERROR(calc_delete_bitmap(tablet, rowset, segments, specified_rowsets, delete_bitmap,
1298
21.1k
                                       cur_version, token, rowset_writer));
1299
21.1k
    size_t total_rows = std::accumulate(
1300
21.1k
            segments.begin(), segments.end(), 0,
1301
21.1k
            [](size_t sum, const segment_v2::SegmentSharedPtr& s) { return sum += s->num_rows(); });
1302
21.1k
    LOG(INFO) << "[Before Commit] construct delete bitmap tablet: " << tablet->tablet_id()
1303
21.1k
              << ", rowset_ids to add: " << rowset_ids_to_add.size()
1304
21.1k
              << ", rowset_ids to del: " << rowset_ids_to_del.size()
1305
21.1k
              << ", cur max_version: " << cur_version << ", transaction_id: " << txn_id
1306
21.1k
              << ", total rows: " << total_rows;
1307
21.1k
    pre_rowset_ids = cur_rowset_ids;
1308
21.1k
    return Status::OK();
1309
21.1k
}
1310
1311
void BaseTablet::add_sentinel_mark_to_delete_bitmap(DeleteBitmap* delete_bitmap,
1312
26.8k
                                                    const RowsetIdUnorderedSet& rowsetids) {
1313
218k
    for (const auto& rowsetid : rowsetids) {
1314
218k
        delete_bitmap->add(
1315
218k
                {rowsetid, DeleteBitmap::INVALID_SEGMENT_ID, DeleteBitmap::TEMP_VERSION_COMMON},
1316
218k
                DeleteBitmap::ROWSET_SENTINEL_MARK);
1317
218k
    }
1318
26.8k
}
1319
1320
void BaseTablet::_rowset_ids_difference(const RowsetIdUnorderedSet& cur,
1321
                                        const RowsetIdUnorderedSet& pre,
1322
                                        RowsetIdUnorderedSet* to_add,
1323
77.5k
                                        RowsetIdUnorderedSet* to_del) {
1324
614k
    for (const auto& id : cur) {
1325
614k
        if (pre.find(id) == pre.end()) {
1326
38.4k
            to_add->insert(id);
1327
38.4k
        }
1328
614k
    }
1329
616k
    for (const auto& id : pre) {
1330
616k
        if (cur.find(id) == cur.end()) {
1331
40.8k
            to_del->insert(id);
1332
40.8k
        }
1333
616k
    }
1334
77.5k
}
1335
1336
Status BaseTablet::check_delete_bitmap_correctness(DeleteBitmapPtr delete_bitmap,
1337
                                                   int64_t max_version, int64_t txn_id,
1338
                                                   const RowsetIdUnorderedSet& rowset_ids,
1339
45.2k
                                                   std::vector<RowsetSharedPtr>* rowsets) {
1340
45.2k
    RowsetIdUnorderedSet missing_ids;
1341
406k
    for (const auto& rowsetid : rowset_ids) {
1342
406k
        if (!delete_bitmap->delete_bitmap.contains({rowsetid, DeleteBitmap::INVALID_SEGMENT_ID,
1343
406k
                                                    DeleteBitmap::TEMP_VERSION_COMMON})) {
1344
0
            missing_ids.insert(rowsetid);
1345
0
        }
1346
406k
    }
1347
1348
45.2k
    if (!missing_ids.empty()) {
1349
0
        LOG(WARNING) << "[txn_id:" << txn_id << "][tablet_id:" << tablet_id()
1350
0
                     << "][max_version: " << max_version
1351
0
                     << "] check delete bitmap correctness failed!";
1352
0
        rapidjson::Document root;
1353
0
        root.SetObject();
1354
0
        rapidjson::Document required_rowsets_arr;
1355
0
        required_rowsets_arr.SetArray();
1356
0
        rapidjson::Document missing_rowsets_arr;
1357
0
        missing_rowsets_arr.SetArray();
1358
1359
0
        if (rowsets != nullptr) {
1360
0
            for (const auto& rowset : *rowsets) {
1361
0
                rapidjson::Value value;
1362
0
                std::string version_str = rowset->get_rowset_info_str();
1363
0
                value.SetString(version_str.c_str(),
1364
0
                                cast_set<rapidjson::SizeType>(version_str.length()),
1365
0
                                required_rowsets_arr.GetAllocator());
1366
0
                required_rowsets_arr.PushBack(value, required_rowsets_arr.GetAllocator());
1367
0
            }
1368
0
        } else {
1369
0
            std::vector<RowsetSharedPtr> tablet_rowsets;
1370
0
            {
1371
0
                std::shared_lock meta_rlock(_meta_lock);
1372
0
                tablet_rowsets = get_rowset_by_ids(&rowset_ids);
1373
0
            }
1374
0
            for (const auto& rowset : tablet_rowsets) {
1375
0
                rapidjson::Value value;
1376
0
                std::string version_str = rowset->get_rowset_info_str();
1377
0
                value.SetString(version_str.c_str(),
1378
0
                                cast_set<rapidjson::SizeType>(version_str.length()),
1379
0
                                required_rowsets_arr.GetAllocator());
1380
0
                required_rowsets_arr.PushBack(value, required_rowsets_arr.GetAllocator());
1381
0
            }
1382
0
        }
1383
0
        for (const auto& missing_rowset_id : missing_ids) {
1384
0
            rapidjson::Value miss_value;
1385
0
            std::string rowset_id_str = missing_rowset_id.to_string();
1386
0
            miss_value.SetString(rowset_id_str.c_str(),
1387
0
                                 cast_set<rapidjson::SizeType>(rowset_id_str.length()),
1388
0
                                 missing_rowsets_arr.GetAllocator());
1389
0
            missing_rowsets_arr.PushBack(miss_value, missing_rowsets_arr.GetAllocator());
1390
0
        }
1391
1392
0
        root.AddMember("required_rowsets", required_rowsets_arr, root.GetAllocator());
1393
0
        root.AddMember("missing_rowsets", missing_rowsets_arr, root.GetAllocator());
1394
0
        rapidjson::StringBuffer strbuf;
1395
0
        rapidjson::PrettyWriter<rapidjson::StringBuffer> writer(strbuf);
1396
0
        root.Accept(writer);
1397
0
        std::string rowset_status_string = std::string(strbuf.GetString());
1398
0
        LOG_EVERY_SECOND(WARNING) << rowset_status_string;
1399
        // let it crash if correctness check failed in Debug mode
1400
0
        DCHECK(false) << "delete bitmap correctness check failed in publish phase!";
1401
0
        return Status::InternalError("check delete bitmap failed!");
1402
0
    }
1403
45.2k
    return Status::OK();
1404
45.2k
}
1405
1406
Status BaseTablet::update_delete_bitmap(const BaseTabletSPtr& self, TabletTxnInfo* txn_info,
1407
                                        int64_t txn_id, int64_t txn_expiration,
1408
56.9k
                                        DeleteBitmapPtr tablet_delete_bitmap) {
1409
56.9k
    SCOPED_BVAR_LATENCY(g_tablet_update_delete_bitmap_latency);
1410
56.9k
    RowsetIdUnorderedSet cur_rowset_ids;
1411
56.9k
    RowsetIdUnorderedSet rowset_ids_to_add;
1412
56.9k
    RowsetIdUnorderedSet rowset_ids_to_del;
1413
56.9k
    RowsetSharedPtr rowset = txn_info->rowset;
1414
56.9k
    int64_t cur_version = rowset->start_version();
1415
1416
56.9k
    std::unique_ptr<RowsetWriter> transient_rs_writer;
1417
56.9k
    DeleteBitmapPtr delete_bitmap = txn_info->delete_bitmap;
1418
56.9k
    bool is_partial_update =
1419
57.0k
            txn_info->partial_update_info && txn_info->partial_update_info->is_partial_update();
1420
56.9k
    if (is_partial_update) {
1421
3.61k
        transient_rs_writer = DORIS_TRY(self->create_transient_rowset_writer(
1422
3.61k
                *rowset, txn_info->partial_update_info, txn_expiration));
1423
3.61k
        DBUG_EXECUTE_IF("BaseTablet::update_delete_bitmap.after.create_transient_rs_writer",
1424
3.61k
                        DBUG_BLOCK);
1425
        // Partial update might generate new segments when there is conflicts while publish, and mark
1426
        // the same key in original segments as delete.
1427
        // When the new segment flush fails or the rowset build fails, the deletion marker for the
1428
        // duplicate key of the original segment should not remain in `txn_info->delete_bitmap`,
1429
        // so we need to make a copy of `txn_info->delete_bitmap` and make changes on it.
1430
3.61k
        delete_bitmap = std::make_shared<DeleteBitmap>(*(txn_info->delete_bitmap));
1431
3.61k
    }
1432
1433
56.9k
    OlapStopWatch watch;
1434
56.9k
    std::vector<segment_v2::SegmentSharedPtr> segments;
1435
56.9k
    RETURN_IF_ERROR(std::dynamic_pointer_cast<BetaRowset>(rowset)->load_segments(&segments));
1436
56.9k
    auto t1 = watch.get_elapse_time_us();
1437
1438
56.9k
    int64_t next_visible_version = txn_info->is_txn_load ? txn_info->next_visible_version
1439
56.9k
                                                         : txn_info->rowset->start_version();
1440
56.9k
    {
1441
56.9k
        std::shared_lock meta_rlock(self->_meta_lock);
1442
        // tablet is under alter process. The delete bitmap will be calculated after conversion.
1443
56.9k
        if (self->tablet_state() == TABLET_NOTREADY) {
1444
2
            LOG(INFO) << "tablet is under alter process, update delete bitmap later, tablet_id="
1445
2
                      << self->tablet_id();
1446
2
            return Status::OK();
1447
2
        }
1448
56.9k
        RETURN_IF_ERROR(self->get_all_rs_id_unlocked(next_visible_version - 1, &cur_rowset_ids));
1449
56.9k
    }
1450
56.9k
    auto t2 = watch.get_elapse_time_us();
1451
1452
56.9k
    _rowset_ids_difference(cur_rowset_ids, txn_info->rowset_ids, &rowset_ids_to_add,
1453
56.9k
                           &rowset_ids_to_del);
1454
56.9k
    for (const auto& to_del : rowset_ids_to_del) {
1455
26.4k
        delete_bitmap->remove({to_del, 0, 0}, {to_del, UINT32_MAX, INT64_MAX});
1456
26.4k
    }
1457
1458
56.9k
    std::vector<RowsetSharedPtr> specified_rowsets;
1459
56.9k
    {
1460
56.9k
        std::shared_lock meta_rlock(self->_meta_lock);
1461
56.9k
        specified_rowsets = self->get_rowset_by_ids(&rowset_ids_to_add);
1462
56.9k
    }
1463
56.9k
    if (txn_info->is_txn_load) {
1464
156
        for (auto invisible_rowset : txn_info->invisible_rowsets) {
1465
38
            specified_rowsets.emplace_back(invisible_rowset);
1466
38
        }
1467
156
        std::sort(specified_rowsets.begin(), specified_rowsets.end(),
1468
423
                  [](RowsetSharedPtr& lhs, RowsetSharedPtr& rhs) {
1469
423
                      return lhs->end_version() > rhs->end_version();
1470
423
                  });
1471
156
    }
1472
56.9k
    auto t3 = watch.get_elapse_time_us();
1473
1474
    // If a rowset is produced by compaction before the commit phase of the partial update load
1475
    // and is not included in txn_info->rowset_ids, we can skip the alignment process of that rowset
1476
    // because data remains the same before and after compaction. But we still need to calculate the
1477
    // the delete bitmap for that rowset.
1478
56.9k
    std::vector<RowsetSharedPtr> rowsets_skip_alignment;
1479
56.9k
    if (is_partial_update) {
1480
3.60k
        int64_t max_version_in_flush_phase =
1481
3.60k
                txn_info->partial_update_info->max_version_in_flush_phase;
1482
3.60k
        DCHECK(max_version_in_flush_phase != -1);
1483
3.60k
        std::vector<RowsetSharedPtr> remained_rowsets;
1484
3.60k
        for (const auto& specified_rowset : specified_rowsets) {
1485
358
            if (specified_rowset->end_version() <= max_version_in_flush_phase &&
1486
358
                specified_rowset->produced_by_compaction()) {
1487
63
                rowsets_skip_alignment.emplace_back(specified_rowset);
1488
295
            } else {
1489
295
                remained_rowsets.emplace_back(specified_rowset);
1490
295
            }
1491
358
        }
1492
3.60k
        if (!rowsets_skip_alignment.empty()) {
1493
62
            specified_rowsets = std::move(remained_rowsets);
1494
62
        }
1495
3.60k
    }
1496
1497
56.9k
    DBUG_EXECUTE_IF("BaseTablet::update_delete_bitmap.enable_spin_wait", {
1498
56.9k
        auto token = dp->param<std::string>("token", "invalid_token");
1499
56.9k
        while (DebugPoints::instance()->is_enable("BaseTablet::update_delete_bitmap.block")) {
1500
56.9k
            auto block_dp = DebugPoints::instance()->get_debug_point(
1501
56.9k
                    "BaseTablet::update_delete_bitmap.block");
1502
56.9k
            if (block_dp) {
1503
56.9k
                auto wait_token = block_dp->param<std::string>("wait_token", "");
1504
56.9k
                LOG(INFO) << "BaseTablet::update_delete_bitmap.enable_spin_wait, wait_token: "
1505
56.9k
                          << wait_token << ", token: " << token;
1506
56.9k
                if (wait_token != token) {
1507
56.9k
                    break;
1508
56.9k
                }
1509
56.9k
            }
1510
56.9k
            std::this_thread::sleep_for(std::chrono::milliseconds(50));
1511
56.9k
        }
1512
56.9k
    });
1513
1514
56.9k
    if (!rowsets_skip_alignment.empty()) {
1515
61
        auto token = self->calc_delete_bitmap_executor()->create_token();
1516
        // set rowset_writer to nullptr to skip the alignment process
1517
61
        RETURN_IF_ERROR(calc_delete_bitmap(self, rowset, segments, rowsets_skip_alignment,
1518
61
                                           delete_bitmap, cur_version - 1, token.get(), nullptr,
1519
61
                                           tablet_delete_bitmap));
1520
61
        RETURN_IF_ERROR(token->wait());
1521
61
    }
1522
1523
    // When there is only one segment, it will be calculated in the current thread.
1524
    // Otherwise, it will be submitted to the thread pool for calculation.
1525
56.9k
    if (segments.size() <= 1) {
1526
56.5k
        RETURN_IF_ERROR(calc_delete_bitmap(self, rowset, segments, specified_rowsets, delete_bitmap,
1527
56.5k
                                           cur_version - 1, nullptr, transient_rs_writer.get(),
1528
56.5k
                                           tablet_delete_bitmap));
1529
1530
56.5k
    } else {
1531
436
        auto token = self->calc_delete_bitmap_executor()->create_token();
1532
436
        RETURN_IF_ERROR(calc_delete_bitmap(self, rowset, segments, specified_rowsets, delete_bitmap,
1533
436
                                           cur_version - 1, token.get(), transient_rs_writer.get(),
1534
436
                                           tablet_delete_bitmap));
1535
436
        RETURN_IF_ERROR(token->wait());
1536
436
    }
1537
1538
56.9k
    std::stringstream ss;
1539
56.9k
    ss << "cost(us): (load segments: " << t1 << ", get all rsid: " << t2 - t1
1540
56.9k
       << ", get rowsets: " << t3 - t2
1541
56.9k
       << ", calc delete bitmap: " << watch.get_elapse_time_us() - t3 << ")";
1542
1543
56.9k
    if (config::enable_merge_on_write_correctness_check && rowset->num_rows() != 0) {
1544
        // only do correctness check if the rowset has at least one row written
1545
        // check if all the rowset has ROWSET_SENTINEL_MARK
1546
22.5k
        auto st = self->check_delete_bitmap_correctness(delete_bitmap, cur_version - 1, -1,
1547
22.5k
                                                        cur_rowset_ids, &specified_rowsets);
1548
22.5k
        if (!st.ok()) {
1549
0
            LOG(WARNING) << fmt::format("delete bitmap correctness check failed in publish phase!");
1550
0
        }
1551
22.5k
    }
1552
1553
56.9k
    if (transient_rs_writer) {
1554
3.52k
        auto t4 = watch.get_elapse_time_us();
1555
3.52k
        DBUG_EXECUTE_IF("Tablet.update_delete_bitmap.partial_update_write_rowset_fail", {
1556
3.52k
            if (rand() % 100 < (100 * dp->param("percent", 0.5))) {
1557
3.52k
                LOG_WARNING("Tablet.update_delete_bitmap.partial_update_write_rowset random failed")
1558
3.52k
                        .tag("txn_id", txn_id);
1559
3.52k
                return Status::InternalError(
1560
3.52k
                        "debug update_delete_bitmap partial update write rowset random failed");
1561
3.52k
            }
1562
3.52k
        });
1563
        // build rowset writer and merge transient rowset
1564
3.52k
        RETURN_IF_ERROR(transient_rs_writer->flush());
1565
3.52k
        RowsetSharedPtr transient_rowset;
1566
3.52k
        RETURN_IF_ERROR(transient_rs_writer->build(transient_rowset));
1567
3.52k
        auto old_segments = rowset->num_segments();
1568
3.52k
        rowset->merge_rowset_meta(*transient_rowset->rowset_meta());
1569
3.52k
        auto new_segments = rowset->num_segments();
1570
3.52k
        ss << ", " << txn_info->partial_update_info->partial_update_mode_str()
1571
3.52k
           << " flush rowset (old segment num: " << old_segments
1572
3.52k
           << ", new segment num: " << new_segments << ")"
1573
3.52k
           << ", cost:" << watch.get_elapse_time_us() - t4 << "(us)";
1574
1575
        // update the shared_ptr to new bitmap, which is consistent with current rowset.
1576
3.52k
        txn_info->delete_bitmap = delete_bitmap;
1577
        // erase segment cache cause we will add a segment to rowset
1578
3.52k
        SegmentLoader::instance()->erase_segments(rowset->rowset_id(), rowset->num_segments());
1579
3.52k
    }
1580
1581
56.9k
    size_t total_rows = std::accumulate(
1582
56.9k
            segments.begin(), segments.end(), 0,
1583
56.9k
            [](size_t sum, const segment_v2::SegmentSharedPtr& s) { return sum += s->num_rows(); });
1584
56.9k
    auto t5 = watch.get_elapse_time_us();
1585
56.9k
    int64_t lock_id = txn_info->is_txn_load ? txn_info->lock_id : -1;
1586
56.9k
    RETURN_IF_ERROR(self->save_delete_bitmap(txn_info, txn_id, delete_bitmap,
1587
56.9k
                                             transient_rs_writer.get(), cur_rowset_ids, lock_id,
1588
56.9k
                                             next_visible_version));
1589
1590
    // defensive check, check that the delete bitmap cache we wrote is correct
1591
56.9k
    RETURN_IF_ERROR(self->check_delete_bitmap_cache(txn_id, delete_bitmap.get()));
1592
1593
56.9k
    LOG(INFO) << "[Publish] construct delete bitmap tablet: " << self->tablet_id()
1594
56.9k
              << ", rowset_ids to add: "
1595
56.9k
              << (specified_rowsets.size() + rowsets_skip_alignment.size())
1596
56.9k
              << ", rowset_ids to del: " << rowset_ids_to_del.size()
1597
56.9k
              << ", cur version: " << cur_version << ", transaction_id: " << txn_id << ","
1598
56.9k
              << ss.str() << " , total rows: " << total_rows
1599
56.9k
              << ", update delete_bitmap cost: " << watch.get_elapse_time_us() - t5 << "(us)";
1600
56.9k
    return Status::OK();
1601
56.9k
}
1602
1603
void BaseTablet::calc_compaction_output_rowset_delete_bitmap(
1604
        const std::vector<RowsetSharedPtr>& input_rowsets, const RowIdConversion& rowid_conversion,
1605
        uint64_t start_version, uint64_t end_version, std::set<RowLocation>* missed_rows,
1606
        std::map<RowsetSharedPtr, std::list<std::pair<RowLocation, RowLocation>>>* location_map,
1607
7.95k
        const DeleteBitmap& input_delete_bitmap, DeleteBitmap* output_rowset_delete_bitmap) {
1608
7.95k
    RowLocation src;
1609
7.95k
    RowLocation dst;
1610
71.9k
    for (auto& rowset : input_rowsets) {
1611
71.9k
        src.rowset_id = rowset->rowset_id();
1612
103k
        for (uint32_t seg_id = 0; seg_id < rowset->num_segments(); ++seg_id) {
1613
31.7k
            src.segment_id = seg_id;
1614
31.7k
            DeleteBitmap subset_map(tablet_id());
1615
31.7k
            input_delete_bitmap.subset({rowset->rowset_id(), seg_id, start_version},
1616
31.7k
                                       {rowset->rowset_id(), seg_id, end_version}, &subset_map);
1617
            // traverse all versions and convert rowid
1618
31.7k
            for (auto iter = subset_map.delete_bitmap.begin();
1619
38.4k
                 iter != subset_map.delete_bitmap.end(); ++iter) {
1620
6.68k
                auto cur_version = std::get<2>(iter->first);
1621
3.11M
                for (auto index = iter->second.begin(); index != iter->second.end(); ++index) {
1622
3.11M
                    src.row_id = *index;
1623
3.11M
                    if (rowid_conversion.get(src, &dst) != 0) {
1624
18.4E
                        VLOG_CRITICAL << "Can't find rowid, may be deleted by the delete_handler, "
1625
18.4E
                                      << " src loaction: |" << src.rowset_id << "|"
1626
18.4E
                                      << src.segment_id << "|" << src.row_id
1627
18.4E
                                      << " version: " << cur_version;
1628
2.80M
                        if (missed_rows) {
1629
1.44k
                            missed_rows->insert(src);
1630
1.44k
                        }
1631
2.80M
                        continue;
1632
2.80M
                    }
1633
18.4E
                    VLOG_DEBUG << "calc_compaction_output_rowset_delete_bitmap dst location: |"
1634
18.4E
                               << dst.rowset_id << "|" << dst.segment_id << "|" << dst.row_id
1635
18.4E
                               << " src location: |" << src.rowset_id << "|" << src.segment_id
1636
18.4E
                               << "|" << src.row_id << " start version: " << start_version
1637
18.4E
                               << "end version" << end_version;
1638
302k
                    if (location_map) {
1639
0
                        (*location_map)[rowset].emplace_back(src, dst);
1640
0
                    }
1641
302k
                    output_rowset_delete_bitmap->add({dst.rowset_id, dst.segment_id, cur_version},
1642
302k
                                                     dst.row_id);
1643
302k
                }
1644
6.68k
            }
1645
31.7k
        }
1646
71.9k
    }
1647
7.95k
}
1648
1649
Status BaseTablet::check_rowid_conversion(
1650
        RowsetSharedPtr dst_rowset,
1651
        const std::map<RowsetSharedPtr, std::list<std::pair<RowLocation, RowLocation>>>&
1652
0
                location_map) {
1653
0
    if (location_map.empty()) {
1654
0
        VLOG_DEBUG << "check_rowid_conversion, location_map is empty";
1655
0
        return Status::OK();
1656
0
    }
1657
0
    std::vector<segment_v2::SegmentSharedPtr> dst_segments;
1658
1659
0
    RETURN_IF_ERROR(
1660
0
            std::dynamic_pointer_cast<BetaRowset>(dst_rowset)->load_segments(&dst_segments));
1661
0
    std::unordered_map<RowsetId, std::vector<segment_v2::SegmentSharedPtr>> input_rowsets_segment;
1662
1663
0
    VLOG_DEBUG << "check_rowid_conversion, dst_segments size: " << dst_segments.size();
1664
0
    for (auto [src_rowset, locations] : location_map) {
1665
0
        std::vector<segment_v2::SegmentSharedPtr>& segments =
1666
0
                input_rowsets_segment[src_rowset->rowset_id()];
1667
0
        if (segments.empty()) {
1668
0
            RETURN_IF_ERROR(
1669
0
                    std::dynamic_pointer_cast<BetaRowset>(src_rowset)->load_segments(&segments));
1670
0
        }
1671
0
        for (auto& [src, dst] : locations) {
1672
0
            std::string src_key;
1673
0
            std::string dst_key;
1674
0
            Status s = segments[src.segment_id]->read_key_by_rowid(src.row_id, &src_key);
1675
0
            if (UNLIKELY(s.is<NOT_IMPLEMENTED_ERROR>())) {
1676
0
                LOG(INFO) << "primary key index of old version does not "
1677
0
                             "support reading key by rowid";
1678
0
                break;
1679
0
            }
1680
0
            if (UNLIKELY(!s)) {
1681
0
                LOG(WARNING) << "failed to get src key: |" << src.rowset_id << "|" << src.segment_id
1682
0
                             << "|" << src.row_id << " status: " << s;
1683
0
                DCHECK(false);
1684
0
                return s;
1685
0
            }
1686
1687
0
            s = dst_segments[dst.segment_id]->read_key_by_rowid(dst.row_id, &dst_key);
1688
0
            if (UNLIKELY(!s)) {
1689
0
                LOG(WARNING) << "failed to get dst key: |" << dst.rowset_id << "|" << dst.segment_id
1690
0
                             << "|" << dst.row_id << " status: " << s;
1691
0
                DCHECK(false);
1692
0
                return s;
1693
0
            }
1694
1695
0
            VLOG_DEBUG << "check_rowid_conversion, src: |" << src.rowset_id << "|" << src.segment_id
1696
0
                       << "|" << src.row_id << "|" << src_key << " dst: |" << dst.rowset_id << "|"
1697
0
                       << dst.segment_id << "|" << dst.row_id << "|" << dst_key;
1698
0
            if (UNLIKELY(src_key.compare(dst_key) != 0)) {
1699
0
                LOG(WARNING) << "failed to check key, src key: |" << src.rowset_id << "|"
1700
0
                             << src.segment_id << "|" << src.row_id << "|" << src_key
1701
0
                             << " dst key: |" << dst.rowset_id << "|" << dst.segment_id << "|"
1702
0
                             << dst.row_id << "|" << dst_key;
1703
0
                DCHECK(false);
1704
0
                return Status::InternalError("failed to check rowid conversion");
1705
0
            }
1706
0
        }
1707
0
    }
1708
0
    return Status::OK();
1709
0
}
1710
1711
// The caller should hold _rowset_update_lock and _meta_lock lock.
1712
Status BaseTablet::update_delete_bitmap_without_lock(
1713
        const BaseTabletSPtr& self, const RowsetSharedPtr& rowset,
1714
11
        const std::vector<RowsetSharedPtr>* specified_base_rowsets) {
1715
11
    DBUG_EXECUTE_IF("BaseTablet.update_delete_bitmap_without_lock.random_failed", {
1716
11
        auto rnd = rand() % 100;
1717
11
        auto percent = dp->param("percent", 0.1);
1718
11
        if (rnd < (100 * percent)) {
1719
11
            LOG(WARNING) << "BaseTablet.update_delete_bitmap_without_lock.random_failed";
1720
11
            return Status::InternalError(
1721
11
                    "debug tablet update delete bitmap without lock random failed");
1722
11
        } else {
1723
11
            LOG(INFO) << "BaseTablet.update_delete_bitmap_without_lock.random_failed not "
1724
11
                         "triggered"
1725
11
                      << ", rnd:" << rnd << ", percent: " << percent;
1726
11
        }
1727
11
    });
1728
11
    int64_t cur_version = rowset->start_version();
1729
11
    std::vector<segment_v2::SegmentSharedPtr> segments;
1730
11
    RETURN_IF_ERROR(std::dynamic_pointer_cast<BetaRowset>(rowset)->load_segments(&segments));
1731
1732
    // If this rowset does not have a segment, there is no need for an update.
1733
11
    if (segments.empty()) {
1734
0
        LOG(INFO) << "[Schema Change or Clone] skip to construct delete bitmap tablet: "
1735
0
                  << self->tablet_id() << " cur max_version: " << cur_version;
1736
0
        return Status::OK();
1737
0
    }
1738
1739
    // calculate delete bitmap between segments if necessary.
1740
11
    DeleteBitmapPtr delete_bitmap = std::make_shared<DeleteBitmap>(self->tablet_id());
1741
11
    RETURN_IF_ERROR(self->calc_delete_bitmap_between_segments(
1742
11
            rowset->tablet_schema(), rowset->rowset_id(), segments, delete_bitmap));
1743
1744
    // get all base rowsets to calculate on
1745
11
    std::vector<RowsetSharedPtr> specified_rowsets;
1746
11
    RowsetIdUnorderedSet cur_rowset_ids;
1747
11
    if (specified_base_rowsets == nullptr) {
1748
11
        RETURN_IF_ERROR(self->get_all_rs_id_unlocked(cur_version - 1, &cur_rowset_ids));
1749
11
        specified_rowsets = self->get_rowset_by_ids(&cur_rowset_ids);
1750
11
    } else {
1751
0
        specified_rowsets = *specified_base_rowsets;
1752
0
    }
1753
1754
11
    OlapStopWatch watch;
1755
11
    auto token = self->calc_delete_bitmap_executor()->create_token();
1756
11
    RETURN_IF_ERROR(calc_delete_bitmap(self, rowset, segments, specified_rowsets, delete_bitmap,
1757
11
                                       cur_version - 1, token.get()));
1758
11
    RETURN_IF_ERROR(token->wait());
1759
11
    size_t total_rows = std::accumulate(
1760
11
            segments.begin(), segments.end(), 0,
1761
11
            [](size_t sum, const segment_v2::SegmentSharedPtr& s) { return sum += s->num_rows(); });
1762
11
    LOG(INFO) << "[Schema Change or Clone] construct delete bitmap tablet: " << self->tablet_id()
1763
11
              << ", rowset_ids: " << cur_rowset_ids.size() << ", cur max_version: " << cur_version
1764
11
              << ", transaction_id: " << -1 << ", cost: " << watch.get_elapse_time_us()
1765
11
              << "(us), total rows: " << total_rows;
1766
11
    if (config::enable_merge_on_write_correctness_check) {
1767
        // check if all the rowset has ROWSET_SENTINEL_MARK
1768
11
        auto st = self->check_delete_bitmap_correctness(delete_bitmap, cur_version - 1, -1,
1769
11
                                                        cur_rowset_ids, &specified_rowsets);
1770
11
        if (!st.ok()) {
1771
0
            LOG(WARNING) << fmt::format("delete bitmap correctness check failed in publish phase!");
1772
0
        }
1773
11
        delete_bitmap->remove_sentinel_marks();
1774
11
    }
1775
11
    for (auto& iter : delete_bitmap->delete_bitmap) {
1776
1
        self->_tablet_meta->delete_bitmap().merge(
1777
1
                {std::get<0>(iter.first), std::get<1>(iter.first), cur_version}, iter.second);
1778
1
    }
1779
1780
11
    return Status::OK();
1781
11
}
1782
1783
void BaseTablet::agg_delete_bitmap_for_stale_rowsets(
1784
3.62k
        Version version, DeleteBitmapKeyRanges& remove_delete_bitmap_key_ranges) {
1785
3.62k
    if (!config::enable_agg_and_remove_pre_rowsets_delete_bitmap) {
1786
0
        return;
1787
0
    }
1788
3.62k
    if (!(keys_type() == UNIQUE_KEYS && enable_unique_key_merge_on_write())) {
1789
0
        return;
1790
0
    }
1791
3.62k
    int64_t start_version = version.first;
1792
3.62k
    int64_t end_version = version.second;
1793
3.62k
    if (start_version == end_version) {
1794
0
        return;
1795
0
    }
1796
3.62k
    DCHECK(start_version < end_version)
1797
0
            << ". start_version: " << start_version << ", end_version: " << end_version;
1798
    // get pre rowsets
1799
3.62k
    std::vector<RowsetSharedPtr> pre_rowsets {};
1800
3.62k
    {
1801
3.62k
        std::shared_lock rdlock(_meta_lock);
1802
26.5k
        for (const auto& it2 : _rs_version_map) {
1803
26.5k
            if (it2.first.second < start_version) {
1804
5.67k
                pre_rowsets.emplace_back(it2.second);
1805
5.67k
            }
1806
26.5k
        }
1807
3.62k
    }
1808
3.62k
    std::sort(pre_rowsets.begin(), pre_rowsets.end(), Rowset::comparator);
1809
    // do agg for pre rowsets
1810
3.62k
    DeleteBitmapPtr new_delete_bitmap = std::make_shared<DeleteBitmap>(tablet_id());
1811
5.67k
    for (auto& rowset : pre_rowsets) {
1812
7.70k
        for (uint32_t seg_id = 0; seg_id < rowset->num_segments(); ++seg_id) {
1813
2.03k
            auto d = tablet_meta()->delete_bitmap().get_agg_without_cache(
1814
2.03k
                    {rowset->rowset_id(), seg_id, end_version}, start_version);
1815
2.03k
            if (d->isEmpty()) {
1816
1.16k
                continue;
1817
1.16k
            }
1818
876
            VLOG_DEBUG << "agg delete bitmap for tablet_id=" << tablet_id()
1819
0
                       << ", rowset_id=" << rowset->rowset_id() << ", seg_id=" << seg_id
1820
0
                       << ", rowset_version=" << rowset->version().to_string()
1821
0
                       << ". compaction start_version=" << start_version
1822
0
                       << ", end_version=" << end_version << ", delete_bitmap=" << d->cardinality();
1823
876
            DeleteBitmap::BitmapKey start_key {rowset->rowset_id(), seg_id, start_version};
1824
876
            DeleteBitmap::BitmapKey end_key {rowset->rowset_id(), seg_id, end_version};
1825
876
            new_delete_bitmap->set(end_key, *d);
1826
876
            remove_delete_bitmap_key_ranges.emplace_back(start_key, end_key);
1827
876
        }
1828
5.67k
    }
1829
3.62k
    DBUG_EXECUTE_IF("BaseTablet.agg_delete_bitmap_for_stale_rowsets.merge_delete_bitmap.block",
1830
3.62k
                    DBUG_BLOCK);
1831
3.62k
    tablet_meta()->delete_bitmap().merge(*new_delete_bitmap);
1832
3.62k
}
1833
1834
void BaseTablet::check_agg_delete_bitmap_for_stale_rowsets(int64_t& useless_rowset_count,
1835
0
                                                           int64_t& useless_rowset_version_count) {
1836
0
    std::map<RowsetId, Version> rowset_ids;
1837
0
    std::set<int64_t> end_versions;
1838
0
    traverse_rowsets(
1839
0
            [&rowset_ids, &end_versions](const RowsetSharedPtr& rs) {
1840
0
                rowset_ids[rs->rowset_id()] = rs->version();
1841
0
                end_versions.emplace(rs->end_version());
1842
0
            },
1843
0
            true);
1844
1845
0
    std::set<RowsetId> useless_rowsets;
1846
0
    std::map<RowsetId, std::vector<int64_t>> useless_rowset_versions;
1847
0
    {
1848
0
        _tablet_meta->delete_bitmap().traverse_rowset_and_version(
1849
                // 0: rowset and rowset with version exists
1850
                // -1: rowset does not exist
1851
                // -2: find next <rowset, version>
1852
                //     rowset exist, rowset with version does not exist
1853
                //     sequence table
1854
0
                [&](const RowsetId& rowset_id, int64_t version) {
1855
0
                    auto rowset_it = rowset_ids.find(rowset_id);
1856
0
                    if (rowset_it == rowset_ids.end()) {
1857
0
                        useless_rowsets.emplace(rowset_id);
1858
0
                        return -1;
1859
0
                    }
1860
0
                    if (end_versions.find(version) == end_versions.end()) {
1861
0
                        if (tablet_schema()->has_sequence_col()) {
1862
0
                            auto rowset_version = rowset_it->second;
1863
0
                            if (version >= rowset_version.first &&
1864
0
                                version <= rowset_version.second) {
1865
0
                                return -2;
1866
0
                            }
1867
0
                        }
1868
0
                        if (useless_rowset_versions.find(rowset_id) ==
1869
0
                            useless_rowset_versions.end()) {
1870
0
                            useless_rowset_versions[rowset_id] = {};
1871
0
                        }
1872
0
                        useless_rowset_versions[rowset_id].emplace_back(version);
1873
0
                        return -2;
1874
0
                    }
1875
0
                    return 0;
1876
0
                });
1877
0
    }
1878
0
    useless_rowset_count = useless_rowsets.size();
1879
0
    useless_rowset_version_count = useless_rowset_versions.size();
1880
0
    if (!useless_rowsets.empty() || !useless_rowset_versions.empty()) {
1881
0
        std::stringstream ss;
1882
0
        if (!useless_rowsets.empty()) {
1883
0
            ss << "useless rowsets: {";
1884
0
            for (auto it = useless_rowsets.begin(); it != useless_rowsets.end(); ++it) {
1885
0
                if (it != useless_rowsets.begin()) {
1886
0
                    ss << ", ";
1887
0
                }
1888
0
                ss << it->to_string();
1889
0
            }
1890
0
            ss << "}. ";
1891
0
        }
1892
0
        if (!useless_rowset_versions.empty()) {
1893
0
            ss << "useless rowset versions: {";
1894
0
            for (auto iter = useless_rowset_versions.begin(); iter != useless_rowset_versions.end();
1895
0
                 ++iter) {
1896
0
                if (iter != useless_rowset_versions.begin()) {
1897
0
                    ss << ", ";
1898
0
                }
1899
0
                ss << iter->first.to_string() << ": [";
1900
                // some versions are continuous, such as [8, 9, 10, 11, 13, 17, 18]
1901
                // print as [8-11, 13, 17-18]
1902
0
                int64_t last_start_version = -1;
1903
0
                int64_t last_end_version = -1;
1904
0
                for (int64_t version : iter->second) {
1905
0
                    if (last_start_version == -1) {
1906
0
                        last_start_version = version;
1907
0
                        last_end_version = version;
1908
0
                        continue;
1909
0
                    }
1910
0
                    if (last_end_version + 1 == version) {
1911
0
                        last_end_version = version;
1912
0
                    } else {
1913
0
                        if (last_start_version == last_end_version) {
1914
0
                            ss << last_start_version << ", ";
1915
0
                        } else {
1916
0
                            ss << last_start_version << "-" << last_end_version << ", ";
1917
0
                        }
1918
0
                        last_start_version = version;
1919
0
                        last_end_version = version;
1920
0
                    }
1921
0
                }
1922
0
                if (last_start_version == last_end_version) {
1923
0
                    ss << last_start_version;
1924
0
                } else {
1925
0
                    ss << last_start_version << "-" << last_end_version;
1926
0
                }
1927
1928
0
                ss << "]";
1929
0
            }
1930
0
            ss << "}.";
1931
0
        }
1932
0
        LOG(WARNING) << "failed check_agg_delete_bitmap_for_stale_rowsets for tablet_id="
1933
0
                     << tablet_id() << ". " << ss.str();
1934
0
    } else {
1935
0
        LOG(INFO) << "succeed check_agg_delete_bitmap_for_stale_rowsets for tablet_id="
1936
0
                  << tablet_id();
1937
0
    }
1938
0
}
1939
1940
7
RowsetSharedPtr BaseTablet::get_rowset(const RowsetId& rowset_id) {
1941
7
    std::shared_lock rdlock(_meta_lock);
1942
11
    for (auto& version_rowset : _rs_version_map) {
1943
11
        if (version_rowset.second->rowset_id() == rowset_id) {
1944
7
            return version_rowset.second;
1945
7
        }
1946
11
    }
1947
0
    for (auto& stale_version_rowset : _stale_rs_version_map) {
1948
0
        if (stale_version_rowset.second->rowset_id() == rowset_id) {
1949
0
            return stale_version_rowset.second;
1950
0
        }
1951
0
    }
1952
0
    return nullptr;
1953
0
}
1954
1955
1.71k
std::vector<RowsetSharedPtr> BaseTablet::get_snapshot_rowset(bool include_stale_rowset) const {
1956
1.71k
    std::shared_lock rdlock(_meta_lock);
1957
1.71k
    std::vector<RowsetSharedPtr> rowsets;
1958
1.71k
    std::transform(_rs_version_map.cbegin(), _rs_version_map.cend(), std::back_inserter(rowsets),
1959
6.23k
                   [](auto& kv) { return kv.second; });
1960
1.71k
    if (include_stale_rowset) {
1961
299
        std::transform(_stale_rs_version_map.cbegin(), _stale_rs_version_map.cend(),
1962
425
                       std::back_inserter(rowsets), [](auto& kv) { return kv.second; });
1963
299
    }
1964
1.71k
    return rowsets;
1965
1.71k
}
1966
1967
void BaseTablet::calc_consecutive_empty_rowsets(
1968
        std::vector<RowsetSharedPtr>* empty_rowsets,
1969
501
        const std::vector<RowsetSharedPtr>& candidate_rowsets, int64_t limit) {
1970
501
    int len = cast_set<int>(candidate_rowsets.size());
1971
531
    for (int i = 0; i < len - 1; ++i) {
1972
34
        auto rowset = candidate_rowsets[i];
1973
34
        auto next_rowset = candidate_rowsets[i + 1];
1974
1975
        // identify two consecutive rowsets that are empty
1976
34
        if (rowset->num_segments() == 0 && next_rowset->num_segments() == 0 &&
1977
34
            !rowset->rowset_meta()->has_delete_predicate() &&
1978
34
            !next_rowset->rowset_meta()->has_delete_predicate() &&
1979
34
            rowset->end_version() == next_rowset->start_version() - 1) {
1980
4
            empty_rowsets->emplace_back(rowset);
1981
4
            empty_rowsets->emplace_back(next_rowset);
1982
4
            rowset = next_rowset;
1983
4
            int next_index = i + 2;
1984
1985
            // keep searching for consecutive empty rowsets
1986
18
            while (next_index < len && candidate_rowsets[next_index]->num_segments() == 0 &&
1987
18
                   !candidate_rowsets[next_index]->rowset_meta()->has_delete_predicate() &&
1988
18
                   rowset->end_version() == candidate_rowsets[next_index]->start_version() - 1) {
1989
14
                empty_rowsets->emplace_back(candidate_rowsets[next_index]);
1990
14
                rowset = candidate_rowsets[next_index++];
1991
14
            }
1992
            // if the number of consecutive empty rowset reach the limit,
1993
            // and there are still rowsets following them
1994
4
            if (empty_rowsets->size() >= limit && next_index < len) {
1995
4
                return;
1996
4
            } else {
1997
                // current rowset is not empty, start searching from that rowset in the next
1998
0
                i = next_index - 1;
1999
0
                empty_rowsets->clear();
2000
0
            }
2001
4
        }
2002
34
    }
2003
501
}
2004
2005
Status BaseTablet::calc_file_crc(uint32_t* crc_value, int64_t start_version, int64_t end_version,
2006
2
                                 uint32_t* rowset_count, int64_t* file_count) {
2007
2
    Version v(start_version, end_version);
2008
2
    std::vector<RowsetSharedPtr> rowsets;
2009
10
    traverse_rowsets([&rowsets, &v](const auto& rs) {
2010
        // get all rowsets
2011
10
        if (v.contains(rs->version())) {
2012
10
            rowsets.emplace_back(rs);
2013
10
        }
2014
10
    });
2015
2
    std::sort(rowsets.begin(), rowsets.end(), Rowset::comparator);
2016
2
    *rowset_count = cast_set<uint32_t>(rowsets.size());
2017
2018
2
    *crc_value = 0;
2019
2
    *file_count = 0;
2020
10
    for (const auto& rs : rowsets) {
2021
10
        uint32_t rs_crc_value = 0;
2022
10
        int64_t rs_file_count = 0;
2023
10
        auto rowset = std::static_pointer_cast<BetaRowset>(rs);
2024
10
        auto st = rowset->calc_file_crc(&rs_crc_value, &rs_file_count);
2025
10
        if (!st.ok()) {
2026
0
            return st;
2027
0
        }
2028
        // crc_value is calculated based on the crc_value of each rowset.
2029
10
        *crc_value = crc32c::Extend(*crc_value, reinterpret_cast<const uint8_t*>(&rs_crc_value),
2030
10
                                    sizeof(rs_crc_value));
2031
10
        *file_count += rs_file_count;
2032
10
    }
2033
2
    return Status::OK();
2034
2
}
2035
2036
48
Status BaseTablet::show_nested_index_file(std::string* json_meta) {
2037
48
    Version v(0, max_version_unlocked());
2038
48
    std::vector<RowsetSharedPtr> rowsets;
2039
147
    traverse_rowsets([&rowsets, &v](const auto& rs) {
2040
        // get all rowsets
2041
147
        if (v.contains(rs->version())) {
2042
147
            rowsets.emplace_back(rs);
2043
147
        }
2044
147
    });
2045
48
    std::sort(rowsets.begin(), rowsets.end(), Rowset::comparator);
2046
2047
48
    rapidjson::Document doc;
2048
48
    doc.SetObject();
2049
48
    rapidjson::Document::AllocatorType& allocator = doc.GetAllocator();
2050
48
    rapidjson::Value tabletIdValue(tablet_id());
2051
48
    doc.AddMember("tablet_id", tabletIdValue, allocator);
2052
2053
48
    rapidjson::Value rowsets_value(rapidjson::kArrayType);
2054
2055
147
    for (const auto& rs : rowsets) {
2056
147
        rapidjson::Value rowset_value(rapidjson::kObjectType);
2057
2058
147
        auto rowset = std::static_pointer_cast<BetaRowset>(rs);
2059
147
        RETURN_IF_ERROR(rowset->show_nested_index_file(&rowset_value, allocator));
2060
146
        rowsets_value.PushBack(rowset_value, allocator);
2061
146
    }
2062
47
    doc.AddMember("rowsets", rowsets_value, allocator);
2063
2064
47
    rapidjson::StringBuffer buffer;
2065
47
    rapidjson::PrettyWriter<rapidjson::StringBuffer> writer(buffer);
2066
47
    doc.Accept(writer);
2067
47
    *json_meta = std::string(buffer.GetString());
2068
2069
47
    return Status::OK();
2070
48
}
2071
2072
void BaseTablet::get_base_rowset_delete_bitmap_count(
2073
        uint64_t* max_base_rowset_delete_bitmap_score,
2074
340
        int64_t* max_base_rowset_delete_bitmap_score_tablet_id) {
2075
340
    std::vector<RowsetSharedPtr> rowsets_;
2076
340
    std::string base_rowset_id_str;
2077
340
    {
2078
340
        std::shared_lock rowset_ldlock(this->get_header_lock());
2079
4.84k
        for (const auto& it : _rs_version_map) {
2080
4.84k
            rowsets_.emplace_back(it.second);
2081
4.84k
        }
2082
340
    }
2083
340
    std::sort(rowsets_.begin(), rowsets_.end(), Rowset::comparator);
2084
340
    if (!rowsets_.empty()) {
2085
340
        bool base_found = false;
2086
835
        for (auto& rowset : rowsets_) {
2087
835
            if (rowset->start_version() > 2) {
2088
215
                break;
2089
215
            }
2090
620
            base_found = true;
2091
620
            uint64_t base_rowset_delete_bitmap_count =
2092
620
                    this->tablet_meta()->delete_bitmap().get_count_with_range(
2093
620
                            {rowset->rowset_id(), 0, 0},
2094
620
                            {rowset->rowset_id(), UINT32_MAX, UINT64_MAX});
2095
620
            if (base_rowset_delete_bitmap_count > *max_base_rowset_delete_bitmap_score) {
2096
35
                *max_base_rowset_delete_bitmap_score = base_rowset_delete_bitmap_count;
2097
35
                *max_base_rowset_delete_bitmap_score_tablet_id = this->tablet_id();
2098
35
            }
2099
620
        }
2100
340
        if (!base_found) {
2101
0
            LOG(WARNING) << "can not found base rowset for tablet " << tablet_id();
2102
0
        }
2103
340
    }
2104
340
}
2105
2106
1.37M
void TabletReadSource::fill_delete_predicates() {
2107
1.37M
    DCHECK_EQ(delete_predicates.size(), 0);
2108
1.37M
    auto delete_pred_view =
2109
5.75M
            rs_splits | std::views::transform([](auto&& split) {
2110
5.75M
                return split.rs_reader->rowset()->rowset_meta();
2111
5.75M
            }) |
2112
5.77M
            std::views::filter([](const auto& rs_meta) { return rs_meta->has_delete_predicate(); });
2113
1.37M
    delete_predicates = {delete_pred_view.begin(), delete_pred_view.end()};
2114
1.37M
}
2115
2116
266M
int32_t BaseTablet::max_version_config() {
2117
266M
    int32_t max_version = tablet_meta()->compaction_policy() == CUMULATIVE_TIME_SERIES_POLICY
2118
266M
                                  ? std::max(config::time_series_max_tablet_version_num,
2119
4.07k
                                             config::max_tablet_version_num)
2120
266M
                                  : config::max_tablet_version_num;
2121
266M
    return max_version;
2122
266M
}
2123
2124
20.4k
void BaseTablet::prefill_dbm_agg_cache(const RowsetSharedPtr& rowset, int64_t version) {
2125
31.0k
    for (std::size_t i = 0; i < rowset->num_segments(); i++) {
2126
10.5k
        tablet_meta()->delete_bitmap().get_agg({rowset->rowset_id(), i, version});
2127
10.5k
    }
2128
20.4k
}
2129
2130
7.64k
void BaseTablet::prefill_dbm_agg_cache_after_compaction(const RowsetSharedPtr& output_rowset) {
2131
7.64k
    if (keys_type() == KeysType::UNIQUE_KEYS && enable_unique_key_merge_on_write() &&
2132
7.64k
        (config::enable_prefill_output_dbm_agg_cache_after_compaction ||
2133
3.88k
         config::enable_prefill_all_dbm_agg_cache_after_compaction)) {
2134
3.88k
        int64_t cur_max_version {-1};
2135
3.88k
        {
2136
3.88k
            std::shared_lock rlock(get_header_lock());
2137
3.88k
            cur_max_version = max_version_unlocked();
2138
3.88k
        }
2139
3.88k
        if (config::enable_prefill_all_dbm_agg_cache_after_compaction) {
2140
3.88k
            traverse_rowsets(
2141
20.4k
                    [&](const RowsetSharedPtr& rs) { prefill_dbm_agg_cache(rs, cur_max_version); },
2142
3.88k
                    false);
2143
3.88k
        } else if (config::enable_prefill_output_dbm_agg_cache_after_compaction) {
2144
0
            prefill_dbm_agg_cache(output_rowset, cur_max_version);
2145
0
        }
2146
3.88k
    }
2147
7.64k
}
2148
2149
bool BaseTablet::_key_is_not_in_segment(Slice key, const KeyBoundsPB& segment_key_bounds,
2150
4.09M
                                        bool is_segments_key_bounds_truncated) {
2151
4.09M
    Slice maybe_truncated_min_key {segment_key_bounds.min_key()};
2152
4.09M
    Slice maybe_truncated_max_key {segment_key_bounds.max_key()};
2153
4.09M
    bool res1 = Slice::lhs_is_strictly_less_than_rhs(key, false, maybe_truncated_min_key,
2154
4.09M
                                                     is_segments_key_bounds_truncated);
2155
4.09M
    bool res2 = Slice::lhs_is_strictly_less_than_rhs(maybe_truncated_max_key,
2156
4.09M
                                                     is_segments_key_bounds_truncated, key, false);
2157
4.10M
    return res1 || res2;
2158
4.09M
}
2159
2160
} // namespace doris