Coverage Report

Created: 2025-03-12 11:32

/root/doris/be/src/olap/base_tablet.cpp
Line
Count
Source (jump to first uncovered line)
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 "olap/base_tablet.h"
19
20
#include <fmt/format.h>
21
#include <rapidjson/prettywriter.h>
22
23
#include <random>
24
25
#include "common/status.h"
26
#include "olap/calc_delete_bitmap_executor.h"
27
#include "olap/delete_bitmap_calculator.h"
28
#include "olap/iterators.h"
29
#include "olap/memtable.h"
30
#include "olap/partial_update_info.h"
31
#include "olap/primary_key_index.h"
32
#include "olap/rowid_conversion.h"
33
#include "olap/rowset/beta_rowset.h"
34
#include "olap/rowset/rowset.h"
35
#include "olap/rowset/rowset_fwd.h"
36
#include "olap/rowset/rowset_reader.h"
37
#include "olap/tablet_fwd.h"
38
#include "olap/txn_manager.h"
39
#include "service/point_query_executor.h"
40
#include "util/bvar_helper.h"
41
#include "util/crc32c.h"
42
#include "util/debug_points.h"
43
#include "util/doris_metrics.h"
44
#include "vec/common/assert_cast.h"
45
#include "vec/common/schema_util.h"
46
#include "vec/data_types/data_type_factory.hpp"
47
#include "vec/jsonb/serialize.h"
48
49
namespace doris {
50
using namespace ErrorCode;
51
52
namespace {
53
54
bvar::LatencyRecorder g_tablet_commit_phase_update_delete_bitmap_latency(
55
        "doris_pk", "commit_phase_update_delete_bitmap");
56
bvar::LatencyRecorder g_tablet_lookup_rowkey_latency("doris_pk", "tablet_lookup_rowkey");
57
bvar::Adder<uint64_t> g_tablet_pk_not_found("doris_pk", "lookup_not_found");
58
bvar::PerSecond<bvar::Adder<uint64_t>> g_tablet_pk_not_found_per_second(
59
        "doris_pk", "lookup_not_found_per_second", &g_tablet_pk_not_found, 60);
60
bvar::LatencyRecorder g_tablet_update_delete_bitmap_latency("doris_pk", "update_delete_bitmap");
61
62
static bvar::Adder<size_t> g_total_tablet_num("doris_total_tablet_num");
63
64
Status _get_segment_column_iterator(const BetaRowsetSharedPtr& rowset, uint32_t segid,
65
                                    const TabletColumn& target_column,
66
                                    SegmentCacheHandle* segment_cache_handle,
67
                                    std::unique_ptr<segment_v2::ColumnIterator>* column_iterator,
68
0
                                    OlapReaderStatistics* stats) {
69
0
    RETURN_IF_ERROR(SegmentLoader::instance()->load_segments(rowset, segment_cache_handle, true));
70
    // find segment
71
0
    auto it = std::find_if(
72
0
            segment_cache_handle->get_segments().begin(),
73
0
            segment_cache_handle->get_segments().end(),
74
0
            [&segid](const segment_v2::SegmentSharedPtr& seg) { return seg->id() == segid; });
75
0
    if (it == segment_cache_handle->get_segments().end()) {
76
0
        return Status::NotFound(fmt::format("rowset {} 's segemnt not found, seg_id {}",
77
0
                                            rowset->rowset_id().to_string(), segid));
78
0
    }
79
0
    segment_v2::SegmentSharedPtr segment = *it;
80
0
    StorageReadOptions opts;
81
0
    opts.stats = stats;
82
0
    RETURN_IF_ERROR(segment->new_column_iterator(target_column, column_iterator, &opts));
83
0
    segment_v2::ColumnIteratorOptions opt {
84
0
            .use_page_cache = !config::disable_storage_page_cache,
85
0
            .file_reader = segment->file_reader().get(),
86
0
            .stats = stats,
87
0
            .io_ctx = io::IOContext {.reader_type = ReaderType::READER_QUERY,
88
0
                                     .file_cache_stats = &stats->file_cache_stats},
89
0
    };
90
0
    RETURN_IF_ERROR((*column_iterator)->init(opt));
91
0
    return Status::OK();
92
0
}
93
94
} // namespace
95
96
extern MetricPrototype METRIC_query_scan_bytes;
97
extern MetricPrototype METRIC_query_scan_rows;
98
extern MetricPrototype METRIC_query_scan_count;
99
DEFINE_COUNTER_METRIC_PROTOTYPE_2ARG(flush_bytes, MetricUnit::BYTES);
100
DEFINE_COUNTER_METRIC_PROTOTYPE_2ARG(flush_finish_count, MetricUnit::OPERATIONS);
101
102
530
BaseTablet::BaseTablet(TabletMetaSharedPtr tablet_meta) : _tablet_meta(std::move(tablet_meta)) {
103
530
    _metric_entity = DorisMetrics::instance()->metric_registry()->register_entity(
104
530
            fmt::format("Tablet.{}", tablet_id()), {{"tablet_id", std::to_string(tablet_id())}},
105
530
            MetricEntityType::kTablet);
106
530
    INT_COUNTER_METRIC_REGISTER(_metric_entity, query_scan_bytes);
107
530
    INT_COUNTER_METRIC_REGISTER(_metric_entity, query_scan_rows);
108
530
    INT_COUNTER_METRIC_REGISTER(_metric_entity, query_scan_count);
109
530
    INT_COUNTER_METRIC_REGISTER(_metric_entity, flush_bytes);
110
530
    INT_COUNTER_METRIC_REGISTER(_metric_entity, flush_finish_count);
111
112
    // construct _timestamped_versioned_tracker from rs and stale rs meta
113
530
    _timestamped_version_tracker.construct_versioned_tracker(_tablet_meta->all_rs_metas(),
114
530
                                                             _tablet_meta->all_stale_rs_metas());
115
116
    // if !_tablet_meta->all_rs_metas()[0]->tablet_schema(),
117
    // that mean the tablet_meta is still no upgrade to doris 1.2 versions.
118
    // Before doris 1.2 version, rowset metas don't have tablet schema.
119
    // And when upgrade to doris 1.2 version,
120
    // all rowset metas will be set the tablet schmea from tablet meta.
121
530
    if (_tablet_meta->all_rs_metas().empty() || !_tablet_meta->all_rs_metas()[0]->tablet_schema()) {
122
493
        _max_version_schema = _tablet_meta->tablet_schema();
123
493
    } else {
124
37
        _max_version_schema =
125
37
                tablet_schema_with_merged_max_schema_version(_tablet_meta->all_rs_metas());
126
37
    }
127
530
    DCHECK(_max_version_schema);
128
530
    g_total_tablet_num << 1;
129
530
}
130
131
530
BaseTablet::~BaseTablet() {
132
530
    DorisMetrics::instance()->metric_registry()->deregister_entity(_metric_entity);
133
530
    g_total_tablet_num << -1;
134
530
}
135
136
TabletSchemaSPtr BaseTablet::tablet_schema_with_merged_max_schema_version(
137
72
        const std::vector<RowsetMetaSharedPtr>& rowset_metas) {
138
72
    RowsetMetaSharedPtr max_schema_version_rs = *std::max_element(
139
72
            rowset_metas.begin(), rowset_metas.end(),
140
229
            [](const RowsetMetaSharedPtr& a, const RowsetMetaSharedPtr& b) {
141
229
                return !a->tablet_schema()
142
229
                               ? true
143
229
                               : (!b->tablet_schema()
144
229
                                          ? false
145
229
                                          : a->tablet_schema()->schema_version() <
146
229
                                                    b->tablet_schema()->schema_version());
147
229
            });
148
72
    TabletSchemaSPtr target_schema = max_schema_version_rs->tablet_schema();
149
72
    if (target_schema->num_variant_columns() > 0) {
150
        // For variant columns tablet schema need to be the merged wide tablet schema
151
0
        std::vector<TabletSchemaSPtr> schemas;
152
0
        std::transform(rowset_metas.begin(), rowset_metas.end(), std::back_inserter(schemas),
153
0
                       [](const RowsetMetaSharedPtr& rs_meta) { return rs_meta->tablet_schema(); });
154
0
        static_cast<void>(
155
0
                vectorized::schema_util::get_least_common_schema(schemas, nullptr, target_schema));
156
0
        VLOG_DEBUG << "dump schema: " << target_schema->dump_full_schema();
157
0
    }
158
72
    return target_schema;
159
72
}
160
161
255
Status BaseTablet::set_tablet_state(TabletState state) {
162
255
    if (_tablet_meta->tablet_state() == TABLET_SHUTDOWN && state != TABLET_SHUTDOWN) {
163
0
        return Status::Error<META_INVALID_ARGUMENT>(
164
0
                "could not change tablet state from shutdown to {}", state);
165
0
    }
166
255
    _tablet_meta->set_tablet_state(state);
167
255
    return Status::OK();
168
255
}
169
170
0
void BaseTablet::update_max_version_schema(const TabletSchemaSPtr& tablet_schema) {
171
0
    std::lock_guard wrlock(_meta_lock);
172
    // Double Check for concurrent update
173
0
    if (!_max_version_schema ||
174
0
        tablet_schema->schema_version() > _max_version_schema->schema_version()) {
175
0
        _max_version_schema = tablet_schema;
176
0
    }
177
0
}
178
179
0
Status BaseTablet::update_by_least_common_schema(const TabletSchemaSPtr& update_schema) {
180
0
    std::lock_guard wrlock(_meta_lock);
181
0
    CHECK(_max_version_schema->schema_version() >= update_schema->schema_version());
182
0
    TabletSchemaSPtr final_schema;
183
0
    bool check_column_size = true;
184
0
    RETURN_IF_ERROR(vectorized::schema_util::get_least_common_schema(
185
0
            {_max_version_schema, update_schema}, _max_version_schema, final_schema,
186
0
            check_column_size));
187
0
    _max_version_schema = final_schema;
188
0
    VLOG_DEBUG << "dump updated tablet schema: " << final_schema->dump_structure();
189
0
    return Status::OK();
190
0
}
191
192
0
uint32_t BaseTablet::get_real_compaction_score() const {
193
0
    const auto& rs_metas = _tablet_meta->all_rs_metas();
194
0
    return std::accumulate(rs_metas.begin(), rs_metas.end(), 0,
195
0
                           [](uint32_t score, const RowsetMetaSharedPtr& rs_meta) {
196
0
                               return score + rs_meta->get_compaction_score();
197
0
                           });
198
0
}
199
200
Status BaseTablet::capture_rs_readers_unlocked(const Versions& version_path,
201
1
                                               std::vector<RowSetSplits>* rs_splits) const {
202
1
    DCHECK(rs_splits != nullptr && rs_splits->empty());
203
1
    for (auto version : version_path) {
204
1
        auto it = _rs_version_map.find(version);
205
1
        if (it == _rs_version_map.end()) {
206
0
            VLOG_NOTICE << "fail to find Rowset in rs_version for version. tablet=" << tablet_id()
207
0
                        << ", version='" << version.first << "-" << version.second;
208
209
0
            it = _stale_rs_version_map.find(version);
210
0
            if (it == _stale_rs_version_map.end()) {
211
0
                return Status::Error<CAPTURE_ROWSET_READER_ERROR>(
212
0
                        "fail to find Rowset in stale_rs_version for version. tablet={}, "
213
0
                        "version={}-{}",
214
0
                        tablet_id(), version.first, version.second);
215
0
            }
216
0
        }
217
1
        RowsetReaderSharedPtr rs_reader;
218
1
        auto res = it->second->create_reader(&rs_reader);
219
1
        if (!res.ok()) {
220
0
            return Status::Error<CAPTURE_ROWSET_READER_ERROR>(
221
0
                    "failed to create reader for rowset:{}", it->second->rowset_id().to_string());
222
0
        }
223
1
        rs_splits->emplace_back(std::move(rs_reader));
224
1
    }
225
1
    return Status::OK();
226
1
}
227
228
// snapshot manager may call this api to check if version exists, so that
229
// the version maybe not exist
230
RowsetSharedPtr BaseTablet::get_rowset_by_version(const Version& version,
231
1
                                                  bool find_in_stale) const {
232
1
    auto iter = _rs_version_map.find(version);
233
1
    if (iter == _rs_version_map.end()) {
234
0
        if (find_in_stale) {
235
0
            return get_stale_rowset_by_version(version);
236
0
        }
237
0
        return nullptr;
238
0
    }
239
1
    return iter->second;
240
1
}
241
242
0
RowsetSharedPtr BaseTablet::get_stale_rowset_by_version(const Version& version) const {
243
0
    auto iter = _stale_rs_version_map.find(version);
244
0
    if (iter == _stale_rs_version_map.end()) {
245
0
        VLOG_NOTICE << "no rowset for version:" << version << ", tablet: " << tablet_id();
246
0
        return nullptr;
247
0
    }
248
0
    return iter->second;
249
0
}
250
251
// Already under _meta_lock
252
39
RowsetSharedPtr BaseTablet::get_rowset_with_max_version() const {
253
39
    Version max_version = _tablet_meta->max_version();
254
39
    if (max_version.first == -1) {
255
0
        return nullptr;
256
0
    }
257
258
39
    auto iter = _rs_version_map.find(max_version);
259
39
    if (iter == _rs_version_map.end()) {
260
0
        DCHECK(false) << "invalid version:" << max_version;
261
0
        return nullptr;
262
0
    }
263
39
    return iter->second;
264
39
}
265
266
0
Status BaseTablet::get_all_rs_id(int64_t max_version, RowsetIdUnorderedSet* rowset_ids) const {
267
0
    std::shared_lock rlock(_meta_lock);
268
0
    return get_all_rs_id_unlocked(max_version, rowset_ids);
269
0
}
270
271
Status BaseTablet::get_all_rs_id_unlocked(int64_t max_version,
272
9
                                          RowsetIdUnorderedSet* rowset_ids) const {
273
    //  Ensure that the obtained versions of rowsets are continuous
274
9
    Version spec_version(0, max_version);
275
9
    Versions version_path;
276
9
    auto st = _timestamped_version_tracker.capture_consistent_versions(spec_version, &version_path);
277
9
    if (!st.ok()) [[unlikely]] {
278
0
        return st;
279
0
    }
280
281
11
    for (auto& ver : version_path) {
282
11
        if (ver.second == 1) {
283
            // [0-1] rowset is empty for each tablet, skip it
284
9
            continue;
285
9
        }
286
2
        auto it = _rs_version_map.find(ver);
287
2
        if (it == _rs_version_map.end()) {
288
0
            return Status::Error<CAPTURE_ROWSET_ERROR, false>(
289
0
                    "fail to find Rowset for version. tablet={}, version={}", tablet_id(),
290
0
                    ver.to_string());
291
0
        }
292
2
        rowset_ids->emplace(it->second->rowset_id());
293
2
    }
294
9
    return Status::OK();
295
9
}
296
297
0
Versions BaseTablet::get_missed_versions(int64_t spec_version) const {
298
0
    DCHECK(spec_version > 0) << "invalid spec_version: " << spec_version;
299
300
0
    Versions existing_versions;
301
0
    {
302
0
        std::shared_lock rdlock(_meta_lock);
303
0
        for (const auto& rs : _tablet_meta->all_rs_metas()) {
304
0
            existing_versions.emplace_back(rs->version());
305
0
        }
306
0
    }
307
0
    return calc_missed_versions(spec_version, std::move(existing_versions));
308
0
}
309
310
2
Versions BaseTablet::get_missed_versions_unlocked(int64_t spec_version) const {
311
2
    DCHECK(spec_version > 0) << "invalid spec_version: " << spec_version;
312
313
2
    Versions existing_versions;
314
8
    for (const auto& rs : _tablet_meta->all_rs_metas()) {
315
8
        existing_versions.emplace_back(rs->version());
316
8
    }
317
2
    return calc_missed_versions(spec_version, std::move(existing_versions));
318
2
}
319
320
1
void BaseTablet::_print_missed_versions(const Versions& missed_versions) const {
321
1
    std::stringstream ss;
322
1
    ss << tablet_id() << " has " << missed_versions.size() << " missed version:";
323
    // print at most 10 version
324
3
    for (int i = 0; i < 10 && i < missed_versions.size(); ++i) {
325
2
        ss << missed_versions[i] << ",";
326
2
    }
327
1
    LOG(WARNING) << ss.str();
328
1
}
329
330
1
bool BaseTablet::_reconstruct_version_tracker_if_necessary() {
331
1
    double orphan_vertex_ratio = _timestamped_version_tracker.get_orphan_vertex_ratio();
332
1
    if (orphan_vertex_ratio >= config::tablet_version_graph_orphan_vertex_ratio) {
333
1
        _timestamped_version_tracker.construct_versioned_tracker(
334
1
                _tablet_meta->all_rs_metas(), _tablet_meta->all_stale_rs_metas());
335
1
        return true;
336
1
    }
337
0
    return false;
338
1
}
339
340
// should use this method to get a copy of current tablet meta
341
// there are some rowset meta in local meta store and in in-memory tablet meta
342
// but not in tablet meta in local meta store
343
0
void BaseTablet::generate_tablet_meta_copy(TabletMeta& new_tablet_meta) const {
344
0
    TabletMetaPB tablet_meta_pb;
345
0
    {
346
0
        std::shared_lock rdlock(_meta_lock);
347
0
        _tablet_meta->to_meta_pb(&tablet_meta_pb);
348
0
    }
349
0
    generate_tablet_meta_copy_unlocked(new_tablet_meta);
350
0
}
351
352
// this is a unlocked version of generate_tablet_meta_copy()
353
// some method already hold the _meta_lock before calling this,
354
// such as EngineCloneTask::_finish_clone -> tablet->revise_tablet_meta
355
3
void BaseTablet::generate_tablet_meta_copy_unlocked(TabletMeta& new_tablet_meta) const {
356
3
    TabletMetaPB tablet_meta_pb;
357
3
    _tablet_meta->to_meta_pb(&tablet_meta_pb);
358
3
    new_tablet_meta.init_from_pb(tablet_meta_pb);
359
3
}
360
361
Status BaseTablet::calc_delete_bitmap_between_segments(
362
        RowsetSharedPtr rowset, const std::vector<segment_v2::SegmentSharedPtr>& segments,
363
0
        DeleteBitmapPtr delete_bitmap) {
364
0
    size_t const num_segments = segments.size();
365
0
    if (num_segments < 2) {
366
0
        return Status::OK();
367
0
    }
368
369
0
    OlapStopWatch watch;
370
0
    auto const rowset_id = rowset->rowset_id();
371
0
    size_t seq_col_length = 0;
372
0
    if (_tablet_meta->tablet_schema()->has_sequence_col()) {
373
0
        auto seq_col_idx = _tablet_meta->tablet_schema()->sequence_col_idx();
374
0
        seq_col_length = _tablet_meta->tablet_schema()->column(seq_col_idx).length() + 1;
375
0
    }
376
0
    size_t rowid_length = 0;
377
0
    if (!_tablet_meta->tablet_schema()->cluster_key_idxes().empty()) {
378
0
        rowid_length = PrimaryKeyIndexReader::ROW_ID_LENGTH;
379
0
    }
380
381
0
    MergeIndexDeleteBitmapCalculator calculator;
382
0
    RETURN_IF_ERROR(calculator.init(rowset_id, segments, seq_col_length, rowid_length));
383
384
0
    RETURN_IF_ERROR(calculator.calculate_all(delete_bitmap));
385
386
0
    delete_bitmap->add(
387
0
            {rowset_id, DeleteBitmap::INVALID_SEGMENT_ID, DeleteBitmap::TEMP_VERSION_COMMON},
388
0
            DeleteBitmap::ROWSET_SENTINEL_MARK);
389
0
    LOG(INFO) << fmt::format(
390
0
            "construct delete bitmap between segments, "
391
0
            "tablet: {}, rowset: {}, number of segments: {}, bitmap size: {}, cost {} (us)",
392
0
            tablet_id(), rowset_id.to_string(), num_segments, delete_bitmap->delete_bitmap.size(),
393
0
            watch.get_elapse_time_us());
394
0
    return Status::OK();
395
0
}
396
397
std::vector<RowsetSharedPtr> BaseTablet::get_rowset_by_ids(
398
72
        const RowsetIdUnorderedSet* specified_rowset_ids) {
399
72
    std::vector<RowsetSharedPtr> rowsets;
400
72
    for (auto& rs : _rs_version_map) {
401
15
        if (!specified_rowset_ids ||
402
15
            specified_rowset_ids->find(rs.second->rowset_id()) != specified_rowset_ids->end()) {
403
1
            rowsets.push_back(rs.second);
404
1
        }
405
15
    }
406
407
72
    std::sort(rowsets.begin(), rowsets.end(), [](RowsetSharedPtr& lhs, RowsetSharedPtr& rhs) {
408
0
        return lhs->end_version() > rhs->end_version();
409
0
    });
410
72
    return rowsets;
411
72
}
412
413
Status BaseTablet::lookup_row_data(const Slice& encoded_key, const RowLocation& row_location,
414
                                   RowsetSharedPtr input_rowset, const TupleDescriptor* desc,
415
                                   OlapReaderStatistics& stats, std::string& values,
416
0
                                   bool write_to_cache) {
417
0
    MonotonicStopWatch watch;
418
0
    size_t row_size = 1;
419
0
    watch.start();
420
0
    Defer _defer([&]() {
421
0
        LOG_EVERY_N(INFO, 500) << "get a single_row, cost(us):" << watch.elapsed_time() / 1000
422
0
                               << ", row_size:" << row_size;
423
0
    });
424
425
0
    BetaRowsetSharedPtr rowset = std::static_pointer_cast<BetaRowset>(input_rowset);
426
0
    CHECK(rowset);
427
0
    const TabletSchemaSPtr tablet_schema = rowset->tablet_schema();
428
0
    SegmentCacheHandle segment_cache_handle;
429
0
    std::unique_ptr<segment_v2::ColumnIterator> column_iterator;
430
0
    const auto& column = *DORIS_TRY(tablet_schema->column(BeConsts::ROW_STORE_COL));
431
0
    RETURN_IF_ERROR(_get_segment_column_iterator(rowset, row_location.segment_id, column,
432
0
                                                 &segment_cache_handle, &column_iterator, &stats));
433
    // get and parse tuple row
434
0
    vectorized::MutableColumnPtr column_ptr = vectorized::ColumnString::create();
435
0
    std::vector<segment_v2::rowid_t> rowids {static_cast<segment_v2::rowid_t>(row_location.row_id)};
436
0
    RETURN_IF_ERROR(column_iterator->read_by_rowids(rowids.data(), 1, column_ptr));
437
0
    assert(column_ptr->size() == 1);
438
0
    auto* string_column = static_cast<vectorized::ColumnString*>(column_ptr.get());
439
0
    StringRef value = string_column->get_data_at(0);
440
0
    values = value.to_string();
441
0
    if (write_to_cache) {
442
0
        StringRef value = string_column->get_data_at(0);
443
0
        RowCache::instance()->insert({tablet_id(), encoded_key}, Slice {value.data, value.size});
444
0
    }
445
0
    return Status::OK();
446
0
}
447
448
Status BaseTablet::lookup_row_key(const Slice& encoded_key, TabletSchema* latest_schema,
449
                                  bool with_seq_col,
450
                                  const std::vector<RowsetSharedPtr>& specified_rowsets,
451
                                  RowLocation* row_location, uint32_t version,
452
                                  std::vector<std::unique_ptr<SegmentCacheHandle>>& segment_caches,
453
                                  RowsetSharedPtr* rowset, bool with_rowid,
454
2
                                  OlapReaderStatistics* stats) {
455
2
    SCOPED_BVAR_LATENCY(g_tablet_lookup_rowkey_latency);
456
2
    size_t seq_col_length = 0;
457
    // use the latest tablet schema to decide if the tablet has sequence column currently
458
2
    const TabletSchema* schema =
459
2
            (latest_schema == nullptr ? _tablet_meta->tablet_schema().get() : latest_schema);
460
2
    if (schema->has_sequence_col() && with_seq_col) {
461
2
        seq_col_length = schema->column(schema->sequence_col_idx()).length() + 1;
462
2
    }
463
2
    size_t rowid_length = 0;
464
2
    if (with_rowid && !schema->cluster_key_idxes().empty()) {
465
0
        rowid_length = PrimaryKeyIndexReader::ROW_ID_LENGTH;
466
0
    }
467
2
    Slice key_without_seq =
468
2
            Slice(encoded_key.get_data(), encoded_key.get_size() - seq_col_length - rowid_length);
469
2
    RowLocation loc;
470
471
2
    for (size_t i = 0; i < specified_rowsets.size(); i++) {
472
2
        auto& rs = specified_rowsets[i];
473
2
        auto& segments_key_bounds = rs->rowset_meta()->get_segments_key_bounds();
474
2
        int num_segments = rs->num_segments();
475
2
        DCHECK_EQ(segments_key_bounds.size(), num_segments);
476
2
        std::vector<uint32_t> picked_segments;
477
4
        for (int i = num_segments - 1; i >= 0; i--) {
478
            // If mow table has cluster keys, the key bounds is short keys, not primary keys
479
            // use PrimaryKeyIndexMetaPB in primary key index?
480
2
            if (schema->cluster_key_idxes().empty()) {
481
2
                if (key_without_seq.compare(segments_key_bounds[i].max_key()) > 0 ||
482
2
                    key_without_seq.compare(segments_key_bounds[i].min_key()) < 0) {
483
0
                    continue;
484
0
                }
485
2
            }
486
2
            picked_segments.emplace_back(i);
487
2
        }
488
2
        if (picked_segments.empty()) {
489
0
            continue;
490
0
        }
491
492
2
        if (UNLIKELY(segment_caches[i] == nullptr)) {
493
1
            segment_caches[i] = std::make_unique<SegmentCacheHandle>();
494
1
            RETURN_IF_ERROR(SegmentLoader::instance()->load_segments(
495
1
                    std::static_pointer_cast<BetaRowset>(rs), segment_caches[i].get(), true, true));
496
1
        }
497
2
        auto& segments = segment_caches[i]->get_segments();
498
2
        DCHECK_EQ(segments.size(), num_segments);
499
500
2
        for (auto id : picked_segments) {
501
2
            Status s = segments[id]->lookup_row_key(encoded_key, schema, with_seq_col, with_rowid,
502
2
                                                    &loc, stats);
503
2
            if (s.is<KEY_NOT_FOUND>()) {
504
0
                continue;
505
0
            }
506
2
            if (!s.ok() && !s.is<KEY_ALREADY_EXISTS>()) {
507
0
                return s;
508
0
            }
509
2
            if (s.ok() && _tablet_meta->delete_bitmap().contains_agg_without_cache(
510
1
                                  {loc.rowset_id, loc.segment_id, version}, loc.row_id)) {
511
                // if has sequence col, we continue to compare the sequence_id of
512
                // all rowsets, util we find an existing key.
513
0
                if (schema->has_sequence_col()) {
514
0
                    continue;
515
0
                }
516
                // The key is deleted, we don't need to search for it any more.
517
0
                break;
518
0
            }
519
            // `st` is either OK or KEY_ALREADY_EXISTS now.
520
            // for partial update, even if the key is already exists, we still need to
521
            // read it's original values to keep all columns align.
522
2
            *row_location = loc;
523
2
            if (rowset) {
524
                // return it's rowset
525
2
                *rowset = rs;
526
2
            }
527
            // find it and return
528
2
            return s;
529
2
        }
530
2
    }
531
0
    g_tablet_pk_not_found << 1;
532
0
    return Status::Error<ErrorCode::KEY_NOT_FOUND>("can't find key in all rowsets");
533
2
}
534
535
// if user pass a token, then all calculation works will submit to a threadpool,
536
// user can get all delete bitmaps from that token.
537
// if `token` is nullptr, the calculation will run in local, and user can get the result
538
// delete bitmap from `delete_bitmap` directly.
539
Status BaseTablet::calc_delete_bitmap(const BaseTabletSPtr& tablet, RowsetSharedPtr rowset,
540
                                      const std::vector<segment_v2::SegmentSharedPtr>& segments,
541
                                      const std::vector<RowsetSharedPtr>& specified_rowsets,
542
                                      DeleteBitmapPtr delete_bitmap, int64_t end_version,
543
69
                                      CalcDeleteBitmapToken* token, RowsetWriter* rowset_writer) {
544
69
    if (specified_rowsets.empty() || segments.empty()) {
545
68
        return Status::OK();
546
68
    }
547
548
1
    OlapStopWatch watch;
549
1
    for (const auto& segment : segments) {
550
1
        const auto& seg = segment;
551
1
        if (token != nullptr) {
552
1
            RETURN_IF_ERROR(token->submit(tablet, rowset, seg, specified_rowsets, end_version,
553
1
                                          delete_bitmap, rowset_writer));
554
1
        } else {
555
0
            RETURN_IF_ERROR(tablet->calc_segment_delete_bitmap(
556
0
                    rowset, segment, specified_rowsets, delete_bitmap, end_version, rowset_writer));
557
0
        }
558
1
    }
559
560
1
    return Status::OK();
561
1
}
562
563
Status BaseTablet::calc_segment_delete_bitmap(RowsetSharedPtr rowset,
564
                                              const segment_v2::SegmentSharedPtr& seg,
565
                                              const std::vector<RowsetSharedPtr>& specified_rowsets,
566
                                              DeleteBitmapPtr delete_bitmap, int64_t end_version,
567
1
                                              RowsetWriter* rowset_writer) {
568
1
    OlapStopWatch watch;
569
1
    auto rowset_id = rowset->rowset_id();
570
1
    Version dummy_version(end_version + 1, end_version + 1);
571
1
    auto rowset_schema = rowset->tablet_schema();
572
1
    bool is_partial_update = rowset_writer && rowset_writer->is_partial_update();
573
1
    bool have_input_seq_column = false;
574
1
    if (is_partial_update && rowset_schema->has_sequence_col()) {
575
0
        std::vector<uint32_t> including_cids =
576
0
                rowset_writer->get_partial_update_info()->update_cids;
577
0
        have_input_seq_column =
578
0
                rowset_schema->has_sequence_col() &&
579
0
                (std::find(including_cids.cbegin(), including_cids.cend(),
580
0
                           rowset_schema->sequence_col_idx()) != including_cids.cend());
581
0
    }
582
1
    if (rowset_schema->num_variant_columns() > 0) {
583
        // During partial updates, the extracted columns of a variant should not be included in the rowset schema.
584
        // This is because the partial update for a variant needs to ignore the extracted columns.
585
        // Otherwise, the schema types in different rowsets might be inconsistent. When performing a partial update,
586
        // the complete variant is constructed by reading all the sub-columns of the variant.
587
0
        rowset_schema = rowset_schema->copy_without_variant_extracted_columns();
588
0
    }
589
    // use for partial update
590
1
    PartialUpdateReadPlan read_plan_ori;
591
1
    PartialUpdateReadPlan read_plan_update;
592
1
    int64_t conflict_rows = 0;
593
1
    int64_t new_generated_rows = 0;
594
595
1
    std::map<RowsetId, RowsetSharedPtr> rsid_to_rowset;
596
1
    rsid_to_rowset[rowset_id] = rowset;
597
1
    vectorized::Block block = rowset_schema->create_block();
598
1
    vectorized::Block ordered_block = block.clone_empty();
599
1
    uint32_t pos = 0;
600
601
1
    RETURN_IF_ERROR(seg->load_pk_index_and_bf(nullptr)); // We need index blocks to iterate
602
1
    const auto* pk_idx = seg->get_primary_key_index();
603
1
    int total = pk_idx->num_rows();
604
1
    uint32_t row_id = 0;
605
1
    int32_t remaining = total;
606
1
    bool exact_match = false;
607
1
    std::string last_key;
608
1
    int batch_size = 1024;
609
    // The data for each segment may be lookup multiple times. Creating a SegmentCacheHandle
610
    // will update the lru cache, and there will be obvious lock competition in multithreading
611
    // scenarios, so using a segment_caches to cache SegmentCacheHandle.
612
1
    std::vector<std::unique_ptr<SegmentCacheHandle>> segment_caches(specified_rowsets.size());
613
2
    while (remaining > 0) {
614
1
        std::unique_ptr<segment_v2::IndexedColumnIterator> iter;
615
1
        RETURN_IF_ERROR(pk_idx->new_iterator(&iter, nullptr));
616
617
1
        size_t num_to_read = std::min(batch_size, remaining);
618
1
        auto index_type = vectorized::DataTypeFactory::instance().create_data_type(
619
1
                pk_idx->type_info()->type(), 1, 0);
620
1
        auto index_column = index_type->create_column();
621
1
        Slice last_key_slice(last_key);
622
1
        RETURN_IF_ERROR(iter->seek_at_or_after(&last_key_slice, &exact_match));
623
1
        auto current_ordinal = iter->get_current_ordinal();
624
1
        DCHECK(total == remaining + current_ordinal)
625
0
                << "total: " << total << ", remaining: " << remaining
626
0
                << ", current_ordinal: " << current_ordinal;
627
628
1
        size_t num_read = num_to_read;
629
1
        RETURN_IF_ERROR(iter->next_batch(&num_read, index_column));
630
1
        DCHECK(num_to_read == num_read)
631
0
                << "num_to_read: " << num_to_read << ", num_read: " << num_read;
632
1
        last_key = index_column->get_data_at(num_read - 1).to_string();
633
634
        // exclude last_key, last_key will be read in next batch.
635
1
        if (num_read == batch_size && num_read != remaining) {
636
0
            num_read -= 1;
637
0
        }
638
3
        for (size_t i = 0; i < num_read; i++, row_id++) {
639
2
            Slice key = Slice(index_column->get_data_at(i).data, index_column->get_data_at(i).size);
640
2
            RowLocation loc;
641
            // calculate row id
642
2
            if (!_tablet_meta->tablet_schema()->cluster_key_idxes().empty()) {
643
0
                size_t seq_col_length = 0;
644
0
                if (_tablet_meta->tablet_schema()->has_sequence_col()) {
645
0
                    seq_col_length =
646
0
                            _tablet_meta->tablet_schema()
647
0
                                    ->column(_tablet_meta->tablet_schema()->sequence_col_idx())
648
0
                                    .length() +
649
0
                            1;
650
0
                }
651
0
                size_t rowid_length = PrimaryKeyIndexReader::ROW_ID_LENGTH;
652
0
                Slice key_without_seq =
653
0
                        Slice(key.get_data(), key.get_size() - seq_col_length - rowid_length);
654
0
                Slice rowid_slice =
655
0
                        Slice(key.get_data() + key_without_seq.get_size() + seq_col_length + 1,
656
0
                              rowid_length - 1);
657
0
                const auto* type_info =
658
0
                        get_scalar_type_info<FieldType::OLAP_FIELD_TYPE_UNSIGNED_INT>();
659
0
                const auto* rowid_coder = get_key_coder(type_info->type());
660
0
                RETURN_IF_ERROR(rowid_coder->decode_ascending(&rowid_slice, rowid_length,
661
0
                                                              (uint8_t*)&row_id));
662
0
            }
663
            // same row in segments should be filtered
664
2
            if (delete_bitmap->contains({rowset_id, seg->id(), DeleteBitmap::TEMP_VERSION_COMMON},
665
2
                                        row_id)) {
666
0
                continue;
667
0
            }
668
669
2
            DBUG_EXECUTE_IF("BaseTablet::calc_segment_delete_bitmap.inject_err", {
670
2
                auto p = dp->param("percent", 0.01);
671
2
                std::mt19937 gen {std::random_device {}()};
672
2
                std::bernoulli_distribution inject_fault {p};
673
2
                if (inject_fault(gen)) {
674
2
                    return Status::InternalError(
675
2
                            "injection error in calc_segment_delete_bitmap, "
676
2
                            "tablet_id={}, rowset_id={}",
677
2
                            tablet_id(), rowset_id.to_string());
678
2
                }
679
2
            });
680
681
2
            RowsetSharedPtr rowset_find;
682
2
            auto st = lookup_row_key(key, rowset_schema.get(), true, specified_rowsets, &loc,
683
2
                                     dummy_version.first - 1, segment_caches, &rowset_find);
684
2
            bool expected_st = st.ok() || st.is<KEY_NOT_FOUND>() || st.is<KEY_ALREADY_EXISTS>();
685
            // It's a defensive DCHECK, we need to exclude some common errors to avoid core-dump
686
            // while stress test
687
2
            DCHECK(expected_st || st.is<MEM_LIMIT_EXCEEDED>())
688
0
                    << "unexpected error status while lookup_row_key:" << st;
689
2
            if (!expected_st) {
690
0
                return st;
691
0
            }
692
2
            if (st.is<KEY_NOT_FOUND>()) {
693
0
                continue;
694
0
            }
695
696
2
            if (st.is<KEY_ALREADY_EXISTS>() && (!is_partial_update || have_input_seq_column)) {
697
                // `st.is<KEY_ALREADY_EXISTS>()` means that there exists a row with the same key and larger value
698
                // in seqeunce column.
699
                // - If the current load is not a partial update, we just delete current row.
700
                // - Otherwise, it means that we are doing the alignment process in publish phase due to conflicts
701
                // during concurrent partial updates. And there exists another load which introduces a row with
702
                // the same keys and larger sequence column value published successfully after the commit phase
703
                // of the current load.
704
                //     - If the columns we update include sequence column, we should delete the current row becase the
705
                //       partial update on the current row has been `overwritten` by the previous one with larger sequence
706
                //       column value.
707
                //     - Otherwise, we should combine the values of the missing columns in the previous row and the values
708
                //       of the including columns in the current row into a new row.
709
1
                delete_bitmap->add({rowset_id, seg->id(), DeleteBitmap::TEMP_VERSION_COMMON},
710
1
                                   row_id);
711
1
                ++conflict_rows;
712
1
                continue;
713
                // NOTE: for partial update which doesn't specify the sequence column, we can't use the sequence column value filled in flush phase
714
                // as its final value. Otherwise it may cause inconsistency between replicas.
715
1
            }
716
1
            if (is_partial_update && rowset_writer != nullptr) {
717
                // In publish version, record rows to be deleted for concurrent update
718
                // For example, if version 5 and 6 update a row, but version 6 only see
719
                // version 4 when write, and when publish version, version 5's value will
720
                // be marked as deleted and it's update is losed.
721
                // So here we should read version 5's columns and build a new row, which is
722
                // consists of version 6's update columns and version 5's origin columns
723
                // here we build 2 read plan for ori values and update values
724
0
                read_plan_ori.prepare_to_read(loc, pos);
725
0
                read_plan_update.prepare_to_read(RowLocation {rowset_id, seg->id(), row_id}, pos);
726
0
                rsid_to_rowset[rowset_find->rowset_id()] = rowset_find;
727
0
                ++pos;
728
                // delete bitmap will be calculate when memtable flush and
729
                // publish. The two stages may see different versions.
730
                // When there is sequence column, the currently imported data
731
                // of rowset may be marked for deletion at memtablet flush or
732
                // publish because the seq column is smaller than the previous
733
                // rowset.
734
                // just set 0 as a unified temporary version number, and update to
735
                // the real version number later.
736
0
                delete_bitmap->add(
737
0
                        {loc.rowset_id, loc.segment_id, DeleteBitmap::TEMP_VERSION_COMMON},
738
0
                        loc.row_id);
739
0
                delete_bitmap->add({rowset_id, seg->id(), DeleteBitmap::TEMP_VERSION_COMMON},
740
0
                                   row_id);
741
0
                ++conflict_rows;
742
0
                ++new_generated_rows;
743
0
                continue;
744
0
            }
745
            // when st = ok
746
1
            delete_bitmap->add({loc.rowset_id, loc.segment_id, DeleteBitmap::TEMP_VERSION_COMMON},
747
1
                               loc.row_id);
748
1
            ++conflict_rows;
749
1
        }
750
1
        remaining -= num_read;
751
1
    }
752
    // DCHECK_EQ(total, row_id) << "segment total rows: " << total << " row_id:" << row_id;
753
754
1
    if (config::enable_merge_on_write_correctness_check) {
755
1
        RowsetIdUnorderedSet rowsetids;
756
1
        for (const auto& rowset : specified_rowsets) {
757
1
            rowsetids.emplace(rowset->rowset_id());
758
1
            VLOG_NOTICE << "[tabletID:" << tablet_id() << "]"
759
0
                        << "[add_sentinel_mark_to_delete_bitmap][end_version:" << end_version << "]"
760
0
                        << "add:" << rowset->rowset_id();
761
1
        }
762
1
        add_sentinel_mark_to_delete_bitmap(delete_bitmap.get(), rowsetids);
763
1
    }
764
765
1
    if (pos > 0) {
766
0
        auto partial_update_info = rowset_writer->get_partial_update_info();
767
0
        DCHECK(partial_update_info);
768
0
        RETURN_IF_ERROR(generate_new_block_for_partial_update(
769
0
                rowset_schema, partial_update_info.get(), read_plan_ori, read_plan_update,
770
0
                rsid_to_rowset, &block));
771
0
        RETURN_IF_ERROR(sort_block(block, ordered_block));
772
0
        RETURN_IF_ERROR(rowset_writer->flush_single_block(&ordered_block));
773
0
        auto cost_us = watch.get_elapse_time_us();
774
0
        if (config::enable_mow_verbose_log || cost_us > 10 * 1000) {
775
0
            LOG(INFO) << "calc segment delete bitmap for partial update, tablet: " << tablet_id()
776
0
                      << " rowset: " << rowset_id << " seg_id: " << seg->id()
777
0
                      << " dummy_version: " << end_version + 1 << " rows: " << seg->num_rows()
778
0
                      << " conflict rows: " << conflict_rows
779
0
                      << " new generated rows: " << new_generated_rows
780
0
                      << " bimap num: " << delete_bitmap->delete_bitmap.size()
781
0
                      << " cost: " << cost_us << "(us)";
782
0
        }
783
0
        return Status::OK();
784
0
    }
785
1
    auto cost_us = watch.get_elapse_time_us();
786
1
    if (config::enable_mow_verbose_log || cost_us > 10 * 1000) {
787
0
        LOG(INFO) << "calc segment delete bitmap, tablet: " << tablet_id()
788
0
                  << " rowset: " << rowset_id << " seg_id: " << seg->id()
789
0
                  << " dummy_version: " << end_version + 1 << " rows: " << seg->num_rows()
790
0
                  << " conflict rows: " << conflict_rows
791
0
                  << " bitmap num: " << delete_bitmap->delete_bitmap.size() << " cost: " << cost_us
792
0
                  << "(us)";
793
0
    }
794
1
    return Status::OK();
795
1
}
796
797
0
Status BaseTablet::sort_block(vectorized::Block& in_block, vectorized::Block& output_block) {
798
0
    vectorized::MutableBlock mutable_input_block =
799
0
            vectorized::MutableBlock::build_mutable_block(&in_block);
800
0
    vectorized::MutableBlock mutable_output_block =
801
0
            vectorized::MutableBlock::build_mutable_block(&output_block);
802
803
0
    std::shared_ptr<RowInBlockComparator> vec_row_comparator =
804
0
            std::make_shared<RowInBlockComparator>(_tablet_meta->tablet_schema());
805
0
    vec_row_comparator->set_block(&mutable_input_block);
806
807
0
    std::vector<std::unique_ptr<RowInBlock>> row_in_blocks;
808
0
    DCHECK(in_block.rows() <= std::numeric_limits<int>::max());
809
0
    row_in_blocks.reserve(in_block.rows());
810
0
    for (size_t i = 0; i < in_block.rows(); ++i) {
811
0
        row_in_blocks.emplace_back(std::make_unique<RowInBlock>(i));
812
0
    }
813
0
    std::sort(row_in_blocks.begin(), row_in_blocks.end(),
814
0
              [&](const std::unique_ptr<RowInBlock>& l,
815
0
                  const std::unique_ptr<RowInBlock>& r) -> bool {
816
0
                  auto value = (*vec_row_comparator)(l.get(), r.get());
817
0
                  DCHECK(value != 0) << "value equel when sort block, l_pos: " << l->_row_pos
818
0
                                     << " r_pos: " << r->_row_pos;
819
0
                  return value < 0;
820
0
              });
821
0
    std::vector<uint32_t> row_pos_vec;
822
0
    row_pos_vec.reserve(in_block.rows());
823
0
    for (auto& block : row_in_blocks) {
824
0
        row_pos_vec.emplace_back(block->_row_pos);
825
0
    }
826
0
    return mutable_output_block.add_rows(&in_block, row_pos_vec.data(),
827
0
                                         row_pos_vec.data() + in_block.rows());
828
0
}
829
830
// fetch value by row column
831
Status BaseTablet::fetch_value_through_row_column(RowsetSharedPtr input_rowset,
832
                                                  const TabletSchema& tablet_schema, uint32_t segid,
833
                                                  const std::vector<uint32_t>& rowids,
834
                                                  const std::vector<uint32_t>& cids,
835
0
                                                  vectorized::Block& block) {
836
0
    MonotonicStopWatch watch;
837
0
    watch.start();
838
0
    Defer _defer([&]() {
839
0
        LOG_EVERY_N(INFO, 500) << "fetch_value_by_rowids, cost(us):" << watch.elapsed_time() / 1000
840
0
                               << ", row_batch_size:" << rowids.size();
841
0
    });
842
843
0
    BetaRowsetSharedPtr rowset = std::static_pointer_cast<BetaRowset>(input_rowset);
844
0
    CHECK(rowset);
845
0
    CHECK(tablet_schema.has_row_store_for_all_columns());
846
0
    SegmentCacheHandle segment_cache_handle;
847
0
    std::unique_ptr<segment_v2::ColumnIterator> column_iterator;
848
0
    OlapReaderStatistics stats;
849
0
    const auto& column = *DORIS_TRY(tablet_schema.column(BeConsts::ROW_STORE_COL));
850
0
    RETURN_IF_ERROR(_get_segment_column_iterator(rowset, segid, column, &segment_cache_handle,
851
0
                                                 &column_iterator, &stats));
852
    // get and parse tuple row
853
0
    vectorized::MutableColumnPtr column_ptr = vectorized::ColumnString::create();
854
0
    RETURN_IF_ERROR(column_iterator->read_by_rowids(rowids.data(), rowids.size(), column_ptr));
855
0
    assert(column_ptr->size() == rowids.size());
856
0
    auto* string_column = static_cast<vectorized::ColumnString*>(column_ptr.get());
857
0
    vectorized::DataTypeSerDeSPtrs serdes;
858
0
    serdes.resize(cids.size());
859
0
    std::unordered_map<uint32_t, uint32_t> col_uid_to_idx;
860
0
    std::vector<std::string> default_values;
861
0
    default_values.resize(cids.size());
862
0
    for (int i = 0; i < cids.size(); ++i) {
863
0
        const TabletColumn& column = tablet_schema.column(cids[i]);
864
0
        vectorized::DataTypePtr type =
865
0
                vectorized::DataTypeFactory::instance().create_data_type(column);
866
0
        col_uid_to_idx[column.unique_id()] = i;
867
0
        default_values[i] = column.default_value();
868
0
        serdes[i] = type->get_serde();
869
0
    }
870
0
    vectorized::JsonbSerializeUtil::jsonb_to_block(serdes, *string_column, col_uid_to_idx, block,
871
0
                                                   default_values, {});
872
0
    return Status::OK();
873
0
}
874
875
Status BaseTablet::fetch_value_by_rowids(RowsetSharedPtr input_rowset, uint32_t segid,
876
                                         const std::vector<uint32_t>& rowids,
877
                                         const TabletColumn& tablet_column,
878
0
                                         vectorized::MutableColumnPtr& dst) {
879
0
    MonotonicStopWatch watch;
880
0
    watch.start();
881
0
    Defer _defer([&]() {
882
0
        LOG_EVERY_N(INFO, 500) << "fetch_value_by_rowids, cost(us):" << watch.elapsed_time() / 1000
883
0
                               << ", row_batch_size:" << rowids.size();
884
0
    });
885
886
    // read row data
887
0
    BetaRowsetSharedPtr rowset = std::static_pointer_cast<BetaRowset>(input_rowset);
888
0
    CHECK(rowset);
889
0
    SegmentCacheHandle segment_cache_handle;
890
0
    std::unique_ptr<segment_v2::ColumnIterator> column_iterator;
891
0
    OlapReaderStatistics stats;
892
0
    RETURN_IF_ERROR(_get_segment_column_iterator(rowset, segid, tablet_column,
893
0
                                                 &segment_cache_handle, &column_iterator, &stats));
894
0
    RETURN_IF_ERROR(column_iterator->read_by_rowids(rowids.data(), rowids.size(), dst));
895
0
    return Status::OK();
896
0
}
897
898
const signed char* BaseTablet::get_delete_sign_column_data(vectorized::Block& block,
899
0
                                                           size_t rows_at_least) {
900
0
    if (const vectorized::ColumnWithTypeAndName* delete_sign_column =
901
0
                block.try_get_by_name(DELETE_SIGN);
902
0
        delete_sign_column != nullptr) {
903
0
        const auto& delete_sign_col =
904
0
                reinterpret_cast<const vectorized::ColumnInt8&>(*(delete_sign_column->column));
905
0
        if (delete_sign_col.size() >= rows_at_least) {
906
0
            return delete_sign_col.get_data().data();
907
0
        }
908
0
    }
909
0
    return nullptr;
910
0
};
911
912
Status BaseTablet::generate_default_value_block(const TabletSchema& schema,
913
                                                const std::vector<uint32_t>& cids,
914
                                                const std::vector<std::string>& default_values,
915
                                                const vectorized::Block& ref_block,
916
0
                                                vectorized::Block& default_value_block) {
917
0
    auto mutable_default_value_columns = default_value_block.mutate_columns();
918
0
    for (auto i = 0; i < cids.size(); ++i) {
919
0
        const auto& column = schema.column(cids[i]);
920
0
        if (column.has_default_value()) {
921
0
            const auto& default_value = default_values[i];
922
0
            vectorized::ReadBuffer rb(const_cast<char*>(default_value.c_str()),
923
0
                                      default_value.size());
924
0
            RETURN_IF_ERROR(ref_block.get_by_position(i).type->from_string(
925
0
                    rb, mutable_default_value_columns[i].get()));
926
0
        }
927
0
    }
928
0
    default_value_block.set_columns(std::move(mutable_default_value_columns));
929
0
    return Status::OK();
930
0
}
931
932
Status BaseTablet::generate_new_block_for_partial_update(
933
        TabletSchemaSPtr rowset_schema, const PartialUpdateInfo* partial_update_info,
934
        const PartialUpdateReadPlan& read_plan_ori, const PartialUpdateReadPlan& read_plan_update,
935
        const std::map<RowsetId, RowsetSharedPtr>& rsid_to_rowset,
936
0
        vectorized::Block* output_block) {
937
    // do partial update related works
938
    // 1. read columns by read plan
939
    // 2. generate new block
940
    // 3. write a new segment and modify rowset meta
941
    // 4. mark current keys deleted
942
0
    CHECK(output_block);
943
0
    auto full_mutable_columns = output_block->mutate_columns();
944
0
    const auto& missing_cids = partial_update_info->missing_cids;
945
0
    const auto& update_cids = partial_update_info->update_cids;
946
0
    auto old_block = rowset_schema->create_block_by_cids(missing_cids);
947
0
    auto update_block = rowset_schema->create_block_by_cids(update_cids);
948
949
    // rowid in the final block(start from 0, increase continuously) -> rowid to read in update_block
950
0
    std::map<uint32_t, uint32_t> read_index_update;
951
952
    // read current rowset first, if a row in the current rowset has delete sign mark
953
    // we don't need to read values from old block
954
0
    RETURN_IF_ERROR(read_plan_update.read_columns_by_plan(
955
0
            *rowset_schema, update_cids, rsid_to_rowset, update_block, &read_index_update, false));
956
0
    size_t update_rows = read_index_update.size();
957
0
    for (auto i = 0; i < update_cids.size(); ++i) {
958
0
        for (auto idx = 0; idx < update_rows; ++idx) {
959
0
            full_mutable_columns[update_cids[i]]->insert_from(
960
0
                    *update_block.get_columns_with_type_and_name()[i].column.get(),
961
0
                    read_index_update[idx]);
962
0
        }
963
0
    }
964
965
    // if there is sequence column in the table, we need to read the sequence column,
966
    // otherwise it may cause the merge-on-read based compaction policy to produce incorrect results
967
0
    const auto* __restrict new_block_delete_signs =
968
0
            rowset_schema->has_sequence_col()
969
0
                    ? nullptr
970
0
                    : get_delete_sign_column_data(update_block, update_rows);
971
972
    // 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
973
0
    std::map<uint32_t, uint32_t> read_index_old;
974
0
    RETURN_IF_ERROR(read_plan_ori.read_columns_by_plan(*rowset_schema, missing_cids, rsid_to_rowset,
975
0
                                                       old_block, &read_index_old, true,
976
0
                                                       new_block_delete_signs));
977
0
    size_t old_rows = read_index_old.size();
978
0
    const auto* __restrict old_block_delete_signs =
979
0
            get_delete_sign_column_data(old_block, old_rows);
980
0
    DCHECK(old_block_delete_signs != nullptr);
981
    // build default value block
982
0
    auto default_value_block = old_block.clone_empty();
983
0
    RETURN_IF_ERROR(BaseTablet::generate_default_value_block(*rowset_schema, missing_cids,
984
0
                                                             partial_update_info->default_values,
985
0
                                                             old_block, default_value_block));
986
0
    auto mutable_default_value_columns = default_value_block.mutate_columns();
987
988
0
    CHECK(update_rows >= old_rows);
989
990
    // build full block
991
0
    for (auto i = 0; i < missing_cids.size(); ++i) {
992
0
        const auto& rs_column = rowset_schema->column(missing_cids[i]);
993
0
        auto& mutable_column = full_mutable_columns[missing_cids[i]];
994
0
        for (auto idx = 0; idx < update_rows; ++idx) {
995
            // There are two cases we don't need to read values from old data:
996
            //     1. if the conflicting new row's delete sign is marked, which means the value columns
997
            //     of the row will not be read. So we don't need to read the missing values from the previous rows.
998
            //     2. if the conflicting old row's delete sign is marked, which means that the key is not exist now,
999
            //     we should not read old values from the deleted data, and should use default value instead.
1000
            //     NOTE: since now we are in the publishing phase, all data is commited
1001
            //         before, even the `strict_mode` is true (which requires partial update
1002
            //         load job can't insert new keys), this "new" key MUST be written into
1003
            //         the new generated segment file.
1004
0
            if (new_block_delete_signs != nullptr && new_block_delete_signs[idx]) {
1005
0
                mutable_column->insert_default();
1006
0
            } else if (old_block_delete_signs != nullptr &&
1007
0
                       old_block_delete_signs[read_index_old[idx]] != 0) {
1008
0
                if (rs_column.has_default_value()) {
1009
0
                    mutable_column->insert_from(*mutable_default_value_columns[i].get(), 0);
1010
0
                } else if (rs_column.is_nullable()) {
1011
0
                    assert_cast<vectorized::ColumnNullable*, TypeCheckOnRelease::DISABLE>(
1012
0
                            mutable_column.get())
1013
0
                            ->insert_null_elements(1);
1014
0
                } else {
1015
0
                    mutable_column->insert_default();
1016
0
                }
1017
0
            } else {
1018
0
                mutable_column->insert_from(
1019
0
                        *old_block.get_columns_with_type_and_name()[i].column.get(),
1020
0
                        read_index_old[idx]);
1021
0
            }
1022
0
        }
1023
0
    }
1024
0
    output_block->set_columns(std::move(full_mutable_columns));
1025
0
    VLOG_DEBUG << "full block when publish: " << output_block->dump_data();
1026
0
    return Status::OK();
1027
0
}
1028
1029
Status BaseTablet::commit_phase_update_delete_bitmap(
1030
        const BaseTabletSPtr& tablet, const RowsetSharedPtr& rowset,
1031
        RowsetIdUnorderedSet& pre_rowset_ids, DeleteBitmapPtr delete_bitmap,
1032
        const std::vector<segment_v2::SegmentSharedPtr>& segments, int64_t txn_id,
1033
3
        CalcDeleteBitmapToken* token, RowsetWriter* rowset_writer) {
1034
3
    SCOPED_BVAR_LATENCY(g_tablet_commit_phase_update_delete_bitmap_latency);
1035
3
    RowsetIdUnorderedSet cur_rowset_ids;
1036
3
    RowsetIdUnorderedSet rowset_ids_to_add;
1037
3
    RowsetIdUnorderedSet rowset_ids_to_del;
1038
3
    int64_t cur_version;
1039
1040
3
    std::vector<RowsetSharedPtr> specified_rowsets;
1041
3
    {
1042
3
        std::shared_lock meta_rlock(tablet->_meta_lock);
1043
3
        cur_version = tablet->max_version_unlocked();
1044
3
        RETURN_IF_ERROR(tablet->get_all_rs_id_unlocked(cur_version, &cur_rowset_ids));
1045
3
        _rowset_ids_difference(cur_rowset_ids, pre_rowset_ids, &rowset_ids_to_add,
1046
3
                               &rowset_ids_to_del);
1047
3
        specified_rowsets = tablet->get_rowset_by_ids(&rowset_ids_to_add);
1048
3
    }
1049
0
    for (const auto& to_del : rowset_ids_to_del) {
1050
0
        delete_bitmap->remove({to_del, 0, 0}, {to_del, UINT32_MAX, INT64_MAX});
1051
0
    }
1052
1053
3
    RETURN_IF_ERROR(calc_delete_bitmap(tablet, rowset, segments, specified_rowsets, delete_bitmap,
1054
3
                                       cur_version, token, rowset_writer));
1055
3
    size_t total_rows = std::accumulate(
1056
3
            segments.begin(), segments.end(), 0,
1057
3
            [](size_t sum, const segment_v2::SegmentSharedPtr& s) { return sum += s->num_rows(); });
1058
3
    LOG(INFO) << "[Before Commit] construct delete bitmap tablet: " << tablet->tablet_id()
1059
3
              << ", rowset_ids to add: " << rowset_ids_to_add.size()
1060
3
              << ", rowset_ids to del: " << rowset_ids_to_del.size()
1061
3
              << ", cur max_version: " << cur_version << ", transaction_id: " << txn_id
1062
3
              << ", total rows: " << total_rows;
1063
3
    pre_rowset_ids = cur_rowset_ids;
1064
3
    return Status::OK();
1065
3
}
1066
1067
void BaseTablet::add_sentinel_mark_to_delete_bitmap(DeleteBitmap* delete_bitmap,
1068
5
                                                    const RowsetIdUnorderedSet& rowsetids) {
1069
5
    for (const auto& rowsetid : rowsetids) {
1070
5
        delete_bitmap->add(
1071
5
                {rowsetid, DeleteBitmap::INVALID_SEGMENT_ID, DeleteBitmap::TEMP_VERSION_COMMON},
1072
5
                DeleteBitmap::ROWSET_SENTINEL_MARK);
1073
5
    }
1074
5
}
1075
1076
void BaseTablet::_rowset_ids_difference(const RowsetIdUnorderedSet& cur,
1077
                                        const RowsetIdUnorderedSet& pre,
1078
                                        RowsetIdUnorderedSet* to_add,
1079
6
                                        RowsetIdUnorderedSet* to_del) {
1080
6
    for (const auto& id : cur) {
1081
2
        if (pre.find(id) == pre.end()) {
1082
1
            to_add->insert(id);
1083
1
        }
1084
2
    }
1085
6
    for (const auto& id : pre) {
1086
1
        if (cur.find(id) == cur.end()) {
1087
0
            to_del->insert(id);
1088
0
        }
1089
1
    }
1090
6
}
1091
1092
Status BaseTablet::_capture_consistent_rowsets_unlocked(
1093
3
        const std::vector<Version>& version_path, std::vector<RowsetSharedPtr>* rowsets) const {
1094
3
    DCHECK(rowsets != nullptr);
1095
3
    rowsets->reserve(version_path.size());
1096
6
    for (const auto& version : version_path) {
1097
6
        bool is_find = false;
1098
6
        do {
1099
6
            auto it = _rs_version_map.find(version);
1100
6
            if (it != _rs_version_map.end()) {
1101
6
                is_find = true;
1102
6
                rowsets->push_back(it->second);
1103
6
                break;
1104
6
            }
1105
1106
0
            auto it_expired = _stale_rs_version_map.find(version);
1107
0
            if (it_expired != _stale_rs_version_map.end()) {
1108
0
                is_find = true;
1109
0
                rowsets->push_back(it_expired->second);
1110
0
                break;
1111
0
            }
1112
0
        } while (false);
1113
1114
6
        if (!is_find) {
1115
0
            return Status::Error<CAPTURE_ROWSET_ERROR>(
1116
0
                    "fail to find Rowset for version. tablet={}, version={}", tablet_id(),
1117
0
                    version.to_string());
1118
0
        }
1119
6
    }
1120
3
    return Status::OK();
1121
3
}
1122
1123
Status BaseTablet::check_delete_bitmap_correctness(DeleteBitmapPtr delete_bitmap,
1124
                                                   int64_t max_version, int64_t txn_id,
1125
                                                   const RowsetIdUnorderedSet& rowset_ids,
1126
6
                                                   std::vector<RowsetSharedPtr>* rowsets) {
1127
6
    RowsetIdUnorderedSet missing_ids;
1128
6
    for (const auto& rowsetid : rowset_ids) {
1129
2
        if (!delete_bitmap->delete_bitmap.contains({rowsetid, DeleteBitmap::INVALID_SEGMENT_ID,
1130
2
                                                    DeleteBitmap::TEMP_VERSION_COMMON})) {
1131
0
            missing_ids.insert(rowsetid);
1132
0
        }
1133
2
    }
1134
1135
6
    if (!missing_ids.empty()) {
1136
0
        LOG(WARNING) << "[txn_id:" << txn_id << "][tablet_id:" << tablet_id()
1137
0
                     << "][max_version: " << max_version
1138
0
                     << "] check delete bitmap correctness failed!";
1139
0
        rapidjson::Document root;
1140
0
        root.SetObject();
1141
0
        rapidjson::Document required_rowsets_arr;
1142
0
        required_rowsets_arr.SetArray();
1143
0
        rapidjson::Document missing_rowsets_arr;
1144
0
        missing_rowsets_arr.SetArray();
1145
1146
0
        if (rowsets != nullptr) {
1147
0
            for (const auto& rowset : *rowsets) {
1148
0
                rapidjson::Value value;
1149
0
                std::string version_str = rowset->get_rowset_info_str();
1150
0
                value.SetString(version_str.c_str(), version_str.length(),
1151
0
                                required_rowsets_arr.GetAllocator());
1152
0
                required_rowsets_arr.PushBack(value, required_rowsets_arr.GetAllocator());
1153
0
            }
1154
0
        } else {
1155
0
            std::vector<RowsetSharedPtr> rowsets;
1156
0
            {
1157
0
                std::shared_lock meta_rlock(_meta_lock);
1158
0
                rowsets = get_rowset_by_ids(&rowset_ids);
1159
0
            }
1160
0
            for (const auto& rowset : rowsets) {
1161
0
                rapidjson::Value value;
1162
0
                std::string version_str = rowset->get_rowset_info_str();
1163
0
                value.SetString(version_str.c_str(), version_str.length(),
1164
0
                                required_rowsets_arr.GetAllocator());
1165
0
                required_rowsets_arr.PushBack(value, required_rowsets_arr.GetAllocator());
1166
0
            }
1167
0
        }
1168
0
        for (const auto& missing_rowset_id : missing_ids) {
1169
0
            rapidjson::Value miss_value;
1170
0
            std::string rowset_id_str = missing_rowset_id.to_string();
1171
0
            miss_value.SetString(rowset_id_str.c_str(), rowset_id_str.length(),
1172
0
                                 missing_rowsets_arr.GetAllocator());
1173
0
            missing_rowsets_arr.PushBack(miss_value, missing_rowsets_arr.GetAllocator());
1174
0
        }
1175
1176
0
        root.AddMember("required_rowsets", required_rowsets_arr, root.GetAllocator());
1177
0
        root.AddMember("missing_rowsets", missing_rowsets_arr, root.GetAllocator());
1178
0
        rapidjson::StringBuffer strbuf;
1179
0
        rapidjson::PrettyWriter<rapidjson::StringBuffer> writer(strbuf);
1180
0
        root.Accept(writer);
1181
0
        std::string rowset_status_string = std::string(strbuf.GetString());
1182
0
        LOG_EVERY_SECOND(WARNING) << rowset_status_string;
1183
        // let it crash if correctness check failed in Debug mode
1184
0
        DCHECK(false) << "delete bitmap correctness check failed in publish phase!";
1185
0
        return Status::InternalError("check delete bitmap failed!");
1186
0
    }
1187
6
    return Status::OK();
1188
6
}
1189
1190
Status BaseTablet::update_delete_bitmap(const BaseTabletSPtr& self, TabletTxnInfo* txn_info,
1191
3
                                        int64_t txn_id, int64_t txn_expiration) {
1192
3
    SCOPED_BVAR_LATENCY(g_tablet_update_delete_bitmap_latency);
1193
3
    RowsetIdUnorderedSet cur_rowset_ids;
1194
3
    RowsetIdUnorderedSet rowset_ids_to_add;
1195
3
    RowsetIdUnorderedSet rowset_ids_to_del;
1196
3
    RowsetSharedPtr rowset = txn_info->rowset;
1197
3
    int64_t cur_version = rowset->start_version();
1198
1199
3
    std::unique_ptr<RowsetWriter> transient_rs_writer;
1200
3
    DeleteBitmapPtr delete_bitmap = txn_info->delete_bitmap;
1201
3
    bool is_partial_update =
1202
3
            txn_info->partial_update_info && txn_info->partial_update_info->is_partial_update;
1203
3
    if (is_partial_update) {
1204
0
        transient_rs_writer = DORIS_TRY(self->create_transient_rowset_writer(
1205
0
                *rowset, txn_info->partial_update_info, txn_expiration));
1206
        // Partial update might generate new segments when there is conflicts while publish, and mark
1207
        // the same key in original segments as delete.
1208
        // When the new segment flush fails or the rowset build fails, the deletion marker for the
1209
        // duplicate key of the original segment should not remain in `txn_info->delete_bitmap`,
1210
        // so we need to make a copy of `txn_info->delete_bitmap` and make changes on it.
1211
0
        delete_bitmap = std::make_shared<DeleteBitmap>(*(txn_info->delete_bitmap));
1212
0
    }
1213
1214
3
    OlapStopWatch watch;
1215
3
    std::vector<segment_v2::SegmentSharedPtr> segments;
1216
3
    RETURN_IF_ERROR(std::dynamic_pointer_cast<BetaRowset>(rowset)->load_segments(&segments));
1217
3
    auto t1 = watch.get_elapse_time_us();
1218
1219
3
    {
1220
3
        std::shared_lock meta_rlock(self->_meta_lock);
1221
        // tablet is under alter process. The delete bitmap will be calculated after conversion.
1222
3
        if (self->tablet_state() == TABLET_NOTREADY) {
1223
0
            LOG(INFO) << "tablet is under alter process, update delete bitmap later, tablet_id="
1224
0
                      << self->tablet_id();
1225
0
            return Status::OK();
1226
0
        }
1227
3
        RETURN_IF_ERROR(self->get_all_rs_id_unlocked(cur_version - 1, &cur_rowset_ids));
1228
3
    }
1229
3
    auto t2 = watch.get_elapse_time_us();
1230
1231
3
    _rowset_ids_difference(cur_rowset_ids, txn_info->rowset_ids, &rowset_ids_to_add,
1232
3
                           &rowset_ids_to_del);
1233
3
    for (const auto& to_del : rowset_ids_to_del) {
1234
0
        delete_bitmap->remove({to_del, 0, 0}, {to_del, UINT32_MAX, INT64_MAX});
1235
0
    }
1236
1237
3
    std::vector<RowsetSharedPtr> specified_rowsets;
1238
3
    {
1239
3
        std::shared_lock meta_rlock(self->_meta_lock);
1240
3
        specified_rowsets = self->get_rowset_by_ids(&rowset_ids_to_add);
1241
3
    }
1242
3
    auto t3 = watch.get_elapse_time_us();
1243
1244
    // If a rowset is produced by compaction before the commit phase of the partial update load
1245
    // and is not included in txn_info->rowset_ids, we can skip the alignment process of that rowset
1246
    // because data remains the same before and after compaction. But we still need to calculate the
1247
    // the delete bitmap for that rowset.
1248
3
    std::vector<RowsetSharedPtr> rowsets_skip_alignment;
1249
3
    if (is_partial_update) {
1250
0
        int64_t max_version_in_flush_phase =
1251
0
                txn_info->partial_update_info->max_version_in_flush_phase;
1252
0
        DCHECK(max_version_in_flush_phase != -1);
1253
0
        std::vector<RowsetSharedPtr> remained_rowsets;
1254
0
        for (const auto& rowset : specified_rowsets) {
1255
0
            if (rowset->end_version() <= max_version_in_flush_phase &&
1256
0
                rowset->produced_by_compaction()) {
1257
0
                rowsets_skip_alignment.emplace_back(rowset);
1258
0
            } else {
1259
0
                remained_rowsets.emplace_back(rowset);
1260
0
            }
1261
0
        }
1262
0
        if (!rowsets_skip_alignment.empty()) {
1263
0
            specified_rowsets = std::move(remained_rowsets);
1264
0
        }
1265
0
    }
1266
1267
3
    DBUG_EXECUTE_IF("BaseTablet::update_delete_bitmap.enable_spin_wait", {
1268
3
        auto token = dp->param<std::string>("token", "invalid_token");
1269
3
        while (DebugPoints::instance()->is_enable("BaseTablet::update_delete_bitmap.block")) {
1270
3
            auto block_dp = DebugPoints::instance()->get_debug_point(
1271
3
                    "BaseTablet::update_delete_bitmap.block");
1272
3
            if (block_dp) {
1273
3
                auto wait_token = block_dp->param<std::string>("wait_token", "");
1274
3
                if (wait_token != token) {
1275
3
                    break;
1276
3
                }
1277
3
            }
1278
3
            std::this_thread::sleep_for(std::chrono::milliseconds(50));
1279
3
        }
1280
3
    });
1281
1282
3
    if (!rowsets_skip_alignment.empty()) {
1283
0
        auto token = self->calc_delete_bitmap_executor()->create_token();
1284
        // set rowset_writer to nullptr to skip the alignment process
1285
0
        RETURN_IF_ERROR(calc_delete_bitmap(self, rowset, segments, rowsets_skip_alignment,
1286
0
                                           delete_bitmap, cur_version - 1, token.get(), nullptr));
1287
0
        RETURN_IF_ERROR(token->wait());
1288
0
    }
1289
1290
    // When there is only one segment, it will be calculated in the current thread.
1291
    // Otherwise, it will be submitted to the thread pool for calculation.
1292
3
    if (segments.size() <= 1) {
1293
3
        RETURN_IF_ERROR(calc_delete_bitmap(self, rowset, segments, specified_rowsets, delete_bitmap,
1294
3
                                           cur_version - 1, nullptr, transient_rs_writer.get()));
1295
1296
3
    } else {
1297
0
        auto token = self->calc_delete_bitmap_executor()->create_token();
1298
0
        RETURN_IF_ERROR(calc_delete_bitmap(self, rowset, segments, specified_rowsets, delete_bitmap,
1299
0
                                           cur_version - 1, token.get(),
1300
0
                                           transient_rs_writer.get()));
1301
0
        RETURN_IF_ERROR(token->wait());
1302
0
    }
1303
1304
3
    std::stringstream ss;
1305
3
    ss << "cost(us): (load segments: " << t1 << ", get all rsid: " << t2 - t1
1306
3
       << ", get rowsets: " << t3 - t2
1307
3
       << ", calc delete bitmap: " << watch.get_elapse_time_us() - t3 << ")";
1308
1309
3
    if (config::enable_merge_on_write_correctness_check && rowset->num_rows() != 0) {
1310
        // only do correctness check if the rowset has at least one row written
1311
        // check if all the rowset has ROWSET_SENTINEL_MARK
1312
3
        auto st = self->check_delete_bitmap_correctness(delete_bitmap, cur_version - 1, -1,
1313
3
                                                        cur_rowset_ids, &specified_rowsets);
1314
3
        if (!st.ok()) {
1315
0
            LOG(WARNING) << fmt::format("delete bitmap correctness check failed in publish phase!");
1316
0
        }
1317
3
    }
1318
1319
3
    if (transient_rs_writer) {
1320
0
        auto t4 = watch.get_elapse_time_us();
1321
0
        DBUG_EXECUTE_IF("Tablet.update_delete_bitmap.partial_update_write_rowset_fail", {
1322
0
            if (rand() % 100 < (100 * dp->param("percent", 0.5))) {
1323
0
                LOG_WARNING("Tablet.update_delete_bitmap.partial_update_write_rowset random failed")
1324
0
                        .tag("txn_id", txn_id);
1325
0
                return Status::InternalError(
1326
0
                        "debug update_delete_bitmap partial update write rowset random failed");
1327
0
            }
1328
0
        });
1329
        // build rowset writer and merge transient rowset
1330
0
        RETURN_IF_ERROR(transient_rs_writer->flush());
1331
0
        RowsetSharedPtr transient_rowset;
1332
0
        RETURN_IF_ERROR(transient_rs_writer->build(transient_rowset));
1333
0
        auto old_segments = rowset->num_segments();
1334
0
        rowset->merge_rowset_meta(*transient_rowset->rowset_meta());
1335
0
        auto new_segments = rowset->num_segments();
1336
0
        ss << ", partial update flush rowset (old segment num: " << old_segments
1337
0
           << ", new segment num: " << new_segments << ")"
1338
0
           << ", cost:" << watch.get_elapse_time_us() - t4 << "(us)";
1339
1340
        // update the shared_ptr to new bitmap, which is consistent with current rowset.
1341
0
        txn_info->delete_bitmap = delete_bitmap;
1342
        // erase segment cache cause we will add a segment to rowset
1343
0
        SegmentLoader::instance()->erase_segments(rowset->rowset_id(), rowset->num_segments());
1344
0
    }
1345
1346
3
    size_t total_rows = std::accumulate(
1347
3
            segments.begin(), segments.end(), 0,
1348
3
            [](size_t sum, const segment_v2::SegmentSharedPtr& s) { return sum += s->num_rows(); });
1349
3
    auto t5 = watch.get_elapse_time_us();
1350
3
    RETURN_IF_ERROR(self->save_delete_bitmap(txn_info, txn_id, delete_bitmap,
1351
3
                                             transient_rs_writer.get(), cur_rowset_ids));
1352
1353
    // defensive check, check that the delete bitmap cache we wrote is correct
1354
3
    RETURN_IF_ERROR(self->check_delete_bitmap_cache(txn_id, delete_bitmap.get()));
1355
1356
3
    LOG(INFO) << "[Publish] construct delete bitmap tablet: " << self->tablet_id()
1357
3
              << ", rowset_ids to add: "
1358
3
              << (specified_rowsets.size() + rowsets_skip_alignment.size())
1359
3
              << ", rowset_ids to del: " << rowset_ids_to_del.size()
1360
3
              << ", cur version: " << cur_version << ", transaction_id: " << txn_id << ","
1361
3
              << ss.str() << " , total rows: " << total_rows
1362
3
              << ", update delete_bitmap cost: " << watch.get_elapse_time_us() - t5 << "(us)";
1363
3
    return Status::OK();
1364
3
}
1365
1366
void BaseTablet::calc_compaction_output_rowset_delete_bitmap(
1367
        const std::vector<RowsetSharedPtr>& input_rowsets, const RowIdConversion& rowid_conversion,
1368
        uint64_t start_version, uint64_t end_version, std::set<RowLocation>* missed_rows,
1369
        std::map<RowsetSharedPtr, std::list<std::pair<RowLocation, RowLocation>>>* location_map,
1370
0
        const DeleteBitmap& input_delete_bitmap, DeleteBitmap* output_rowset_delete_bitmap) {
1371
0
    RowLocation src;
1372
0
    RowLocation dst;
1373
0
    for (auto& rowset : input_rowsets) {
1374
0
        src.rowset_id = rowset->rowset_id();
1375
0
        for (uint32_t seg_id = 0; seg_id < rowset->num_segments(); ++seg_id) {
1376
0
            src.segment_id = seg_id;
1377
0
            DeleteBitmap subset_map(tablet_id());
1378
0
            input_delete_bitmap.subset({rowset->rowset_id(), seg_id, start_version},
1379
0
                                       {rowset->rowset_id(), seg_id, end_version}, &subset_map);
1380
            // traverse all versions and convert rowid
1381
0
            for (auto iter = subset_map.delete_bitmap.begin();
1382
0
                 iter != subset_map.delete_bitmap.end(); ++iter) {
1383
0
                auto cur_version = std::get<2>(iter->first);
1384
0
                for (auto index = iter->second.begin(); index != iter->second.end(); ++index) {
1385
0
                    src.row_id = *index;
1386
0
                    if (rowid_conversion.get(src, &dst) != 0) {
1387
0
                        VLOG_CRITICAL << "Can't find rowid, may be deleted by the delete_handler, "
1388
0
                                      << " src loaction: |" << src.rowset_id << "|"
1389
0
                                      << src.segment_id << "|" << src.row_id
1390
0
                                      << " version: " << cur_version;
1391
0
                        if (missed_rows) {
1392
0
                            missed_rows->insert(src);
1393
0
                        }
1394
0
                        continue;
1395
0
                    }
1396
0
                    VLOG_DEBUG << "calc_compaction_output_rowset_delete_bitmap dst location: |"
1397
0
                               << dst.rowset_id << "|" << dst.segment_id << "|" << dst.row_id
1398
0
                               << " src location: |" << src.rowset_id << "|" << src.segment_id
1399
0
                               << "|" << src.row_id << " start version: " << start_version
1400
0
                               << "end version" << end_version;
1401
0
                    if (location_map) {
1402
0
                        (*location_map)[rowset].emplace_back(src, dst);
1403
0
                    }
1404
0
                    output_rowset_delete_bitmap->add({dst.rowset_id, dst.segment_id, cur_version},
1405
0
                                                     dst.row_id);
1406
0
                }
1407
0
            }
1408
0
        }
1409
0
    }
1410
0
}
1411
1412
Status BaseTablet::check_rowid_conversion(
1413
        RowsetSharedPtr dst_rowset,
1414
        const std::map<RowsetSharedPtr, std::list<std::pair<RowLocation, RowLocation>>>&
1415
0
                location_map) {
1416
0
    if (location_map.empty()) {
1417
0
        VLOG_DEBUG << "check_rowid_conversion, location_map is empty";
1418
0
        return Status::OK();
1419
0
    }
1420
0
    std::vector<segment_v2::SegmentSharedPtr> dst_segments;
1421
1422
0
    RETURN_IF_ERROR(
1423
0
            std::dynamic_pointer_cast<BetaRowset>(dst_rowset)->load_segments(&dst_segments));
1424
0
    std::unordered_map<RowsetId, std::vector<segment_v2::SegmentSharedPtr>> input_rowsets_segment;
1425
1426
0
    VLOG_DEBUG << "check_rowid_conversion, dst_segments size: " << dst_segments.size();
1427
0
    for (auto [src_rowset, locations] : location_map) {
1428
0
        std::vector<segment_v2::SegmentSharedPtr>& segments =
1429
0
                input_rowsets_segment[src_rowset->rowset_id()];
1430
0
        if (segments.empty()) {
1431
0
            RETURN_IF_ERROR(
1432
0
                    std::dynamic_pointer_cast<BetaRowset>(src_rowset)->load_segments(&segments));
1433
0
        }
1434
0
        for (auto& [src, dst] : locations) {
1435
0
            std::string src_key;
1436
0
            std::string dst_key;
1437
0
            Status s = segments[src.segment_id]->read_key_by_rowid(src.row_id, &src_key);
1438
0
            if (UNLIKELY(s.is<NOT_IMPLEMENTED_ERROR>())) {
1439
0
                LOG(INFO) << "primary key index of old version does not "
1440
0
                             "support reading key by rowid";
1441
0
                break;
1442
0
            }
1443
0
            if (UNLIKELY(!s)) {
1444
0
                LOG(WARNING) << "failed to get src key: |" << src.rowset_id << "|" << src.segment_id
1445
0
                             << "|" << src.row_id << " status: " << s;
1446
0
                DCHECK(false);
1447
0
                return s;
1448
0
            }
1449
1450
0
            s = dst_segments[dst.segment_id]->read_key_by_rowid(dst.row_id, &dst_key);
1451
0
            if (UNLIKELY(!s)) {
1452
0
                LOG(WARNING) << "failed to get dst key: |" << dst.rowset_id << "|" << dst.segment_id
1453
0
                             << "|" << dst.row_id << " status: " << s;
1454
0
                DCHECK(false);
1455
0
                return s;
1456
0
            }
1457
1458
0
            VLOG_DEBUG << "check_rowid_conversion, src: |" << src.rowset_id << "|" << src.segment_id
1459
0
                       << "|" << src.row_id << "|" << src_key << " dst: |" << dst.rowset_id << "|"
1460
0
                       << dst.segment_id << "|" << dst.row_id << "|" << dst_key;
1461
0
            if (UNLIKELY(src_key.compare(dst_key) != 0)) {
1462
0
                LOG(WARNING) << "failed to check key, src key: |" << src.rowset_id << "|"
1463
0
                             << src.segment_id << "|" << src.row_id << "|" << src_key
1464
0
                             << " dst key: |" << dst.rowset_id << "|" << dst.segment_id << "|"
1465
0
                             << dst.row_id << "|" << dst_key;
1466
0
                DCHECK(false);
1467
0
                return Status::InternalError("failed to check rowid conversion");
1468
0
            }
1469
0
        }
1470
0
    }
1471
0
    return Status::OK();
1472
0
}
1473
1474
// The caller should hold _rowset_update_lock and _meta_lock lock.
1475
Status BaseTablet::update_delete_bitmap_without_lock(
1476
        const BaseTabletSPtr& self, const RowsetSharedPtr& rowset,
1477
0
        const std::vector<RowsetSharedPtr>* specified_base_rowsets) {
1478
0
    DBUG_EXECUTE_IF("BaseTablet.update_delete_bitmap_without_lock.random_failed", {
1479
0
        auto rnd = rand() % 100;
1480
0
        auto percent = dp->param("percent", 0.1);
1481
0
        if (rnd < (100 * percent)) {
1482
0
            LOG(WARNING) << "BaseTablet.update_delete_bitmap_without_lock.random_failed";
1483
0
            return Status::InternalError(
1484
0
                    "debug tablet update delete bitmap without lock random failed");
1485
0
        } else {
1486
0
            LOG(INFO) << "BaseTablet.update_delete_bitmap_without_lock.random_failed not "
1487
0
                         "triggered"
1488
0
                      << ", rnd:" << rnd << ", percent: " << percent;
1489
0
        }
1490
0
    });
1491
0
    int64_t cur_version = rowset->start_version();
1492
0
    std::vector<segment_v2::SegmentSharedPtr> segments;
1493
0
    RETURN_IF_ERROR(std::dynamic_pointer_cast<BetaRowset>(rowset)->load_segments(&segments));
1494
1495
    // If this rowset does not have a segment, there is no need for an update.
1496
0
    if (segments.empty()) {
1497
0
        LOG(INFO) << "[Schema Change or Clone] skip to construct delete bitmap tablet: "
1498
0
                  << self->tablet_id() << " cur max_version: " << cur_version;
1499
0
        return Status::OK();
1500
0
    }
1501
1502
    // calculate delete bitmap between segments if necessary.
1503
0
    DeleteBitmapPtr delete_bitmap = std::make_shared<DeleteBitmap>(self->tablet_id());
1504
0
    RETURN_IF_ERROR(self->calc_delete_bitmap_between_segments(rowset, segments, delete_bitmap));
1505
1506
    // get all base rowsets to calculate on
1507
0
    std::vector<RowsetSharedPtr> specified_rowsets;
1508
0
    RowsetIdUnorderedSet cur_rowset_ids;
1509
0
    if (specified_base_rowsets == nullptr) {
1510
0
        RETURN_IF_ERROR(self->get_all_rs_id_unlocked(cur_version - 1, &cur_rowset_ids));
1511
0
        specified_rowsets = self->get_rowset_by_ids(&cur_rowset_ids);
1512
0
    } else {
1513
0
        specified_rowsets = *specified_base_rowsets;
1514
0
    }
1515
1516
0
    OlapStopWatch watch;
1517
0
    auto token = self->calc_delete_bitmap_executor()->create_token();
1518
0
    RETURN_IF_ERROR(calc_delete_bitmap(self, rowset, segments, specified_rowsets, delete_bitmap,
1519
0
                                       cur_version - 1, token.get()));
1520
0
    RETURN_IF_ERROR(token->wait());
1521
0
    size_t total_rows = std::accumulate(
1522
0
            segments.begin(), segments.end(), 0,
1523
0
            [](size_t sum, const segment_v2::SegmentSharedPtr& s) { return sum += s->num_rows(); });
1524
0
    LOG(INFO) << "[Schema Change or Clone] construct delete bitmap tablet: " << self->tablet_id()
1525
0
              << ", rowset_ids: " << cur_rowset_ids.size() << ", cur max_version: " << cur_version
1526
0
              << ", transaction_id: " << -1 << ", cost: " << watch.get_elapse_time_us()
1527
0
              << "(us), total rows: " << total_rows;
1528
0
    if (config::enable_merge_on_write_correctness_check) {
1529
        // check if all the rowset has ROWSET_SENTINEL_MARK
1530
0
        auto st = self->check_delete_bitmap_correctness(delete_bitmap, cur_version - 1, -1,
1531
0
                                                        cur_rowset_ids, &specified_rowsets);
1532
0
        if (!st.ok()) {
1533
0
            LOG(WARNING) << fmt::format("delete bitmap correctness check failed in publish phase!");
1534
0
        }
1535
0
        delete_bitmap->remove_sentinel_marks();
1536
0
    }
1537
0
    for (auto& iter : delete_bitmap->delete_bitmap) {
1538
0
        self->_tablet_meta->delete_bitmap().merge(
1539
0
                {std::get<0>(iter.first), std::get<1>(iter.first), cur_version}, iter.second);
1540
0
    }
1541
1542
0
    return Status::OK();
1543
0
}
1544
1545
0
RowsetSharedPtr BaseTablet::get_rowset(const RowsetId& rowset_id) {
1546
0
    std::shared_lock rdlock(_meta_lock);
1547
0
    for (auto& version_rowset : _rs_version_map) {
1548
0
        if (version_rowset.second->rowset_id() == rowset_id) {
1549
0
            return version_rowset.second;
1550
0
        }
1551
0
    }
1552
0
    for (auto& stale_version_rowset : _stale_rs_version_map) {
1553
0
        if (stale_version_rowset.second->rowset_id() == rowset_id) {
1554
0
            return stale_version_rowset.second;
1555
0
        }
1556
0
    }
1557
0
    return nullptr;
1558
0
}
1559
1560
0
std::vector<RowsetSharedPtr> BaseTablet::get_snapshot_rowset(bool include_stale_rowset) const {
1561
0
    std::shared_lock rdlock(_meta_lock);
1562
0
    std::vector<RowsetSharedPtr> rowsets;
1563
0
    std::transform(_rs_version_map.cbegin(), _rs_version_map.cend(), std::back_inserter(rowsets),
1564
0
                   [](auto& kv) { return kv.second; });
1565
0
    if (include_stale_rowset) {
1566
0
        std::transform(_stale_rs_version_map.cbegin(), _stale_rs_version_map.cend(),
1567
0
                       std::back_inserter(rowsets), [](auto& kv) { return kv.second; });
1568
0
    }
1569
0
    return rowsets;
1570
0
}
1571
1572
void BaseTablet::calc_consecutive_empty_rowsets(
1573
        std::vector<RowsetSharedPtr>* empty_rowsets,
1574
4
        const std::vector<RowsetSharedPtr>& candidate_rowsets, int64_t limit) {
1575
4
    int len = static_cast<int>(candidate_rowsets.size());
1576
12
    for (int i = 0; i < len - 1; ++i) {
1577
9
        auto rowset = candidate_rowsets[i];
1578
9
        auto next_rowset = candidate_rowsets[i + 1];
1579
1580
        // identify two consecutive rowsets that are empty
1581
9
        if (rowset->num_segments() == 0 && next_rowset->num_segments() == 0 &&
1582
9
            !rowset->rowset_meta()->has_delete_predicate() &&
1583
9
            !next_rowset->rowset_meta()->has_delete_predicate() &&
1584
9
            rowset->end_version() == next_rowset->start_version() - 1) {
1585
1
            empty_rowsets->emplace_back(rowset);
1586
1
            empty_rowsets->emplace_back(next_rowset);
1587
1
            rowset = next_rowset;
1588
1
            int next_index = i + 2;
1589
1590
            // keep searching for consecutive empty rowsets
1591
6
            while (next_index < len && candidate_rowsets[next_index]->num_segments() == 0 &&
1592
6
                   !candidate_rowsets[next_index]->rowset_meta()->has_delete_predicate() &&
1593
6
                   rowset->end_version() == candidate_rowsets[next_index]->start_version() - 1) {
1594
5
                empty_rowsets->emplace_back(candidate_rowsets[next_index]);
1595
5
                rowset = candidate_rowsets[next_index++];
1596
5
            }
1597
            // if the number of consecutive empty rowset reach the limit,
1598
            // and there are still rowsets following them
1599
1
            if (empty_rowsets->size() >= limit && next_index < len) {
1600
1
                return;
1601
1
            } else {
1602
                // current rowset is not empty, start searching from that rowset in the next
1603
0
                i = next_index - 1;
1604
0
                empty_rowsets->clear();
1605
0
            }
1606
1
        }
1607
9
    }
1608
4
}
1609
1610
Status BaseTablet::calc_file_crc(uint32_t* crc_value, int64_t start_version, int64_t end_version,
1611
0
                                 int32_t* rowset_count, int64_t* file_count) {
1612
0
    Version v(start_version, end_version);
1613
0
    std::vector<RowsetSharedPtr> rowsets;
1614
0
    traverse_rowsets([&rowsets, &v](const auto& rs) {
1615
        // get all rowsets
1616
0
        if (v.contains(rs->version())) {
1617
0
            rowsets.emplace_back(rs);
1618
0
        }
1619
0
    });
1620
0
    std::sort(rowsets.begin(), rowsets.end(), Rowset::comparator);
1621
0
    *rowset_count = rowsets.size();
1622
1623
0
    *crc_value = 0;
1624
0
    *file_count = 0;
1625
0
    for (const auto& rs : rowsets) {
1626
0
        uint32_t rs_crc_value = 0;
1627
0
        int64_t rs_file_count = 0;
1628
0
        auto rowset = std::static_pointer_cast<BetaRowset>(rs);
1629
0
        auto st = rowset->calc_file_crc(&rs_crc_value, &rs_file_count);
1630
0
        if (!st.ok()) {
1631
0
            return st;
1632
0
        }
1633
        // crc_value is calculated based on the crc_value of each rowset.
1634
0
        *crc_value = crc32c::Extend(*crc_value, reinterpret_cast<const char*>(&rs_crc_value),
1635
0
                                    sizeof(rs_crc_value));
1636
0
        *file_count += rs_file_count;
1637
0
    }
1638
0
    return Status::OK();
1639
0
}
1640
1641
0
Status BaseTablet::show_nested_index_file(std::string* json_meta) {
1642
0
    Version v(0, max_version_unlocked());
1643
0
    std::vector<RowsetSharedPtr> rowsets;
1644
0
    traverse_rowsets([&rowsets, &v](const auto& rs) {
1645
        // get all rowsets
1646
0
        if (v.contains(rs->version())) {
1647
0
            rowsets.emplace_back(rs);
1648
0
        }
1649
0
    });
1650
0
    std::sort(rowsets.begin(), rowsets.end(), Rowset::comparator);
1651
1652
0
    rapidjson::Document doc;
1653
0
    doc.SetObject();
1654
0
    rapidjson::Document::AllocatorType& allocator = doc.GetAllocator();
1655
0
    rapidjson::Value tabletIdValue(tablet_id());
1656
0
    doc.AddMember("tablet_id", tabletIdValue, allocator);
1657
1658
0
    rapidjson::Value rowsets_value(rapidjson::kArrayType);
1659
1660
0
    for (const auto& rs : rowsets) {
1661
0
        rapidjson::Value rowset_value(rapidjson::kObjectType);
1662
1663
0
        auto rowset = std::static_pointer_cast<BetaRowset>(rs);
1664
0
        RETURN_IF_ERROR(rowset->show_nested_index_file(&rowset_value, allocator));
1665
0
        rowsets_value.PushBack(rowset_value, allocator);
1666
0
    }
1667
0
    doc.AddMember("rowsets", rowsets_value, allocator);
1668
1669
0
    rapidjson::StringBuffer buffer;
1670
0
    rapidjson::PrettyWriter<rapidjson::StringBuffer> writer(buffer);
1671
0
    doc.Accept(writer);
1672
0
    *json_meta = std::string(buffer.GetString());
1673
1674
0
    return Status::OK();
1675
0
}
1676
1677
void BaseTablet::get_base_rowset_delete_bitmap_count(
1678
        uint64_t* max_base_rowset_delete_bitmap_score,
1679
0
        int64_t* max_base_rowset_delete_bitmap_score_tablet_id) {
1680
0
    std::vector<RowsetSharedPtr> rowsets_;
1681
0
    std::string base_rowset_id_str;
1682
0
    {
1683
0
        std::shared_lock rowset_ldlock(this->get_header_lock());
1684
0
        for (const auto& it : _rs_version_map) {
1685
0
            rowsets_.emplace_back(it.second);
1686
0
        }
1687
0
    }
1688
0
    std::sort(rowsets_.begin(), rowsets_.end(), Rowset::comparator);
1689
0
    if (!rowsets_.empty()) {
1690
0
        bool base_found = false;
1691
0
        for (auto& rowset : rowsets_) {
1692
0
            if (rowset->start_version() > 2) {
1693
0
                break;
1694
0
            }
1695
0
            base_found = true;
1696
0
            uint64_t base_rowset_delete_bitmap_count =
1697
0
                    this->tablet_meta()->delete_bitmap().get_count_with_range(
1698
0
                            {rowset->rowset_id(), 0, 0},
1699
0
                            {rowset->rowset_id(), UINT32_MAX, UINT64_MAX});
1700
0
            if (base_rowset_delete_bitmap_count > *max_base_rowset_delete_bitmap_score) {
1701
0
                *max_base_rowset_delete_bitmap_score = base_rowset_delete_bitmap_count;
1702
0
                *max_base_rowset_delete_bitmap_score_tablet_id = this->tablet_id();
1703
0
            }
1704
0
        }
1705
0
        if (!base_found) {
1706
0
            LOG(WARNING) << "can not found base rowset for tablet " << tablet_id();
1707
0
        }
1708
0
    }
1709
0
}
1710
1711
} // namespace doris