Coverage Report

Created: 2026-06-04 11:22

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
be/src/cloud/cloud_tablet.cpp
Line
Count
Source
1
// Licensed to the Apache Software Foundation (ASF) under one
2
// or more contributor license agreements.  See the NOTICE file
3
// distributed with this work for additional information
4
// regarding copyright ownership.  The ASF licenses this file
5
// to you under the Apache License, Version 2.0 (the
6
// "License"); you may not use this file except in compliance
7
// with the License.  You may obtain a copy of the License at
8
//
9
//   http://www.apache.org/licenses/LICENSE-2.0
10
//
11
// Unless required by applicable law or agreed to in writing,
12
// software distributed under the License is distributed on an
13
// "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
14
// KIND, either express or implied.  See the License for the
15
// specific language governing permissions and limitations
16
// under the License.
17
18
#include "cloud/cloud_tablet.h"
19
20
#include <bvar/bvar.h>
21
#include <bvar/latency_recorder.h>
22
#include <gen_cpp/Types_types.h>
23
#include <gen_cpp/olap_file.pb.h>
24
#include <rapidjson/document.h>
25
#include <rapidjson/encodings.h>
26
#include <rapidjson/prettywriter.h>
27
#include <rapidjson/rapidjson.h>
28
#include <rapidjson/stringbuffer.h>
29
30
#include <algorithm>
31
#include <atomic>
32
#include <chrono>
33
#include <cstdint>
34
#include <memory>
35
#include <ranges>
36
#include <ratio>
37
#include <shared_mutex>
38
#include <unordered_map>
39
#include <vector>
40
41
#include "cloud/cloud_meta_mgr.h"
42
#include "cloud/cloud_storage_engine.h"
43
#include "cloud/cloud_tablet_mgr.h"
44
#include "cloud/cloud_warm_up_manager.h"
45
#include "cloud/config.h"
46
#include "common/cast_set.h"
47
#include "common/config.h"
48
#include "common/logging.h"
49
#include "cpp/sync_point.h"
50
#include "io/cache/block_file_cache_downloader.h"
51
#include "io/cache/block_file_cache_factory.h"
52
#include "storage/compaction/compaction.h"
53
#include "storage/compaction/cumulative_compaction_time_series_policy.h"
54
#include "storage/index/inverted/inverted_index_desc.h"
55
#include "storage/olap_define.h"
56
#include "storage/rowset/beta_rowset.h"
57
#include "storage/rowset/rowset.h"
58
#include "storage/rowset/rowset_factory.h"
59
#include "storage/rowset/rowset_fwd.h"
60
#include "storage/rowset/rowset_writer.h"
61
#include "storage/storage_policy.h"
62
#include "storage/tablet/base_tablet.h"
63
#include "storage/tablet/tablet_schema.h"
64
#include "storage/txn/txn_manager.h"
65
#include "util/debug_points.h"
66
#include "util/stack_util.h"
67
68
namespace doris {
69
using namespace ErrorCode;
70
71
bvar::LatencyRecorder g_cu_compaction_get_delete_bitmap_lock_time_ms(
72
        "cu_compaction_get_delete_bitmap_lock_time_ms");
73
bvar::LatencyRecorder g_base_compaction_get_delete_bitmap_lock_time_ms(
74
        "base_compaction_get_delete_bitmap_lock_time_ms");
75
76
bvar::Adder<int64_t> g_unused_rowsets_count("unused_rowsets_count");
77
bvar::Adder<int64_t> g_unused_rowsets_bytes("unused_rowsets_bytes");
78
79
bvar::Adder<int64_t> g_capture_prefer_cache_count("capture_prefer_cache_count");
80
bvar::Adder<int64_t> g_capture_with_freshness_tolerance_count(
81
        "capture_with_freshness_tolerance_count");
82
bvar::Adder<int64_t> g_capture_with_freshness_tolerance_fallback_count(
83
        "capture_with_freshness_tolerance_fallback_count");
84
bvar::Adder<int64_t> g_rowset_warmup_state_missing_count("rowset_warmup_state_missing_count");
85
bvar::Window<bvar::Adder<int64_t>> g_capture_prefer_cache_count_window(
86
        "capture_prefer_cache_count_window", &g_capture_prefer_cache_count, 30);
87
bvar::Window<bvar::Adder<int64_t>> g_capture_with_freshness_tolerance_count_window(
88
        "capture_with_freshness_tolerance_count_window", &g_capture_with_freshness_tolerance_count,
89
        30);
90
bvar::Window<bvar::Adder<int64_t>> g_capture_with_freshness_tolerance_fallback_count_window(
91
        "capture_with_freshness_tolerance_fallback_count_window",
92
        &g_capture_with_freshness_tolerance_fallback_count, 30);
93
94
static constexpr int LOAD_INITIATOR_ID = -1;
95
96
namespace {
97
98
bool is_schema_change_output_rowset(const RowsetSharedPtr& rowset,
99
3
                                    const std::vector<RowsetSharedPtr>& output_rowsets) {
100
5
    return std::ranges::any_of(output_rowsets, [&rowset](const RowsetSharedPtr& output_rowset) {
101
5
        return output_rowset->rowset_id() == rowset->rowset_id();
102
5
    });
103
3
}
104
105
} // namespace
106
107
bvar::Adder<uint64_t> g_file_cache_cloud_tablet_submitted_segment_size(
108
        "file_cache_cloud_tablet_submitted_segment_size");
109
bvar::Adder<uint64_t> g_file_cache_cloud_tablet_submitted_segment_num(
110
        "file_cache_cloud_tablet_submitted_segment_num");
111
bvar::Adder<uint64_t> g_file_cache_cloud_tablet_submitted_index_size(
112
        "file_cache_cloud_tablet_submitted_index_size");
113
bvar::Adder<uint64_t> g_file_cache_cloud_tablet_submitted_index_num(
114
        "file_cache_cloud_tablet_submitted_index_num");
115
bvar::Adder<uint64_t> g_file_cache_cloud_tablet_finished_segment_size(
116
        "file_cache_cloud_tablet_finished_segment_size");
117
bvar::Adder<uint64_t> g_file_cache_cloud_tablet_finished_segment_num(
118
        "file_cache_cloud_tablet_finished_segment_num");
119
bvar::Adder<uint64_t> g_file_cache_cloud_tablet_finished_index_size(
120
        "file_cache_cloud_tablet_finished_index_size");
121
bvar::Adder<uint64_t> g_file_cache_cloud_tablet_finished_index_num(
122
        "file_cache_cloud_tablet_finished_index_num");
123
124
bvar::Adder<uint64_t> g_file_cache_recycle_cached_data_segment_num(
125
        "file_cache_recycle_cached_data_segment_num");
126
bvar::Adder<uint64_t> g_file_cache_recycle_cached_data_segment_size(
127
        "file_cache_recycle_cached_data_segment_size");
128
bvar::Adder<uint64_t> g_file_cache_recycle_cached_data_index_num(
129
        "file_cache_recycle_cached_data_index_num");
130
131
bvar::Adder<uint64_t> g_file_cache_warm_up_segment_complete_num(
132
        "file_cache_warm_up_segment_complete_num");
133
bvar::Adder<uint64_t> g_file_cache_warm_up_segment_failed_num(
134
        "file_cache_warm_up_segment_failed_num");
135
bvar::Adder<uint64_t> g_file_cache_warm_up_inverted_idx_complete_num(
136
        "file_cache_warm_up_inverted_idx_complete_num");
137
bvar::Adder<uint64_t> g_file_cache_warm_up_inverted_idx_failed_num(
138
        "file_cache_warm_up_inverted_idx_failed_num");
139
bvar::Adder<uint64_t> g_file_cache_warm_up_rowset_complete_num(
140
        "file_cache_warm_up_rowset_complete_num");
141
bvar::Adder<uint64_t> g_file_cache_warm_up_rowset_triggered_by_job_num(
142
        "file_cache_warm_up_rowset_triggered_by_job_num");
143
bvar::Adder<uint64_t> g_file_cache_warm_up_rowset_triggered_by_sync_rowset_num(
144
        "file_cache_warm_up_rowset_triggered_by_sync_rowset_num");
145
bvar::Adder<uint64_t> g_file_cache_warm_up_rowset_triggered_by_event_driven_num(
146
        "file_cache_warm_up_rowset_triggered_by_event_driven_num");
147
bvar::LatencyRecorder g_file_cache_warm_up_rowset_all_segments_latency(
148
        "file_cache_warm_up_rowset_all_segments_latency");
149
150
CloudTablet::CloudTablet(CloudStorageEngine& engine, TabletMetaSharedPtr tablet_meta)
151
160
        : BaseTablet(std::move(tablet_meta)), _engine(engine) {}
152
153
160
CloudTablet::~CloudTablet() = default;
154
155
0
bool CloudTablet::exceed_version_limit(int32_t limit) {
156
0
    return _approximate_num_rowsets.load(std::memory_order_relaxed) > limit;
157
0
}
158
159
19
std::string CloudTablet::tablet_path() const {
160
19
    return "";
161
19
}
162
163
Status CloudTablet::capture_rs_readers(const Version& spec_version,
164
                                       std::vector<RowSetSplits>* rs_splits,
165
0
                                       const CaptureRowsetOps& opts) {
166
0
    DBUG_EXECUTE_IF("CloudTablet.capture_rs_readers.return.e-230", {
167
0
        LOG_WARNING("CloudTablet.capture_rs_readers.return e-230").tag("tablet_id", tablet_id());
168
0
        return Status::Error<false>(-230, "injected error");
169
0
    });
170
0
    std::shared_lock rlock(_meta_lock);
171
0
    *rs_splits = DORIS_TRY(capture_rs_readers_unlocked(
172
0
            spec_version, CaptureRowsetOps {.skip_missing_versions = opts.skip_missing_versions}));
173
0
    return Status::OK();
174
0
}
175
176
[[nodiscard]] Result<std::vector<Version>> CloudTablet::capture_consistent_versions_unlocked(
177
43
        const Version& version_range, const CaptureRowsetOps& options) const {
178
43
    if (options.query_freshness_tolerance_ms > 0) {
179
24
        return capture_versions_with_freshness_tolerance(version_range, options);
180
24
    } else if (options.enable_prefer_cached_rowset && !enable_unique_key_merge_on_write()) {
181
13
        return capture_versions_prefer_cache(version_range);
182
13
    }
183
6
    return BaseTablet::capture_consistent_versions_unlocked(version_range, options);
184
43
}
185
186
Result<std::vector<Version>> CloudTablet::capture_versions_prefer_cache(
187
13
        const Version& spec_version) const {
188
13
    g_capture_prefer_cache_count << 1;
189
13
    Versions version_path;
190
13
    std::shared_lock rlock(_meta_lock);
191
13
    auto st = _timestamped_version_tracker.capture_consistent_versions_prefer_cache(
192
13
            spec_version, version_path,
193
92
            [&](int64_t start, int64_t end) { return rowset_is_warmed_up_unlocked(start, end); });
194
13
    if (!st.ok()) {
195
0
        return ResultError(st);
196
0
    }
197
13
    int64_t path_max_version = version_path.back().second;
198
13
    VLOG_DEBUG << fmt::format(
199
0
            "[verbose] CloudTablet::capture_versions_prefer_cache, capture path: {}, "
200
0
            "tablet_id={}, spec_version={}, path_max_version={}",
201
0
            fmt::join(version_path | std::views::transform([](const auto& version) {
202
0
                          return fmt::format("{}", version.to_string());
203
0
                      }),
204
0
                      ", "),
205
0
            tablet_id(), spec_version.to_string(), path_max_version);
206
13
    return version_path;
207
13
}
208
209
230
bool CloudTablet::rowset_is_warmed_up_unlocked(int64_t start_version, int64_t end_version) const {
210
230
    if (start_version > end_version) {
211
0
        return false;
212
0
    }
213
230
    Version version {start_version, end_version};
214
230
    auto it = _rs_version_map.find(version);
215
230
    if (it == _rs_version_map.end()) {
216
78
        it = _stale_rs_version_map.find(version);
217
78
        if (it == _stale_rs_version_map.end()) {
218
0
            LOG_WARNING(
219
0
                    "fail to find Rowset in rs_version or stale_rs_version for version. "
220
0
                    "tablet={}, version={}",
221
0
                    tablet_id(), version.to_string());
222
0
            return false;
223
0
        }
224
78
    }
225
230
    const auto& rs = it->second;
226
230
    if (rs->visible_timestamp() < _engine.startup_timepoint()) {
227
        // We only care about rowsets that are created after startup time point. For other rowsets,
228
        // we assume they are warmed up.
229
13
        return true;
230
13
    }
231
217
    return is_rowset_warmed_up(rs->rowset_id());
232
230
};
233
234
Result<std::vector<Version>> CloudTablet::capture_versions_with_freshness_tolerance(
235
24
        const Version& spec_version, const CaptureRowsetOps& options) const {
236
24
    g_capture_with_freshness_tolerance_count << 1;
237
24
    using namespace std::chrono;
238
24
    auto query_freshness_tolerance_ms = options.query_freshness_tolerance_ms;
239
24
    auto freshness_limit_tp = system_clock::now() - milliseconds(query_freshness_tolerance_ms);
240
    // find a version path where every edge(rowset) has been warmuped
241
24
    Versions version_path;
242
24
    std::shared_lock rlock(_meta_lock);
243
24
    if (enable_unique_key_merge_on_write()) {
244
        // For merge-on-write table, newly generated delete bitmap marks will be on the rowsets which are in newest layout.
245
        // So we can ony capture rowsets which are in newest data layout. Otherwise there may be data correctness issue.
246
12
        RETURN_IF_ERROR_RESULT(
247
12
                _timestamped_version_tracker.capture_consistent_versions_with_validator_mow(
248
12
                        spec_version, version_path, [&](int64_t start, int64_t end) {
249
12
                            return rowset_is_warmed_up_unlocked(start, end);
250
12
                        }));
251
12
    } else {
252
12
        RETURN_IF_ERROR_RESULT(
253
12
                _timestamped_version_tracker.capture_consistent_versions_with_validator(
254
12
                        spec_version, version_path, [&](int64_t start, int64_t end) {
255
12
                            return rowset_is_warmed_up_unlocked(start, end);
256
12
                        }));
257
12
    }
258
24
    int64_t path_max_version = version_path.back().second;
259
    // use std::views::concat after C++26
260
417
    auto check_fn = [this, path_max_version, freshness_limit_tp](const auto& rs_meta) {
261
417
        return _check_rowset_should_be_visible_but_not_warmed_up(rs_meta, path_max_version,
262
417
                                                                 freshness_limit_tp);
263
417
    };
264
24
    bool should_fallback =
265
24
            std::ranges::any_of(std::views::values(_tablet_meta->all_rs_metas()), check_fn) ||
266
24
            std::ranges::any_of(std::views::values(_tablet_meta->all_stale_rs_metas()), check_fn);
267
24
    if (should_fallback) {
268
5
        rlock.unlock();
269
5
        g_capture_with_freshness_tolerance_fallback_count << 1;
270
        // if there exists a rowset which satisfies freshness tolerance and its start version is larger than the path max version
271
        // but has not been warmuped up yet, fallback to capture rowsets as usual
272
5
        return BaseTablet::capture_consistent_versions_unlocked(spec_version, options);
273
5
    }
274
19
    VLOG_DEBUG << fmt::format(
275
0
            "[verbose] CloudTablet::capture_versions_with_freshness_tolerance, capture path: {}, "
276
0
            "tablet_id={}, spec_version={}, path_max_version={}",
277
0
            fmt::join(version_path | std::views::transform([](const auto& version) {
278
0
                          return fmt::format("{}", version.to_string());
279
0
                      }),
280
0
                      ", "),
281
0
            tablet_id(), spec_version.to_string(), path_max_version);
282
19
    return version_path;
283
24
}
284
285
// There are only two tablet_states RUNNING and NOT_READY in cloud mode
286
// This function will erase the tablet from `CloudTabletMgr` when it can't find this tablet in MS.
287
24
Status CloudTablet::sync_rowsets(const SyncOptions& options, SyncRowsetStats* stats) {
288
24
    RETURN_IF_ERROR(sync_if_not_running(stats));
289
290
24
    if (options.query_version > 0) {
291
4
        auto lock_start = std::chrono::steady_clock::now();
292
4
        std::shared_lock rlock(_meta_lock);
293
4
        if (stats) {
294
0
            stats->meta_lock_wait_ns += std::chrono::duration_cast<std::chrono::nanoseconds>(
295
0
                                                std::chrono::steady_clock::now() - lock_start)
296
0
                                                .count();
297
0
        }
298
4
        if (_max_version >= options.query_version) {
299
0
            return Status::OK();
300
0
        }
301
4
    }
302
303
    // serially execute sync to reduce unnecessary network overhead
304
24
    auto sync_lock_start = std::chrono::steady_clock::now();
305
24
    std::unique_lock lock(_sync_meta_lock);
306
24
    if (stats) {
307
0
        stats->sync_meta_lock_wait_ns += std::chrono::duration_cast<std::chrono::nanoseconds>(
308
0
                                                 std::chrono::steady_clock::now() - sync_lock_start)
309
0
                                                 .count();
310
0
    }
311
24
    if (options.query_version > 0) {
312
4
        auto lock_start = std::chrono::steady_clock::now();
313
4
        std::shared_lock rlock(_meta_lock);
314
4
        if (stats) {
315
0
            stats->meta_lock_wait_ns += std::chrono::duration_cast<std::chrono::nanoseconds>(
316
0
                                                std::chrono::steady_clock::now() - lock_start)
317
0
                                                .count();
318
0
        }
319
4
        if (_max_version >= options.query_version) {
320
0
            return Status::OK();
321
0
        }
322
4
    }
323
324
24
    auto st = _engine.meta_mgr().sync_tablet_rowsets_unlocked(this, lock, options, stats);
325
24
    if (st.is<ErrorCode::NOT_FOUND>()) {
326
0
        clear_cache();
327
0
    }
328
329
24
    return st;
330
24
}
331
332
// Sync tablet meta and all rowset meta if not running.
333
// This could happen when BE didn't finish schema change job and another BE committed this schema change job.
334
// It should be a quite rare situation.
335
24
Status CloudTablet::sync_if_not_running(SyncRowsetStats* stats) {
336
24
    if (tablet_state() == TABLET_RUNNING) {
337
20
        return Status::OK();
338
20
    }
339
340
    // Serially execute sync to reduce unnecessary network overhead
341
4
    auto sync_lock_start = std::chrono::steady_clock::now();
342
4
    std::unique_lock lock(_sync_meta_lock);
343
4
    if (stats) {
344
0
        stats->sync_meta_lock_wait_ns += std::chrono::duration_cast<std::chrono::nanoseconds>(
345
0
                                                 std::chrono::steady_clock::now() - sync_lock_start)
346
0
                                                 .count();
347
0
    }
348
349
4
    {
350
4
        auto lock_start = std::chrono::steady_clock::now();
351
4
        std::shared_lock rlock(_meta_lock);
352
4
        if (stats) {
353
0
            stats->meta_lock_wait_ns += std::chrono::duration_cast<std::chrono::nanoseconds>(
354
0
                                                std::chrono::steady_clock::now() - lock_start)
355
0
                                                .count();
356
0
        }
357
4
        if (tablet_state() == TABLET_RUNNING) {
358
0
            return Status::OK();
359
0
        }
360
4
    }
361
362
4
    TabletMetaSharedPtr tablet_meta;
363
4
    auto st = _engine.meta_mgr().get_tablet_meta(tablet_id(), &tablet_meta);
364
4
    if (!st.ok()) {
365
0
        if (st.is<ErrorCode::NOT_FOUND>()) {
366
0
            clear_cache();
367
0
        }
368
0
        return st;
369
0
    }
370
371
4
    if (tablet_meta->tablet_state() != TABLET_RUNNING) [[unlikely]] {
372
        // MoW may go to here when load while schema change
373
4
        return Status::OK();
374
4
    }
375
376
0
    TimestampedVersionTracker empty_tracker;
377
0
    {
378
0
        auto lock_start = std::chrono::steady_clock::now();
379
0
        std::lock_guard wlock(_meta_lock);
380
0
        if (stats) {
381
0
            stats->meta_lock_wait_ns += std::chrono::duration_cast<std::chrono::nanoseconds>(
382
0
                                                std::chrono::steady_clock::now() - lock_start)
383
0
                                                .count();
384
0
        }
385
0
        RETURN_IF_ERROR(set_tablet_state(TABLET_RUNNING));
386
0
        _rs_version_map.clear();
387
0
        _stale_rs_version_map.clear();
388
0
        std::swap(_timestamped_version_tracker, empty_tracker);
389
0
        _tablet_meta->clear_rowsets();
390
0
        _tablet_meta->clear_stale_rowset();
391
0
        _max_version = -1;
392
0
    }
393
394
0
    st = _engine.meta_mgr().sync_tablet_rowsets_unlocked(this, lock, {}, stats);
395
0
    if (st.is<ErrorCode::NOT_FOUND>()) {
396
0
        clear_cache();
397
0
    }
398
0
    return st;
399
0
}
400
401
void CloudTablet::add_rowsets(std::vector<RowsetSharedPtr> to_add, bool version_overlap,
402
                              std::unique_lock<std::shared_mutex>& meta_lock,
403
316
                              bool warmup_delta_data) {
404
316
    if (to_add.empty()) {
405
2
        return;
406
2
    }
407
408
314
    VLOG_DEBUG << "add_rowsets tablet_id=" << tablet_id() << " stack: " << get_stack_trace();
409
410
314
    if (!version_overlap) {
411
313
        _add_rowsets_directly(to_add, warmup_delta_data);
412
313
        return;
413
313
    }
414
415
    // Filter out existed rowsets
416
1
    auto remove_it =
417
2
            std::remove_if(to_add.begin(), to_add.end(), [this](const RowsetSharedPtr& rs) {
418
2
                if (auto find_it = _rs_version_map.find(rs->version());
419
2
                    find_it == _rs_version_map.end()) {
420
0
                    return false;
421
2
                } else if (find_it->second->rowset_id() == rs->rowset_id()) {
422
2
                    return true; // Same rowset
423
2
                }
424
425
                // If version of rowset in `to_add` is equal to rowset in tablet but rowset_id is not equal,
426
                // replace existed rowset with `to_add` rowset. This may occur when:
427
                //  1. schema change converts rowsets which have been double written to new tablet
428
                //  2. cumu compaction picks single overlapping input rowset to perform compaction
429
430
                // add existed rowset to unused_rowsets to remove delete bitmap and recycle cached data
431
432
0
                std::vector<RowsetSharedPtr> unused_rowsets;
433
0
                if (auto find_it = _rs_version_map.find(rs->version());
434
0
                    find_it != _rs_version_map.end()) {
435
0
                    if (find_it->second->rowset_id() == rs->rowset_id()) {
436
0
                        LOG(WARNING) << "tablet_id=" << tablet_id()
437
0
                                     << ", rowset_id=" << rs->rowset_id().to_string()
438
0
                                     << ", existed rowset_id="
439
0
                                     << find_it->second->rowset_id().to_string();
440
0
                        DCHECK(find_it->second->rowset_id() != rs->rowset_id())
441
0
                                << "tablet_id=" << tablet_id()
442
0
                                << ", rowset_id=" << rs->rowset_id().to_string()
443
0
                                << ", existed rowset_id="
444
0
                                << find_it->second->rowset_id().to_string();
445
0
                    }
446
0
                    unused_rowsets.push_back(find_it->second);
447
0
                }
448
0
                add_unused_rowsets(unused_rowsets);
449
450
0
                _tablet_meta->delete_rs_meta_by_version(rs->version(), nullptr);
451
0
                _rs_version_map[rs->version()] = rs;
452
0
                _tablet_meta->add_rowsets_unchecked({rs});
453
0
                update_base_size(*rs);
454
0
                return true;
455
2
            });
456
457
1
    to_add.erase(remove_it, to_add.end());
458
459
    // delete rowsets with overlapped version
460
1
    std::vector<RowsetSharedPtr> to_add_directly;
461
1
    for (auto& to_add_rs : to_add) {
462
        // delete rowsets with overlapped version
463
0
        std::vector<RowsetSharedPtr> to_delete;
464
0
        Version to_add_v = to_add_rs->version();
465
        // if start_version  > max_version, we can skip checking overlap here.
466
0
        if (to_add_v.first > _max_version) {
467
            // if start_version  > max_version, we can skip checking overlap here.
468
0
            to_add_directly.push_back(to_add_rs);
469
0
        } else {
470
0
            to_add_directly.push_back(to_add_rs);
471
0
            for (auto& [v, rs] : _rs_version_map) {
472
0
                if (to_add_v.contains(v)) {
473
0
                    to_delete.push_back(rs);
474
0
                }
475
0
            }
476
0
            delete_rowsets(to_delete, meta_lock);
477
0
        }
478
0
    }
479
480
1
    _add_rowsets_directly(to_add_directly, warmup_delta_data);
481
1
}
482
483
void CloudTablet::delete_rowsets(const std::vector<RowsetSharedPtr>& to_delete,
484
105
                                 std::unique_lock<std::shared_mutex>&) {
485
105
    if (to_delete.empty()) {
486
0
        return;
487
0
    }
488
105
    std::vector<RowsetMetaSharedPtr> rs_metas;
489
105
    rs_metas.reserve(to_delete.size());
490
105
    int64_t now = ::time(nullptr);
491
607
    for (auto&& rs : to_delete) {
492
607
        rs->rowset_meta()->set_stale_at(now);
493
607
        rs_metas.push_back(rs->rowset_meta());
494
607
        _stale_rs_version_map[rs->version()] = rs;
495
607
    }
496
105
    _timestamped_version_tracker.add_stale_path_version(rs_metas);
497
607
    for (auto&& rs : to_delete) {
498
607
        _rs_version_map.erase(rs->version());
499
607
    }
500
501
105
    _tablet_meta->modify_rs_metas({}, rs_metas, false);
502
105
}
503
504
void CloudTablet::delete_rowsets_for_schema_change(const std::vector<RowsetSharedPtr>& to_delete,
505
                                                   std::unique_lock<std::shared_mutex>&,
506
5
                                                   bool recycle_deleted_rowsets) {
507
5
    if (to_delete.empty()) {
508
1
        return;
509
1
    }
510
4
    std::vector<RowsetMetaSharedPtr> rs_metas;
511
4
    rs_metas.reserve(to_delete.size());
512
5
    for (auto&& rs : to_delete) {
513
5
        rs_metas.push_back(rs->rowset_meta());
514
5
        _rs_version_map.erase(rs->version());
515
        // Remove edge from version graph so that the greedy capture algorithm
516
        // won't prefer the wider stale compaction rowset over individual SC
517
        // output rowsets (e.g. [818-822] vs [818],[819],...,[822]).
518
5
        _timestamped_version_tracker.delete_version(rs->version());
519
5
    }
520
521
    // Use same_version=true to skip adding to _stale_rs_metas. Do NOT use the
522
    // stale tracking mechanism (_stale_rs_version_map / _stale_version_path_map)
523
    // because SC output will create new rowsets with identical version ranges;
524
    // a later compaction could put those into stale as well, causing two stale
525
    // paths to reference the same version key -- when one path is cleaned first,
526
    // the other hits a DCHECK(false) in delete_expired_stale_rowsets().
527
4
    _tablet_meta->modify_rs_metas({}, rs_metas, true);
528
529
4
    if (recycle_deleted_rowsets) {
530
        // Schedule for direct cache cleanup. MS has already recycled these rowsets.
531
3
        add_unused_rowsets(to_delete);
532
3
    }
533
4
}
534
535
void CloudTablet::replace_rowsets_with_schema_change_output(
536
        const std::vector<RowsetSharedPtr>& output_rowsets, int64_t alter_version,
537
        std::unique_lock<std::shared_mutex>& meta_lock, const char* stage,
538
2
        bool recycle_deleted_rowsets) {
539
2
    std::vector<RowsetSharedPtr> to_delete;
540
7
    for (auto& [v, rs] : _rs_version_map) {
541
7
        if (v.first >= 2 && v.second <= alter_version &&
542
7
            !is_schema_change_output_rowset(rs, output_rowsets)) {
543
1
            to_delete.push_back(rs);
544
1
        }
545
7
    }
546
2
    if (!to_delete.empty()) {
547
1
        LOG_INFO(
548
1
                "schema change: delete {} local rowsets in [2, {}] before adding SC output, "
549
1
                "tablet_id={}, stage={}, versions=[{}]",
550
1
                to_delete.size(), alter_version, tablet_id(), stage,
551
1
                fmt::join(to_delete | std::views::transform([](const auto& rs) {
552
1
                              return rs->version().to_string();
553
1
                          }),
554
1
                          ", "));
555
1
        delete_rowsets_for_schema_change(to_delete, meta_lock, recycle_deleted_rowsets);
556
1
    }
557
2
    add_rowsets(output_rowsets, true, meta_lock, false);
558
2
}
559
560
1
uint64_t CloudTablet::delete_expired_stale_rowsets() {
561
1
    if (config::enable_mow_verbose_log) {
562
0
        LOG_INFO("begin delete_expired_stale_rowset for tablet={}", tablet_id());
563
0
    }
564
1
    std::vector<RowsetSharedPtr> expired_rowsets;
565
    // ATTN: trick, Use stale_rowsets to temporarily increase the reference count of the rowset shared pointer in _stale_rs_version_map so that in the recycle_cached_data function, it checks if the reference count is 2.
566
1
    std::vector<std::pair<Version, std::vector<RowsetSharedPtr>>> deleted_stale_rowsets;
567
1
    int64_t expired_stale_sweep_endtime =
568
1
            ::time(nullptr) - config::tablet_rowset_stale_sweep_time_sec;
569
1
    {
570
1
        std::unique_lock wlock(_meta_lock);
571
572
1
        std::vector<int64_t> path_ids;
573
        // capture the path version to delete
574
1
        _timestamped_version_tracker.capture_expired_paths(expired_stale_sweep_endtime, &path_ids);
575
576
1
        if (path_ids.empty()) {
577
0
            return 0;
578
0
        }
579
580
1
        for (int64_t path_id : path_ids) {
581
1
            int64_t start_version = -1;
582
1
            int64_t end_version = -1;
583
1
            std::vector<RowsetSharedPtr> stale_rowsets;
584
            // delete stale versions in version graph
585
1
            auto version_path = _timestamped_version_tracker.fetch_and_delete_path_by_id(path_id);
586
5
            for (auto& v_ts : version_path->timestamped_versions()) {
587
5
                auto rs_it = _stale_rs_version_map.find(v_ts->version());
588
5
                if (rs_it != _stale_rs_version_map.end()) {
589
5
                    expired_rowsets.push_back(rs_it->second);
590
5
                    stale_rowsets.push_back(rs_it->second);
591
5
                    VLOG_DEBUG << "erase stale rowset, tablet_id=" << tablet_id()
592
0
                               << " rowset_id=" << rs_it->second->rowset_id().to_string()
593
0
                               << " version=" << rs_it->first.to_string();
594
5
                    _stale_rs_version_map.erase(rs_it);
595
5
                } else {
596
0
                    LOG(WARNING) << "cannot find stale rowset " << v_ts->version() << " in tablet "
597
0
                                 << tablet_id();
598
                    // clang-format off
599
0
                    DCHECK(false) << [this, &wlock]() { wlock.unlock(); std::string json; get_compaction_status(&json); return json; }();
600
                    // clang-format on
601
0
                }
602
5
                if (start_version < 0) {
603
1
                    start_version = v_ts->version().first;
604
1
                }
605
5
                end_version = v_ts->version().second;
606
5
                _tablet_meta->delete_stale_rs_meta_by_version(v_ts->version());
607
5
            }
608
1
            Version version(start_version, end_version);
609
1
            if (!stale_rowsets.empty()) {
610
1
                deleted_stale_rowsets.emplace_back(version, std::move(stale_rowsets));
611
1
            }
612
1
        }
613
1
        _reconstruct_version_tracker_if_necessary();
614
1
    }
615
616
    // if the rowset is not used by any query, we can recycle its cached data early.
617
0
    auto recycled_rowsets = recycle_cached_data(expired_rowsets);
618
1
    if (!recycled_rowsets.empty()) {
619
0
        auto& manager = ExecEnv::GetInstance()->storage_engine().to_cloud().cloud_warm_up_manager();
620
0
        manager.recycle_cache(tablet_id(), recycled_rowsets);
621
0
    }
622
1
    if (config::enable_mow_verbose_log) {
623
0
        LOG_INFO("finish delete_expired_stale_rowset for tablet={}", tablet_id());
624
0
    }
625
626
1
    add_unused_rowsets(expired_rowsets);
627
1
    if (config::enable_agg_and_remove_pre_rowsets_delete_bitmap && keys_type() == UNIQUE_KEYS &&
628
1
        enable_unique_key_merge_on_write() && !deleted_stale_rowsets.empty()) {
629
        // agg delete bitmap for pre rowsets; record unused delete bitmap key ranges
630
0
        OlapStopWatch watch;
631
0
        for (const auto& [version, unused_rowsets] : deleted_stale_rowsets) {
632
            // agg delete bitmap for pre rowset
633
0
            DeleteBitmapKeyRanges remove_delete_bitmap_key_ranges;
634
0
            agg_delete_bitmap_for_stale_rowsets(version, remove_delete_bitmap_key_ranges);
635
            // add remove delete bitmap
636
0
            if (!remove_delete_bitmap_key_ranges.empty()) {
637
0
                std::vector<RowsetId> rowset_ids;
638
0
                for (const auto& rs : unused_rowsets) {
639
0
                    rowset_ids.push_back(rs->rowset_id());
640
0
                }
641
0
                std::lock_guard<std::mutex> lock(_gc_mutex);
642
0
                _unused_delete_bitmap.push_back(
643
0
                        std::make_pair(rowset_ids, remove_delete_bitmap_key_ranges));
644
0
            }
645
0
        }
646
0
        LOG(INFO) << "agg pre rowsets delete bitmap. tablet_id=" << tablet_id()
647
0
                  << ", size=" << deleted_stale_rowsets.size()
648
0
                  << ", cost(us)=" << watch.get_elapse_time_us();
649
0
    }
650
1
    return expired_rowsets.size();
651
1
}
652
653
2
bool CloudTablet::need_remove_unused_rowsets() {
654
2
    std::lock_guard<std::mutex> lock(_gc_mutex);
655
2
    return !_unused_rowsets.empty() || !_unused_delete_bitmap.empty();
656
2
}
657
658
4
void CloudTablet::add_unused_rowsets(const std::vector<RowsetSharedPtr>& rowsets) {
659
4
    std::lock_guard<std::mutex> lock(_gc_mutex);
660
9
    for (const auto& rowset : rowsets) {
661
9
        _unused_rowsets[rowset->rowset_id()] = rowset;
662
9
        g_unused_rowsets_bytes << rowset->total_disk_size();
663
9
    }
664
4
    g_unused_rowsets_count << rowsets.size();
665
4
}
666
667
0
void CloudTablet::remove_unused_rowsets() {
668
0
    std::vector<std::shared_ptr<Rowset>> removed_rowsets;
669
0
    int64_t removed_delete_bitmap_num = 0;
670
0
    OlapStopWatch watch;
671
0
    {
672
0
        std::lock_guard<std::mutex> lock(_gc_mutex);
673
        // 1. remove unused rowsets's cache data and delete bitmap
674
0
        for (auto it = _unused_rowsets.begin(); it != _unused_rowsets.end();) {
675
0
            auto& rs = it->second;
676
0
            if (rs.use_count() > 1) {
677
0
                LOG(WARNING) << "tablet_id:" << tablet_id() << " rowset: " << rs->rowset_id()
678
0
                             << " has " << rs.use_count() << " references, it cannot be removed";
679
0
                ++it;
680
0
                continue;
681
0
            }
682
0
            tablet_meta()->remove_rowset_delete_bitmap(rs->rowset_id(), rs->version());
683
0
            _rowset_warm_up_states.erase(rs->rowset_id());
684
0
            rs->clear_cache();
685
0
            g_unused_rowsets_count << -1;
686
0
            g_unused_rowsets_bytes << -rs->total_disk_size();
687
0
            removed_rowsets.push_back(std::move(rs));
688
0
            it = _unused_rowsets.erase(it);
689
0
        }
690
0
    }
691
692
0
    {
693
0
        std::vector<RecycledRowsets> recycled_rowsets;
694
695
0
        for (auto& rs : removed_rowsets) {
696
0
            auto index_names = rs->get_index_file_names();
697
0
            recycled_rowsets.emplace_back(rs->rowset_id(), rs->num_segments(), index_names);
698
0
            int64_t segment_size_sum = 0;
699
0
            for (int32_t i = 0; i < rs->num_segments(); i++) {
700
0
                segment_size_sum += rs->rowset_meta()->segment_file_size(i);
701
0
            }
702
0
            g_file_cache_recycle_cached_data_segment_num << rs->num_segments();
703
0
            g_file_cache_recycle_cached_data_segment_size << segment_size_sum;
704
0
            g_file_cache_recycle_cached_data_index_num << index_names.size();
705
0
        }
706
707
0
        if (recycled_rowsets.size() > 0) {
708
0
            auto& manager =
709
0
                    ExecEnv::GetInstance()->storage_engine().to_cloud().cloud_warm_up_manager();
710
0
            manager.recycle_cache(tablet_id(), recycled_rowsets);
711
0
        }
712
0
    }
713
714
0
    {
715
0
        std::lock_guard<std::mutex> lock(_gc_mutex);
716
        // 2. remove delete bitmap of pre rowsets
717
0
        for (auto it = _unused_delete_bitmap.begin(); it != _unused_delete_bitmap.end();) {
718
0
            auto& rowset_ids = std::get<0>(*it);
719
0
            bool find_unused_rowset = false;
720
0
            for (const auto& rowset_id : rowset_ids) {
721
0
                if (_unused_rowsets.find(rowset_id) != _unused_rowsets.end()) {
722
0
                    LOG(INFO) << "can not remove pre rowset delete bitmap because rowset is in use"
723
0
                              << ", tablet_id=" << tablet_id() << ", rowset_id=" << rowset_id;
724
0
                    find_unused_rowset = true;
725
0
                    break;
726
0
                }
727
0
            }
728
0
            if (find_unused_rowset) {
729
0
                ++it;
730
0
                continue;
731
0
            }
732
0
            auto& key_ranges = std::get<1>(*it);
733
0
            tablet_meta()->delete_bitmap().remove(key_ranges);
734
0
            it = _unused_delete_bitmap.erase(it);
735
0
            removed_delete_bitmap_num++;
736
            // TODO(kaijie): recycle cache for unused delete bitmap
737
0
        }
738
0
    }
739
740
0
    LOG(INFO) << "tablet_id=" << tablet_id() << ", unused_rowset size=" << _unused_rowsets.size()
741
0
              << ", unused_delete_bitmap size=" << _unused_delete_bitmap.size()
742
0
              << ", removed_rowsets_num=" << removed_rowsets.size()
743
0
              << ", removed_delete_bitmap_num=" << removed_delete_bitmap_num
744
0
              << ", cost(us)=" << watch.get_elapse_time_us();
745
0
}
746
747
891
void CloudTablet::update_base_size(const Rowset& rs) {
748
    // Define base rowset as the rowset of version [2-x]
749
891
    if (rs.start_version() == 2) {
750
125
        _base_size = rs.total_disk_size();
751
125
    }
752
891
}
753
754
0
void CloudTablet::clear_cache() {
755
0
    auto recycled_rowsets = CloudTablet::recycle_cached_data(get_snapshot_rowset(true));
756
0
    if (!recycled_rowsets.empty()) {
757
0
        auto& manager = ExecEnv::GetInstance()->storage_engine().to_cloud().cloud_warm_up_manager();
758
0
        manager.recycle_cache(tablet_id(), recycled_rowsets);
759
0
    }
760
0
    _engine.tablet_mgr().erase_tablet(tablet_id());
761
0
}
762
763
std::vector<RecycledRowsets> CloudTablet::recycle_cached_data(
764
1
        const std::vector<RowsetSharedPtr>& rowsets) {
765
1
    std::vector<RecycledRowsets> recycled_rowsets;
766
5
    for (const auto& rs : rowsets) {
767
        // rowsets and tablet._rs_version_map each hold a rowset shared_ptr, so at this point, the reference count of the shared_ptr is at least 2.
768
5
        if (rs.use_count() > 2) {
769
5
            LOG(WARNING) << "Rowset " << rs->rowset_id().to_string() << " has " << rs.use_count()
770
5
                         << " references. File Cache won't be recycled when query is using it.";
771
5
            continue;
772
5
        }
773
0
        rs->clear_cache();
774
0
        auto index_names = rs->get_index_file_names();
775
0
        recycled_rowsets.emplace_back(rs->rowset_id(), rs->num_segments(), index_names);
776
777
0
        int64_t segment_size_sum = 0;
778
0
        for (int32_t i = 0; i < rs->num_segments(); i++) {
779
0
            segment_size_sum += rs->rowset_meta()->segment_file_size(i);
780
0
        }
781
0
        g_file_cache_recycle_cached_data_segment_num << rs->num_segments();
782
0
        g_file_cache_recycle_cached_data_segment_size << segment_size_sum;
783
0
        g_file_cache_recycle_cached_data_index_num << index_names.size();
784
0
    }
785
1
    return recycled_rowsets;
786
1
}
787
788
void CloudTablet::reset_approximate_stats(int64_t num_rowsets, int64_t num_segments,
789
1
                                          int64_t num_rows, int64_t data_size) {
790
1
    _approximate_num_segments.store(num_segments, std::memory_order_relaxed);
791
1
    _approximate_num_rows.store(num_rows, std::memory_order_relaxed);
792
1
    _approximate_data_size.store(data_size, std::memory_order_relaxed);
793
1
    int64_t cumu_num_deltas = 0;
794
1
    int64_t cumu_num_rowsets = 0;
795
1
    auto cp = _cumulative_point.load(std::memory_order_relaxed);
796
3
    for (auto& [v, r] : _rs_version_map) {
797
3
        if (v.second < cp) {
798
0
            continue;
799
0
        }
800
3
        cumu_num_deltas += r->is_segments_overlapping() ? r->num_segments() : 1;
801
3
        ++cumu_num_rowsets;
802
3
    }
803
    // num_rowsets may be less than the size of _rs_version_map when there are some hole rowsets
804
    // in the version map, so we use the max value to ensure that the approximate number
805
    // of rowsets is at least the size of _rs_version_map.
806
    // Note that this is not the exact number of rowsets, but an approximate number.
807
1
    int64_t approximate_num_rowsets =
808
1
            std::max(num_rowsets, static_cast<int64_t>(_rs_version_map.size()));
809
1
    _approximate_num_rowsets.store(approximate_num_rowsets, std::memory_order_relaxed);
810
1
    _approximate_cumu_num_rowsets.store(cumu_num_rowsets, std::memory_order_relaxed);
811
1
    _approximate_cumu_num_deltas.store(cumu_num_deltas, std::memory_order_relaxed);
812
1
}
813
814
Result<std::unique_ptr<RowsetWriter>> CloudTablet::create_rowset_writer(
815
0
        RowsetWriterContext& context, bool vertical) {
816
0
    context.rowset_id = _engine.next_rowset_id();
817
    // FIXME(plat1ko): Seems `tablet_id` and `index_id` has been set repeatedly
818
0
    context.tablet_id = tablet_id();
819
0
    context.index_id = index_id();
820
0
    context.partition_id = partition_id();
821
0
    context.enable_unique_key_merge_on_write = enable_unique_key_merge_on_write();
822
0
    context.encrypt_algorithm = tablet_meta()->encryption_algorithm();
823
0
    return RowsetFactory::create_rowset_writer(_engine, context, vertical);
824
0
}
825
826
// create a rowset writer with rowset_id and seg_id
827
// after writer, merge this transient rowset with original rowset
828
Result<std::unique_ptr<RowsetWriter>> CloudTablet::create_transient_rowset_writer(
829
        const Rowset& rowset, std::shared_ptr<PartialUpdateInfo> partial_update_info,
830
0
        int64_t txn_expiration) {
831
0
    if (rowset.rowset_meta_state() != RowsetStatePB::BEGIN_PARTIAL_UPDATE &&
832
0
        rowset.rowset_meta_state() != RowsetStatePB::COMMITTED) [[unlikely]] {
833
0
        auto msg = fmt::format(
834
0
                "wrong rowset state when create_transient_rowset_writer, rowset state should be "
835
0
                "BEGIN_PARTIAL_UPDATE or COMMITTED, but found {}, rowset_id={}, tablet_id={}",
836
0
                RowsetStatePB_Name(rowset.rowset_meta_state()), rowset.rowset_id().to_string(),
837
0
                tablet_id());
838
        // see `CloudRowsetWriter::build` for detail.
839
        // if this is in a retry task, the rowset state may have been changed to RowsetStatePB::COMMITTED
840
        // in `RowsetMeta::merge_rowset_meta()` in previous trials.
841
0
        LOG(WARNING) << msg;
842
0
        DCHECK(false) << msg;
843
0
    }
844
0
    RowsetWriterContext context;
845
0
    context.rowset_state = PREPARED;
846
0
    context.segments_overlap = OVERLAPPING;
847
    // During a partial update, the extracted columns of a variant should not be included in the tablet schema.
848
    // This is because the partial update for a variant needs to ignore the extracted columns.
849
    // Otherwise, the schema types in different rowsets might be inconsistent. When performing a partial update,
850
    // the complete variant is constructed by reading all the sub-columns of the variant.
851
0
    context.tablet_schema = rowset.tablet_schema()->copy_without_variant_extracted_columns();
852
0
    context.newest_write_timestamp = UnixSeconds();
853
0
    context.tablet_id = table_id();
854
0
    context.enable_segcompaction = false;
855
0
    context.write_type = DataWriteType::TYPE_DIRECT;
856
0
    context.partial_update_info = std::move(partial_update_info);
857
0
    context.is_transient_rowset_writer = true;
858
0
    context.rowset_id = rowset.rowset_id();
859
0
    context.tablet_id = tablet_id();
860
0
    context.index_id = index_id();
861
0
    context.partition_id = partition_id();
862
0
    context.enable_unique_key_merge_on_write = enable_unique_key_merge_on_write();
863
0
    context.txn_expiration = txn_expiration;
864
0
    context.encrypt_algorithm = tablet_meta()->encryption_algorithm();
865
    // TODO(liaoxin) enable packed file for transient rowset
866
0
    context.allow_packed_file = false;
867
868
0
    auto storage_resource = rowset.rowset_meta()->remote_storage_resource();
869
0
    if (!storage_resource) {
870
0
        return ResultError(std::move(storage_resource.error()));
871
0
    }
872
873
0
    context.storage_resource = *storage_resource.value();
874
875
0
    return RowsetFactory::create_rowset_writer(_engine, context, false)
876
0
            .transform([&](auto&& writer) {
877
0
                writer->set_segment_start_id(cast_set<int32_t>(rowset.num_segments()));
878
0
                return writer;
879
0
            });
880
0
}
881
882
3
int64_t CloudTablet::get_cloud_base_compaction_score() const {
883
3
    if (_tablet_meta->compaction_policy() == CUMULATIVE_TIME_SERIES_POLICY) {
884
0
        bool has_delete = false;
885
0
        int64_t point = cumulative_layer_point();
886
0
        std::shared_lock<std::shared_mutex> rlock(_meta_lock);
887
0
        for (const auto& [_, rs_meta] : _tablet_meta->all_rs_metas()) {
888
0
            if (rs_meta->start_version() >= point) {
889
0
                continue;
890
0
            }
891
0
            if (rs_meta->has_delete_predicate()) {
892
0
                has_delete = true;
893
0
                break;
894
0
            }
895
0
        }
896
0
        if (!has_delete) {
897
0
            return 0;
898
0
        }
899
0
    }
900
901
3
    return _approximate_num_rowsets.load(std::memory_order_relaxed) -
902
3
           _approximate_cumu_num_rowsets.load(std::memory_order_relaxed);
903
3
}
904
905
1
int64_t CloudTablet::get_cloud_cumu_compaction_score() const {
906
    // TODO(plat1ko): Propose an algorithm that considers tablet's key type, number of delete rowsets,
907
    //  number of tablet versions simultaneously.
908
1
    return _approximate_cumu_num_deltas.load(std::memory_order_relaxed);
909
1
}
910
911
// return a json string to show the compaction status of this tablet
912
33
void CloudTablet::get_compaction_status(std::string* json_result) {
913
33
    rapidjson::Document root;
914
33
    root.SetObject();
915
916
33
    rapidjson::Document path_arr;
917
33
    path_arr.SetArray();
918
919
33
    std::vector<RowsetSharedPtr> rowsets;
920
33
    std::vector<RowsetSharedPtr> stale_rowsets;
921
33
    {
922
33
        std::shared_lock rdlock(_meta_lock);
923
33
        rowsets.reserve(_rs_version_map.size());
924
148
        for (auto& it : _rs_version_map) {
925
148
            rowsets.push_back(it.second);
926
148
        }
927
33
        stale_rowsets.reserve(_stale_rs_version_map.size());
928
540
        for (auto& it : _stale_rs_version_map) {
929
540
            stale_rowsets.push_back(it.second);
930
540
        }
931
33
    }
932
33
    std::sort(rowsets.begin(), rowsets.end(), Rowset::comparator);
933
33
    std::sort(stale_rowsets.begin(), stale_rowsets.end(), Rowset::comparator);
934
935
    // get snapshot version path json_doc
936
33
    _timestamped_version_tracker.get_stale_version_path_json_doc(path_arr);
937
33
    root.AddMember("cumulative point", _cumulative_point.load(), root.GetAllocator());
938
33
    rapidjson::Value cumu_value;
939
33
    std::string format_str = ToStringFromUnixMillis(_last_cumu_compaction_failure_millis.load());
940
33
    cumu_value.SetString(format_str.c_str(), cast_set<uint>(format_str.length()),
941
33
                         root.GetAllocator());
942
33
    root.AddMember("last cumulative failure time", cumu_value, root.GetAllocator());
943
33
    rapidjson::Value base_value;
944
33
    format_str = ToStringFromUnixMillis(_last_base_compaction_failure_millis.load());
945
33
    base_value.SetString(format_str.c_str(), cast_set<uint>(format_str.length()),
946
33
                         root.GetAllocator());
947
33
    root.AddMember("last base failure time", base_value, root.GetAllocator());
948
33
    rapidjson::Value full_value;
949
33
    format_str = ToStringFromUnixMillis(_last_full_compaction_failure_millis.load());
950
33
    full_value.SetString(format_str.c_str(), cast_set<uint>(format_str.length()),
951
33
                         root.GetAllocator());
952
33
    root.AddMember("last full failure time", full_value, root.GetAllocator());
953
33
    rapidjson::Value cumu_success_value;
954
33
    format_str = ToStringFromUnixMillis(_last_cumu_compaction_success_millis.load());
955
33
    cumu_success_value.SetString(format_str.c_str(), cast_set<uint>(format_str.length()),
956
33
                                 root.GetAllocator());
957
33
    root.AddMember("last cumulative success time", cumu_success_value, root.GetAllocator());
958
33
    rapidjson::Value base_success_value;
959
33
    format_str = ToStringFromUnixMillis(_last_base_compaction_success_millis.load());
960
33
    base_success_value.SetString(format_str.c_str(), cast_set<uint>(format_str.length()),
961
33
                                 root.GetAllocator());
962
33
    root.AddMember("last base success time", base_success_value, root.GetAllocator());
963
33
    rapidjson::Value full_success_value;
964
33
    format_str = ToStringFromUnixMillis(_last_full_compaction_success_millis.load());
965
33
    full_success_value.SetString(format_str.c_str(), cast_set<uint>(format_str.length()),
966
33
                                 root.GetAllocator());
967
33
    root.AddMember("last full success time", full_success_value, root.GetAllocator());
968
33
    rapidjson::Value cumu_schedule_value;
969
33
    format_str = ToStringFromUnixMillis(_last_cumu_compaction_schedule_millis.load());
970
33
    cumu_schedule_value.SetString(format_str.c_str(), cast_set<uint>(format_str.length()),
971
33
                                  root.GetAllocator());
972
33
    root.AddMember("last cumulative schedule time", cumu_schedule_value, root.GetAllocator());
973
33
    rapidjson::Value base_schedule_value;
974
33
    format_str = ToStringFromUnixMillis(_last_base_compaction_schedule_millis.load());
975
33
    base_schedule_value.SetString(format_str.c_str(), cast_set<uint>(format_str.length()),
976
33
                                  root.GetAllocator());
977
33
    root.AddMember("last base schedule time", base_schedule_value, root.GetAllocator());
978
33
    rapidjson::Value full_schedule_value;
979
33
    format_str = ToStringFromUnixMillis(_last_full_compaction_schedule_millis.load());
980
33
    full_schedule_value.SetString(format_str.c_str(), cast_set<uint>(format_str.length()),
981
33
                                  root.GetAllocator());
982
33
    root.AddMember("last full schedule time", full_schedule_value, root.GetAllocator());
983
33
    rapidjson::Value cumu_compaction_status_value;
984
33
    cumu_compaction_status_value.SetString(_last_cumu_compaction_status.c_str(),
985
33
                                           cast_set<uint>(_last_cumu_compaction_status.length()),
986
33
                                           root.GetAllocator());
987
33
    root.AddMember("last cumulative status", cumu_compaction_status_value, root.GetAllocator());
988
33
    rapidjson::Value base_compaction_status_value;
989
33
    base_compaction_status_value.SetString(_last_base_compaction_status.c_str(),
990
33
                                           cast_set<uint>(_last_base_compaction_status.length()),
991
33
                                           root.GetAllocator());
992
33
    root.AddMember("last base status", base_compaction_status_value, root.GetAllocator());
993
33
    rapidjson::Value full_compaction_status_value;
994
33
    full_compaction_status_value.SetString(_last_full_compaction_status.c_str(),
995
33
                                           cast_set<uint>(_last_full_compaction_status.length()),
996
33
                                           root.GetAllocator());
997
33
    root.AddMember("last full status", full_compaction_status_value, root.GetAllocator());
998
33
    rapidjson::Value exec_compaction_time;
999
33
    std::string num_str {std::to_string(exec_compaction_time_us.load())};
1000
33
    exec_compaction_time.SetString(num_str.c_str(), cast_set<uint>(num_str.length()),
1001
33
                                   root.GetAllocator());
1002
33
    root.AddMember("exec compaction time us", exec_compaction_time, root.GetAllocator());
1003
33
    rapidjson::Value local_read_time;
1004
33
    num_str = std::to_string(local_read_time_us.load());
1005
33
    local_read_time.SetString(num_str.c_str(), cast_set<uint>(num_str.length()),
1006
33
                              root.GetAllocator());
1007
33
    root.AddMember("compaction local read time us", local_read_time, root.GetAllocator());
1008
33
    rapidjson::Value remote_read_time;
1009
33
    num_str = std::to_string(remote_read_time_us.load());
1010
33
    remote_read_time.SetString(num_str.c_str(), cast_set<uint>(num_str.length()),
1011
33
                               root.GetAllocator());
1012
33
    root.AddMember("compaction remote read time us", remote_read_time, root.GetAllocator());
1013
1014
    // print all rowsets' version as an array
1015
33
    rapidjson::Document versions_arr;
1016
33
    rapidjson::Document missing_versions_arr;
1017
33
    versions_arr.SetArray();
1018
33
    missing_versions_arr.SetArray();
1019
33
    int64_t last_version = -1;
1020
148
    for (auto& rowset : rowsets) {
1021
148
        const Version& ver = rowset->version();
1022
148
        if (ver.first != last_version + 1) {
1023
0
            rapidjson::Value miss_value;
1024
0
            miss_value.SetString(fmt::format("[{}-{}]", last_version + 1, ver.first - 1).c_str(),
1025
0
                                 missing_versions_arr.GetAllocator());
1026
0
            missing_versions_arr.PushBack(miss_value, missing_versions_arr.GetAllocator());
1027
0
        }
1028
148
        rapidjson::Value value;
1029
148
        std::string version_str = rowset->get_rowset_info_str();
1030
148
        value.SetString(version_str.c_str(), cast_set<uint32_t>(version_str.length()),
1031
148
                        versions_arr.GetAllocator());
1032
148
        versions_arr.PushBack(value, versions_arr.GetAllocator());
1033
148
        last_version = ver.second;
1034
148
    }
1035
33
    root.AddMember("rowsets", versions_arr, root.GetAllocator());
1036
33
    root.AddMember("missing_rowsets", missing_versions_arr, root.GetAllocator());
1037
1038
    // print all stale rowsets' version as an array
1039
33
    rapidjson::Document stale_versions_arr;
1040
33
    stale_versions_arr.SetArray();
1041
540
    for (auto& rowset : stale_rowsets) {
1042
540
        rapidjson::Value value;
1043
540
        std::string version_str = rowset->get_rowset_info_str();
1044
540
        value.SetString(version_str.c_str(), cast_set<uint32_t>(version_str.length()),
1045
540
                        stale_versions_arr.GetAllocator());
1046
540
        stale_versions_arr.PushBack(value, stale_versions_arr.GetAllocator());
1047
540
    }
1048
33
    root.AddMember("stale_rowsets", stale_versions_arr, root.GetAllocator());
1049
1050
    // add stale version rowsets
1051
33
    root.AddMember("stale version path", path_arr, root.GetAllocator());
1052
1053
    // to json string
1054
33
    rapidjson::StringBuffer strbuf;
1055
33
    rapidjson::PrettyWriter<rapidjson::StringBuffer> writer(strbuf);
1056
33
    root.Accept(writer);
1057
33
    *json_result = std::string(strbuf.GetString());
1058
33
}
1059
1060
1
void CloudTablet::set_cumulative_layer_point(int64_t new_point) {
1061
1
    if (new_point == Tablet::K_INVALID_CUMULATIVE_POINT || new_point >= _cumulative_point) {
1062
1
        _cumulative_point = new_point;
1063
1
        return;
1064
1
    }
1065
    // cumulative point should only be reset to -1, or be increased
1066
    // FIXME: could happen in currently unresolved race conditions
1067
1
    LOG(WARNING) << "Unexpected cumulative point: " << new_point
1068
0
                 << ", origin: " << _cumulative_point.load();
1069
0
}
1070
1071
Status CloudTablet::check_rowset_schema_for_build_index(std::vector<TColumn>& columns,
1072
10
                                                        int schema_version) {
1073
10
    std::map<std::string, TabletColumn> fe_col_map;
1074
14
    for (int i = 0; i < columns.size(); i++) {
1075
4
        fe_col_map[columns[i].column_name] = TabletColumn(columns[i]);
1076
4
    }
1077
1078
10
    std::shared_lock rlock(_meta_lock);
1079
10
    for (const auto& [version, rs] : _rs_version_map) {
1080
4
        if (version.first == 0) {
1081
0
            continue;
1082
0
        }
1083
1084
4
        if (rs->tablet_schema()->schema_version() >= schema_version) {
1085
0
            continue;
1086
0
        }
1087
1088
4
        for (auto rs_col : rs->tablet_schema()->columns()) {
1089
4
            auto find_ret = fe_col_map.find(rs_col->name());
1090
4
            if (find_ret == fe_col_map.end()) {
1091
1
                return Status::InternalError(
1092
1
                        "check rowset meta failed:rowset's col is dropped in FE.");
1093
1
            }
1094
1095
3
            if (rs_col->unique_id() != find_ret->second.unique_id()) {
1096
1
                return Status::InternalError("check rowset meta failed:col id not match.");
1097
1
            }
1098
1099
2
            if (rs_col->type() != find_ret->second.type()) {
1100
1
                return Status::InternalError("check rowset meta failed:col type not match.");
1101
1
            }
1102
2
        }
1103
4
    }
1104
1105
7
    return Status::OK();
1106
10
}
1107
1108
Result<RowsetSharedPtr> CloudTablet::pick_a_rowset_for_index_change(int schema_version,
1109
9
                                                                    bool& is_base_rowset) {
1110
9
    TEST_SYNC_POINT_RETURN_WITH_VALUE("CloudTablet::pick_a_rowset_for_index_change",
1111
2
                                      Result<RowsetSharedPtr>(nullptr));
1112
2
    RowsetSharedPtr ret_rowset = nullptr;
1113
2
    std::shared_lock rlock(_meta_lock);
1114
2
    for (const auto& [version, rs] : _rs_version_map) {
1115
2
        if (version.first == 0) {
1116
0
            continue;
1117
0
        }
1118
2
        if (rs->num_rows() == 0) {
1119
1
            VLOG_DEBUG << "[index_change]find empty rs, index change may "
1120
0
                          "failed, id="
1121
0
                       << rs->rowset_id().to_string();
1122
1
        }
1123
1124
2
        if (rs->tablet_schema()->schema_version() >= schema_version) {
1125
2
            VLOG_DEBUG << "[index_change] skip rowset " << rs->tablet_schema()->schema_version()
1126
0
                       << "," << schema_version;
1127
2
            continue;
1128
2
        }
1129
1130
0
        if (ret_rowset == nullptr) {
1131
0
            ret_rowset = rs;
1132
0
            continue;
1133
0
        }
1134
1135
0
        if (rs->start_version() > ret_rowset->start_version()) {
1136
0
            ret_rowset = rs;
1137
0
        }
1138
0
    }
1139
1140
2
    if (ret_rowset != nullptr) {
1141
0
        is_base_rowset = ret_rowset->version().first < _cumulative_point;
1142
0
    }
1143
1144
2
    return ret_rowset;
1145
9
}
1146
1147
0
std::vector<RowsetSharedPtr> CloudTablet::pick_candidate_rowsets_to_base_compaction() {
1148
0
    std::vector<RowsetSharedPtr> candidate_rowsets;
1149
0
    {
1150
0
        std::shared_lock rlock(_meta_lock);
1151
0
        for (const auto& [version, rs] : _rs_version_map) {
1152
0
            if (version.first != 0 && version.first < _cumulative_point &&
1153
0
                (_alter_version == -1 || version.second <= _alter_version)) {
1154
0
                candidate_rowsets.push_back(rs);
1155
0
            }
1156
0
        }
1157
0
    }
1158
0
    std::sort(candidate_rowsets.begin(), candidate_rowsets.end(), Rowset::comparator);
1159
0
    return candidate_rowsets;
1160
0
}
1161
1162
0
std::vector<RowsetSharedPtr> CloudTablet::pick_candidate_rowsets_to_full_compaction() {
1163
0
    std::vector<RowsetSharedPtr> candidate_rowsets;
1164
0
    {
1165
0
        std::shared_lock rlock(_meta_lock);
1166
0
        for (auto& [v, rs] : _rs_version_map) {
1167
            // MUST NOT compact rowset [0-1] for some historical reasons (see cloud_schema_change)
1168
0
            if (v.first != 0) {
1169
0
                candidate_rowsets.push_back(rs);
1170
0
            }
1171
0
        }
1172
0
    }
1173
0
    std::sort(candidate_rowsets.begin(), candidate_rowsets.end(), Rowset::comparator);
1174
0
    return candidate_rowsets;
1175
0
}
1176
1177
0
CalcDeleteBitmapExecutor* CloudTablet::calc_delete_bitmap_executor() {
1178
0
    return _engine.calc_delete_bitmap_executor();
1179
0
}
1180
1181
Status CloudTablet::save_delete_bitmap(const TabletTxnInfo* txn_info, int64_t txn_id,
1182
                                       DeleteBitmapPtr delete_bitmap, RowsetWriter* rowset_writer,
1183
                                       const RowsetIdUnorderedSet& cur_rowset_ids, int64_t lock_id,
1184
0
                                       int64_t next_visible_version) {
1185
0
    RowsetSharedPtr rowset = txn_info->rowset;
1186
0
    int64_t cur_version = rowset->start_version();
1187
    // update delete bitmap info, in order to avoid recalculation when trying again
1188
0
    RETURN_IF_ERROR(_engine.txn_delete_bitmap_cache().update_tablet_txn_info(
1189
0
            txn_id, tablet_id(), delete_bitmap, cur_rowset_ids, PublishStatus::PREPARE));
1190
1191
0
    if (txn_info->partial_update_info && txn_info->partial_update_info->is_partial_update() &&
1192
0
        rowset_writer->num_rows() > 0) {
1193
0
        DBUG_EXECUTE_IF("CloudTablet::save_delete_bitmap.update_tmp_rowset.error", {
1194
0
            return Status::InternalError<false>("injected update_tmp_rowset error.");
1195
0
        });
1196
0
        const auto& rowset_meta = rowset->rowset_meta();
1197
0
        RETURN_IF_ERROR(_engine.meta_mgr().update_tmp_rowset(*rowset_meta, table_id()));
1198
0
    }
1199
1200
0
    RETURN_IF_ERROR(save_delete_bitmap_to_ms(cur_version, txn_id, delete_bitmap, lock_id,
1201
0
                                             next_visible_version, rowset));
1202
1203
    // store the delete bitmap with sentinel marks in txn_delete_bitmap_cache because if the txn is retried for some reason,
1204
    // it will use the delete bitmap from txn_delete_bitmap_cache when re-calculating the delete bitmap, during which it will do
1205
    // delete bitmap correctness check. If we store the new_delete_bitmap, the delete bitmap correctness check will fail
1206
0
    RETURN_IF_ERROR(_engine.txn_delete_bitmap_cache().update_tablet_txn_info(
1207
0
            txn_id, tablet_id(), delete_bitmap, cur_rowset_ids, PublishStatus::SUCCEED,
1208
0
            txn_info->publish_info));
1209
1210
0
    DBUG_EXECUTE_IF("CloudTablet::save_delete_bitmap.enable_sleep", {
1211
0
        auto sleep_sec = dp->param<int>("sleep", 5);
1212
0
        std::this_thread::sleep_for(std::chrono::seconds(sleep_sec));
1213
0
    });
1214
1215
0
    DBUG_EXECUTE_IF("CloudTablet::save_delete_bitmap.injected_error", {
1216
0
        auto retry = dp->param<bool>("retry", false);
1217
0
        auto sleep_sec = dp->param<int>("sleep", 0);
1218
0
        std::this_thread::sleep_for(std::chrono::seconds(sleep_sec));
1219
0
        if (retry) { // return DELETE_BITMAP_LOCK_ERROR to let it retry
1220
0
            return Status::Error<ErrorCode::DELETE_BITMAP_LOCK_ERROR>(
1221
0
                    "injected DELETE_BITMAP_LOCK_ERROR");
1222
0
        } else {
1223
0
            return Status::InternalError<false>("injected non-retryable error");
1224
0
        }
1225
0
    });
1226
1227
0
    return Status::OK();
1228
0
}
1229
1230
Status CloudTablet::save_delete_bitmap_to_ms(int64_t cur_version, int64_t txn_id,
1231
                                             DeleteBitmapPtr delete_bitmap, int64_t lock_id,
1232
0
                                             int64_t next_visible_version, RowsetSharedPtr rowset) {
1233
0
    DeleteBitmapPtr new_delete_bitmap = std::make_shared<DeleteBitmap>(tablet_id());
1234
0
    for (auto iter = delete_bitmap->delete_bitmap.begin();
1235
0
         iter != delete_bitmap->delete_bitmap.end(); ++iter) {
1236
        // skip sentinel mark, which is used for delete bitmap correctness check
1237
0
        if (std::get<1>(iter->first) != DeleteBitmap::INVALID_SEGMENT_ID) {
1238
0
            new_delete_bitmap->merge(
1239
0
                    {std::get<0>(iter->first), std::get<1>(iter->first), cur_version},
1240
0
                    iter->second);
1241
0
        }
1242
0
    }
1243
    // lock_id != -1 means this is in an explict txn
1244
0
    bool is_explicit_txn = (lock_id != -1);
1245
0
    auto ms_lock_id = !is_explicit_txn ? txn_id : lock_id;
1246
0
    std::optional<StorageResource> storage_resource;
1247
0
    auto storage_resource_result = rowset->rowset_meta()->remote_storage_resource();
1248
0
    if (storage_resource_result) {
1249
0
        storage_resource = *storage_resource_result.value();
1250
0
    }
1251
0
    RETURN_IF_ERROR(_engine.meta_mgr().update_delete_bitmap(
1252
0
            *this, ms_lock_id, LOAD_INITIATOR_ID, new_delete_bitmap.get(), new_delete_bitmap.get(),
1253
0
            rowset->rowset_id().to_string(), storage_resource,
1254
0
            config::delete_bitmap_store_write_version, table_id(), txn_id, is_explicit_txn,
1255
0
            next_visible_version));
1256
0
    return Status::OK();
1257
0
}
1258
1259
1
Versions CloudTablet::calc_missed_versions(int64_t spec_version, Versions existing_versions) const {
1260
1
    DCHECK(spec_version > 0) << "invalid spec_version: " << spec_version;
1261
1262
    // sort the existing versions in ascending order
1263
1
    std::sort(existing_versions.begin(), existing_versions.end(),
1264
3
              [](const Version& a, const Version& b) {
1265
                  // simple because 2 versions are certainly not overlapping
1266
3
                  return a.first < b.first;
1267
3
              });
1268
1269
    // From the first version(=0), find the missing version until spec_version
1270
1
    int64_t last_version = -1;
1271
1
    Versions missed_versions;
1272
4
    for (const Version& version : existing_versions) {
1273
4
        if (version.first > last_version + 1) {
1274
            // there is a hole between versions
1275
2
            missed_versions.emplace_back(last_version + 1, std::min(version.first, spec_version));
1276
2
        }
1277
4
        last_version = version.second;
1278
4
        if (last_version >= spec_version) {
1279
1
            break;
1280
1
        }
1281
4
    }
1282
1
    if (last_version < spec_version) {
1283
        // there is a hole between the last version and the specificed version.
1284
0
        missed_versions.emplace_back(last_version + 1, spec_version);
1285
0
    }
1286
1
    return missed_versions;
1287
1
}
1288
1289
Status CloudTablet::calc_delete_bitmap_for_compaction(
1290
        const std::vector<RowsetSharedPtr>& input_rowsets, const RowsetSharedPtr& output_rowset,
1291
        const RowIdConversion& rowid_conversion, ReaderType compaction_type, int64_t merged_rows,
1292
        int64_t filtered_rows, int64_t initiator, DeleteBitmapPtr& output_rowset_delete_bitmap,
1293
0
        bool allow_delete_in_cumu_compaction, int64_t& get_delete_bitmap_lock_start_time) {
1294
0
    output_rowset_delete_bitmap = std::make_shared<DeleteBitmap>(tablet_id());
1295
0
    std::unique_ptr<RowLocationSet> missed_rows;
1296
0
    if ((config::enable_missing_rows_correctness_check ||
1297
0
         config::enable_mow_compaction_correctness_check_core ||
1298
0
         config::enable_mow_compaction_correctness_check_fail) &&
1299
0
        !allow_delete_in_cumu_compaction &&
1300
0
        (compaction_type == ReaderType::READER_CUMULATIVE_COMPACTION ||
1301
0
         !config::enable_prune_delete_sign_when_base_compaction)) {
1302
        // also check duplicate key for base compaction when config::enable_prune_delete_sign_when_base_compaction==false
1303
0
        missed_rows = std::make_unique<RowLocationSet>();
1304
0
        LOG(INFO) << "RowLocation Set inited succ for tablet:" << tablet_id();
1305
0
    }
1306
1307
0
    std::unique_ptr<std::map<RowsetSharedPtr, RowLocationPairList>> location_map;
1308
0
    if (config::enable_rowid_conversion_correctness_check &&
1309
0
        tablet_schema()->cluster_key_uids().empty()) {
1310
0
        location_map = std::make_unique<std::map<RowsetSharedPtr, RowLocationPairList>>();
1311
0
        LOG(INFO) << "Location Map inited succ for tablet:" << tablet_id();
1312
0
    }
1313
1314
    // 1. calc delete bitmap for historical data
1315
0
    RETURN_IF_ERROR(_engine.meta_mgr().sync_tablet_rowsets(this));
1316
0
    Version version = max_version();
1317
0
    std::size_t missed_rows_size = 0;
1318
0
    calc_compaction_output_rowset_delete_bitmap(
1319
0
            input_rowsets, rowid_conversion, 0, version.second + 1, missed_rows.get(),
1320
0
            location_map.get(), tablet_meta()->delete_bitmap(), output_rowset_delete_bitmap.get());
1321
0
    if (missed_rows) {
1322
0
        missed_rows_size = missed_rows->size();
1323
0
        if (!allow_delete_in_cumu_compaction) {
1324
0
            if ((compaction_type == ReaderType::READER_CUMULATIVE_COMPACTION ||
1325
0
                 !config::enable_prune_delete_sign_when_base_compaction) &&
1326
0
                tablet_state() == TABLET_RUNNING) {
1327
0
                if (merged_rows + filtered_rows >= 0 &&
1328
0
                    merged_rows + filtered_rows != missed_rows_size) {
1329
0
                    std::string err_msg = fmt::format(
1330
0
                            "cumulative compaction: the merged rows({}), the filtered rows({}) is "
1331
0
                            "not equal to missed rows({}) in rowid conversion, tablet_id: {}, "
1332
0
                            "table_id:{}",
1333
0
                            merged_rows, filtered_rows, missed_rows_size, tablet_id(), table_id());
1334
0
                    LOG(WARNING) << err_msg;
1335
0
                    if (config::enable_mow_compaction_correctness_check_core) {
1336
0
                        CHECK(false) << err_msg;
1337
0
                    } else if (config::enable_mow_compaction_correctness_check_fail) {
1338
0
                        return Status::InternalError<false>(err_msg);
1339
0
                    } else {
1340
0
                        DCHECK(false) << err_msg;
1341
0
                    }
1342
0
                }
1343
0
            }
1344
0
        }
1345
0
    }
1346
0
    if (location_map) {
1347
0
        RETURN_IF_ERROR(check_rowid_conversion(output_rowset, *location_map));
1348
0
        location_map->clear();
1349
0
    }
1350
1351
    // 2. calc delete bitmap for incremental data
1352
0
    int64_t t1 = MonotonicMicros();
1353
0
    RETURN_IF_ERROR(_engine.meta_mgr().get_delete_bitmap_update_lock(
1354
0
            *this, COMPACTION_DELETE_BITMAP_LOCK_ID, initiator));
1355
0
    int64_t t2 = MonotonicMicros();
1356
0
    if (compaction_type == ReaderType::READER_CUMULATIVE_COMPACTION) {
1357
0
        g_cu_compaction_get_delete_bitmap_lock_time_ms << (t2 - t1) / 1000;
1358
0
    } else if (compaction_type == ReaderType::READER_BASE_COMPACTION) {
1359
0
        g_base_compaction_get_delete_bitmap_lock_time_ms << (t2 - t1) / 1000;
1360
0
    }
1361
0
    get_delete_bitmap_lock_start_time = t2;
1362
0
    RETURN_IF_ERROR(_engine.meta_mgr().sync_tablet_rowsets(this));
1363
0
    int64_t t3 = MonotonicMicros();
1364
1365
0
    calc_compaction_output_rowset_delete_bitmap(
1366
0
            input_rowsets, rowid_conversion, version.second, UINT64_MAX, missed_rows.get(),
1367
0
            location_map.get(), tablet_meta()->delete_bitmap(), output_rowset_delete_bitmap.get());
1368
0
    int64_t t4 = MonotonicMicros();
1369
0
    if (location_map) {
1370
0
        RETURN_IF_ERROR(check_rowid_conversion(output_rowset, *location_map));
1371
0
    }
1372
0
    int64_t t5 = MonotonicMicros();
1373
1374
    // 3. store delete bitmap
1375
0
    DeleteBitmapPtr delete_bitmap_v2 = nullptr;
1376
0
    auto delete_bitmap_size = output_rowset_delete_bitmap->delete_bitmap.size();
1377
0
    auto store_version = config::delete_bitmap_store_write_version;
1378
0
    if (store_version == 2 || store_version == 3) {
1379
0
        delete_bitmap_v2 = std::make_shared<DeleteBitmap>(*output_rowset_delete_bitmap);
1380
0
        std::vector<std::pair<RowsetId, int64_t>> retained_rowsets_to_seg_num;
1381
0
        {
1382
0
            std::shared_lock rlock(get_header_lock());
1383
0
            for (const auto& [rowset_version, rowset_ptr] : rowset_map()) {
1384
0
                if (rowset_version.second < output_rowset->start_version()) {
1385
0
                    retained_rowsets_to_seg_num.emplace_back(
1386
0
                            std::make_pair(rowset_ptr->rowset_id(), rowset_ptr->num_segments()));
1387
0
                }
1388
0
            }
1389
0
        }
1390
0
        if (config::enable_agg_delta_delete_bitmap_for_store_v2) {
1391
0
            tablet_meta()->delete_bitmap().subset_and_agg(
1392
0
                    retained_rowsets_to_seg_num, output_rowset->start_version(),
1393
0
                    output_rowset->end_version(), delete_bitmap_v2.get());
1394
0
        } else {
1395
0
            tablet_meta()->delete_bitmap().subset(
1396
0
                    retained_rowsets_to_seg_num, output_rowset->start_version(),
1397
0
                    output_rowset->end_version(), delete_bitmap_v2.get());
1398
0
        }
1399
0
    }
1400
0
    std::optional<StorageResource> storage_resource;
1401
0
    auto storage_resource_result = output_rowset->rowset_meta()->remote_storage_resource();
1402
0
    if (storage_resource_result) {
1403
0
        storage_resource = *storage_resource_result.value();
1404
0
    }
1405
0
    auto st = _engine.meta_mgr().update_delete_bitmap(
1406
0
            *this, -1, initiator, output_rowset_delete_bitmap.get(), delete_bitmap_v2.get(),
1407
0
            output_rowset->rowset_id().to_string(), storage_resource, store_version, table_id());
1408
0
    int64_t t6 = MonotonicMicros();
1409
0
    LOG(INFO) << "calc_delete_bitmap_for_compaction, tablet_id=" << tablet_id()
1410
0
              << ", get lock cost " << (t2 - t1) << " us, sync rowsets cost " << (t3 - t2)
1411
0
              << " us, calc delete bitmap cost " << (t4 - t3) << " us, check rowid conversion cost "
1412
0
              << (t5 - t4) << " us, store delete bitmap cost " << (t6 - t5)
1413
0
              << " us, st=" << st.to_string() << ". store_version=" << store_version
1414
0
              << ", calculated delete bitmap size=" << delete_bitmap_size
1415
0
              << ", update delete bitmap size="
1416
0
              << output_rowset_delete_bitmap->delete_bitmap.size();
1417
0
    return st;
1418
0
}
1419
1420
void CloudTablet::agg_delete_bitmap_for_compaction(
1421
        int64_t start_version, int64_t end_version, const std::vector<RowsetSharedPtr>& pre_rowsets,
1422
        DeleteBitmapPtr& new_delete_bitmap,
1423
0
        std::map<std::string, int64_t>& pre_rowset_to_versions) {
1424
0
    for (auto& rowset : pre_rowsets) {
1425
0
        for (uint32_t seg_id = 0; seg_id < rowset->num_segments(); ++seg_id) {
1426
0
            auto d = tablet_meta()->delete_bitmap().get_agg_without_cache(
1427
0
                    {rowset->rowset_id(), seg_id, end_version}, start_version);
1428
0
            if (d->isEmpty()) {
1429
0
                continue;
1430
0
            }
1431
0
            VLOG_DEBUG << "agg delete bitmap for tablet_id=" << tablet_id()
1432
0
                       << ", rowset_id=" << rowset->rowset_id() << ", seg_id=" << seg_id
1433
0
                       << ", rowset_version=" << rowset->version().to_string()
1434
0
                       << ". compaction start_version=" << start_version
1435
0
                       << ", end_version=" << end_version
1436
0
                       << ". delete_bitmap cardinality=" << d->cardinality();
1437
0
            DeleteBitmap::BitmapKey end_key {rowset->rowset_id(), seg_id, end_version};
1438
0
            new_delete_bitmap->set(end_key, *d);
1439
0
            pre_rowset_to_versions[rowset->rowset_id().to_string()] = rowset->version().second;
1440
0
        }
1441
0
    }
1442
0
}
1443
1444
5
Status CloudTablet::sync_meta() {
1445
5
    if (!config::enable_file_cache) {
1446
1
        return Status::OK();
1447
1
    }
1448
1449
4
    TabletMetaSharedPtr tablet_meta;
1450
4
    auto st = _engine.meta_mgr().get_tablet_meta(tablet_id(), &tablet_meta);
1451
4
    if (!st.ok()) {
1452
0
        if (st.is<ErrorCode::NOT_FOUND>()) {
1453
0
            clear_cache();
1454
0
        }
1455
0
        return st;
1456
0
    }
1457
1458
4
    auto new_compaction_policy = tablet_meta->compaction_policy();
1459
4
    if (_tablet_meta->compaction_policy() != new_compaction_policy) {
1460
1
        _tablet_meta->set_compaction_policy(new_compaction_policy);
1461
1
    }
1462
4
    auto new_time_series_compaction_goal_size_mbytes =
1463
4
            tablet_meta->time_series_compaction_goal_size_mbytes();
1464
4
    if (_tablet_meta->time_series_compaction_goal_size_mbytes() !=
1465
4
        new_time_series_compaction_goal_size_mbytes) {
1466
0
        _tablet_meta->set_time_series_compaction_goal_size_mbytes(
1467
0
                new_time_series_compaction_goal_size_mbytes);
1468
0
    }
1469
4
    auto new_time_series_compaction_file_count_threshold =
1470
4
            tablet_meta->time_series_compaction_file_count_threshold();
1471
4
    if (_tablet_meta->time_series_compaction_file_count_threshold() !=
1472
4
        new_time_series_compaction_file_count_threshold) {
1473
0
        _tablet_meta->set_time_series_compaction_file_count_threshold(
1474
0
                new_time_series_compaction_file_count_threshold);
1475
0
    }
1476
4
    auto new_time_series_compaction_time_threshold_seconds =
1477
4
            tablet_meta->time_series_compaction_time_threshold_seconds();
1478
4
    if (_tablet_meta->time_series_compaction_time_threshold_seconds() !=
1479
4
        new_time_series_compaction_time_threshold_seconds) {
1480
0
        _tablet_meta->set_time_series_compaction_time_threshold_seconds(
1481
0
                new_time_series_compaction_time_threshold_seconds);
1482
0
    }
1483
4
    auto new_time_series_compaction_empty_rowsets_threshold =
1484
4
            tablet_meta->time_series_compaction_empty_rowsets_threshold();
1485
4
    if (_tablet_meta->time_series_compaction_empty_rowsets_threshold() !=
1486
4
        new_time_series_compaction_empty_rowsets_threshold) {
1487
0
        _tablet_meta->set_time_series_compaction_empty_rowsets_threshold(
1488
0
                new_time_series_compaction_empty_rowsets_threshold);
1489
0
    }
1490
4
    auto new_time_series_compaction_level_threshold =
1491
4
            tablet_meta->time_series_compaction_level_threshold();
1492
4
    if (_tablet_meta->time_series_compaction_level_threshold() !=
1493
4
        new_time_series_compaction_level_threshold) {
1494
0
        _tablet_meta->set_time_series_compaction_level_threshold(
1495
0
                new_time_series_compaction_level_threshold);
1496
0
    }
1497
    // Sync disable_auto_compaction (stored in tablet_schema)
1498
4
    auto new_disable_auto_compaction = tablet_meta->tablet_schema()->disable_auto_compaction();
1499
4
    if (_tablet_meta->tablet_schema()->disable_auto_compaction() != new_disable_auto_compaction) {
1500
3
        _tablet_meta->mutable_tablet_schema()->set_disable_auto_compaction(
1501
3
                new_disable_auto_compaction);
1502
3
    }
1503
    // Sync vertical_compaction_num_columns_per_group
1504
4
    auto new_vertical_compaction_num_columns_per_group =
1505
4
            tablet_meta->vertical_compaction_num_columns_per_group();
1506
4
    if (_tablet_meta->vertical_compaction_num_columns_per_group() !=
1507
4
        new_vertical_compaction_num_columns_per_group) {
1508
0
        _tablet_meta->set_vertical_compaction_num_columns_per_group(
1509
0
                new_vertical_compaction_num_columns_per_group);
1510
0
    }
1511
1512
4
    return Status::OK();
1513
4
}
1514
1515
0
void CloudTablet::build_tablet_report_info(TTabletInfo* tablet_info) {
1516
0
    std::shared_lock rdlock(_meta_lock);
1517
0
    tablet_info->__set_total_version_count(_tablet_meta->version_count());
1518
0
    tablet_info->__set_tablet_id(_tablet_meta->tablet_id());
1519
    // Currently, this information will not be used by the cloud report,
1520
    // but it may be used in the future.
1521
0
}
1522
1523
Status CloudTablet::check_delete_bitmap_cache(int64_t txn_id,
1524
0
                                              DeleteBitmap* expected_delete_bitmap) {
1525
0
    DeleteBitmapPtr cached_delete_bitmap;
1526
0
    CloudStorageEngine& engine = ExecEnv::GetInstance()->storage_engine().to_cloud();
1527
0
    Status st = engine.txn_delete_bitmap_cache().get_delete_bitmap(
1528
0
            txn_id, tablet_id(), &cached_delete_bitmap, nullptr, nullptr);
1529
0
    if (st.ok()) {
1530
0
        bool res = (expected_delete_bitmap->cardinality() == cached_delete_bitmap->cardinality());
1531
0
        auto msg = fmt::format(
1532
0
                "delete bitmap cache check failed, cur_cardinality={}, cached_cardinality={}"
1533
0
                "txn_id={}, tablet_id={}",
1534
0
                expected_delete_bitmap->cardinality(), cached_delete_bitmap->cardinality(), txn_id,
1535
0
                tablet_id());
1536
0
        if (!res) {
1537
0
            DCHECK(res) << msg;
1538
0
            return Status::InternalError<false>(msg);
1539
0
        }
1540
0
    }
1541
0
    return Status::OK();
1542
0
}
1543
1544
35
WarmUpState CloudTablet::get_rowset_warmup_state(RowsetId rowset_id) {
1545
35
    std::shared_lock rlock(_meta_lock);
1546
35
    if (!_rowset_warm_up_states.contains(rowset_id)) {
1547
1
        return {.trigger_source = WarmUpTriggerSource::NONE, .progress = WarmUpProgress::NONE};
1548
1
    }
1549
34
    auto& warmup_info = _rowset_warm_up_states[rowset_id];
1550
34
    warmup_info.update_state();
1551
34
    return warmup_info.state;
1552
35
}
1553
1554
bool CloudTablet::add_rowset_warmup_state(const RowsetMeta& rowset, WarmUpTriggerSource source,
1555
34
                                          std::chrono::steady_clock::time_point start_tp) {
1556
34
    std::lock_guard wlock(_meta_lock);
1557
34
    return add_rowset_warmup_state_unlocked(rowset, source, start_tp);
1558
34
}
1559
1560
bool CloudTablet::update_rowset_warmup_state_inverted_idx_num(WarmUpTriggerSource source,
1561
5
                                                              RowsetId rowset_id, int64_t delta) {
1562
5
    std::lock_guard wlock(_meta_lock);
1563
5
    return update_rowset_warmup_state_inverted_idx_num_unlocked(source, rowset_id, delta);
1564
5
}
1565
1566
bool CloudTablet::update_rowset_warmup_state_inverted_idx_num_unlocked(WarmUpTriggerSource source,
1567
                                                                       RowsetId rowset_id,
1568
5
                                                                       int64_t delta) {
1569
5
    auto it = _rowset_warm_up_states.find(rowset_id);
1570
5
    if (it == _rowset_warm_up_states.end()) {
1571
0
        return false;
1572
0
    }
1573
5
    if (it->second.state.trigger_source != source) {
1574
        // Only the same trigger source can update the state
1575
2
        return false;
1576
2
    }
1577
3
    it->second.num_inverted_idx += delta;
1578
3
    return true;
1579
5
}
1580
1581
bool CloudTablet::add_rowset_warmup_state_unlocked(const RowsetMeta& rowset,
1582
                                                   WarmUpTriggerSource source,
1583
34
                                                   std::chrono::steady_clock::time_point start_tp) {
1584
34
    auto rowset_id = rowset.rowset_id();
1585
1586
    // Check if rowset already has warmup state
1587
34
    if (_rowset_warm_up_states.contains(rowset_id)) {
1588
10
        auto existing_state = _rowset_warm_up_states[rowset_id].state;
1589
1590
        // For job-triggered warmup (one-time and periodic warmup), allow it to proceed
1591
        // except when there's already another job-triggered warmup in progress
1592
10
        if (source == WarmUpTriggerSource::JOB) {
1593
5
            if (existing_state.trigger_source == WarmUpTriggerSource::JOB &&
1594
5
                existing_state.progress == WarmUpProgress::DOING) {
1595
                // Same job type already in progress, skip to avoid duplicate warmup
1596
1
                return false;
1597
1
            }
1598
5
        } else {
1599
            // For non-job warmup (EVENT_DRIVEN, SYNC_ROWSET), skip if any warmup exists
1600
5
            return false;
1601
5
        }
1602
10
    }
1603
1604
28
    if (source == WarmUpTriggerSource::JOB) {
1605
9
        g_file_cache_warm_up_rowset_triggered_by_job_num << 1;
1606
19
    } else if (source == WarmUpTriggerSource::SYNC_ROWSET) {
1607
6
        g_file_cache_warm_up_rowset_triggered_by_sync_rowset_num << 1;
1608
13
    } else if (source == WarmUpTriggerSource::EVENT_DRIVEN) {
1609
13
        g_file_cache_warm_up_rowset_triggered_by_event_driven_num << 1;
1610
13
    }
1611
28
    _rowset_warm_up_states[rowset_id] = {
1612
28
            .state = {.trigger_source = source,
1613
28
                      .progress = (rowset.num_segments() == 0 ? WarmUpProgress::DONE
1614
28
                                                              : WarmUpProgress::DOING)},
1615
28
            .num_segments = rowset.num_segments(),
1616
28
            .start_tp = start_tp};
1617
28
    return true;
1618
34
}
1619
1620
52
void CloudTablet::RowsetWarmUpInfo::update_state() {
1621
52
    if (has_finished()) {
1622
14
        g_file_cache_warm_up_rowset_complete_num << 1;
1623
14
        auto cost = std::chrono::duration_cast<std::chrono::milliseconds>(
1624
14
                            std::chrono::steady_clock::now() - start_tp)
1625
14
                            .count();
1626
14
        g_file_cache_warm_up_rowset_all_segments_latency << cost;
1627
14
        state.progress = WarmUpProgress::DONE;
1628
14
    }
1629
52
}
1630
1631
WarmUpState CloudTablet::complete_rowset_segment_warmup(WarmUpTriggerSource trigger_source,
1632
                                                        RowsetId rowset_id, Status status,
1633
                                                        int64_t segment_num,
1634
21
                                                        int64_t inverted_idx_num) {
1635
21
    std::lock_guard wlock(_meta_lock);
1636
21
    auto it = _rowset_warm_up_states.find(rowset_id);
1637
21
    if (it == _rowset_warm_up_states.end()) {
1638
1
        return {.trigger_source = WarmUpTriggerSource::NONE, .progress = WarmUpProgress::NONE};
1639
1
    }
1640
20
    auto& warmup_info = it->second;
1641
20
    if (warmup_info.state.trigger_source != trigger_source) {
1642
        // Only the same trigger source can update the state
1643
2
        return warmup_info.state;
1644
2
    }
1645
18
    VLOG_DEBUG << "complete rowset segment warmup for rowset " << rowset_id << ", " << status;
1646
18
    if (segment_num > 0) {
1647
16
        g_file_cache_warm_up_segment_complete_num << segment_num;
1648
16
        if (!status.ok()) {
1649
1
            g_file_cache_warm_up_segment_failed_num << segment_num;
1650
1
        }
1651
16
    }
1652
18
    if (inverted_idx_num > 0) {
1653
2
        g_file_cache_warm_up_inverted_idx_complete_num << inverted_idx_num;
1654
2
        if (!status.ok()) {
1655
0
            g_file_cache_warm_up_inverted_idx_failed_num << inverted_idx_num;
1656
0
        }
1657
2
    }
1658
18
    warmup_info.done(segment_num, inverted_idx_num);
1659
18
    return warmup_info.state;
1660
20
}
1661
1662
222
bool CloudTablet::is_rowset_warmed_up(const RowsetId& rowset_id) const {
1663
222
    auto it = _rowset_warm_up_states.find(rowset_id);
1664
222
    if (it == _rowset_warm_up_states.end()) {
1665
        // The rowset is not in warmup state, which means the rowset has never been warmed up.
1666
        // This may happen when the upstream BE tried to warm up rowsets on this BE but this BE
1667
        // was restarting so the warmup failed, and _rowset_warm_up_states has no entry for it.
1668
        //
1669
        // Normally the startup_timepoint check in rowset_is_warmed_up_unlocked() would filter out
1670
        // such rowsets (visible_timestamp < startup_timepoint → assumed warmed up). However,
1671
        // compaction-produced rowsets have their visible_timestamp set at rowset builder
1672
        // initialization time rather than the final transaction commit time on meta-service,
1673
        // so their visible_timestamp can be earlier than startup_timepoint, causing the
1674
        // startup_timepoint check to NOT filter them out and reaching here with no warmup entry.
1675
        //
1676
        // If such a rowset is before the cumulative compaction point and base compaction never
1677
        // happens, returning false here would cause the version path algorithm to exclude it,
1678
        // leading to a persistently low path_max_version. With continuous upstream ingestion,
1679
        // the freshness tolerance fallback check would keep triggering, making every query on
1680
        // this tablet fall back to reading all data from remote storage.
1681
        //
1682
        // Returning true (optimistically treating it as warmed up) allows the version path to
1683
        // include it. On cache miss the data is transparently read from remote storage per-segment
1684
        // and cached locally in 1MB blocks, so the problem self-heals through subsequent queries.
1685
7
        g_rowset_warmup_state_missing_count << 1;
1686
7
        LOG_EVERY_N(WARNING, 100) << fmt::format(
1687
1
                "rowset warmup state missing, considering it as warmed up. tablet_id={}, "
1688
1
                "rowset_id={}",
1689
1
                tablet_id(), rowset_id.to_string());
1690
7
        return true;
1691
7
    }
1692
215
    return it->second.state.progress == WarmUpProgress::DONE;
1693
222
}
1694
1695
675
void CloudTablet::add_warmed_up_rowset(const RowsetId& rowset_id) {
1696
675
    _rowset_warm_up_states[rowset_id] = {
1697
675
            .state = {.trigger_source = WarmUpTriggerSource::SYNC_ROWSET,
1698
675
                      .progress = WarmUpProgress::DONE},
1699
675
            .num_segments = 1,
1700
675
            .start_tp = std::chrono::steady_clock::now()};
1701
675
}
1702
1703
93
void CloudTablet::add_not_warmed_up_rowset(const RowsetId& rowset_id) {
1704
93
    _rowset_warm_up_states[rowset_id] = {
1705
93
            .state = {.trigger_source = WarmUpTriggerSource::SYNC_ROWSET,
1706
93
                      .progress = WarmUpProgress::DOING},
1707
93
            .num_segments = 1,
1708
93
            .start_tp = std::chrono::steady_clock::now()};
1709
93
}
1710
1711
bool CloudTablet::_check_rowset_should_be_visible_but_not_warmed_up(
1712
        const RowsetMetaSharedPtr& rs_meta, int64_t path_max_version,
1713
417
        std::chrono::system_clock::time_point freshness_limit_tp) const {
1714
417
    if (rs_meta->version() == Version {0, 1}) {
1715
        // skip rowset[0-1]
1716
22
        return false;
1717
22
    }
1718
395
    bool ret = rs_meta->start_version() > path_max_version &&
1719
395
               rs_meta->visible_timestamp() < freshness_limit_tp;
1720
395
    if (ret && config::read_cluster_cache_opt_verbose_log) {
1721
5
        using namespace std::chrono;
1722
5
        std::time_t t1 = system_clock::to_time_t(rs_meta->visible_timestamp());
1723
5
        std::tm tm1 = *std::localtime(&t1);
1724
5
        std::ostringstream oss1;
1725
5
        oss1 << std::put_time(&tm1, "%Y-%m-%d %H:%M:%S");
1726
1727
5
        std::time_t t2 = system_clock::to_time_t(freshness_limit_tp);
1728
5
        std::tm tm2 = *std::localtime(&t2);
1729
5
        std::ostringstream oss2;
1730
5
        oss2 << std::put_time(&tm2, "%Y-%m-%d %H:%M:%S");
1731
5
        LOG_INFO(
1732
5
                "[verbose] CloudTablet::capture_rs_readers_with_freshness_tolerance, "
1733
5
                "find a rowset which should be visible but not warmed up, tablet_id={}, "
1734
5
                "path_max_version={}, rowset_id={}, version={}, visible_time={}, "
1735
5
                "freshness_limit={}, version_graph={}, rowset_warmup_digest={}",
1736
5
                tablet_id(), path_max_version, rs_meta->rowset_id().to_string(),
1737
5
                rs_meta->version().to_string(), oss1.str(), oss2.str(),
1738
5
                _timestamped_version_tracker.debug_string(), rowset_warmup_digest());
1739
5
    }
1740
395
    return ret;
1741
417
}
1742
1743
void CloudTablet::_submit_segment_download_task(const RowsetSharedPtr& rs,
1744
                                                const StorageResource* storage_resource, int seg_id,
1745
1746
0
                                                int64_t expiration_time) {
1747
    // clang-format off
1748
0
    const auto& rowset_meta = rs->rowset_meta();
1749
0
    auto self = std::dynamic_pointer_cast<CloudTablet>(shared_from_this());
1750
    // Use rowset_meta->fs() instead of storage_resource->fs to support packed file.
1751
    // RowsetMeta::fs() wraps the underlying FileSystem with PackedFileSystem when
1752
    // packed_slice_locations is not empty, which correctly maps segment file paths
1753
    // to their actual locations within packed files.
1754
0
    auto file_system = rowset_meta->fs();
1755
0
    if (!file_system) {
1756
0
        LOG(WARNING) << "failed to get file system for tablet_id=" << _tablet_meta->tablet_id()
1757
0
                     << ", rowset_id=" << rowset_meta->rowset_id();
1758
0
        return;
1759
0
    }
1760
0
    _engine.file_cache_block_downloader().submit_download_task(io::DownloadFileMeta {
1761
0
            .path = storage_resource->remote_segment_path(*rowset_meta, seg_id),
1762
0
            .file_size = rs->rowset_meta()->segment_file_size(seg_id),
1763
0
            .file_system = file_system,
1764
0
            .ctx = {
1765
0
                    .expiration_time = expiration_time,
1766
0
                    .is_dryrun = config::enable_reader_dryrun_when_download_file_cache,
1767
0
                    .is_warmup = true
1768
0
            },
1769
0
            .download_done {[=](Status st) {
1770
0
                DBUG_EXECUTE_IF("CloudTablet::add_rowsets.download_data.callback.block_compaction_rowset", {
1771
0
                            if (rs->version().second > rs->version().first) {
1772
0
                                auto sleep_time = dp->param<int>("sleep", 3);
1773
0
                                LOG_INFO(
1774
0
                                        "[verbose] block download for rowset={}, "
1775
0
                                        "version={}, sleep={}",
1776
0
                                        rs->rowset_id().to_string(),
1777
0
                                        rs->version().to_string(), sleep_time);
1778
0
                                std::this_thread::sleep_for(
1779
0
                                        std::chrono::seconds(sleep_time));
1780
0
                            }
1781
0
                });
1782
0
                self->complete_rowset_segment_warmup(WarmUpTriggerSource::SYNC_ROWSET, rowset_meta->rowset_id(), st, 1, 0);
1783
0
                if (!st) {
1784
0
                    LOG_WARNING("add rowset warm up error ").error(st);
1785
0
                }
1786
0
            }},
1787
0
            .tablet_id = _tablet_meta->tablet_id(),
1788
0
    });
1789
    // clang-format on
1790
0
}
1791
1792
void CloudTablet::_submit_inverted_index_download_task(const RowsetSharedPtr& rs,
1793
                                                       const StorageResource* storage_resource,
1794
                                                       const io::Path& idx_path, int64_t idx_size,
1795
0
                                                       int64_t expiration_time) {
1796
    // clang-format off
1797
0
    const auto& rowset_meta = rs->rowset_meta();
1798
0
    auto self = std::dynamic_pointer_cast<CloudTablet>(shared_from_this());
1799
    // Use rowset_meta->fs() instead of storage_resource->fs to support packed file for idx files.
1800
0
    auto file_system = rowset_meta->fs();
1801
0
    if (!file_system) {
1802
0
        LOG(WARNING) << "failed to get file system for tablet_id=" << _tablet_meta->tablet_id()
1803
0
                     << ", rowset_id=" << rowset_meta->rowset_id();
1804
0
        return;
1805
0
    }
1806
0
    io::DownloadFileMeta meta {
1807
0
            .path = idx_path,
1808
0
            .file_size = idx_size,
1809
0
            .file_system = file_system,
1810
0
            .ctx = {
1811
0
                    .expiration_time = expiration_time,
1812
0
                    .is_dryrun = config::enable_reader_dryrun_when_download_file_cache,
1813
0
                    .is_warmup = true
1814
0
            },
1815
0
            .download_done {[=](Status st) {
1816
0
                DBUG_EXECUTE_IF("CloudTablet::add_rowsets.download_idx.callback.block", {
1817
0
                    auto sleep_time = dp->param<int>("sleep", 3);
1818
0
                    LOG_INFO(
1819
0
                            "[verbose] block download for "
1820
0
                            "rowset={}, inverted_idx_file={}, "
1821
0
                            "sleep={}",
1822
0
                            rs->rowset_id().to_string(), idx_path.string(), sleep_time);
1823
0
                    std::this_thread::sleep_for(std::chrono::seconds(sleep_time));
1824
0
                });
1825
0
                self->complete_rowset_segment_warmup(WarmUpTriggerSource::SYNC_ROWSET, rowset_meta->rowset_id(), st, 0, 1);
1826
0
                if (!st) {
1827
0
                    LOG_WARNING("add rowset warm up error ").error(st);
1828
0
                }
1829
0
            }},
1830
0
            .tablet_id = _tablet_meta->tablet_id(),
1831
0
    };
1832
0
    self->update_rowset_warmup_state_inverted_idx_num_unlocked(WarmUpTriggerSource::SYNC_ROWSET, rowset_meta->rowset_id(), 1);
1833
0
    _engine.file_cache_block_downloader().submit_download_task(std::move(meta));
1834
0
    g_file_cache_cloud_tablet_submitted_index_num << 1;
1835
0
    g_file_cache_cloud_tablet_submitted_index_size << idx_size;
1836
    // clang-format on
1837
0
}
1838
1839
void CloudTablet::_add_rowsets_directly(std::vector<RowsetSharedPtr>& rowsets,
1840
314
                                        bool warmup_delta_data) {
1841
314
#ifdef BE_TEST
1842
314
    warmup_delta_data = false;
1843
314
#endif
1844
891
    for (auto& rs : rowsets) {
1845
891
        if (warmup_delta_data) {
1846
            // Pre-set encryption algorithm to avoid re-entrant get_tablet() call
1847
            // inside RowsetMeta::fs() which causes SingleFlight deadlock when the
1848
            // tablet is not yet cached (during initial load_tablet).
1849
0
            rs->rowset_meta()->set_encryption_algorithm(_tablet_meta->encryption_algorithm());
1850
0
            bool warm_up_state_updated = false;
1851
            // Warmup rowset data in background
1852
0
            for (int seg_id = 0; seg_id < rs->num_segments(); ++seg_id) {
1853
0
                const auto& rowset_meta = rs->rowset_meta();
1854
0
                constexpr int64_t interval = 600; // 10 mins
1855
                // When BE restart and receive the `load_sync` rpc, it will sync all historical rowsets first time.
1856
                // So we need to filter out the old rowsets avoid to download the whole table.
1857
0
                if (warmup_delta_data &&
1858
0
                    ::time(nullptr) - rowset_meta->newest_write_timestamp() >= interval) {
1859
0
                    continue;
1860
0
                }
1861
1862
0
                auto storage_resource = rowset_meta->remote_storage_resource();
1863
0
                if (!storage_resource) {
1864
0
                    LOG(WARNING) << storage_resource.error();
1865
0
                    continue;
1866
0
                }
1867
1868
0
                int64_t expiration_time = _tablet_meta->ttl_seconds();
1869
0
                g_file_cache_cloud_tablet_submitted_segment_num << 1;
1870
0
                if (rs->rowset_meta()->segment_file_size(seg_id) > 0) {
1871
0
                    g_file_cache_cloud_tablet_submitted_segment_size
1872
0
                            << rs->rowset_meta()->segment_file_size(seg_id);
1873
0
                }
1874
0
                if (!warm_up_state_updated) {
1875
0
                    VLOG_DEBUG << "warm up rowset " << rs->version() << "(" << rs->rowset_id()
1876
0
                               << ") triggerd by sync rowset";
1877
0
                    if (!add_rowset_warmup_state_unlocked(*(rs->rowset_meta()),
1878
0
                                                          WarmUpTriggerSource::SYNC_ROWSET)) {
1879
0
                        LOG(INFO) << "found duplicate warmup task for rowset " << rs->rowset_id()
1880
0
                                  << ", skip it";
1881
0
                        break;
1882
0
                    }
1883
0
                    warm_up_state_updated = true;
1884
0
                }
1885
1886
0
                if (!config::file_cache_enable_only_warm_up_idx) {
1887
0
                    _submit_segment_download_task(rs, storage_resource.value(), seg_id,
1888
0
                                                  expiration_time);
1889
0
                }
1890
1891
0
                auto schema_ptr = rowset_meta->tablet_schema();
1892
0
                auto idx_version = schema_ptr->get_inverted_index_storage_format();
1893
0
                if (idx_version == InvertedIndexStorageFormatPB::V1) {
1894
0
                    std::unordered_map<int64_t, int64_t> index_size_map;
1895
0
                    auto&& inverted_index_info = rowset_meta->inverted_index_file_info(seg_id);
1896
0
                    for (const auto& info : inverted_index_info.index_info()) {
1897
0
                        if (info.index_file_size() != -1) {
1898
0
                            index_size_map[info.index_id()] = info.index_file_size();
1899
0
                        } else {
1900
0
                            VLOG_DEBUG << "Invalid index_file_size for segment_id " << seg_id
1901
0
                                       << ", index_id " << info.index_id();
1902
0
                        }
1903
0
                    }
1904
0
                    for (const auto& index : schema_ptr->inverted_indexes()) {
1905
0
                        auto idx_path = storage_resource.value()->remote_idx_v1_path(
1906
0
                                *rowset_meta, seg_id, index->index_id(), index->get_index_suffix());
1907
0
                        _submit_inverted_index_download_task(rs, storage_resource.value(), idx_path,
1908
0
                                                             index_size_map[index->index_id()],
1909
0
                                                             expiration_time);
1910
0
                    }
1911
0
                } else {
1912
0
                    if (schema_ptr->has_inverted_index() || schema_ptr->has_ann_index()) {
1913
0
                        auto&& inverted_index_info = rowset_meta->inverted_index_file_info(seg_id);
1914
0
                        int64_t idx_size = 0;
1915
0
                        if (inverted_index_info.has_index_size()) {
1916
0
                            idx_size = inverted_index_info.index_size();
1917
0
                        } else {
1918
0
                            VLOG_DEBUG << "index_size is not set for segment " << seg_id;
1919
0
                        }
1920
0
                        auto idx_path =
1921
0
                                storage_resource.value()->remote_idx_v2_path(*rowset_meta, seg_id);
1922
0
                        _submit_inverted_index_download_task(rs, storage_resource.value(), idx_path,
1923
0
                                                             idx_size, expiration_time);
1924
0
                    }
1925
0
                }
1926
0
            }
1927
0
        }
1928
891
        _rs_version_map.emplace(rs->version(), rs);
1929
891
        _timestamped_version_tracker.add_version(rs->version());
1930
891
        _max_version = std::max(rs->end_version(), _max_version);
1931
891
        update_base_size(*rs);
1932
891
    }
1933
314
    _tablet_meta->add_rowsets_unchecked(rowsets);
1934
314
}
1935
1936
15
void CloudTablet::clear_unused_visible_pending_rowsets() {
1937
15
    int64_t cur_max_version = max_version().second;
1938
15
    int32_t max_version_count = max_version_config();
1939
15
    int64_t current_time = std::chrono::duration_cast<std::chrono::seconds>(
1940
15
                                   std::chrono::system_clock::now().time_since_epoch())
1941
15
                                   .count();
1942
1943
15
    std::unique_lock<std::mutex> wlock(_visible_pending_rs_lock);
1944
38
    for (auto it = _visible_pending_rs_map.begin(); it != _visible_pending_rs_map.end();) {
1945
23
        if (int64_t version = it->first, expiration_time = it->second.expiration_time;
1946
23
            version <= cur_max_version || expiration_time < current_time) {
1947
19
            it = _visible_pending_rs_map.erase(it);
1948
19
        } else {
1949
4
            ++it;
1950
4
        }
1951
23
    }
1952
1953
15
    while (!_visible_pending_rs_map.empty() && _visible_pending_rs_map.size() > max_version_count) {
1954
0
        _visible_pending_rs_map.erase(--_visible_pending_rs_map.end());
1955
0
    }
1956
15
}
1957
1958
void CloudTablet::try_make_committed_rs_visible(int64_t txn_id, int64_t visible_version,
1959
0
                                                int64_t version_update_time_ms) {
1960
0
    if (enable_unique_key_merge_on_write()) {
1961
        // for mow tablet, we get committed rowset from `CloudTxnDeleteBitmapCache` rather than `CommittedRowsetManager`
1962
0
        try_make_committed_rs_visible_for_mow(txn_id, visible_version, version_update_time_ms);
1963
0
        return;
1964
0
    }
1965
1966
0
    auto& committed_rs_mgr = _engine.committed_rs_mgr();
1967
0
    auto res = committed_rs_mgr.get_committed_rowset(txn_id, tablet_id());
1968
0
    if (!res.has_value()) {
1969
0
        return;
1970
0
    }
1971
0
    auto [rowset_meta, expiration_time] = res.value();
1972
0
    bool is_empty_rowset = (rowset_meta == nullptr);
1973
0
    if (!is_empty_rowset) {
1974
0
        rowset_meta->set_cloud_fields_after_visible(visible_version, version_update_time_ms);
1975
0
    }
1976
0
    {
1977
0
        std::lock_guard<std::mutex> lock(_visible_pending_rs_lock);
1978
0
        _visible_pending_rs_map.emplace(
1979
0
                visible_version,
1980
0
                VisiblePendingRowset {rowset_meta, expiration_time, is_empty_rowset});
1981
0
    }
1982
0
    apply_visible_pending_rowsets();
1983
0
    committed_rs_mgr.remove_committed_rowset(txn_id, tablet_id());
1984
0
}
1985
1986
void CloudTablet::try_make_committed_rs_visible_for_mow(int64_t txn_id, int64_t visible_version,
1987
0
                                                        int64_t version_update_time_ms) {
1988
0
    Defer defer {[&] {
1989
0
        _engine.txn_delete_bitmap_cache().remove_unused_tablet_txn_info(txn_id, tablet_id());
1990
0
    }};
1991
0
    auto res = _engine.txn_delete_bitmap_cache().get_rowset_and_delete_bitmap(txn_id, tablet_id());
1992
0
    if (!res.has_value()) {
1993
0
        return;
1994
0
    }
1995
0
    auto [rowset, delete_bitmap] = res.value();
1996
0
    bool is_empty_rowset = (rowset == nullptr);
1997
0
    {
1998
0
        std::unique_lock lock {_sync_meta_lock};
1999
0
        std::unique_lock meta_wlock {_meta_lock};
2000
0
        if (_max_version + 1 != visible_version) {
2001
0
            return;
2002
0
        }
2003
0
        if (is_empty_rowset) {
2004
0
            Versions existing_versions;
2005
0
            for (const auto& [_, rs] : tablet_meta()->all_rs_metas()) {
2006
0
                existing_versions.emplace_back(rs->version());
2007
0
            }
2008
0
            if (existing_versions.empty()) {
2009
0
                return;
2010
0
            }
2011
0
            auto max_version = std::ranges::max(existing_versions, {}, &Version::first);
2012
0
            auto prev_rowset = get_rowset_by_version(max_version);
2013
0
            auto st = _engine.meta_mgr().create_empty_rowset_for_hole(
2014
0
                    this, visible_version, prev_rowset->rowset_meta(), &rowset);
2015
0
            if (!st.ok()) {
2016
0
                return;
2017
0
            }
2018
0
        } else {
2019
0
            for (const auto& [delete_bitmap_key, bitmap_value] : delete_bitmap->delete_bitmap) {
2020
                // skip sentinel mark, which is used for delete bitmap correctness check
2021
0
                if (std::get<1>(delete_bitmap_key) != DeleteBitmap::INVALID_SEGMENT_ID) {
2022
0
                    tablet_meta()->delete_bitmap().merge(
2023
0
                            {std::get<0>(delete_bitmap_key), std::get<1>(delete_bitmap_key),
2024
0
                             visible_version},
2025
0
                            bitmap_value);
2026
0
                }
2027
0
            }
2028
0
        }
2029
0
        rowset->rowset_meta()->set_cloud_fields_after_visible(visible_version,
2030
0
                                                              version_update_time_ms);
2031
0
        add_rowsets({rowset}, false, meta_wlock, true);
2032
0
    }
2033
0
    LOG(INFO) << "mow added visible pending rowset, txn_id=" << txn_id
2034
0
              << ", tablet_id=" << tablet_id() << ", version=" << visible_version
2035
0
              << ", rowset_id=" << rowset->rowset_id().to_string();
2036
0
}
2037
2038
15
void CloudTablet::apply_visible_pending_rowsets() {
2039
15
    Defer defer {[&] { clear_unused_visible_pending_rowsets(); }};
2040
2041
15
    std::unique_lock lock(_sync_meta_lock);
2042
15
    std::unique_lock<std::shared_mutex> meta_wlock(_meta_lock);
2043
15
    int64_t next_version = _max_version + 1;
2044
15
    std::vector<RowsetSharedPtr> to_add;
2045
15
    std::lock_guard<std::mutex> pending_lock(_visible_pending_rs_lock);
2046
15
    for (auto it = _visible_pending_rs_map.upper_bound(_max_version);
2047
31
         it != _visible_pending_rs_map.end(); ++it) {
2048
21
        int64_t version = it->first;
2049
21
        if (version != next_version) break;
2050
2051
17
        auto& pending_rs = it->second;
2052
17
        if (pending_rs.is_empty_rowset) {
2053
3
            RowsetSharedPtr prev_rowset {nullptr};
2054
3
            if (!to_add.empty()) {
2055
1
                prev_rowset = to_add.back();
2056
2
            } else {
2057
2
                Versions existing_versions;
2058
2
                for (const auto& [_, rs] : tablet_meta()->all_rs_metas()) {
2059
1
                    existing_versions.emplace_back(rs->version());
2060
1
                }
2061
2
                if (existing_versions.empty()) {
2062
1
                    break;
2063
1
                }
2064
1
                auto max_version = std::ranges::max(existing_versions, {}, &Version::first);
2065
1
                prev_rowset = get_rowset_by_version(max_version);
2066
1
            }
2067
2
            RowsetSharedPtr rowset;
2068
2
            auto st = _engine.meta_mgr().create_empty_rowset_for_hole(
2069
2
                    this, version, prev_rowset->rowset_meta(), &rowset);
2070
2
            if (!st.ok()) {
2071
0
                return;
2072
0
            }
2073
2
            to_add.push_back(std::move(rowset));
2074
14
        } else {
2075
14
            RowsetSharedPtr rowset;
2076
14
            auto st = RowsetFactory::create_rowset(nullptr, "", pending_rs.rowset_meta, &rowset);
2077
14
            if (!st.ok()) {
2078
0
                LOG(WARNING) << "failed to create rowset from pending rowset meta, tablet_id="
2079
0
                             << tablet_id() << ", version=" << version
2080
0
                             << ", rowset_id=" << pending_rs.rowset_meta->rowset_id().to_string()
2081
0
                             << ", error=" << st;
2082
0
                break;
2083
0
            }
2084
14
            to_add.push_back(std::move(rowset));
2085
14
        }
2086
16
        next_version++;
2087
16
    }
2088
15
    if (!to_add.empty()) {
2089
10
        add_rowsets(to_add, false, meta_wlock, true);
2090
10
        LOG_INFO(
2091
10
                "applied_visible_pending_rowsets, tablet_id={}, new_max_version={}, "
2092
10
                "count={}, new_rowsets={}",
2093
10
                tablet_id(), _max_version, to_add.size(),
2094
16
                fmt::join(to_add | std::views::transform([](const RowsetSharedPtr& rs) {
2095
16
                              return fmt::format("{}{}", rs->rowset_id().to_string(),
2096
16
                                                 rs->version().to_string());
2097
16
                          }),
2098
10
                          ","));
2099
10
    }
2100
15
}
2101
2102
} // namespace doris