Coverage Report

Created: 2024-11-21 20:39

/root/doris/be/src/olap/rowset_builder.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/rowset_builder.h"
19
20
#include <brpc/controller.h>
21
#include <fmt/format.h>
22
23
#include <filesystem>
24
#include <memory>
25
#include <ostream>
26
#include <string>
27
#include <utility>
28
29
// IWYU pragma: no_include <opentelemetry/common/threadlocal.h>
30
#include "common/compiler_util.h" // IWYU pragma: keep
31
#include "common/config.h"
32
#include "common/status.h"
33
#include "exec/tablet_info.h"
34
#include "gutil/strings/numbers.h"
35
#include "io/fs/file_system.h"
36
#include "io/fs/file_writer.h" // IWYU pragma: keep
37
#include "olap/calc_delete_bitmap_executor.h"
38
#include "olap/olap_define.h"
39
#include "olap/partial_update_info.h"
40
#include "olap/rowset/beta_rowset.h"
41
#include "olap/rowset/beta_rowset_writer.h"
42
#include "olap/rowset/pending_rowset_helper.h"
43
#include "olap/rowset/rowset_meta.h"
44
#include "olap/rowset/rowset_meta_manager.h"
45
#include "olap/rowset/rowset_writer.h"
46
#include "olap/rowset/rowset_writer_context.h"
47
#include "olap/schema_change.h"
48
#include "olap/storage_engine.h"
49
#include "olap/tablet_manager.h"
50
#include "olap/tablet_meta.h"
51
#include "olap/tablet_schema.h"
52
#include "olap/txn_manager.h"
53
#include "runtime/memory/global_memory_arbitrator.h"
54
#include "util/brpc_client_cache.h"
55
#include "util/debug_points.h"
56
#include "util/mem_info.h"
57
#include "util/ref_count_closure.h"
58
#include "util/stopwatch.hpp"
59
#include "util/time.h"
60
#include "util/trace.h"
61
#include "vec/common/schema_util.h"
62
#include "vec/core/block.h"
63
64
namespace doris {
65
using namespace ErrorCode;
66
67
BaseRowsetBuilder::BaseRowsetBuilder(const WriteRequest& req, RuntimeProfile* profile)
68
26
        : _req(req), _tablet_schema(std::make_shared<TabletSchema>()) {
69
26
    _init_profile(profile);
70
26
}
71
72
RowsetBuilder::RowsetBuilder(StorageEngine& engine, const WriteRequest& req,
73
                             RuntimeProfile* profile)
74
26
        : BaseRowsetBuilder(req, profile), _engine(engine) {}
75
76
26
void BaseRowsetBuilder::_init_profile(RuntimeProfile* profile) {
77
26
    _profile = profile->create_child(fmt::format("RowsetBuilder {}", _req.tablet_id), true, true);
78
26
    _build_rowset_timer = ADD_TIMER(_profile, "BuildRowsetTime");
79
26
    _submit_delete_bitmap_timer = ADD_TIMER(_profile, "DeleteBitmapSubmitTime");
80
26
    _wait_delete_bitmap_timer = ADD_TIMER(_profile, "DeleteBitmapWaitTime");
81
26
}
82
83
0
void RowsetBuilder::_init_profile(RuntimeProfile* profile) {
84
0
    BaseRowsetBuilder::_init_profile(profile);
85
0
    _commit_txn_timer = ADD_TIMER(_profile, "CommitTxnTime");
86
0
}
87
88
26
BaseRowsetBuilder::~BaseRowsetBuilder() {
89
26
    if (!_is_init) {
90
1
        return;
91
1
    }
92
93
25
    if (_calc_delete_bitmap_token != nullptr) {
94
25
        _calc_delete_bitmap_token->cancel();
95
25
    }
96
25
}
97
98
26
RowsetBuilder::~RowsetBuilder() {
99
26
    if (_is_init && !_is_committed) {
100
5
        _garbage_collection();
101
5
    }
102
26
}
103
104
212
Tablet* RowsetBuilder::tablet() {
105
212
    return static_cast<Tablet*>(_tablet.get());
106
212
}
107
108
0
TabletSharedPtr RowsetBuilder::tablet_sptr() {
109
0
    return std::static_pointer_cast<Tablet>(_tablet);
110
0
}
111
112
5
void RowsetBuilder::_garbage_collection() {
113
5
    Status rollback_status;
114
5
    TxnManager* txn_mgr = _engine.txn_manager();
115
5
    if (tablet() != nullptr) {
116
5
        rollback_status = txn_mgr->rollback_txn(_req.partition_id, *tablet(), _req.txn_id);
117
5
    }
118
    // has to check rollback status, because the rowset maybe committed in this thread and
119
    // published in another thread, then rollback will fail.
120
    // when rollback failed should not delete rowset
121
5
    if (rollback_status.ok()) {
122
5
        _engine.add_unused_rowset(_rowset);
123
5
    }
124
5
}
125
126
3
Status BaseRowsetBuilder::init_mow_context(std::shared_ptr<MowContext>& mow_context) {
127
3
    std::lock_guard<std::shared_mutex> lck(tablet()->get_header_lock());
128
3
    _max_version_in_flush_phase = tablet()->max_version_unlocked();
129
3
    std::vector<RowsetSharedPtr> rowset_ptrs;
130
    // tablet is under alter process. The delete bitmap will be calculated after conversion.
131
3
    if (tablet()->tablet_state() == TABLET_NOTREADY) {
132
        // Disable 'partial_update' when the tablet is undergoing a 'schema changing process'
133
0
        if (_req.table_schema_param->is_partial_update()) {
134
0
            return Status::InternalError(
135
0
                    "Unable to do 'partial_update' when "
136
0
                    "the tablet is undergoing a 'schema changing process'");
137
0
        }
138
0
        _rowset_ids.clear();
139
3
    } else {
140
3
        RETURN_IF_ERROR(
141
3
                tablet()->get_all_rs_id_unlocked(_max_version_in_flush_phase, &_rowset_ids));
142
3
        rowset_ptrs = tablet()->get_rowset_by_ids(&_rowset_ids);
143
3
    }
144
3
    _delete_bitmap = std::make_shared<DeleteBitmap>(tablet()->tablet_id());
145
3
    mow_context = std::make_shared<MowContext>(_max_version_in_flush_phase, _req.txn_id,
146
3
                                               _rowset_ids, rowset_ptrs, _delete_bitmap);
147
3
    return Status::OK();
148
3
}
149
150
25
Status RowsetBuilder::check_tablet_version_count() {
151
25
    if (!_tablet->exceed_version_limit(config::max_tablet_version_num - 100) ||
152
25
        GlobalMemoryArbitrator::is_exceed_soft_mem_limit(GB_EXCHANGE_BYTE)) {
153
25
        return Status::OK();
154
25
    }
155
    //trigger compaction
156
0
    auto st = _engine.submit_compaction_task(tablet_sptr(), CompactionType::CUMULATIVE_COMPACTION,
157
0
                                             true);
158
0
    if (!st.ok()) [[unlikely]] {
159
0
        LOG(WARNING) << "failed to trigger compaction, tablet_id=" << _tablet->tablet_id() << " : "
160
0
                     << st;
161
0
    }
162
0
    int version_count = tablet()->version_count();
163
0
    DBUG_EXECUTE_IF("RowsetBuilder.check_tablet_version_count.too_many_version",
164
0
                    { version_count = INT_MAX; });
165
0
    if (version_count > config::max_tablet_version_num) {
166
0
        return Status::Error<TOO_MANY_VERSION>(
167
0
                "failed to init rowset builder. version count: {}, exceed limit: {}, "
168
0
                "tablet: {}. Please reduce the frequency of loading data or adjust the "
169
0
                "max_tablet_version_num in be.conf to a larger value.",
170
0
                version_count, config::max_tablet_version_num, _tablet->tablet_id());
171
0
    }
172
0
    return Status::OK();
173
0
}
174
175
25
Status RowsetBuilder::prepare_txn() {
176
25
    std::shared_lock base_migration_lock(tablet()->get_migration_lock(), std::defer_lock);
177
25
    if (!base_migration_lock.try_lock_for(
178
25
                std::chrono::milliseconds(config::migration_lock_timeout_ms))) {
179
0
        return Status::Error<TRY_LOCK_FAILED>("try_lock migration lock failed after {}ms",
180
0
                                              config::migration_lock_timeout_ms);
181
0
    }
182
25
    std::lock_guard<std::mutex> push_lock(tablet()->get_push_lock());
183
25
    return _engine.txn_manager()->prepare_txn(_req.partition_id, *tablet(), _req.txn_id,
184
25
                                              _req.load_id);
185
25
}
186
187
26
Status RowsetBuilder::init() {
188
26
    _tablet = DORIS_TRY(_engine.get_tablet(_req.tablet_id));
189
25
    std::shared_ptr<MowContext> mow_context;
190
25
    if (_tablet->enable_unique_key_merge_on_write()) {
191
3
        RETURN_IF_ERROR(init_mow_context(mow_context));
192
3
    }
193
194
25
    if (!config::disable_auto_compaction &&
195
25
        !_tablet->tablet_meta()->tablet_schema()->disable_auto_compaction()) {
196
25
        RETURN_IF_ERROR(check_tablet_version_count());
197
25
    }
198
199
25
    int version_count = tablet()->version_count() + tablet()->stale_version_count();
200
25
    if (tablet()->avg_rs_meta_serialize_size() * version_count >
201
25
        config::tablet_meta_serialize_size_limit) {
202
0
        return Status::Error<TOO_MANY_VERSION>(
203
0
                "failed to init rowset builder. meta serialize size : {}, exceed limit: {}, "
204
0
                "tablet: {}. Please reduce the frequency of loading data or adjust the "
205
0
                "max_tablet_version_num in be.conf to a larger value.",
206
0
                tablet()->avg_rs_meta_serialize_size() * version_count,
207
0
                config::tablet_meta_serialize_size_limit, _tablet->tablet_id());
208
0
    }
209
210
25
    RETURN_IF_ERROR(prepare_txn());
211
212
25
    DBUG_EXECUTE_IF("BaseRowsetBuilder::init.check_partial_update_column_num", {
213
25
        if (_req.table_schema_param->partial_update_input_columns().size() !=
214
25
            dp->param<int>("column_num")) {
215
25
            return Status::InternalError("partial update input column num wrong!");
216
25
        };
217
25
    })
218
    // build tablet schema in request level
219
25
    _build_current_tablet_schema(_req.index_id, _req.table_schema_param.get(),
220
25
                                 *_tablet->tablet_schema());
221
25
    RowsetWriterContext context;
222
25
    context.txn_id = _req.txn_id;
223
25
    context.load_id = _req.load_id;
224
25
    context.rowset_state = PREPARED;
225
25
    context.segments_overlap = OVERLAPPING;
226
25
    context.tablet_schema = _tablet_schema;
227
25
    context.newest_write_timestamp = UnixSeconds();
228
25
    context.tablet_id = _req.tablet_id;
229
25
    context.index_id = _req.index_id;
230
25
    context.tablet = _tablet;
231
25
    context.write_type = DataWriteType::TYPE_DIRECT;
232
25
    context.mow_context = mow_context;
233
25
    context.write_file_cache = _req.write_file_cache;
234
25
    context.partial_update_info = _partial_update_info;
235
25
    _rowset_writer = DORIS_TRY(_tablet->create_rowset_writer(context, false));
236
25
    _pending_rs_guard = _engine.pending_local_rowsets().add(context.rowset_id);
237
238
25
    _calc_delete_bitmap_token = _engine.calc_delete_bitmap_executor()->create_token();
239
240
25
    _is_init = true;
241
25
    return Status::OK();
242
25
}
243
244
20
Status BaseRowsetBuilder::build_rowset() {
245
20
    std::lock_guard<std::mutex> l(_lock);
246
20
    DCHECK(_is_init) << "rowset builder is supposed be to initialized before "
247
0
                        "build_rowset() being called";
248
249
20
    SCOPED_TIMER(_build_rowset_timer);
250
    // use rowset meta manager to save meta
251
20
    RETURN_NOT_OK_STATUS_WITH_WARN(_rowset_writer->build(_rowset), "fail to build rowset");
252
20
    return Status::OK();
253
20
}
254
255
14
Status BaseRowsetBuilder::submit_calc_delete_bitmap_task() {
256
14
    if (!_tablet->enable_unique_key_merge_on_write()) {
257
11
        return Status::OK();
258
11
    }
259
3
    std::lock_guard<std::mutex> l(_lock);
260
3
    SCOPED_TIMER(_submit_delete_bitmap_timer);
261
3
    if (_partial_update_info && _partial_update_info->is_flexible_partial_update()) {
262
0
        if (_rowset->num_segments() > 1) {
263
            // in flexible partial update, when there are more one segment in one load,
264
            // we need to do alignment process for same keys between segments, we haven't
265
            // implemented it yet and just report an error when encouter this situation
266
0
            return Status::NotSupported(
267
0
                    "too large input data in flexible partial update, Please "
268
0
                    "reduce the amount of data imported in a single load.");
269
0
        }
270
0
    }
271
272
    // tablet is under alter process. The delete bitmap will be calculated after conversion.
273
3
    if (_tablet->tablet_state() == TABLET_NOTREADY) {
274
0
        LOG(INFO) << "tablet is under alter process, delete bitmap will be calculated later, "
275
0
                     "tablet_id: "
276
0
                  << _tablet->tablet_id() << " txn_id: " << _req.txn_id;
277
0
        return Status::OK();
278
0
    }
279
3
    auto* beta_rowset = reinterpret_cast<BetaRowset*>(_rowset.get());
280
3
    std::vector<segment_v2::SegmentSharedPtr> segments;
281
3
    RETURN_IF_ERROR(beta_rowset->load_segments(&segments));
282
3
    if (segments.size() > 1) {
283
        // calculate delete bitmap between segments
284
0
        RETURN_IF_ERROR(
285
0
                _tablet->calc_delete_bitmap_between_segments(_rowset, segments, _delete_bitmap));
286
0
    }
287
288
    // For partial update, we need to fill in the entire row of data, during the calculation
289
    // of the delete bitmap. This operation is resource-intensive, and we need to minimize
290
    // the number of times it occurs. Therefore, we skip this operation here.
291
3
    if (_partial_update_info->is_partial_update()) {
292
        // for partial update, the delete bitmap calculation is done while append_block()
293
        // we print it's summarize logs here before commit.
294
0
        LOG(INFO) << fmt::format(
295
0
                "{} calc delete bitmap summary before commit: tablet({}), txn_id({}), "
296
0
                "rowset_ids({}), cur max_version({}), bitmap num({}), num rows updated({}), num "
297
0
                "rows new added({}), num rows deleted({}), total rows({})",
298
0
                _partial_update_info->partial_update_mode_str(), tablet()->tablet_id(), _req.txn_id,
299
0
                _rowset_ids.size(), rowset_writer()->context().mow_context->max_version,
300
0
                _delete_bitmap->delete_bitmap.size(), rowset_writer()->num_rows_updated(),
301
0
                rowset_writer()->num_rows_new_added(), rowset_writer()->num_rows_deleted(),
302
0
                rowset_writer()->num_rows());
303
0
        return Status::OK();
304
0
    }
305
306
3
    LOG(INFO) << "submit calc delete bitmap task to executor, tablet_id: " << tablet()->tablet_id()
307
3
              << ", txn_id: " << _req.txn_id;
308
3
    return BaseTablet::commit_phase_update_delete_bitmap(_tablet, _rowset, _rowset_ids,
309
3
                                                         _delete_bitmap, segments, _req.txn_id,
310
3
                                                         _calc_delete_bitmap_token.get(), nullptr);
311
3
}
312
313
14
Status BaseRowsetBuilder::wait_calc_delete_bitmap() {
314
14
    if (!_tablet->enable_unique_key_merge_on_write() || _partial_update_info->is_partial_update()) {
315
11
        return Status::OK();
316
11
    }
317
3
    std::lock_guard<std::mutex> l(_lock);
318
3
    SCOPED_TIMER(_wait_delete_bitmap_timer);
319
3
    RETURN_IF_ERROR(_calc_delete_bitmap_token->wait());
320
3
    LOG(INFO) << "Got result of calc delete bitmap task from executor, tablet_id: "
321
3
              << _tablet->tablet_id() << ", txn_id: " << _req.txn_id;
322
3
    return Status::OK();
323
3
}
324
325
20
Status RowsetBuilder::commit_txn() {
326
20
    if (tablet()->enable_unique_key_merge_on_write() &&
327
20
        config::enable_merge_on_write_correctness_check && _rowset->num_rows() != 0 &&
328
20
        tablet()->tablet_state() != TABLET_NOTREADY) {
329
3
        auto st = tablet()->check_delete_bitmap_correctness(
330
3
                _delete_bitmap, _rowset->end_version() - 1, _req.txn_id, _rowset_ids);
331
3
        if (!st.ok()) {
332
0
            LOG(WARNING) << fmt::format(
333
0
                    "[tablet_id:{}][txn_id:{}][load_id:{}][partition_id:{}] "
334
0
                    "delete bitmap correctness check failed in commit phase!",
335
0
                    _req.tablet_id, _req.txn_id, UniqueId(_req.load_id).to_string(),
336
0
                    _req.partition_id);
337
0
            return st;
338
0
        }
339
3
    }
340
20
    std::lock_guard<std::mutex> l(_lock);
341
20
    SCOPED_TIMER(_commit_txn_timer);
342
343
20
    const RowsetWriterContext& rw_ctx = _rowset_writer->context();
344
20
    if (rw_ctx.tablet_schema->num_variant_columns() > 0) {
345
        // Need to merge schema with `rw_ctx.merged_tablet_schema` in prior,
346
        // merged schema keeps the newest merged schema for the rowset, which is updated and merged
347
        // during flushing segments.
348
0
        if (rw_ctx.merged_tablet_schema != nullptr) {
349
0
            RETURN_IF_ERROR(tablet()->update_by_least_common_schema(rw_ctx.merged_tablet_schema));
350
0
        }
351
        // We should merge rowset schema further, in case that the merged_tablet_schema maybe null
352
        // when enable_memtable_on_sink_node is true, the merged_tablet_schema will not be passed to
353
        // the destination backend.
354
        // update tablet schema when meet variant columns, before commit_txn
355
        // Eg. rowset schema:       A(int),    B(float),  C(int), D(int)
356
        // _tabelt->tablet_schema:  A(bigint), B(double)
357
        //  => update_schema:       A(bigint), B(double), C(int), D(int)
358
0
        RETURN_IF_ERROR(tablet()->update_by_least_common_schema(rw_ctx.tablet_schema));
359
0
    }
360
361
    // Transfer ownership of `PendingRowsetGuard` to `TxnManager`
362
20
    Status res = _engine.txn_manager()->commit_txn(
363
20
            _req.partition_id, *tablet(), _req.txn_id, _req.load_id, _rowset,
364
20
            std::move(_pending_rs_guard), false, _partial_update_info);
365
366
20
    if (!res && !res.is<PUSH_TRANSACTION_ALREADY_EXIST>()) {
367
0
        LOG(WARNING) << "Failed to commit txn: " << _req.txn_id
368
0
                     << " for rowset: " << _rowset->rowset_id();
369
0
        return res;
370
0
    }
371
20
    if (_tablet->enable_unique_key_merge_on_write()) {
372
3
        _engine.txn_manager()->set_txn_related_delete_bitmap(
373
3
                _req.partition_id, _req.txn_id, tablet()->tablet_id(), tablet()->tablet_uid(), true,
374
3
                _delete_bitmap, _rowset_ids, _partial_update_info);
375
3
    }
376
377
20
    _is_committed = true;
378
20
    return Status::OK();
379
20
}
380
381
0
Status BaseRowsetBuilder::cancel() {
382
0
    std::lock_guard<std::mutex> l(_lock);
383
0
    if (_is_cancelled) {
384
0
        return Status::OK();
385
0
    }
386
0
    if (_calc_delete_bitmap_token != nullptr) {
387
0
        _calc_delete_bitmap_token->cancel();
388
0
    }
389
0
    _is_cancelled = true;
390
0
    return Status::OK();
391
0
}
392
393
void BaseRowsetBuilder::_build_current_tablet_schema(int64_t index_id,
394
                                                     const OlapTableSchemaParam* table_schema_param,
395
25
                                                     const TabletSchema& ori_tablet_schema) {
396
25
    _tablet_schema->copy_from(ori_tablet_schema);
397
    // find the right index id
398
25
    int i = 0;
399
25
    auto indexes = table_schema_param->indexes();
400
25
    for (; i < indexes.size(); i++) {
401
13
        if (indexes[i]->index_id == index_id) {
402
13
            break;
403
13
        }
404
13
    }
405
406
25
    if (!indexes.empty() && !indexes[i]->columns.empty() &&
407
25
        indexes[i]->columns[0]->unique_id() >= 0) {
408
0
        _tablet_schema->build_current_tablet_schema(index_id, table_schema_param->version(),
409
0
                                                    indexes[i], ori_tablet_schema);
410
0
    }
411
25
    if (_tablet_schema->schema_version() > ori_tablet_schema.schema_version()) {
412
        // After schema change, should include extracted column
413
        // For example: a table has two columns, k and v
414
        // After adding a column v2, the schema version increases, max_version_schema needs to be updated.
415
        // _tablet_schema includes k, v, and v2
416
        // if v is a variant, need to add the columns decomposed from the v to the _tablet_schema.
417
0
        if (_tablet_schema->num_variant_columns() > 0) {
418
0
            TabletSchemaSPtr max_version_schema = std::make_shared<TabletSchema>();
419
0
            max_version_schema->copy_from(*_tablet_schema);
420
0
            max_version_schema->copy_extracted_columns(ori_tablet_schema);
421
0
            _tablet->update_max_version_schema(max_version_schema);
422
0
        } else {
423
0
            _tablet->update_max_version_schema(_tablet_schema);
424
0
        }
425
0
    }
426
427
25
    _tablet_schema->set_table_id(table_schema_param->table_id());
428
25
    _tablet_schema->set_db_id(table_schema_param->db_id());
429
25
    if (table_schema_param->is_partial_update()) {
430
0
        _tablet_schema->set_auto_increment_column(table_schema_param->auto_increment_coulumn());
431
0
    }
432
    // set partial update columns info
433
25
    _partial_update_info = std::make_shared<PartialUpdateInfo>();
434
25
    _partial_update_info->init(
435
25
            *_tablet_schema, table_schema_param->unique_key_update_mode(),
436
25
            table_schema_param->partial_update_input_columns(),
437
25
            table_schema_param->is_strict_mode(), table_schema_param->timestamp_ms(),
438
25
            table_schema_param->nano_seconds(), table_schema_param->timezone(),
439
25
            table_schema_param->auto_increment_coulumn(),
440
25
            table_schema_param->sequence_map_col_uid(), _max_version_in_flush_phase);
441
25
}
442
443
} // namespace doris