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 | 18 | std::shared_ptr<ScanTask> scan_task) { |
56 | 18 | if (ctx->done()) { |
57 | 0 | return Status::OK(); |
58 | 0 | } |
59 | 18 | auto task_lock = ctx->task_exec_ctx(); |
60 | 18 | 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 | 0 | std::shared_ptr<ScannerDelegate> scanner_delegate = scan_task->scanner.lock(); |
66 | 0 | if (scanner_delegate == nullptr) { |
67 | 0 | return Status::OK(); |
68 | 0 | } |
69 | | |
70 | 0 | scan_task->set_state(ScanTask::State::IN_FLIGHT); |
71 | 0 | scanner_delegate->_scanner->pause(); |
72 | 0 | TabletStorageType type = scanner_delegate->_scanner->get_storage_type(); |
73 | 0 | auto sumbit_task = [&]() { |
74 | 0 | auto work_func = [scanner_ref = scan_task, ctx]() { |
75 | 0 | auto status = [&] { |
76 | 0 | RETURN_IF_CATCH_EXCEPTION(_scanner_scan(ctx, scanner_ref)); |
77 | 0 | return Status::OK(); |
78 | 0 | }(); |
79 | |
|
80 | 0 | 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 | 0 | return scanner_ref->is_eos(); |
86 | 0 | }; |
87 | 0 | SimplifiedScanTask simple_scan_task = {work_func, ctx, scan_task}; |
88 | 0 | return this->submit_scan_task(simple_scan_task); |
89 | 0 | }; |
90 | |
|
91 | 0 | Status submit_status = sumbit_task(); |
92 | 0 | 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 | 0 | return Status::OK(); |
102 | 0 | } |
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 | 0 | std::shared_ptr<ScanTask> scan_task) { |
129 | 0 | auto task_lock = ctx->task_exec_ctx(); |
130 | 0 | if (task_lock == nullptr) { |
131 | 0 | return; |
132 | 0 | } |
133 | 0 | SCOPED_ATTACH_TASK(ctx->state()); |
134 | |
|
135 | 0 | ctx->update_peak_running_scanner(1); |
136 | 0 | Defer defer([&] { ctx->update_peak_running_scanner(-1); }); |
137 | |
|
138 | 0 | std::shared_ptr<ScannerDelegate> scanner_delegate = scan_task->scanner.lock(); |
139 | 0 | if (scanner_delegate == nullptr) { |
140 | 0 | return; |
141 | 0 | } |
142 | | |
143 | 0 | ScannerSPtr& scanner = scanner_delegate->_scanner; |
144 | | // for cpu hard limit, thread name should not be reset |
145 | 0 | if (ctx->_should_reset_thread_name) { |
146 | 0 | Thread::set_self_name("_scanner_scan"); |
147 | 0 | } |
148 | |
|
149 | 0 | #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 | 0 | if (config::scan_thread_nice_value != 0 && scanner->get_name() != FileScanner::NAME) { |
153 | 0 | Thread::set_thread_nice_value(); |
154 | 0 | } |
155 | 0 | #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 | 0 | MonotonicStopWatch max_run_time_watch; |
164 | 0 | max_run_time_watch.start(); |
165 | 0 | scanner->resume(); |
166 | |
|
167 | 0 | bool need_update_profile = true; |
168 | 0 | auto update_scanner_profile = [&]() { |
169 | 0 | if (need_update_profile) { |
170 | 0 | scanner->pause(); |
171 | 0 | scanner->update_realtime_counters(); |
172 | 0 | need_update_profile = false; |
173 | 0 | } |
174 | 0 | }; |
175 | |
|
176 | 0 | Status status = Status::OK(); |
177 | 0 | bool eos = false; |
178 | |
|
179 | 0 | ASSIGN_STATUS_IF_CATCH_EXCEPTION( |
180 | 0 | 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 | 0 | if (ctx->low_memory_mode()) { ctx->clear_free_blocks(); } |
184 | |
|
185 | 0 | if (!scanner->has_prepared()) { |
186 | 0 | status = scanner->prepare(); |
187 | 0 | if (!status.ok()) { |
188 | 0 | eos = true; |
189 | 0 | } |
190 | 0 | } |
191 | |
|
192 | 0 | if (!eos && !scanner->is_open()) { |
193 | 0 | status = scanner->open(state); |
194 | 0 | if (!status.ok()) { |
195 | 0 | eos = true; |
196 | 0 | } |
197 | 0 | scanner->set_opened(); |
198 | 0 | } |
199 | |
|
200 | 0 | Status rf_status = scanner->try_append_late_arrival_runtime_filter(); |
201 | 0 | if (!rf_status.ok()) { |
202 | 0 | LOG(WARNING) << "Failed to append late arrival runtime filter: " |
203 | 0 | << rf_status.to_string(); |
204 | 0 | } |
205 | |
|
206 | 0 | size_t raw_bytes_threshold = config::doris_scanner_row_bytes; |
207 | 0 | if (ctx->low_memory_mode()) { |
208 | 0 | ctx->clear_free_blocks(); |
209 | 0 | if (raw_bytes_threshold > ctx->low_memory_mode_scan_bytes_per_scanner()) { |
210 | 0 | raw_bytes_threshold = ctx->low_memory_mode_scan_bytes_per_scanner(); |
211 | 0 | } |
212 | 0 | } |
213 | |
|
214 | 0 | bool first_read = true; |
215 | 0 | int64_t limit = scanner->limit(); if (UNLIKELY(ctx->done())) { |
216 | 0 | eos = true; |
217 | 0 | } else if (ctx->remaining_limit() == 0) { eos = true; } else if (!eos) { |
218 | 0 | do { |
219 | 0 | DEFER_RELEASE_RESERVED(); |
220 | 0 | BlockUPtr free_block; |
221 | 0 | if (first_read) { |
222 | 0 | free_block = ctx->get_free_block(first_read); |
223 | 0 | } else { |
224 | 0 | if (state->get_query_ctx() |
225 | 0 | ->resource_ctx() |
226 | 0 | ->task_controller() |
227 | 0 | ->is_enable_reserve_memory()) { |
228 | 0 | size_t block_avg_bytes = scanner->get_block_avg_bytes(); |
229 | 0 | auto st = thread_context()->thread_mem_tracker_mgr->try_reserve( |
230 | 0 | block_avg_bytes); |
231 | 0 | if (!st.ok()) { |
232 | 0 | handle_reserve_memory_failure(state, ctx, st, block_avg_bytes); |
233 | 0 | break; |
234 | 0 | } |
235 | 0 | } |
236 | 0 | free_block = ctx->get_free_block(first_read); |
237 | 0 | } |
238 | 0 | if (free_block == nullptr) { |
239 | 0 | break; |
240 | 0 | } |
241 | | // We got a new created block or a reused block. |
242 | 0 | status = scanner->get_block_after_projects(state, free_block.get(), &eos); |
243 | 0 | first_read = false; |
244 | 0 | if (!status.ok()) { |
245 | 0 | LOG(WARNING) << "Scan thread read Scanner failed: " << status.to_string(); |
246 | 0 | break; |
247 | 0 | } |
248 | | // Check column type only after block is read successfully. |
249 | | // Or it may cause a crash when the block is not normal. |
250 | 0 | _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 | 0 | if (free_block->rows() > 0) { |
255 | 0 | int64_t block_rows = free_block->rows(); |
256 | 0 | int64_t granted = ctx->acquire_limit_quota(block_rows); |
257 | 0 | if (granted == 0) { |
258 | | // No quota remaining, discard this block and mark eos. |
259 | 0 | ctx->return_free_block(std::move(free_block)); |
260 | 0 | eos = true; |
261 | 0 | break; |
262 | 0 | } else if (granted < block_rows) { |
263 | | // Partial quota: truncate block to granted rows and mark eos. |
264 | 0 | free_block->set_num_rows(granted); |
265 | 0 | eos = true; |
266 | 0 | } |
267 | 0 | } |
268 | | // Projection will truncate useless columns, makes block size change. |
269 | 0 | auto free_block_bytes = free_block->allocated_bytes(); |
270 | 0 | ctx->reestimated_block_mem_bytes(cast_set<int64_t>(free_block_bytes)); |
271 | 0 | DCHECK(scan_task->cached_block == nullptr); |
272 | 0 | ctx->inc_block_usage(free_block->allocated_bytes()); |
273 | 0 | 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 | 0 | if (limit > 0 && limit < ctx->batch_size()) { |
278 | 0 | break; |
279 | 0 | } |
280 | |
|
281 | 0 | if (scan_task->cached_block->rows() > 0) { |
282 | 0 | auto block_avg_bytes = (scan_task->cached_block->bytes() + |
283 | 0 | scan_task->cached_block->rows() - 1) / |
284 | 0 | scan_task->cached_block->rows() * ctx->batch_size(); |
285 | 0 | scanner->update_block_avg_bytes(block_avg_bytes); |
286 | 0 | } |
287 | 0 | if (ctx->low_memory_mode()) { |
288 | 0 | ctx->clear_free_blocks(); |
289 | 0 | } |
290 | 0 | } while (false); |
291 | 0 | } |
292 | |
|
293 | 0 | if (UNLIKELY(!status.ok())) { |
294 | 0 | scan_task->set_status(status); |
295 | 0 | eos = true; |
296 | 0 | }, |
297 | 0 | status); |
298 | |
|
299 | 0 | if (UNLIKELY(!status.ok())) { |
300 | 0 | scan_task->set_status(status); |
301 | 0 | eos = true; |
302 | 0 | } |
303 | |
|
304 | 0 | if (eos) { |
305 | | // If eos, scanner will call _collect_profile_before_close to update profile, |
306 | | // so we need update_scanner_profile here |
307 | 0 | update_scanner_profile(); |
308 | 0 | scanner->mark_to_need_to_close(); |
309 | 0 | scan_task->set_state(ScanTask::State::EOS); |
310 | 0 | } else { |
311 | 0 | scan_task->set_state(ScanTask::State::COMPLETED); |
312 | 0 | } |
313 | |
|
314 | 0 | VLOG_DEBUG << fmt::format( |
315 | 0 | "Scanner context {} has finished task, current scheduled task is " |
316 | 0 | "{}, eos: {}, status: {}", |
317 | 0 | ctx->ctx_id, ctx->num_scheduled_scanners(), eos, status.to_string()); |
318 | |
|
319 | 0 | ctx->push_back_scan_task(scan_task); |
320 | 0 | } |
321 | 12 | int ScannerScheduler::default_local_scan_thread_num() { |
322 | 12 | return config::doris_scanner_thread_pool_thread_num > 0 |
323 | 12 | ? config::doris_scanner_thread_pool_thread_num |
324 | 12 | : std::max(48, CpuInfo::num_cores() * 2); |
325 | 12 | } |
326 | 7 | int ScannerScheduler::default_remote_scan_thread_num() { |
327 | 7 | int num = config::doris_max_remote_scanner_thread_pool_thread_num > 0 |
328 | 7 | ? config::doris_max_remote_scanner_thread_pool_thread_num |
329 | 7 | : std::max(512, CpuInfo::num_cores() * 10); |
330 | 7 | return std::max(num, default_local_scan_thread_num()); |
331 | 7 | } |
332 | | |
333 | 0 | int ScannerScheduler::get_remote_scan_thread_queue_size() { |
334 | 0 | return config::doris_remote_scanner_thread_pool_queue_size; |
335 | 0 | } |
336 | | |
337 | 0 | int ScannerScheduler::default_min_active_scan_threads() { |
338 | 0 | return config::min_active_scan_threads > 0 |
339 | 0 | ? config::min_active_scan_threads |
340 | 0 | : config::min_active_scan_threads = CpuInfo::num_cores() * 2; |
341 | 0 | } |
342 | | |
343 | 0 | int ScannerScheduler::default_min_active_file_scan_threads() { |
344 | 0 | return config::min_active_file_scan_threads > 0 |
345 | 0 | ? config::min_active_file_scan_threads |
346 | 0 | : config::min_active_file_scan_threads = CpuInfo::num_cores() * 8; |
347 | 0 | } |
348 | | |
349 | | void ScannerScheduler::_make_sure_virtual_col_is_materialized( |
350 | 0 | const std::shared_ptr<Scanner>& scanner, Block* free_block) { |
351 | 0 | #ifndef NDEBUG |
352 | | // Currently, virtual column can only be used on olap table. |
353 | 0 | std::shared_ptr<OlapScanner> olap_scanner = std::dynamic_pointer_cast<OlapScanner>(scanner); |
354 | 0 | if (olap_scanner == nullptr) { |
355 | 0 | return; |
356 | 0 | } |
357 | | |
358 | 0 | if (free_block->rows() == 0) { |
359 | 0 | return; |
360 | 0 | } |
361 | | |
362 | 0 | size_t idx = 0; |
363 | 0 | for (const auto& entry : *free_block) { |
364 | | // Virtual column must be materialized on the end of SegmentIterator's next batch method. |
365 | 0 | const ColumnNothing* column_nothing = |
366 | 0 | check_and_get_column<ColumnNothing>(entry.column.get()); |
367 | 0 | if (column_nothing == nullptr) { |
368 | 0 | idx++; |
369 | 0 | continue; |
370 | 0 | } |
371 | | |
372 | 0 | std::vector<std::string> vcid_to_idx; |
373 | |
|
374 | 0 | 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 | 0 | std::string error_msg = fmt::format( |
379 | 0 | "Column in idx {} is nothing, block columns {}, normal_columns " |
380 | 0 | "{}, " |
381 | 0 | "vir_cid_to_idx_in_block_msg {}", |
382 | 0 | idx, free_block->columns(), olap_scanner->_return_columns.size(), |
383 | 0 | fmt::format("_vir_cid_to_idx_in_block:[{}]", fmt::join(vcid_to_idx, ","))); |
384 | 0 | throw doris::Exception(ErrorCode::INTERNAL_ERROR, error_msg); |
385 | 0 | } |
386 | 0 | #endif |
387 | 0 | } |
388 | | |
389 | 0 | Result<SharedListenableFuture<Void>> ScannerSplitRunner::process_for(std::chrono::nanoseconds) { |
390 | 0 | _started = true; |
391 | 0 | bool is_completed = _scan_func(); |
392 | 0 | if (is_completed) { |
393 | 0 | _completion_future.set_value(Void {}); |
394 | 0 | } |
395 | 0 | return SharedListenableFuture<Void>::create_ready(Void {}); |
396 | 0 | } |
397 | | |
398 | 0 | bool ScannerSplitRunner::is_finished() { |
399 | 0 | return _completion_future.is_done(); |
400 | 0 | } |
401 | | |
402 | 0 | Status ScannerSplitRunner::finished_status() { |
403 | 0 | return _completion_future.get_status(); |
404 | 0 | } |
405 | | |
406 | 0 | bool ScannerSplitRunner::is_started() const { |
407 | 0 | return _started.load(); |
408 | 0 | } |
409 | | |
410 | 0 | bool ScannerSplitRunner::is_auto_reschedule() const { |
411 | 0 | return false; |
412 | 0 | } |
413 | | |
414 | | } // namespace doris |