Coverage Report

Created: 2026-04-01 11:36

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
be/src/exec/scan/scanner_scheduler.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 "exec/scan/scanner_scheduler.h"
19
20
#include <algorithm>
21
#include <cstdint>
22
#include <functional>
23
#include <list>
24
#include <memory>
25
#include <ostream>
26
#include <string>
27
#include <utility>
28
29
#include "common/compiler_util.h" // IWYU pragma: keep
30
#include "common/config.h"
31
#include "common/exception.h"
32
#include "common/logging.h"
33
#include "common/status.h"
34
#include "core/block/block.h"
35
#include "exec/pipeline/pipeline_task.h"
36
#include "exec/scan/file_scanner.h"
37
#include "exec/scan/olap_scanner.h" // IWYU pragma: keep
38
#include "exec/scan/scan_node.h"
39
#include "exec/scan/scanner.h"
40
#include "exec/scan/scanner_context.h"
41
#include "runtime/exec_env.h"
42
#include "runtime/runtime_state.h"
43
#include "runtime/thread_context.h"
44
#include "runtime/workload_group/workload_group_manager.h"
45
#include "storage/tablet/tablet.h"
46
#include "util/async_io.h" // IWYU pragma: keep
47
#include "util/cpu_info.h"
48
#include "util/defer_op.h"
49
#include "util/thread.h"
50
#include "util/threadpool.h"
51
52
namespace doris {
53
54
Status ScannerScheduler::submit(std::shared_ptr<ScannerContext> ctx,
55
905k
                                std::shared_ptr<ScanTask> scan_task) {
56
905k
    if (ctx->done()) {
57
0
        return Status::OK();
58
0
    }
59
905k
    auto task_lock = ctx->task_exec_ctx();
60
905k
    if (task_lock == nullptr) {
61
18
        LOG(INFO) << "could not lock task execution context, query " << ctx->debug_string()
62
18
                  << " maybe finished";
63
18
        return Status::OK();
64
18
    }
65
905k
    std::shared_ptr<ScannerDelegate> scanner_delegate = scan_task->scanner.lock();
66
905k
    if (scanner_delegate == nullptr) {
67
0
        return Status::OK();
68
0
    }
69
70
905k
    scan_task->set_state(ScanTask::State::IN_FLIGHT);
71
905k
    scanner_delegate->_scanner->pause();
72
905k
    TabletStorageType type = scanner_delegate->_scanner->get_storage_type();
73
905k
    auto sumbit_task = [&]() {
74
905k
        auto work_func = [scanner_ref = scan_task, ctx]() {
75
905k
            auto status = [&] {
76
905k
                RETURN_IF_CATCH_EXCEPTION(_scanner_scan(ctx, scanner_ref));
77
904k
                return Status::OK();
78
905k
            }();
79
80
905k
            if (!status.ok()) {
81
0
                scanner_ref->set_status(status);
82
0
                ctx->push_back_scan_task(scanner_ref);
83
0
                return true;
84
0
            }
85
905k
            return scanner_ref->is_eos();
86
905k
        };
87
905k
        SimplifiedScanTask simple_scan_task = {work_func, ctx, scan_task};
88
905k
        return this->submit_scan_task(simple_scan_task);
89
905k
    };
90
91
905k
    Status submit_status = sumbit_task();
92
905k
    if (!submit_status.ok()) {
93
        // User will see TooManyTasks error. It looks like a more reasonable error.
94
0
        Status scan_task_status = Status::TooManyTasks(
95
0
                "Failed to submit scanner to scanner pool reason:" +
96
0
                std::string(submit_status.msg()) + "|type:" + std::to_string(type));
97
0
        scan_task->set_status(scan_task_status);
98
0
        return scan_task_status;
99
0
    }
100
101
905k
    return Status::OK();
102
905k
}
103
104
void handle_reserve_memory_failure(RuntimeState* state, std::shared_ptr<ScannerContext> ctx,
105
0
                                   const Status& st, size_t reserve_size) {
106
0
    ctx->clear_free_blocks();
107
0
    auto* local_state = ctx->local_state();
108
109
0
    auto debug_msg = fmt::format(
110
0
            "Query: {} , scanner try to reserve: {}, operator name {}, "
111
0
            "operator "
112
0
            "id: {}, "
113
0
            "task id: "
114
0
            "{}, failed: {}",
115
0
            print_id(state->query_id()), PrettyPrinter::print_bytes(reserve_size),
116
0
            local_state->get_name(), local_state->parent()->node_id(), state->task_id(),
117
0
            st.to_string());
118
    // PROCESS_MEMORY_EXCEEDED error msg alread contains process_mem_log_str
119
0
    if (!st.is<ErrorCode::PROCESS_MEMORY_EXCEEDED>()) {
120
0
        debug_msg += fmt::format(", debug info: {}", GlobalMemoryArbitrator::process_mem_log_str());
121
0
    }
122
0
    VLOG_DEBUG << debug_msg;
123
124
0
    state->get_query_ctx()->set_low_memory_mode();
125
0
}
126
127
void ScannerScheduler::_scanner_scan(std::shared_ptr<ScannerContext> ctx,
128
905k
                                     std::shared_ptr<ScanTask> scan_task) {
129
905k
    auto task_lock = ctx->task_exec_ctx();
130
905k
    if (task_lock == nullptr) {
131
0
        return;
132
0
    }
133
905k
    SCOPED_ATTACH_TASK(ctx->state());
134
135
905k
    ctx->update_peak_running_scanner(1);
136
905k
    Defer defer([&] { ctx->update_peak_running_scanner(-1); });
137
138
905k
    std::shared_ptr<ScannerDelegate> scanner_delegate = scan_task->scanner.lock();
139
905k
    if (scanner_delegate == nullptr) {
140
3
        return;
141
3
    }
142
143
905k
    ScannerSPtr& scanner = scanner_delegate->_scanner;
144
    // for cpu hard limit, thread name should not be reset
145
905k
    if (ctx->_should_reset_thread_name) {
146
0
        Thread::set_self_name("_scanner_scan");
147
0
    }
148
149
905k
#ifndef __APPLE__
150
    // The configuration item is used to lower the priority of the scanner thread,
151
    // typically employed to ensure CPU scheduling for write operations.
152
905k
    if (config::scan_thread_nice_value != 0 && scanner->get_name() != FileScanner::NAME) {
153
0
        Thread::set_thread_nice_value();
154
0
    }
155
905k
#endif
156
157
    // we set and get counter according below order, to make sure the counter is updated before get_block, and the time of get_block is recorded in the counter.
158
    // 1. update_wait_worker_timer to make sure the time of waiting for worker thread is recorded in the timer
159
    // 2. start_scan_cpu_timer to make sure the cpu timer include the time of open and get_block, which is the real cpu time of scanner
160
    // 3. update_scan_cpu_timer when defer, to make sure the cpu timer include the time of open and get_block, which is the real cpu time of scanner
161
    // 4. start_wait_worker_timer when defer, to make sure the time of waiting for worker thread is recorded in the timer
162
163
905k
    MonotonicStopWatch max_run_time_watch;
164
905k
    max_run_time_watch.start();
165
905k
    scanner->resume();
166
167
905k
    bool need_update_profile = true;
168
905k
    auto update_scanner_profile = [&]() {
169
855k
        if (need_update_profile) {
170
855k
            scanner->pause();
171
855k
            scanner->update_realtime_counters();
172
855k
            need_update_profile = false;
173
855k
        }
174
855k
    };
175
176
905k
    Status status = Status::OK();
177
905k
    bool eos = false;
178
179
905k
    ASSIGN_STATUS_IF_CATCH_EXCEPTION(
180
905k
            RuntimeState* state = ctx->state(); DCHECK(nullptr != state);
181
            // scanner->open may alloc plenty amount of memory(read blocks of data),
182
            // so better to also check low memory and clear free blocks here.
183
905k
            if (ctx->low_memory_mode()) { ctx->clear_free_blocks(); }
184
185
905k
            if (!scanner->has_prepared()) {
186
905k
                status = scanner->prepare();
187
905k
                if (!status.ok()) {
188
905k
                    eos = true;
189
905k
                }
190
905k
            }
191
192
905k
            if (!eos && !scanner->is_open()) {
193
905k
                status = scanner->open(state);
194
905k
                if (!status.ok()) {
195
905k
                    eos = true;
196
905k
                }
197
905k
                scanner->set_opened();
198
905k
            }
199
200
905k
            Status rf_status = scanner->try_append_late_arrival_runtime_filter();
201
905k
            if (!rf_status.ok()) {
202
905k
                LOG(WARNING) << "Failed to append late arrival runtime filter: "
203
905k
                             << rf_status.to_string();
204
905k
            }
205
206
905k
            size_t raw_bytes_threshold = config::doris_scanner_row_bytes;
207
905k
            if (ctx->low_memory_mode()) {
208
905k
                ctx->clear_free_blocks();
209
905k
                if (raw_bytes_threshold > ctx->low_memory_mode_scan_bytes_per_scanner()) {
210
905k
                    raw_bytes_threshold = ctx->low_memory_mode_scan_bytes_per_scanner();
211
905k
                }
212
905k
            }
213
214
905k
            bool first_read = true;
215
905k
            int64_t limit = scanner->limit(); if (UNLIKELY(ctx->done())) {
216
905k
                eos = true;
217
905k
            } else if (ctx->remaining_limit() == 0) { eos = true; } else if (!eos) {
218
905k
                do {
219
905k
                    DEFER_RELEASE_RESERVED();
220
905k
                    BlockUPtr free_block;
221
905k
                    if (first_read) {
222
905k
                        free_block = ctx->get_free_block(first_read);
223
905k
                    } else {
224
905k
                        if (state->get_query_ctx()
225
905k
                                    ->resource_ctx()
226
905k
                                    ->task_controller()
227
905k
                                    ->is_enable_reserve_memory()) {
228
905k
                            size_t block_avg_bytes = scanner->get_block_avg_bytes();
229
905k
                            auto st = thread_context()->thread_mem_tracker_mgr->try_reserve(
230
905k
                                    block_avg_bytes);
231
905k
                            if (!st.ok()) {
232
905k
                                handle_reserve_memory_failure(state, ctx, st, block_avg_bytes);
233
905k
                                break;
234
905k
                            }
235
905k
                        }
236
905k
                        free_block = ctx->get_free_block(first_read);
237
905k
                    }
238
905k
                    if (free_block == nullptr) {
239
905k
                        break;
240
905k
                    }
241
                    // We got a new created block or a reused block.
242
905k
                    status = scanner->get_block_after_projects(state, free_block.get(), &eos);
243
905k
                    first_read = false;
244
905k
                    if (!status.ok()) {
245
905k
                        LOG(WARNING) << "Scan thread read Scanner failed: " << status.to_string();
246
905k
                        break;
247
905k
                    }
248
                    // Check column type only after block is read successfully.
249
                    // Or it may cause a crash when the block is not normal.
250
905k
                    _make_sure_virtual_col_is_materialized(scanner, free_block.get());
251
252
                    // Shared limit quota: acquire rows from the context's shared pool.
253
                    // Discard or truncate the block if quota is exhausted.
254
905k
                    if (free_block->rows() > 0) {
255
905k
                        int64_t block_rows = free_block->rows();
256
905k
                        int64_t granted = ctx->acquire_limit_quota(block_rows);
257
905k
                        if (granted == 0) {
258
                            // No quota remaining, discard this block and mark eos.
259
905k
                            ctx->return_free_block(std::move(free_block));
260
905k
                            eos = true;
261
905k
                            break;
262
905k
                        } else if (granted < block_rows) {
263
                            // Partial quota: truncate block to granted rows and mark eos.
264
905k
                            free_block->set_num_rows(granted);
265
905k
                            eos = true;
266
905k
                        }
267
905k
                    }
268
                    // Projection will truncate useless columns, makes block size change.
269
905k
                    auto free_block_bytes = free_block->allocated_bytes();
270
905k
                    ctx->reestimated_block_mem_bytes(cast_set<int64_t>(free_block_bytes));
271
905k
                    DCHECK(scan_task->cached_block == nullptr);
272
905k
                    ctx->inc_block_usage(free_block->allocated_bytes());
273
905k
                    scan_task->cached_block = std::move(free_block);
274
275
                    // Per-scanner small-limit optimization: if limit is small (< batch_size),
276
                    // return immediately instead of accumulating to raw_bytes_threshold.
277
905k
                    if (limit > 0 && limit < ctx->batch_size()) {
278
905k
                        break;
279
905k
                    }
280
281
905k
                    if (scan_task->cached_block->rows() > 0) {
282
905k
                        auto block_avg_bytes = (scan_task->cached_block->bytes() +
283
905k
                                                scan_task->cached_block->rows() - 1) /
284
905k
                                               scan_task->cached_block->rows() * ctx->batch_size();
285
905k
                        scanner->update_block_avg_bytes(block_avg_bytes);
286
905k
                    }
287
905k
                    if (ctx->low_memory_mode()) {
288
905k
                        ctx->clear_free_blocks();
289
905k
                    }
290
905k
                } while (false);
291
905k
            }
292
293
905k
                                              if (UNLIKELY(!status.ok())) {
294
905k
                                                  scan_task->set_status(status);
295
905k
                                                  eos = true;
296
905k
                                              },
297
905k
                                              status);
298
299
904k
    if (UNLIKELY(!status.ok())) {
300
1.33k
        scan_task->set_status(status);
301
1.33k
        eos = true;
302
1.33k
    }
303
304
904k
    if (eos) {
305
        // If eos, scanner will call _collect_profile_before_close to update profile,
306
        // so we need update_scanner_profile here
307
855k
        update_scanner_profile();
308
855k
        scanner->mark_to_need_to_close();
309
855k
        scan_task->set_state(ScanTask::State::EOS);
310
855k
    } else {
311
48.8k
        scan_task->set_state(ScanTask::State::COMPLETED);
312
48.8k
    }
313
314
904k
    VLOG_DEBUG << fmt::format(
315
324
            "Scanner context {} has finished task, current scheduled task is "
316
324
            "{}, eos: {}, status: {}",
317
324
            ctx->ctx_id, ctx->num_scheduled_scanners(), eos, status.to_string());
318
319
904k
    ctx->push_back_scan_task(scan_task);
320
904k
}
321
16.1k
int ScannerScheduler::default_local_scan_thread_num() {
322
16.1k
    return config::doris_scanner_thread_pool_thread_num > 0
323
16.1k
                   ? config::doris_scanner_thread_pool_thread_num
324
16.1k
                   : std::max(48, CpuInfo::num_cores() * 2);
325
16.1k
}
326
10.7k
int ScannerScheduler::default_remote_scan_thread_num() {
327
10.7k
    int num = config::doris_max_remote_scanner_thread_pool_thread_num > 0
328
10.7k
                      ? config::doris_max_remote_scanner_thread_pool_thread_num
329
10.7k
                      : std::max(512, CpuInfo::num_cores() * 10);
330
10.7k
    return std::max(num, default_local_scan_thread_num());
331
10.7k
}
332
333
35
int ScannerScheduler::get_remote_scan_thread_queue_size() {
334
35
    return config::doris_remote_scanner_thread_pool_queue_size;
335
35
}
336
337
5.45k
int ScannerScheduler::default_min_active_scan_threads() {
338
5.45k
    return config::min_active_scan_threads > 0
339
5.45k
                   ? config::min_active_scan_threads
340
5.45k
                   : config::min_active_scan_threads = CpuInfo::num_cores() * 2;
341
5.45k
}
342
343
5.45k
int ScannerScheduler::default_min_active_file_scan_threads() {
344
5.45k
    return config::min_active_file_scan_threads > 0
345
5.45k
                   ? config::min_active_file_scan_threads
346
5.45k
                   : config::min_active_file_scan_threads = CpuInfo::num_cores() * 8;
347
5.45k
}
348
349
void ScannerScheduler::_make_sure_virtual_col_is_materialized(
350
901k
        const std::shared_ptr<Scanner>& scanner, Block* free_block) {
351
901k
#ifndef NDEBUG
352
    // Currently, virtual column can only be used on olap table.
353
901k
    std::shared_ptr<OlapScanner> olap_scanner = std::dynamic_pointer_cast<OlapScanner>(scanner);
354
901k
    if (olap_scanner == nullptr) {
355
12.9k
        return;
356
12.9k
    }
357
358
888k
    if (free_block->rows() == 0) {
359
673k
        return;
360
673k
    }
361
362
214k
    size_t idx = 0;
363
667k
    for (const auto& entry : *free_block) {
364
        // Virtual column must be materialized on the end of SegmentIterator's next batch method.
365
667k
        const ColumnNothing* column_nothing =
366
667k
                check_and_get_column<ColumnNothing>(entry.column.get());
367
667k
        if (column_nothing == nullptr) {
368
667k
            idx++;
369
667k
            continue;
370
667k
        }
371
372
18.4E
        std::vector<std::string> vcid_to_idx;
373
374
18.4E
        for (const auto& pair : olap_scanner->_vir_cid_to_idx_in_block) {
375
0
            vcid_to_idx.push_back(fmt::format("{}-{}", pair.first, pair.second));
376
0
        }
377
378
18.4E
        std::string error_msg = fmt::format(
379
18.4E
                "Column in idx {} is nothing, block columns {}, normal_columns "
380
18.4E
                "{}, "
381
18.4E
                "vir_cid_to_idx_in_block_msg {}",
382
18.4E
                idx, free_block->columns(), olap_scanner->_return_columns.size(),
383
18.4E
                fmt::format("_vir_cid_to_idx_in_block:[{}]", fmt::join(vcid_to_idx, ",")));
384
18.4E
        throw doris::Exception(ErrorCode::INTERNAL_ERROR, error_msg);
385
667k
    }
386
214k
#endif
387
214k
}
388
389
905k
Result<SharedListenableFuture<Void>> ScannerSplitRunner::process_for(std::chrono::nanoseconds) {
390
905k
    _started = true;
391
905k
    bool is_completed = _scan_func();
392
905k
    if (is_completed) {
393
856k
        _completion_future.set_value(Void {});
394
856k
    }
395
905k
    return SharedListenableFuture<Void>::create_ready(Void {});
396
905k
}
397
398
904k
bool ScannerSplitRunner::is_finished() {
399
904k
    return _completion_future.is_done();
400
904k
}
401
402
856k
Status ScannerSplitRunner::finished_status() {
403
856k
    return _completion_future.get_status();
404
856k
}
405
406
0
bool ScannerSplitRunner::is_started() const {
407
0
    return _started.load();
408
0
}
409
410
48.7k
bool ScannerSplitRunner::is_auto_reschedule() const {
411
48.7k
    return false;
412
48.7k
}
413
414
} // namespace doris