Coverage Report

Created: 2026-07-18 01:24

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
be/src/format_v2/table_reader.h
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
#pragma once
19
20
#include <bvar/status.h>
21
22
#include <algorithm>
23
#include <exception>
24
#include <map>
25
#include <memory>
26
#include <optional>
27
#include <string>
28
#include <string_view>
29
#include <utility>
30
#include <vector>
31
32
#include "common/cast_set.h"
33
#include "common/exception.h"
34
#include "common/logging.h"
35
#include "common/status.h"
36
#include "core/assert_cast.h"
37
#include "core/block/block.h"
38
#include "core/column/column_array.h"
39
#include "core/column/column_const.h"
40
#include "core/column/column_map.h"
41
#include "core/column/column_nullable.h"
42
#include "core/column/column_struct.h"
43
#include "core/column/column_vector.h"
44
#include "core/data_type/data_type.h"
45
#include "core/data_type/data_type_array.h"
46
#include "core/data_type/data_type_map.h"
47
#include "core/data_type/data_type_nullable.h"
48
#include "core/data_type/data_type_number.h"
49
#include "core/data_type/data_type_string.h"
50
#include "core/data_type/data_type_struct.h"
51
#include "core/field.h"
52
#include "exec/common/stringop_substring.h"
53
#include "exprs/vexpr.h"
54
#include "exprs/vexpr_context.h"
55
#include "exprs/vexpr_fwd.h"
56
#include "exprs/vslot_ref.h"
57
#include "format/table/deletion_vector.h"
58
#include "format_v2/column_data.h"
59
#include "format_v2/column_mapper.h"
60
#include "format_v2/expr/cast.h"
61
#include "format_v2/expr/delete_predicate.h"
62
#include "format_v2/file_reader.h"
63
#include "format_v2/parquet/reader/column_reader.h"
64
#include "format_v2/schema_projection.h"
65
#include "gen_cpp/PlanNodes_types.h"
66
#include "io/io_common.h"
67
#include "runtime/descriptors.h"
68
#include "storage/segment/condition_cache.h"
69
70
namespace doris {
71
class Block;
72
struct DeleteFileDesc;
73
class RuntimeState;
74
} // namespace doris
75
76
namespace doris::format {
77
78
using DeleteRows = std::vector<int64_t>;
79
80
// Row-level predicates on table/global schema. They are rewritten to file-local expressions when
81
// possible, and remain the source of row-level filtering after localization.
82
struct TableFilter {
83
    VExprContextSPtr conjunct;
84
    std::vector<GlobalIndex> global_indices;
85
};
86
87
struct ScanTask {
88
127
    virtual ~ScanTask() = default;
89
90
    std::unique_ptr<io::FileDescription> data_file;
91
};
92
93
struct ProjectedColumnBuildContext {
94
    const TFileScanRangeParams* scan_params = nullptr;
95
    const TFileRangeDesc* range = nullptr;
96
    RuntimeState* runtime_state = nullptr;
97
    std::optional<ColumnDefinition> schema_column = std::nullopt;
98
    size_t next_file_column_idx = 0;
99
};
100
101
struct ReadProfile {
102
    RuntimeProfile::Counter* total_timer = nullptr;
103
    RuntimeProfile::Counter* init_timer = nullptr;
104
    RuntimeProfile::Counter* num_delete_files = nullptr;
105
    RuntimeProfile::Counter* num_delete_rows = nullptr;
106
    RuntimeProfile::Counter* parse_delete_file_time = nullptr;
107
    RuntimeProfile::Counter* decoded_dv_cache_hit_count = nullptr;
108
    RuntimeProfile::Counter* decoded_dv_cache_miss_count = nullptr;
109
    RuntimeProfile::Counter* dv_file_cache_hit_count = nullptr;
110
    RuntimeProfile::Counter* dv_file_cache_miss_count = nullptr;
111
    RuntimeProfile::Counter* dv_file_cache_peer_read_count = nullptr;
112
    RuntimeProfile::Counter* exec_timer = nullptr;
113
    RuntimeProfile::Counter* prepare_split_timer = nullptr;
114
    RuntimeProfile::Counter* finalize_timer = nullptr;
115
    RuntimeProfile::Counter* create_reader_timer = nullptr;
116
    RuntimeProfile::Counter* pushdown_agg_timer = nullptr;
117
    RuntimeProfile::Counter* open_reader_timer = nullptr;
118
    RuntimeProfile::Counter* runtime_filter_partition_prune_timer = nullptr;
119
    RuntimeProfile::Counter* runtime_filter_partition_pruned_range_counter = nullptr;
120
    RuntimeProfile::Counter* close_timer = nullptr;
121
    RuntimeProfile::Counter* file_reader_total_timer = nullptr;
122
    RuntimeProfile::Counter* file_reader_init_timer = nullptr;
123
    RuntimeProfile::Counter* file_reader_schema_timer = nullptr;
124
    RuntimeProfile::Counter* file_reader_mapper_timer = nullptr;
125
    RuntimeProfile::Counter* file_reader_open_timer = nullptr;
126
    RuntimeProfile::Counter* file_reader_get_block_timer = nullptr;
127
    RuntimeProfile::Counter* file_reader_aggregate_timer = nullptr;
128
    RuntimeProfile::Counter* file_reader_close_timer = nullptr;
129
};
130
131
struct TableReadOptions {
132
    // Columns need to be read from file and output by table reader. They are all in table/global
133
    // schema semantics.
134
    const std::vector<ColumnDefinition> projected_columns;
135
    // All complex conjuncts from scan operator
136
    const VExprContextSPtrs conjuncts;
137
    // File format of the underlying data files, needed for reader initialization and reader-level
138
    // filter pushdown.
139
    const FileFormat format;
140
    TFileScanRangeParams* scan_params;
141
    std::shared_ptr<io::IOContext> io_ctx;
142
    RuntimeState* runtime_state;
143
    RuntimeProfile* scanner_profile;
144
    // File formats without complete self-describing metadata, such as CSV, Text, and JSON, need
145
    // the FE-planned physical file slots to build their file-local schema and deserialize values.
146
    const std::vector<SlotDescriptor*>* file_slot_descs = nullptr;
147
    // Push-down aggregate type.
148
    const TPushAggOp::type push_down_agg_type = TPushAggOp::type::NONE;
149
    // Initial digest of predicates available during scanner open. Scanner-driven splits override it
150
    // with SplitReadOptions::condition_cache_digest after collecting late-arrival runtime filters.
151
    // A zero digest disables condition cache.
152
    uint64_t condition_cache_digest = 0;
153
};
154
155
struct SplitReadOptions {
156
    // Split-level information for reader initialization, which may include file path, partition values, delete file info, etc. The content is table format specific and opaque to table reader base class; it's the responsibility of the concrete table reader implementation to parse necessary information for reader initialization and filter pushdown.
157
    std::map<std::string, Field> partition_values;
158
    // Latest scanner conjuncts rewritten to table/global column indices. Runtime filters may
159
    // arrive after TableReader::init(), so scanner-driven splits replace the initial snapshot.
160
    // nullopt preserves the initial snapshot for standalone TableReader callers.
161
    std::optional<VExprContextSPtrs> conjuncts;
162
    // Independent clones used for partition pruning because evaluation prepares and opens them
163
    // against a synthetic partition block before the file reader opens its row-level conjuncts.
164
    VExprContextSPtrs partition_prune_conjuncts;
165
    // Table-level COUNT may emit one metadata-derived batch and resume on a later scheduler turn.
166
    // It is safe only after every runtime filter assigned to the scanner has arrived; otherwise a
167
    // filter could arrive after synthetic rows have already been returned and those rows cannot be
168
    // retracted. Standalone TableReader callers have no scanner runtime-filter lifecycle.
169
    bool all_runtime_filters_applied = true;
170
    // Digest for the exact scanner conjunct snapshot attached to this split. FileScannerV2 rebuilds
171
    // it after collecting late-arrival RFs, so different RF payloads cannot share a cache entry. A
172
    // zero value explicitly disables condition cache for this split.
173
    std::optional<uint64_t> condition_cache_digest;
174
    ShardedKVCache* cache = nullptr;
175
    TFileRangeDesc current_range;
176
    FileFormat current_split_format = FileFormat::PARQUET;
177
    std::optional<GlobalRowIdContext> global_rowid_context;
178
};
179
180
// Base class for table-level readers.
181
// This layer owns common table-level orchestration, such as split iteration, dynamic partition
182
// pruning, delete handling and conversion from file-local blocks to table-schema blocks. Concrete
183
// table-format readers only need to provide format-specific hooks for opening readers and parsing
184
// split metadata.
185
class TableReader {
186
public:
187
174
    virtual ~TableReader() = default;
188
189
    // Initialize common runtime options for the table reader. Subclasses may call this from their
190
    // own init(options); table-format schema and split metadata are provided later per split.
191
    virtual Status init(TableReadOptions&& options);
192
193
    // FileScannerV2 adjusts this before each get_block() using an adaptive bytes-per-row estimate.
194
    // Store it here as well as forwarding to the current reader so newly opened split readers start
195
    // with the latest predicted batch size.
196
10
    virtual void set_batch_size(size_t batch_size) {
197
10
        _batch_size = std::max<size_t>(1, batch_size);
198
10
        if (_data_reader.reader != nullptr) {
199
0
            _data_reader.reader->set_batch_size(_batch_size);
200
0
        }
201
10
    }
202
203
#ifdef BE_TEST
204
10
    size_t TEST_batch_size() const { return _batch_size; }
205
4
    bool TEST_current_data_file_is_immutable() const {
206
4
        DORIS_CHECK(_current_task != nullptr);
207
4
        DORIS_CHECK(_current_task->data_file != nullptr);
208
4
        DORIS_CHECK(_current_file_description.has_value());
209
4
        DORIS_CHECK(_current_task->data_file->is_immutable ==
210
4
                    _current_file_description->is_immutable);
211
4
        return _current_task->data_file->is_immutable;
212
4
    }
213
#endif
214
215
    // Prepare for reading a new split/task.
216
    // 1. Pass a new split/task to reader, which will be used in subsequent open_reader() to initialize the underlying file reader.
217
    // 2. Parse delete predicates from split/task information, which will be used for later dynamic filtering and delete handling.
218
    virtual Status prepare_split(const SplitReadOptions& options);
219
220
63
    virtual bool current_split_pruned() const { return _current_split_pruned; }
221
222
    // Discard the active split after the caller decides an error is ignorable, for example a
223
    // stale external-table file listing that returns NOT_FOUND. The next prepare_split() must start
224
    // with no concrete reader or split-local state left from the failed split.
225
1
    virtual Status abort_split() {
226
        // Ignored open failures still spend time closing partially initialized readers. Include
227
        // that recovery path in the common lifecycle profile so NOT_FOUND cannot become invisible.
228
1
        SCOPED_TIMER(_profile.total_timer);
229
1
        SCOPED_TIMER(_profile.close_timer);
230
1
        if (_data_reader.reader != nullptr) {
231
1
            RETURN_IF_ERROR(close_current_reader());
232
1
        } else {
233
0
            _current_task.reset();
234
0
            _current_file_description.reset();
235
0
        }
236
1
        _delete_rows = nullptr;
237
1
        _remaining_table_level_count = -1;
238
1
        _current_split_pruned = false;
239
1
        return Status::OK();
240
1
    }
241
242
    // Public entry point for reading a table-schema block. The base class opens the current reader,
243
    // advances across EOF, and closes exhausted readers. Subclasses provide protected hooks for
244
    // table-format-specific behavior.
245
132
    virtual Status get_block(Block* block, bool* eos) {
246
132
        SCOPED_TIMER(_profile.total_timer);
247
132
        SCOPED_TIMER(_profile.exec_timer);
248
132
        DORIS_CHECK(block->columns() == _projected_columns.size());
249
132
        block->clear_column_data(_projected_columns.size());
250
251
163
        while (true) {
252
163
            if (*eos) {
253
0
                return Status::OK();
254
0
            }
255
163
            if (_io_ctx != nullptr && _io_ctx->should_stop) {
256
0
                *eos = true;
257
0
                return Status::OK();
258
0
            }
259
163
            if (!_data_reader.reader) {
260
137
                if (_is_table_level_count_active()) {
261
6
                    RETURN_IF_ERROR(_read_table_level_count(block, eos));
262
6
                    return Status::OK();
263
6
                }
264
131
                RETURN_IF_ERROR(create_next_reader(eos));
265
130
                if (!_data_reader.reader) {
266
33
                    DCHECK(*eos);
267
33
                    return Status::OK();
268
33
                }
269
130
            }
270
271
            // Materialize a reduced row set for upper aggregate operators when aggregate
272
            // pushdown can be applied. This is not the final aggregate result: COUNT emits
273
            // `count` default rows for the upper COUNT(*), and MIN/MAX emits two rows containing
274
            // file-level min/max values for the upper MIN/MAX.
275
123
            if (!_aggregate_pushdown_tried) {
276
97
                SCOPED_TIMER(_profile.pushdown_agg_timer);
277
97
                bool pushed_down = false;
278
97
                const auto status = _try_materialize_aggregate_pushdown_rows(block, &pushed_down);
279
97
                if (!status.ok()) {
280
1
                    if (_io_ctx != nullptr && _io_ctx->should_stop &&
281
1
                        status.is<ErrorCode::END_OF_FILE>()) {
282
1
                        *eos = true;
283
1
                        return Status::OK();
284
1
                    }
285
0
                    return status;
286
1
                }
287
96
                if (pushed_down) {
288
6
                    return Status::OK();
289
6
                }
290
96
            }
291
292
116
            bool current_eof = false;
293
116
            _data_reader.block_template.clear_column_data(
294
116
                    cast_set<int64_t>(_data_reader.file_block_layout.size()));
295
116
            size_t current_rows = 0;
296
116
            {
297
116
                SCOPED_TIMER(_profile.file_reader_total_timer);
298
116
                SCOPED_TIMER(_profile.file_reader_get_block_timer);
299
116
                RETURN_IF_ERROR(_data_reader.reader->get_block(&_data_reader.block_template,
300
116
                                                               &current_rows, &current_eof));
301
116
            }
302
116
            const bool stopped_during_read = _io_ctx != nullptr && _io_ctx->should_stop;
303
116
            if (current_rows == 0) {
304
31
                if (current_eof) {
305
31
                    _current_reader_reached_eof = !stopped_during_read;
306
31
                    RETURN_IF_ERROR(close_current_reader());
307
31
                }
308
31
                continue;
309
31
            }
310
116
            DCHECK_EQ(_data_reader.block_template.columns(), _data_reader.file_block_layout.size())
311
0
                    << _data_reader.block_template.dump_structure();
312
85
#ifndef NDEBUG
313
85
            RETURN_IF_ERROR(_check_file_block_columns("after file reader get_block", current_rows));
314
85
#endif
315
85
            DORIS_CHECK(block->columns() == _data_reader.column_mapper->mappings().size());
316
85
            RETURN_IF_ERROR(finalize_chunk(block, current_rows));
317
85
#ifndef NDEBUG
318
85
            RETURN_IF_ERROR(
319
85
                    _check_table_block_columns("after finalize_chunk", block, current_rows));
320
85
#endif
321
85
            if (current_eof) {
322
15
                _current_reader_reached_eof = !stopped_during_read;
323
15
                RETURN_IF_ERROR(close_current_reader());
324
15
            }
325
85
            return Status::OK();
326
85
        }
327
132
    }
328
329
    // Close the table reader and the currently active file reader. Subclasses that hold additional
330
    // table-format resources should override this and call TableReader::close() first.
331
103
    virtual Status close() {
332
103
        SCOPED_TIMER(_profile.total_timer);
333
103
        SCOPED_TIMER(_profile.close_timer);
334
103
        if (_data_reader.reader) {
335
44
            RETURN_IF_ERROR(close_current_reader());
336
44
        }
337
103
        _current_task.reset();
338
103
        _current_file_description.reset();
339
103
        _remaining_table_level_count = -1;
340
103
        return Status::OK();
341
103
    }
342
343
4
    int64_t condition_cache_hit_count() const { return _condition_cache_hit_count; }
344
345
    virtual std::string debug_string() const;
346
347
    virtual Status annotate_projected_column(const TFileScanSlotInfo& slot_info,
348
                                             ProjectedColumnBuildContext* context,
349
                                             ColumnDefinition* column) const;
350
351
0
    virtual Status validate_projected_columns(const ProjectedColumnBuildContext& context) const {
352
0
        (void)context;
353
0
        return Status::OK();
354
0
    }
355
356
protected:
357
    // TableReader keeps the active file description both in the scan task and separately for
358
    // creating the physical reader. Table-format readers must update both copies when their
359
    // snapshot protocol guarantees that a file path is never overwritten with different bytes.
360
    // This guarantee lets readers safely build cache keys without mtime; it must not be used for
361
    // ordinary Hive/TVF files whose paths may be overwritten in place.
362
58
    void mark_current_data_file_immutable() {
363
58
        DORIS_CHECK(_current_task != nullptr);
364
58
        DORIS_CHECK(_current_task->data_file != nullptr);
365
58
        DORIS_CHECK(_current_file_description.has_value());
366
58
        _current_task->data_file->is_immutable = true;
367
58
        _current_file_description->is_immutable = true;
368
58
    }
369
370
    std::optional<ColumnDefinition> _find_current_table_column_by_field_id(int32_t field_id,
371
                                                                           DataTypePtr type) const;
372
373
    // Parse deletion vector information from table format specific file description.
374
    virtual Status _parse_deletion_vector_file(const TTableFormatFileDesc& t_desc,
375
71
                                               DeleteFileDesc* desc, bool* has_delete_file) {
376
71
        *has_delete_file = false;
377
71
        return Status::OK();
378
71
    }
379
380
    // Advance to the next reader. This closes the current reader first and then opens the next
381
    // concrete reader. Subclasses should not duplicate this loop.
382
    Status create_next_reader(bool* eos);
383
    virtual Status create_file_reader(std::unique_ptr<FileReader>* reader);
384
58
    virtual TableColumnMappingMode mapping_mode() const { return TableColumnMappingMode::BY_NAME; }
385
97
    virtual Status annotate_file_schema(std::vector<ColumnDefinition>* file_schema) {
386
97
        DORIS_CHECK(file_schema != nullptr);
387
97
        return Status::OK();
388
97
    }
389
390
    // Open the concrete reader for the current split/task and build the file-local scan request.
391
98
    virtual Status open_reader() {
392
98
        SCOPED_TIMER(_profile.open_reader_timer);
393
        // 1. Get file schema and create column mapping.
394
98
        std::vector<ColumnDefinition> file_schema;
395
98
        {
396
98
            SCOPED_TIMER(_profile.file_reader_total_timer);
397
98
            SCOPED_TIMER(_profile.file_reader_schema_timer);
398
98
            RETURN_IF_ERROR(_data_reader.reader->get_schema(&file_schema));
399
98
        }
400
        // For Paimon/Hudi, FE can provide field ids through `history_schema_info`. Annotate the
401
        // file schema before column mapping when the table format maps columns by field id.
402
98
        RETURN_IF_ERROR(annotate_file_schema(&file_schema));
403
98
        _data_reader.file_schema = file_schema;
404
98
        _mapper_options.mode = mapping_mode();
405
406
98
        {
407
98
            SCOPED_TIMER(_profile.file_reader_total_timer);
408
98
            SCOPED_TIMER(_profile.file_reader_mapper_timer);
409
98
            _data_reader.column_mapper = _data_reader.reader->create_column_mapper(_mapper_options);
410
98
        }
411
98
        DORIS_CHECK(_data_reader.column_mapper != nullptr);
412
98
        RETURN_IF_ERROR(_data_reader.column_mapper->create_mapping(_projected_columns,
413
98
                                                                   _partition_values, file_schema));
414
98
        DORIS_CHECK(_data_reader.column_mapper->mappings().size() == _projected_columns.size());
415
416
        // 2. Build table filters based on conjuncts and column predicates.
417
98
        RETURN_IF_ERROR(_build_table_filters_from_conjuncts());
418
419
        // 3. Create file scan request based on column mapping and table filters, then open file
420
        // reader with the request. File scan request carries row-level expression filters and
421
        // file-level pruning hints. Only expression filters decide returned rows.
422
98
        auto file_request = std::make_shared<FileScanRequest>();
423
98
        RETURN_IF_ERROR(_data_reader.column_mapper->create_scan_request(
424
98
                _table_filters, _projected_columns, file_request.get(), _runtime_state));
425
98
        bool constant_filter_pruned_split = false;
426
98
        RETURN_IF_ERROR(_evaluate_constant_filters(&constant_filter_pruned_split));
427
98
        if (constant_filter_pruned_split) {
428
1
            RETURN_IF_ERROR(close_current_reader());
429
1
            return Status::OK();
430
1
        }
431
97
        RETURN_IF_ERROR(customize_file_scan_request(file_request.get()));
432
97
        RETURN_IF_ERROR(_open_local_filter_exprs(*file_request));
433
97
        _data_reader.file_block_layout.clear();
434
97
        _data_reader.block_template.clear();
435
97
        _data_reader.file_block_layout.resize(file_request->local_positions.size());
436
437
        // 4. Build file block layout from file schema and column mapping. The layout describes
438
        // the block returned by file reader before table-column materialization.
439
133
        for (const auto& [file_column_id, block_position] : file_request->local_positions) {
440
133
            DORIS_CHECK(block_position.value() < _data_reader.file_block_layout.size());
441
133
            const auto* field = _find_column_definition(_data_reader.file_schema, file_column_id);
442
133
            DORIS_CHECK(field != nullptr);
443
444
133
            ColumnDefinition projected_field;
445
133
            {
446
133
                auto it = std::find_if(
447
133
                        file_request->non_predicate_columns.begin(),
448
133
                        file_request->non_predicate_columns.end(),
449
133
                        [&](const LocalColumnIndex& p) { return p.column_id() == file_column_id; });
450
133
                if (it != file_request->non_predicate_columns.end()) {
451
77
                    RETURN_IF_ERROR(project_column_definition(*field, *it, &projected_field));
452
77
                }
453
133
            }
454
133
            {
455
133
                auto it = std::find_if(
456
133
                        file_request->predicate_columns.begin(),
457
133
                        file_request->predicate_columns.end(),
458
133
                        [&](const LocalColumnIndex& p) { return p.column_id() == file_column_id; });
459
133
                if (it != file_request->predicate_columns.end()) {
460
56
                    RETURN_IF_ERROR(project_column_definition(*field, *it, &projected_field));
461
56
                }
462
133
            }
463
133
            _data_reader.file_block_layout[block_position.value()] = {
464
133
                    .file_column_id = file_column_id,
465
133
                    .name = projected_field.name,
466
133
                    .type = projected_field.type,
467
133
            };
468
133
            DORIS_CHECK(_data_reader.file_block_layout[block_position.value()].type != nullptr);
469
133
        }
470
471
        // 5. Prepare block template from file block layout. The block template stores the block
472
        // returned by file reader before table-column materialization.
473
97
        _data_reader.block_template.reserve(_data_reader.file_block_layout.size());
474
133
        for (const auto& column : _data_reader.file_block_layout) {
475
133
            _data_reader.block_template.insert(
476
133
                    {column.type->create_column(), column.type, column.name});
477
133
        }
478
97
        if (VLOG_DEBUG_IS_ON) {
479
0
            VLOG_DEBUG << "TableReader debug: " << debug_string();
480
0
        }
481
97
        RETURN_IF_ERROR(_open_mapping_exprs());
482
97
        {
483
97
            SCOPED_TIMER(_profile.file_reader_total_timer);
484
97
            SCOPED_TIMER(_profile.file_reader_open_timer);
485
97
            RETURN_IF_ERROR(_data_reader.reader->open(file_request));
486
97
        }
487
97
        RETURN_IF_ERROR(_init_reader_condition_cache(*file_request));
488
97
        return Status::OK();
489
97
    }
490
491
    Status _build_table_filters_from_conjuncts();
492
    Status _evaluate_partition_prune_conjuncts(const VExprContextSPtrs& conjuncts,
493
                                               bool* can_filter_all);
494
    static bool _is_safe_to_pre_execute(const VExprContextSPtr& conjunct);
495
    Status _build_partition_prune_block(Block* block) const;
496
    Status _open_local_filter_exprs(const FileScanRequest& file_request);
497
    Status _init_reader_condition_cache(const FileScanRequest& file_request);
498
    void _finalize_reader_condition_cache();
499
    bool _should_enable_condition_cache(const FileScanRequest& file_request) const;
500
501
98
    Status _evaluate_constant_filters(bool* can_filter_all) {
502
98
        DORIS_CHECK(can_filter_all != nullptr);
503
98
        DORIS_CHECK_LE(_constant_pruning_safe_filter_count, _table_filters.size());
504
98
        *can_filter_all = false;
505
        // The bound was derived from the original `_conjuncts` order, which includes slotless
506
        // expressions omitted from `_table_filters`. Iterating only this prefix therefore cannot
507
        // skip an unsafe row-level predicate and pre-execute a later constant predicate.
508
126
        for (size_t i = 0; i < _constant_pruning_safe_filter_count; ++i) {
509
29
            const auto& table_filter = _table_filters[i];
510
29
            if (table_filter.conjunct == nullptr) {
511
0
                continue;
512
0
            }
513
29
            DORIS_CHECK(_is_safe_to_pre_execute(table_filter.conjunct));
514
            // RuntimeFilterExpr does not implement execute_column_impl(); it is evaluated by the
515
            // row-level filter path through execute_filter(). Constant split pruning uses
516
            // VExprContext::execute() on a one-row synthetic block, so runtime filters must not be
517
            // pre-executed here even when their referenced slot maps to a constant value.
518
29
            if (table_filter.conjunct->root()->is_rf_wrapper() ||
519
29
                !_table_filter_has_only_constant_entries(table_filter)) {
520
27
                continue;
521
27
            }
522
2
            Block eval_block;
523
2
            RETURN_IF_ERROR(_build_constant_filter_block(table_filter, &eval_block));
524
2
            RowDescriptor row_desc;
525
2
            RETURN_IF_ERROR(table_filter.conjunct->prepare(_runtime_state, row_desc));
526
2
            RETURN_IF_ERROR(table_filter.conjunct->open(_runtime_state));
527
2
            int result_column_id = -1;
528
2
            RETURN_IF_ERROR(table_filter.conjunct->execute(&eval_block, &result_column_id));
529
2
            DORIS_CHECK(result_column_id >= 0);
530
2
            if (_filter_result_filters_all(eval_block.get_by_position(result_column_id).column)) {
531
1
                *can_filter_all = true;
532
1
                return Status::OK();
533
1
            }
534
2
        }
535
97
        return Status::OK();
536
98
    }
537
538
24
    bool _table_filter_has_only_constant_entries(const TableFilter& table_filter) const {
539
24
        const auto& filter_entries = _data_reader.column_mapper->filter_entries();
540
24
        for (const auto global_index : table_filter.global_indices) {
541
24
            const auto entry_it = filter_entries.find(global_index);
542
24
            if (entry_it == filter_entries.end() || !entry_it->second.is_constant()) {
543
22
                return false;
544
22
            }
545
24
        }
546
2
        return !table_filter.global_indices.empty();
547
24
    }
548
549
2
    Status _build_constant_filter_block(const TableFilter& table_filter, Block* eval_block) {
550
2
        DORIS_CHECK(eval_block != nullptr);
551
2
        eval_block->clear();
552
2
        const auto& mappings = _data_reader.column_mapper->mappings();
553
2
        const auto& filter_entries = _data_reader.column_mapper->filter_entries();
554
2
        DORIS_CHECK(mappings.size() == _projected_columns.size());
555
4
        for (size_t column_idx = 0; column_idx < mappings.size(); ++column_idx) {
556
2
            const auto global_index = GlobalIndex(column_idx);
557
2
            const auto& mapping = mappings[column_idx];
558
2
            const auto entry_it = filter_entries.find(global_index);
559
2
            const bool referenced_by_filter =
560
2
                    std::find(table_filter.global_indices.begin(),
561
2
                              table_filter.global_indices.end(),
562
2
                              global_index) != table_filter.global_indices.end();
563
2
            if (referenced_by_filter && entry_it != filter_entries.end() &&
564
2
                entry_it->second.is_constant()) {
565
2
                ColumnPtr constant_column;
566
2
                RETURN_IF_ERROR(_materialize_constant_filter_column(
567
2
                        entry_it->second.constant_index(), &constant_column));
568
2
                eval_block->insert({std::move(constant_column), mapping.table_type,
569
2
                                    mapping.table_column_name});
570
2
            } else {
571
0
                eval_block->insert({mapping.table_type->create_column_const_with_default_value(1),
572
0
                                    mapping.table_type, mapping.table_column_name});
573
0
            }
574
2
        }
575
2
        return Status::OK();
576
2
    }
577
578
2
    Status _materialize_constant_filter_column(ConstantIndex constant_index, ColumnPtr* column) {
579
2
        DORIS_CHECK(column != nullptr);
580
2
        const auto& constant_entry = _data_reader.column_mapper->constant_map().get(constant_index);
581
2
        DORIS_CHECK(constant_entry.expr != nullptr);
582
2
        DORIS_CHECK(constant_entry.type != nullptr);
583
2
        RowDescriptor row_desc;
584
2
        RETURN_IF_ERROR(constant_entry.expr->prepare(_runtime_state, row_desc));
585
2
        RETURN_IF_ERROR(constant_entry.expr->open(_runtime_state));
586
2
        Block eval_block;
587
2
        eval_block.insert({constant_entry.type->create_column_const_with_default_value(1),
588
2
                           constant_entry.type, "__table_reader_constant_filter"});
589
2
        int result_column_id = -1;
590
2
        RETURN_IF_ERROR(constant_entry.expr->execute(&eval_block, &result_column_id));
591
2
        DORIS_CHECK(result_column_id >= 0);
592
2
        *column = eval_block.get_by_position(result_column_id).column;
593
2
        DORIS_CHECK((*column)->size() == 1);
594
2
        return Status::OK();
595
2
    }
596
597
2
    static bool _filter_result_filters_all(const ColumnPtr& filter_column) {
598
2
        DORIS_CHECK(filter_column.get() != nullptr);
599
2
        DORIS_CHECK(filter_column->size() == 1);
600
2
        return !filter_column->get_bool(0);
601
2
    }
602
603
98
    virtual Status customize_file_scan_request(FileScanRequest* file_request) {
604
98
        return _append_delete_predicate(file_request);
605
98
    }
606
607
313
    bool _is_table_level_count_active() const { return _remaining_table_level_count >= 0; }
608
609
7
    Status _materialize_count_rows(size_t rows, Block* block) const {
610
7
        DORIS_CHECK(block != nullptr);
611
7
        DORIS_CHECK(block->columns() > 0 || rows == 0);
612
14
        for (size_t column_idx = 0; column_idx < block->columns(); ++column_idx) {
613
7
            auto column = block->get_by_position(column_idx).type->create_column();
614
7
            column->resize(rows);
615
7
            block->replace_by_position(column_idx, std::move(column));
616
7
        }
617
7
        return Status::OK();
618
7
    }
619
620
6
    Status _read_table_level_count(Block* block, bool* eos) {
621
6
        DORIS_CHECK(block != nullptr);
622
6
        DORIS_CHECK(eos != nullptr);
623
6
        DORIS_CHECK(_push_down_agg_type == TPushAggOp::type::COUNT);
624
6
        DORIS_CHECK(_remaining_table_level_count >= 0);
625
6
        if (_remaining_table_level_count == 0) {
626
2
            _remaining_table_level_count = -1;
627
2
            _current_task.reset();
628
2
            *eos = true;
629
2
            return Status::OK();
630
2
        }
631
632
4
        const int64_t batch_size = _runtime_state == nullptr
633
4
                                           ? _remaining_table_level_count
634
4
                                           : static_cast<int64_t>(_runtime_state->batch_size());
635
4
        const auto rows = std::min(_remaining_table_level_count, batch_size);
636
4
        RETURN_IF_ERROR(_materialize_count_rows(cast_set<size_t>(rows), block));
637
4
        _remaining_table_level_count -= rows;
638
4
        *eos = false;
639
4
        return Status::OK();
640
4
    }
641
642
    void _append_file_scan_column(FileScanRequest* request, LocalColumnId column_id,
643
44
                                  std::vector<LocalColumnIndex>* scan_columns) {
644
44
        DORIS_CHECK(request != nullptr);
645
44
        DORIS_CHECK(scan_columns != nullptr);
646
44
        FileScanRequestBuilder builder(request);
647
44
        Status status;
648
44
        if (scan_columns == &request->predicate_columns) {
649
33
            status = builder.add_predicate_column(column_id);
650
33
        } else {
651
11
            DORIS_CHECK(scan_columns == &request->non_predicate_columns);
652
11
            status = builder.add_non_predicate_column(column_id);
653
11
        }
654
44
        DORIS_CHECK(status.ok()) << status.to_string();
655
44
        if (column_id == LocalColumnId(ROW_POSITION_COLUMN_ID) &&
656
44
            _find_column_definition(_data_reader.file_schema, column_id) == nullptr) {
657
23
            _data_reader.file_schema.push_back(row_position_column_definition());
658
23
        }
659
44
    }
660
661
    // Append DeletePredicate to file scan request if there are deletes. The predicate will be evaluated in file reader level and filter out deleted rows before returning data to table reader.
662
98
    Status _append_delete_predicate(FileScanRequest* request) {
663
98
        DORIS_CHECK(request != nullptr);
664
98
        if ((_delete_rows == nullptr || _delete_rows->empty()) &&
665
98
            (_deletion_vector == nullptr || _deletion_vector->isEmpty())) {
666
82
            return Status::OK();
667
82
        }
668
16
        const auto row_position_column_id = LocalColumnId(ROW_POSITION_COLUMN_ID);
669
16
        _append_file_scan_column(request, row_position_column_id, &request->predicate_columns);
670
671
16
        const auto block_position = request->local_positions.at(row_position_column_id);
672
16
        auto append_predicate = [&](auto& deleted_rows) {
673
16
            auto delete_predicate = std::make_shared<DeletePredicate>(deleted_rows);
674
16
            delete_predicate->add_child(VSlotRef::create_shared(
675
16
                    cast_set<int>(block_position.value()), cast_set<int>(block_position.value()),
676
16
                    -1, std::make_shared<DataTypeInt64>(), ROW_POSITION_COLUMN_NAME));
677
16
            request->delete_conjuncts.push_back(
678
16
                    VExprContext::create_shared(std::move(delete_predicate)));
679
16
        };
_ZZN5doris6format11TableReader24_append_delete_predicateEPNS0_15FileScanRequestEENKUlRT_E_clISt6vectorIlSaIlEEEEDaS5_
Line
Count
Source
672
12
        auto append_predicate = [&](auto& deleted_rows) {
673
12
            auto delete_predicate = std::make_shared<DeletePredicate>(deleted_rows);
674
12
            delete_predicate->add_child(VSlotRef::create_shared(
675
12
                    cast_set<int>(block_position.value()), cast_set<int>(block_position.value()),
676
12
                    -1, std::make_shared<DataTypeInt64>(), ROW_POSITION_COLUMN_NAME));
677
12
            request->delete_conjuncts.push_back(
678
12
                    VExprContext::create_shared(std::move(delete_predicate)));
679
12
        };
_ZZN5doris6format11TableReader24_append_delete_predicateEPNS0_15FileScanRequestEENKUlRT_E_clIN7roaring12Roaring64MapEEEDaS5_
Line
Count
Source
672
4
        auto append_predicate = [&](auto& deleted_rows) {
673
4
            auto delete_predicate = std::make_shared<DeletePredicate>(deleted_rows);
674
4
            delete_predicate->add_child(VSlotRef::create_shared(
675
4
                    cast_set<int>(block_position.value()), cast_set<int>(block_position.value()),
676
4
                    -1, std::make_shared<DataTypeInt64>(), ROW_POSITION_COLUMN_NAME));
677
4
            request->delete_conjuncts.push_back(
678
4
                    VExprContext::create_shared(std::move(delete_predicate)));
679
4
        };
680
16
        if (_delete_rows != nullptr && !_delete_rows->empty()) {
681
12
            append_predicate(*_delete_rows);
682
12
        }
683
16
        if (_deletion_vector != nullptr && !_deletion_vector->isEmpty()) {
684
4
            append_predicate(*_deletion_vector);
685
4
        }
686
16
        return Status::OK();
687
98
    }
688
689
    // Close the current concrete reader. This hook is called by both create_next_reader() and
690
    // close(), so it should remain idempotent.
691
98
    virtual Status close_current_reader() {
692
98
        _finalize_reader_condition_cache();
693
98
        {
694
98
            SCOPED_TIMER(_profile.file_reader_total_timer);
695
98
            SCOPED_TIMER(_profile.file_reader_close_timer);
696
98
            RETURN_IF_ERROR(_data_reader.reader->close());
697
98
        }
698
98
        _data_reader.reader.reset();
699
98
        if (_data_reader.column_mapper != nullptr) {
700
97
            _data_reader.column_mapper->clear();
701
97
            _data_reader.column_mapper.reset();
702
97
        }
703
98
        _table_filters.clear();
704
98
        _constant_pruning_safe_filter_count = 0;
705
98
        _data_reader.file_schema.clear();
706
98
        _data_reader.file_block_layout.clear();
707
98
        _data_reader.block_template.clear();
708
98
        _current_task.reset();
709
98
        _current_file_description.reset();
710
98
        _current_reader_reached_eof = false;
711
98
        return Status::OK();
712
98
    }
713
714
2
    void _record_scan_rows(size_t rows) {
715
2
        if (_io_ctx != nullptr && _io_ctx->file_reader_stats != nullptr) {
716
2
            _io_ctx->file_reader_stats->read_rows += rows;
717
2
        }
718
2
    }
719
720
    // Finalize file-local block to table/global schema block.
721
85
    Status finalize_chunk(Block* block, const size_t rows) {
722
85
        SCOPED_TIMER(_profile.finalize_timer);
723
85
        size_t idx = 0;
724
116
        for (const auto& mapping : _data_reader.column_mapper->mappings()) {
725
116
            ColumnPtr column;
726
116
            RETURN_IF_ERROR(_materialize_mapping_column(mapping, &_data_reader.block_template, rows,
727
116
                                                        &column));
728
116
            block->replace_by_position(idx, IColumn::mutate(std::move(column)));
729
116
            idx++;
730
116
        }
731
85
        RETURN_IF_ERROR(materialize_virtual_columns(block));
732
        // Enforce CHAR/VARCHAR length declared by the table schema after all file-to-table
733
        // materialization has finished.
734
85
        RETURN_IF_ERROR(_truncate_char_or_varchar_columns(block));
735
85
        return Status::OK();
736
85
    }
737
738
    // Materialize virtual columns in the table block, such as Iceberg _row_id and
739
    // _last_updated_sequence_number. This runs after normal column materialization so finalize
740
    // expressions can reference those virtual columns.
741
52
    virtual Status materialize_virtual_columns(Block* table_block) { return Status::OK(); }
742
743
#ifndef NDEBUG
744
85
    Status _check_file_block_columns(std::string_view stage, size_t rows) {
745
85
        DORIS_CHECK(_data_reader.block_template.columns() == _data_reader.file_block_layout.size());
746
205
        for (size_t idx = 0; idx < _data_reader.block_template.columns(); ++idx) {
747
120
            const auto& file_block_column = _data_reader.file_block_layout[idx];
748
120
            const auto& column_with_type = _data_reader.block_template.get_by_position(idx);
749
120
            const auto* column = column_with_type.column.get();
750
120
            try {
751
120
                if (column == nullptr) {
752
0
                    auto st = Status::InternalError(
753
0
                            "Invalid file block column {} at {}: file_column_id={}, name='{}', "
754
0
                            "type={}, column=null, expected_rows={}, reader={}",
755
0
                            idx, stage, file_block_column.file_column_id.value(),
756
0
                            file_block_column.name,
757
0
                            file_block_column.type == nullptr ? "null"
758
0
                                                              : file_block_column.type->get_name(),
759
0
                            rows, debug_string());
760
0
                    LOG(WARNING) << st;
761
0
                    return st;
762
0
                }
763
120
                column->sanity_check();
764
120
                auto st = column_with_type.check_type_and_column_match();
765
120
                if (!st.ok()) {
766
0
                    auto contextual_status = Status::InternalError(
767
0
                            "Invalid file block column {} at {}: file_column_id={}, name='{}', "
768
0
                            "type={}, column={}, column_size={}, expected_rows={}, error={}, "
769
0
                            "reader={}",
770
0
                            idx, stage, file_block_column.file_column_id.value(),
771
0
                            file_block_column.name,
772
0
                            file_block_column.type == nullptr ? "null"
773
0
                                                              : file_block_column.type->get_name(),
774
0
                            column->get_name(), column->size(), rows, st.to_string(),
775
0
                            debug_string());
776
0
                    LOG(WARNING) << contextual_status;
777
0
                    return contextual_status;
778
0
                }
779
120
            } catch (const Exception& e) {
780
0
                auto st = Status::InternalError(
781
0
                        "Invalid file block column {} at {}: file_column_id={}, name='{}', "
782
0
                        "type={}, column={}, column_size={}, expected_rows={}, error={}, "
783
0
                        "reader={}",
784
0
                        idx, stage, file_block_column.file_column_id.value(),
785
0
                        file_block_column.name,
786
0
                        file_block_column.type == nullptr ? "null"
787
0
                                                          : file_block_column.type->get_name(),
788
0
                        column == nullptr ? "null" : column->get_name(),
789
0
                        column == nullptr ? 0 : column->size(), rows, e.to_string(),
790
0
                        debug_string());
791
0
                LOG(WARNING) << st;
792
0
                return st;
793
0
            } catch (const std::exception& e) {
794
0
                auto st = Status::InternalError(
795
0
                        "Invalid file block column {} at {}: file_column_id={}, name='{}', "
796
0
                        "type={}, column={}, column_size={}, expected_rows={}, error={}, "
797
0
                        "reader={}",
798
0
                        idx, stage, file_block_column.file_column_id.value(),
799
0
                        file_block_column.name,
800
0
                        file_block_column.type == nullptr ? "null"
801
0
                                                          : file_block_column.type->get_name(),
802
0
                        column == nullptr ? "null" : column->get_name(),
803
0
                        column == nullptr ? 0 : column->size(), rows, e.what(), debug_string());
804
0
                LOG(WARNING) << st;
805
0
                return st;
806
0
            }
807
120
        }
808
85
        return Status::OK();
809
85
    }
810
811
85
    Status _check_table_block_columns(std::string_view stage, const Block* block, size_t rows) {
812
85
        DORIS_CHECK(block != nullptr);
813
85
        DORIS_CHECK(block->columns() == _data_reader.column_mapper->mappings().size());
814
201
        for (size_t idx = 0; idx < block->columns(); ++idx) {
815
116
            const auto& mapping = _data_reader.column_mapper->mappings()[idx];
816
116
            const auto& column_with_type = block->get_by_position(idx);
817
116
            const auto* column = column_with_type.column.get();
818
116
            try {
819
116
                if (column == nullptr) {
820
0
                    auto st = Status::InternalError(
821
0
                            "Invalid table block column {} at {}: table_column='{}', "
822
0
                            "global_index={}, type={}, column=null, expected_rows={}, mapping={}",
823
0
                            idx, stage, mapping.table_column_name, mapping.global_index.value(),
824
0
                            mapping.table_type == nullptr ? "null" : mapping.table_type->get_name(),
825
0
                            rows, mapping.debug_string());
826
0
                    LOG(WARNING) << st;
827
0
                    return st;
828
0
                }
829
116
                column->sanity_check();
830
116
                auto st = column_with_type.check_type_and_column_match();
831
116
                if (!st.ok()) {
832
0
                    auto contextual_status = Status::InternalError(
833
0
                            "Invalid table block column {} at {}: table_column='{}', "
834
0
                            "global_index={}, type={}, column={}, column_size={}, "
835
0
                            "expected_rows={}, error={}, mapping={}",
836
0
                            idx, stage, mapping.table_column_name, mapping.global_index.value(),
837
0
                            mapping.table_type == nullptr ? "null" : mapping.table_type->get_name(),
838
0
                            column->get_name(), column->size(), rows, st.to_string(),
839
0
                            mapping.debug_string());
840
0
                    LOG(WARNING) << contextual_status;
841
0
                    return contextual_status;
842
0
                }
843
116
            } catch (const Exception& e) {
844
0
                auto st = Status::InternalError(
845
0
                        "Invalid table block column {} at {}: table_column='{}', global_index={}, "
846
0
                        "type={}, column={}, column_size={}, expected_rows={}, error={}, "
847
0
                        "mapping={}",
848
0
                        idx, stage, mapping.table_column_name, mapping.global_index.value(),
849
0
                        mapping.table_type == nullptr ? "null" : mapping.table_type->get_name(),
850
0
                        column == nullptr ? "null" : column->get_name(),
851
0
                        column == nullptr ? 0 : column->size(), rows, e.to_string(),
852
0
                        mapping.debug_string());
853
0
                LOG(WARNING) << st;
854
0
                return st;
855
0
            } catch (const std::exception& e) {
856
0
                auto st = Status::InternalError(
857
0
                        "Invalid table block column {} at {}: table_column='{}', global_index={}, "
858
0
                        "type={}, column={}, column_size={}, expected_rows={}, error={}, "
859
0
                        "mapping={}",
860
0
                        idx, stage, mapping.table_column_name, mapping.global_index.value(),
861
0
                        mapping.table_type == nullptr ? "null" : mapping.table_type->get_name(),
862
0
                        column == nullptr ? "null" : column->get_name(),
863
0
                        column == nullptr ? 0 : column->size(), rows, e.what(),
864
0
                        mapping.debug_string());
865
0
                LOG(WARNING) << st;
866
0
                return st;
867
0
            }
868
116
        }
869
85
        return Status::OK();
870
85
    }
871
#endif
872
873
85
    Status _truncate_char_or_varchar_columns(Block* block) {
874
85
        DORIS_CHECK(block != nullptr);
875
85
        if (_runtime_state == nullptr ||
876
85
            !_runtime_state->query_options().truncate_char_or_varchar_columns) {
877
85
            return Status::OK();
878
85
        }
879
0
        DORIS_CHECK(block->columns() == _data_reader.column_mapper->mappings().size());
880
0
        for (size_t idx = 0; idx < _data_reader.column_mapper->mappings().size(); ++idx) {
881
0
            const auto& mapping = _data_reader.column_mapper->mappings()[idx];
882
0
            if (!_should_truncate_char_or_varchar_column(mapping)) {
883
0
                continue;
884
0
            }
885
0
            const auto target_len =
886
0
                    assert_cast<const DataTypeString*>(remove_nullable(mapping.table_type).get())
887
0
                            ->len();
888
0
            _truncate_char_or_varchar_column(block, idx, target_len);
889
0
        }
890
0
        return Status::OK();
891
85
    }
892
893
    // Return true when the table schema has a bounded CHAR/VARCHAR length that is stricter than
894
    // the file-side type. Examples:
895
    // - table VARCHAR(10), file VARCHAR(20): truncate to 10;
896
    // - table VARCHAR(10), file STRING: truncate to 10 because STRING has no declared bound;
897
    // - table STRING, any file type: no truncation because the target has no bound.
898
5
    static bool _should_truncate_char_or_varchar_column(const ColumnMapping& mapping) {
899
5
        if (mapping.table_type == nullptr) {
900
0
            return false;
901
0
        }
902
5
        const auto table_type = remove_nullable(mapping.table_type);
903
5
        const auto primitive_type = table_type->get_primitive_type();
904
5
        if (primitive_type != TYPE_VARCHAR && primitive_type != TYPE_CHAR) {
905
1
            return false;
906
1
        }
907
4
        const auto target_len = assert_cast<const DataTypeString*>(table_type.get())->len();
908
4
        if (target_len <= 0) {
909
0
            return false;
910
0
        }
911
4
        if (mapping.file_type == nullptr) {
912
0
            return true;
913
0
        }
914
4
        const auto file_type = remove_nullable(mapping.file_type);
915
4
        DORIS_CHECK(file_type != nullptr);
916
4
        int file_len = -1;
917
4
        if (file_type->get_primitive_type() == TYPE_VARCHAR ||
918
4
            file_type->get_primitive_type() == TYPE_CHAR ||
919
4
            file_type->get_primitive_type() == TYPE_STRING) {
920
3
            file_len = assert_cast<const DataTypeString*>(file_type.get())->len();
921
3
        }
922
923
4
        return file_len < 0 || target_len < file_len;
924
4
    }
925
926
    // Truncate a materialized CHAR/VARCHAR column in place by reusing the vectorized substring
927
    // implementation: substring(column, 1, len). Nullable columns are unwrapped before substring
928
    // execution and wrapped back with the original null map afterward, because substring operates
929
    // on the nested string payload only.
930
1
    static void _truncate_char_or_varchar_column(Block* block, size_t idx, int len) {
931
1
        DORIS_CHECK(block != nullptr);
932
1
        auto int_type = std::make_shared<DataTypeInt32>();
933
1
        const auto num_columns_without_result = cast_set<uint32_t>(block->columns());
934
1
        auto& target = block->get_by_position(idx);
935
1
        const bool is_nullable = target.type->is_nullable();
936
1
        ColumnPtr input_column = target.column;
937
1
        ColumnPtr null_map_column;
938
1
        if (is_nullable) {
939
1
            const auto* nullable_column = assert_cast<const ColumnNullable*>(target.column.get());
940
1
            input_column = nullable_column->get_nested_column_ptr();
941
1
            null_map_column = nullable_column->get_null_map_column_ptr();
942
1
        }
943
1
        block->replace_by_position(idx, std::move(input_column));
944
1
        block->insert({int_type->create_column_const(block->rows(), to_field<TYPE_INT>(1)),
945
1
                       int_type, "const 1"});
946
1
        block->insert({int_type->create_column_const(block->rows(), to_field<TYPE_INT>(len)),
947
1
                       int_type, "const len"});
948
1
        block->insert({nullptr, std::make_shared<DataTypeString>(), "result"});
949
950
1
        ColumnNumbers temp_arguments(3);
951
1
        temp_arguments[0] = cast_set<uint32_t>(idx);
952
1
        temp_arguments[1] = num_columns_without_result;
953
1
        temp_arguments[2] = num_columns_without_result + 1;
954
1
        const uint32_t result_column_id = num_columns_without_result + 2;
955
1
        SubstringUtil::substring_execute(*block, temp_arguments, result_column_id, block->rows());
956
957
1
        ColumnPtr result_column = block->get_by_position(result_column_id).column;
958
1
        if (is_nullable) {
959
1
            result_column = ColumnNullable::create(std::move(result_column), null_map_column);
960
1
        }
961
1
        block->replace_by_position(idx, std::move(result_column));
962
1
        block->erase_tail(num_columns_without_result);
963
1
    }
964
965
97
    Status _try_materialize_aggregate_pushdown_rows(Block* block, bool* pushed_down) {
966
97
        DORIS_CHECK(block != nullptr);
967
97
        DORIS_CHECK(pushed_down != nullptr);
968
97
        *pushed_down = false;
969
97
        block->clear_column_data(_projected_columns.size());
970
97
        _aggregate_pushdown_tried = true;
971
97
        if (!_supports_aggregate_pushdown(_push_down_agg_type)) {
972
89
            return Status::OK();
973
89
        }
974
975
8
        FileAggregateRequest file_request;
976
8
        RETURN_IF_ERROR(_build_file_aggregate_request(_push_down_agg_type, &file_request));
977
8
        FileAggregateResult file_result;
978
8
        Status status;
979
8
        {
980
8
            SCOPED_TIMER(_profile.file_reader_total_timer);
981
8
            SCOPED_TIMER(_profile.file_reader_aggregate_timer);
982
8
            status = _data_reader.reader->get_aggregate_result(file_request, &file_result);
983
8
        }
984
8
        if (status.is<ErrorCode::NOT_IMPLEMENTED_ERROR>()) {
985
1
            return Status::OK();
986
1
        }
987
7
        RETURN_IF_ERROR(status);
988
6
        RETURN_IF_ERROR(
989
6
                _materialize_aggregate_pushdown_rows(_push_down_agg_type, file_result, block));
990
6
        *pushed_down = true;
991
6
        RETURN_IF_ERROR(close_current_reader());
992
6
        return Status::OK();
993
6
    }
994
995
105
    virtual bool _supports_aggregate_pushdown(TPushAggOp::type agg_type) const {
996
        // Only COUNT and MIN/MAX can be push down.
997
105
        if (agg_type != TPushAggOp::type::COUNT && agg_type != TPushAggOp::type::MINMAX) {
998
75
            return false;
999
75
        }
1000
        // Aggregate pushdown returns reduced synthetic rows and may close the physical reader
1001
        // before the next scheduler turn. If a runtime filter is still pending, those rows could
1002
        // escape before the filter arrives and cannot later be reconstructed from real file rows.
1003
        // This is the same irreversibility constraint as table-level metadata COUNT, and applies
1004
        // to COUNT and MIN/MAX for Parquet/ORC as well as COUNT for text readers.
1005
30
        if (!_all_runtime_filters_applied_for_split) {
1006
2
            return false;
1007
2
        }
1008
        // Scanner owns the original conjunct list and evaluates it after TableReader finalizes
1009
        // rows. Even a slotless conjunct that cannot become a TableFilter must see every source
1010
        // row before an aggregate reduces the stream to synthetic COUNT/MINMAX rows.
1011
28
        if (!_conjuncts.empty()) {
1012
5
            return false;
1013
5
        }
1014
        // Only support aggregate pushdown when there is no delete or filter, so
1015
        // the reduced rows consumed by the upper aggregate remain semantically equivalent to a
1016
        // normal scan.
1017
23
        if ((_delete_rows != nullptr && !_delete_rows->empty()) ||
1018
23
            (_deletion_vector != nullptr && !_deletion_vector->isEmpty())) {
1019
3
            return false;
1020
3
        }
1021
20
        if (!_table_filters.empty()) {
1022
0
            return false;
1023
0
        }
1024
20
        if (agg_type == TPushAggOp::type::COUNT) {
1025
9
            return true;
1026
9
        }
1027
        // For MIN/MAX, only support direct file-to-table column mappings. The two emitted rows
1028
        // must be enough for the upper MIN/MAX aggregate without evaluating default expressions or
1029
        // virtual columns.
1030
13
        for (const auto& mapping : _data_reader.column_mapper->mappings()) {
1031
13
            if (!mapping.file_local_id.has_value() ||
1032
13
                mapping.virtual_column_type != TableVirtualColumnType::INVALID ||
1033
13
                mapping.default_expr != nullptr || mapping.file_type == nullptr ||
1034
13
                mapping.table_type == nullptr) {
1035
1
                return false;
1036
1
            }
1037
12
            if (!_can_push_down_minmax_for_mapping(mapping)) {
1038
2
                return false;
1039
2
            }
1040
12
        }
1041
8
        return true;
1042
11
    }
1043
1044
115
    static ColumnPtr _detach_column(ColumnPtr column) {
1045
115
        DORIS_CHECK(column.get() != nullptr);
1046
115
        return IColumn::mutate(std::move(column));
1047
115
    }
1048
1049
62
    static Status _align_column_nullability(ColumnPtr* column, const DataTypePtr& table_type) {
1050
62
        DORIS_CHECK(column != nullptr);
1051
62
        DORIS_CHECK(column->get() != nullptr);
1052
62
        DORIS_CHECK(table_type != nullptr);
1053
        // Must return non-const column
1054
62
        *column = (*column)->convert_to_full_column_if_const();
1055
62
        if (table_type->is_nullable()) {
1056
25
            const auto& nested_type =
1057
25
                    assert_cast<const DataTypeNullable&>(*table_type).get_nested_type();
1058
25
            if (!(*column)->is_nullable()) {
1059
2
                RETURN_IF_ERROR(_align_column_nullability(column, nested_type));
1060
2
                *column = make_nullable(*column);
1061
2
                return Status::OK();
1062
2
            }
1063
23
            const auto& nullable_column = assert_cast<const ColumnNullable&>(**column);
1064
23
            ColumnPtr nested_column = nullable_column.get_nested_column_ptr();
1065
23
            RETURN_IF_ERROR(_align_column_nullability(&nested_column, nested_type));
1066
23
            *column = ColumnNullable::create(nested_column,
1067
23
                                             nullable_column.get_null_map_column_ptr());
1068
23
            return Status::OK();
1069
23
        }
1070
37
        if ((*column)->is_nullable()) {
1071
0
            const auto& nullable_column = assert_cast<const ColumnNullable&>(**column);
1072
0
            if (nullable_column.has_null()) {
1073
0
                return Status::InternalError(
1074
0
                        "Default expression produced NULL for non-nullable table column");
1075
0
            }
1076
0
            ColumnPtr nested_column = nullable_column.get_nested_column_ptr();
1077
0
            RETURN_IF_ERROR(_align_column_nullability(&nested_column, table_type));
1078
0
            *column = nested_column;
1079
0
            return Status::OK();
1080
0
        }
1081
37
        if (const auto* array_type = typeid_cast<const DataTypeArray*>(table_type.get())) {
1082
1
            const auto& array_column = assert_cast<const ColumnArray&>(**column);
1083
1
            ColumnPtr nested_column = array_column.get_data_ptr();
1084
1
            RETURN_IF_ERROR(
1085
1
                    _align_column_nullability(&nested_column, array_type->get_nested_type()));
1086
1
            *column = ColumnArray::create(nested_column, array_column.get_offsets_ptr());
1087
1
            return Status::OK();
1088
1
        }
1089
36
        if (const auto* map_type = typeid_cast<const DataTypeMap*>(table_type.get())) {
1090
0
            const auto& map_column = assert_cast<const ColumnMap&>(**column);
1091
0
            ColumnPtr key_column = map_column.get_keys_ptr();
1092
0
            ColumnPtr value_column = map_column.get_values_ptr();
1093
0
            RETURN_IF_ERROR(_align_column_nullability(&key_column, map_type->get_key_type()));
1094
0
            RETURN_IF_ERROR(_align_column_nullability(&value_column, map_type->get_value_type()));
1095
0
            *column = ColumnMap::create(key_column, value_column, map_column.get_offsets_ptr());
1096
0
            return Status::OK();
1097
0
        }
1098
36
        if (const auto* struct_type = typeid_cast<const DataTypeStruct*>(table_type.get())) {
1099
5
            const auto& struct_column = assert_cast<const ColumnStruct&>(**column);
1100
5
            Columns columns = struct_column.get_columns_copy();
1101
5
            DORIS_CHECK(columns.size() == struct_type->get_elements().size());
1102
16
            for (size_t i = 0; i < columns.size(); ++i) {
1103
11
                RETURN_IF_ERROR(
1104
11
                        _align_column_nullability(&columns[i], struct_type->get_element(i)));
1105
11
            }
1106
5
            *column = ColumnStruct::create(columns);
1107
5
            return Status::OK();
1108
5
        }
1109
31
        return Status::OK();
1110
36
    }
1111
1112
    static Status _execute_default_expr_without_root_type_check(
1113
            const VExprContextSPtr& default_expr, const Block* block,
1114
7
            ColumnWithTypeAndName* result_data) {
1115
7
        DORIS_CHECK(default_expr != nullptr);
1116
7
        DORIS_CHECK(block != nullptr);
1117
7
        DORIS_CHECK(result_data != nullptr);
1118
7
        ColumnPtr result_column;
1119
7
        Status st;
1120
7
        RETURN_IF_CATCH_EXCEPTION({
1121
7
            st = default_expr->root()->execute_column_impl(default_expr.get(), block, nullptr,
1122
7
                                                           block->rows(), result_column);
1123
7
        });
1124
7
        RETURN_IF_ERROR(st);
1125
7
        DORIS_CHECK(result_column.get() != nullptr);
1126
7
        if (result_column->size() != block->rows()) {
1127
0
            return Status::InternalError(
1128
0
                    "Default expr {} return column size {} not equal to expected size {}",
1129
0
                    default_expr->expr_name(), result_column->size(), block->rows());
1130
0
        }
1131
7
        result_data->column = result_column;
1132
7
        result_data->type = default_expr->execute_type(block);
1133
7
        result_data->name = default_expr->expr_name();
1134
7
        return Status::OK();
1135
7
    }
1136
1137
    Status _cast_column_to_type(ColumnPtr* column, const DataTypePtr& file_type,
1138
                                const DataTypePtr& table_type,
1139
1
                                const std::string& column_name) const {
1140
1
        DORIS_CHECK(column != nullptr);
1141
1
        DORIS_CHECK(column->get() != nullptr);
1142
1
        DORIS_CHECK(file_type != nullptr);
1143
1
        DORIS_CHECK(table_type != nullptr);
1144
1
        if (file_type->equals(*table_type)) {
1145
0
            return Status::OK();
1146
0
        }
1147
1148
1
        DataTypePtr input_type = file_type;
1149
        // Cast wrappers unwrap nullable inputs according to the declared input type, so keep the
1150
        // root nullability of the declared type aligned with the actual column shape.
1151
1
        if ((*column)->is_nullable() && !input_type->is_nullable()) {
1152
0
            input_type = make_nullable(input_type);
1153
1
        } else if (!(*column)->is_nullable() && input_type->is_nullable()) {
1154
1
            input_type = remove_nullable(input_type);
1155
1
        }
1156
1
        Block cast_block;
1157
1
        cast_block.insert({*column, input_type, column_name});
1158
1
        auto slot_ref = VSlotRef::create_shared(0, 0, -1, input_type, column_name);
1159
1
        auto cast_expr = Cast::create_shared(table_type);
1160
1
        cast_expr->add_child(std::move(slot_ref));
1161
1
        auto cast_ctx = VExprContext::create_shared(std::move(cast_expr));
1162
1
        RowDescriptor row_desc;
1163
1
        RETURN_IF_ERROR(cast_ctx->prepare(_runtime_state, row_desc));
1164
1
        RETURN_IF_ERROR(cast_ctx->open(_runtime_state));
1165
1
        ColumnPtr cast_column;
1166
1
        RETURN_IF_ERROR(cast_ctx->execute(&cast_block, cast_column));
1167
1
        *column = std::move(cast_column);
1168
1
        return Status::OK();
1169
1
    }
1170
1171
    Status _materialize_present_child_mapping_column(const ColumnMapping& mapping,
1172
                                                     const ColumnPtr& file_column,
1173
18
                                                     const size_t rows, ColumnPtr* column) {
1174
18
        DORIS_CHECK(column != nullptr);
1175
18
        DORIS_CHECK(mapping.file_type != nullptr);
1176
18
        DORIS_CHECK(mapping.table_type != nullptr);
1177
18
        *column = file_column;
1178
18
        if (!mapping.is_trivial) {
1179
5
            if (!mapping.child_mappings.empty()) {
1180
5
                RETURN_IF_ERROR(
1181
5
                        _materialize_complex_mapping_column(mapping, *column, rows, column));
1182
5
            } else {
1183
0
                RETURN_IF_ERROR(_cast_column_to_type(column, mapping.file_type, mapping.table_type,
1184
0
                                                     mapping.file_column_name));
1185
0
            }
1186
5
        }
1187
18
        RETURN_IF_ERROR(_align_column_nullability(column, mapping.table_type));
1188
18
        return Status::OK();
1189
18
    }
1190
1191
    Status _materialize_mapping_column(const ColumnMapping& mapping, Block* current_block,
1192
120
                                       const size_t rows, ColumnPtr* column) {
1193
120
        if (!mapping.is_trivial && mapping.file_local_id.has_value() &&
1194
120
            !mapping.child_mappings.empty()) {
1195
5
            DCHECK(mapping.projection != nullptr);
1196
5
            int res_id;
1197
5
            auto st = mapping.projection->execute(current_block, &res_id);
1198
5
            if (!st.ok()) {
1199
0
                return Status::InternalError(
1200
0
                        "Failed to execute complex mapping projection for table column '{}' "
1201
0
                        "(global_index={}, file_local_id={}, rows={}): {}, mapping={}",
1202
0
                        mapping.table_column_name, mapping.global_index.value(),
1203
0
                        *mapping.file_local_id, rows, st.to_string(), mapping.debug_string());
1204
0
            }
1205
5
            ColumnPtr result_column = current_block->get_by_position(res_id).column;
1206
5
            RETURN_IF_ERROR(
1207
5
                    _materialize_complex_mapping_column(mapping, result_column, rows, column));
1208
5
            return Status::OK();
1209
5
        }
1210
115
        if (mapping.projection != nullptr) {
1211
95
            int res_id;
1212
95
            auto st = mapping.projection->execute(current_block, &res_id);
1213
95
            if (!st.ok()) {
1214
0
                std::string file_local_id = "null";
1215
0
                if (mapping.file_local_id.has_value()) {
1216
0
                    file_local_id = std::to_string(*mapping.file_local_id);
1217
0
                }
1218
0
                return Status::InternalError(
1219
0
                        "Failed to execute mapping projection for table column '{}' "
1220
0
                        "(global_index={}, file_local_id={}, rows={}): {}, mapping={}",
1221
0
                        mapping.table_column_name, mapping.global_index.value(), file_local_id,
1222
0
                        rows, st.to_string(), mapping.debug_string());
1223
0
            }
1224
95
            ColumnPtr result_column = current_block->get_by_position(res_id).column;
1225
95
            *column = _detach_column(std::move(result_column));
1226
95
            return Status::OK();
1227
95
        }
1228
20
        if (mapping.default_expr != nullptr) {
1229
7
            if (current_block->rows() == rows) {
1230
0
                ColumnWithTypeAndName result;
1231
0
                RETURN_IF_ERROR(_execute_default_expr_without_root_type_check(
1232
0
                        mapping.default_expr, current_block, &result));
1233
0
                ColumnPtr result_column = result.column;
1234
0
                RETURN_IF_ERROR(_align_column_nullability(&result_column, mapping.table_type));
1235
0
                *column = _detach_column(std::move(result_column));
1236
7
            } else {
1237
7
                DORIS_CHECK(mapping.constant_index.has_value());
1238
7
                Block eval_block;
1239
7
                eval_block.insert({mapping.table_type->create_column_const_with_default_value(rows),
1240
7
                                   mapping.table_type, "__table_reader_const_rows"});
1241
7
                ColumnWithTypeAndName result;
1242
7
                RETURN_IF_ERROR(_execute_default_expr_without_root_type_check(
1243
7
                        mapping.default_expr, &eval_block, &result));
1244
7
                ColumnPtr result_column = result.column;
1245
7
                RETURN_IF_ERROR(_align_column_nullability(&result_column, mapping.table_type));
1246
7
                *column = _detach_column(std::move(result_column));
1247
7
            }
1248
7
            return Status::OK();
1249
7
        }
1250
13
        ColumnPtr result_column = mapping.table_type->create_column_const_with_default_value(rows);
1251
13
        *column = _detach_column(std::move(result_column));
1252
13
        return Status::OK();
1253
20
    }
1254
1255
    Status _materialize_complex_mapping_column(const ColumnMapping& mapping,
1256
                                               const ColumnPtr& file_column, const size_t rows,
1257
10
                                               ColumnPtr* column) {
1258
10
        DORIS_CHECK(mapping.table_type != nullptr);
1259
10
        DORIS_CHECK(file_column.get() != nullptr);
1260
10
        const auto table_type = remove_nullable(mapping.table_type);
1261
10
        switch (table_type->get_primitive_type()) {
1262
7
        case TYPE_STRUCT:
1263
7
            RETURN_IF_ERROR(_materialize_struct_mapping_column(mapping, file_column, rows, column));
1264
7
            break;
1265
7
        case TYPE_ARRAY:
1266
2
            RETURN_IF_ERROR(_materialize_array_mapping_column(mapping, file_column, rows, column));
1267
2
            break;
1268
2
        case TYPE_MAP:
1269
1
            RETURN_IF_ERROR(_materialize_map_mapping_column(mapping, file_column, rows, column));
1270
1
            break;
1271
1
        default:
1272
0
            *column = _detach_column(file_column);
1273
0
            break;
1274
10
        }
1275
10
        return Status::OK();
1276
10
    }
1277
1278
    static std::vector<const ColumnMapping*> _present_child_mappings_in_file_order(
1279
7
            const std::vector<ColumnMapping>& child_mappings) {
1280
7
        std::vector<const ColumnMapping*> result;
1281
7
        result.reserve(child_mappings.size());
1282
16
        for (const auto& child_mapping : child_mappings) {
1283
16
            if (child_mapping.file_local_id.has_value()) {
1284
11
                result.push_back(&child_mapping);
1285
11
            }
1286
16
        }
1287
7
        std::ranges::sort(result, [](const ColumnMapping* lhs, const ColumnMapping* rhs) {
1288
6
            DORIS_CHECK(lhs->file_local_id.has_value());
1289
6
            DORIS_CHECK(rhs->file_local_id.has_value());
1290
6
            return *lhs->file_local_id < *rhs->file_local_id;
1291
6
        });
1292
7
        return result;
1293
7
    }
1294
1295
    static size_t _file_child_ordinal_for_mapping(
1296
            const ColumnMapping& mapping, const ColumnMapping& child_mapping,
1297
11
            const std::vector<const ColumnMapping*>& file_ordered_children) {
1298
11
        DORIS_CHECK(child_mapping.file_local_id.has_value());
1299
11
        if (!mapping.projected_file_children.empty()) {
1300
7
            const auto child_it = std::ranges::find_if(
1301
10
                    mapping.projected_file_children, [&](const ColumnDefinition& file_child) {
1302
10
                        return file_child.file_local_id() == *child_mapping.file_local_id;
1303
10
                    });
1304
7
            DORIS_CHECK(child_it != mapping.projected_file_children.end());
1305
7
            return static_cast<size_t>(
1306
7
                    std::distance(mapping.projected_file_children.begin(), child_it));
1307
7
        }
1308
4
        const auto child_it = std::ranges::find(file_ordered_children, &child_mapping);
1309
4
        DORIS_CHECK(child_it != file_ordered_children.end());
1310
4
        return static_cast<size_t>(std::distance(file_ordered_children.begin(), child_it));
1311
11
    }
1312
1313
    static std::vector<const ColumnMapping*> _child_mappings_in_table_type_order(
1314
7
            const ColumnMapping& mapping, const DataTypeStruct& table_type) {
1315
7
        std::vector<const ColumnMapping*> result;
1316
7
        result.reserve(mapping.child_mappings.size());
1317
23
        for (size_t child_idx = 0; child_idx < table_type.get_elements().size(); ++child_idx) {
1318
16
            const auto& child_name = table_type.get_element_name(child_idx);
1319
16
            const auto child_it = std::ranges::find_if(
1320
28
                    mapping.child_mappings, [&](const ColumnMapping& child_mapping) {
1321
28
                        return child_mapping.table_column_name == child_name;
1322
28
                    });
1323
16
            DORIS_CHECK(child_it != mapping.child_mappings.end())
1324
0
                    << mapping.debug_string() << ", table_child_name=" << child_name;
1325
16
            result.push_back(&*child_it);
1326
16
        }
1327
7
        return result;
1328
7
    }
1329
1330
    static const IColumn* _nested_column_if_nullable(const ColumnPtr& column,
1331
12
                                                     const NullMap** null_map) {
1332
12
        DORIS_CHECK(column.get() != nullptr);
1333
12
        if (const auto* nullable_column = check_and_get_column<ColumnNullable>(*column)) {
1334
8
            if (null_map != nullptr) {
1335
8
                *null_map = &nullable_column->get_null_map_data();
1336
8
            }
1337
8
            return &nullable_column->get_nested_column();
1338
8
        }
1339
4
        return column.get();
1340
12
    }
1341
1342
    Status _materialize_struct_mapping_column(const ColumnMapping& mapping,
1343
                                              const ColumnPtr& file_column, const size_t rows,
1344
7
                                              ColumnPtr* column) {
1345
7
        DORIS_CHECK(mapping.table_type != nullptr);
1346
7
        const auto* table_type =
1347
7
                assert_cast<const DataTypeStruct*>(remove_nullable(mapping.table_type).get());
1348
7
        const auto full_file_column = file_column->convert_to_full_column_if_const();
1349
7
        const NullMap* parent_null_map = nullptr;
1350
7
        const auto* nested_file_column =
1351
7
                _nested_column_if_nullable(full_file_column, &parent_null_map);
1352
7
        const auto* file_struct = assert_cast<const ColumnStruct*>(nested_file_column);
1353
7
        DORIS_CHECK(table_type->get_elements().size() == mapping.child_mappings.size());
1354
1355
7
        Columns child_columns;
1356
7
        child_columns.reserve(mapping.child_mappings.size());
1357
7
        const auto file_ordered_children =
1358
7
                _present_child_mappings_in_file_order(mapping.child_mappings);
1359
7
        const auto table_ordered_children =
1360
7
                _child_mappings_in_table_type_order(mapping, *table_type);
1361
16
        for (const auto* child_mapping : table_ordered_children) {
1362
16
            DORIS_CHECK(child_mapping != nullptr);
1363
16
            if (!child_mapping->file_local_id.has_value()) {
1364
5
                child_columns.push_back(
1365
5
                        child_mapping->table_type->create_column_const_with_default_value(rows)
1366
5
                                ->convert_to_full_column_if_const());
1367
5
                continue;
1368
5
            }
1369
11
            const auto file_child_idx =
1370
11
                    _file_child_ordinal_for_mapping(mapping, *child_mapping, file_ordered_children);
1371
11
            DORIS_CHECK(file_child_idx < file_struct->get_columns().size());
1372
11
            ColumnPtr child_column = file_struct->get_column_ptr(file_child_idx);
1373
11
            RETURN_IF_ERROR(_materialize_present_child_mapping_column(*child_mapping, child_column,
1374
11
                                                                      rows, &child_column));
1375
11
            child_columns.push_back(std::move(child_column));
1376
11
        }
1377
7
        MutableColumns mutable_child_columns;
1378
7
        mutable_child_columns.reserve(child_columns.size());
1379
16
        for (auto& child_column : child_columns) {
1380
16
            mutable_child_columns.push_back(IColumn::mutate(std::move(child_column)));
1381
16
        }
1382
7
        auto result = ColumnStruct::create(std::move(mutable_child_columns));
1383
7
        if (mapping.table_type->is_nullable()) {
1384
5
            auto null_map = ColumnUInt8::create();
1385
5
            auto& null_map_data = null_map->get_data();
1386
5
            null_map_data.resize(rows);
1387
5
            if (parent_null_map != nullptr) {
1388
5
                DORIS_CHECK(parent_null_map->size() == rows);
1389
5
                null_map_data.assign(parent_null_map->begin(), parent_null_map->end());
1390
5
            } else {
1391
0
                std::fill(null_map_data.begin(), null_map_data.end(), 0);
1392
0
            }
1393
5
            *column = ColumnNullable::create(std::move(result), std::move(null_map));
1394
5
        } else {
1395
2
            *column = std::move(result);
1396
2
        }
1397
7
        return Status::OK();
1398
7
    }
1399
1400
    Status _materialize_array_mapping_column(const ColumnMapping& mapping,
1401
                                             const ColumnPtr& file_column, const size_t rows,
1402
2
                                             ColumnPtr* column) {
1403
2
        DORIS_CHECK(mapping.child_mappings.size() == 1);
1404
2
        const auto full_file_column = file_column->convert_to_full_column_if_const();
1405
2
        const NullMap* parent_null_map = nullptr;
1406
2
        const auto* nested_file_column =
1407
2
                _nested_column_if_nullable(full_file_column, &parent_null_map);
1408
2
        const auto* file_array = assert_cast<const ColumnArray*>(nested_file_column);
1409
2
        ColumnPtr nested_column = file_array->get_data_ptr();
1410
2
        const auto& element_mapping = mapping.child_mappings[0];
1411
2
        RETURN_IF_ERROR(_materialize_present_child_mapping_column(
1412
2
                element_mapping, nested_column, nested_column->size(), &nested_column));
1413
2
        auto offsets_column = file_array->get_offsets_ptr()->convert_to_full_column_if_const();
1414
2
        auto result = ColumnArray::create(IColumn::mutate(std::move(nested_column)),
1415
2
                                          IColumn::mutate(std::move(offsets_column)));
1416
2
        if (mapping.table_type->is_nullable()) {
1417
2
            auto null_map = ColumnUInt8::create();
1418
2
            auto& null_map_data = null_map->get_data();
1419
2
            null_map_data.resize(rows);
1420
2
            if (parent_null_map != nullptr) {
1421
2
                DORIS_CHECK(parent_null_map->size() == rows);
1422
2
                null_map_data.assign(parent_null_map->begin(), parent_null_map->end());
1423
2
            } else {
1424
0
                std::fill(null_map_data.begin(), null_map_data.end(), 0);
1425
0
            }
1426
2
            *column = ColumnNullable::create(std::move(result), std::move(null_map));
1427
2
        } else {
1428
0
            *column = std::move(result);
1429
0
        }
1430
2
        return Status::OK();
1431
2
    }
1432
1433
    Status _materialize_map_mapping_column(const ColumnMapping& mapping,
1434
                                           const ColumnPtr& file_column, const size_t rows,
1435
3
                                           ColumnPtr* column) {
1436
3
        const auto full_file_column = file_column->convert_to_full_column_if_const();
1437
3
        const NullMap* parent_null_map = nullptr;
1438
3
        const auto* nested_file_column =
1439
3
                _nested_column_if_nullable(full_file_column, &parent_null_map);
1440
3
        const auto* file_map = assert_cast<const ColumnMap*>(nested_file_column);
1441
3
        ColumnPtr key_column = file_map->get_keys_ptr();
1442
3
        ColumnPtr value_column = file_map->get_values_ptr();
1443
1444
3
        const ColumnMapping* key_mapping = nullptr;
1445
3
        const ColumnMapping* value_mapping = nullptr;
1446
5
        for (const auto& child_mapping : mapping.child_mappings) {
1447
5
            if (!child_mapping.file_local_id.has_value()) {
1448
0
                continue;
1449
0
            }
1450
5
            if (*child_mapping.file_local_id == 0) {
1451
2
                key_mapping = &child_mapping;
1452
3
            } else if (*child_mapping.file_local_id == 1) {
1453
3
                value_mapping = &child_mapping;
1454
3
            }
1455
5
        }
1456
1457
3
        if (key_mapping != nullptr) {
1458
2
            RETURN_IF_ERROR(_materialize_present_child_mapping_column(
1459
2
                    *key_mapping, key_column, key_column->size(), &key_column));
1460
2
        }
1461
3
        if (value_mapping != nullptr) {
1462
3
            RETURN_IF_ERROR(_materialize_present_child_mapping_column(
1463
3
                    *value_mapping, value_column, value_column->size(), &value_column));
1464
3
        }
1465
3
        auto offsets_column = file_map->get_offsets_ptr()->convert_to_full_column_if_const();
1466
3
        auto result = ColumnMap::create(IColumn::mutate(std::move(key_column)),
1467
3
                                        IColumn::mutate(std::move(value_column)),
1468
3
                                        IColumn::mutate(std::move(offsets_column)));
1469
3
        if (mapping.table_type->is_nullable()) {
1470
1
            auto null_map = ColumnUInt8::create();
1471
1
            auto& null_map_data = null_map->get_data();
1472
1
            null_map_data.resize(rows);
1473
1
            if (parent_null_map != nullptr) {
1474
1
                DORIS_CHECK(parent_null_map->size() == rows);
1475
1
                null_map_data.assign(parent_null_map->begin(), parent_null_map->end());
1476
1
            } else {
1477
0
                std::fill(null_map_data.begin(), null_map_data.end(), 0);
1478
0
            }
1479
1
            *column = ColumnNullable::create(std::move(result), std::move(null_map));
1480
2
        } else {
1481
2
            *column = std::move(result);
1482
2
        }
1483
3
        return Status::OK();
1484
3
    }
1485
1486
97
    Status _open_mapping_exprs() {
1487
97
        RowDescriptor row_desc;
1488
129
        for (const auto& mapping : _data_reader.column_mapper->mappings()) {
1489
129
            if (mapping.projection != nullptr) {
1490
109
                RETURN_IF_ERROR(mapping.projection->prepare(_runtime_state, row_desc));
1491
109
                RETURN_IF_ERROR(mapping.projection->open(_runtime_state));
1492
109
            }
1493
129
            if (mapping.default_expr != nullptr) {
1494
7
                RETURN_IF_ERROR(mapping.default_expr->prepare(_runtime_state, row_desc));
1495
7
                RETURN_IF_ERROR(mapping.default_expr->open(_runtime_state));
1496
7
            }
1497
129
        }
1498
97
        return Status::OK();
1499
97
    }
1500
1501
    Status _build_file_aggregate_request(TPushAggOp::type agg_type,
1502
8
                                         FileAggregateRequest* request) const {
1503
8
        DORIS_CHECK(request != nullptr);
1504
8
        DORIS_CHECK(_supports_aggregate_pushdown(agg_type));
1505
8
        request->agg_type = agg_type;
1506
8
        request->columns.clear();
1507
8
        if (agg_type == TPushAggOp::type::COUNT) {
1508
            // COUNT pushdown historically meant COUNT(*) and therefore carried no columns. For
1509
            // complex COUNT(col), materializing the full MAP/LIST/STRUCT value only to test the
1510
            // top-level NULL bit can be extremely expensive. When the scan projects exactly one
1511
            // directly-mapped complex column, pass that file column to the reader so formats such
1512
            // as Parquet can count the column shape from metadata/levels without decoding payload
1513
            // values like MAP value strings. Other COUNT cases stay on the existing row-count path
1514
            // to avoid changing count(*) semantics.
1515
4
            if (_data_reader.column_mapper->mappings().size() == 1) {
1516
4
                const auto& mapping = _data_reader.column_mapper->mappings()[0];
1517
4
                if (mapping.file_local_id.has_value() && mapping.file_type != nullptr &&
1518
4
                    is_complex_type(remove_nullable(mapping.file_type)->get_primitive_type()) &&
1519
4
                    mapping.virtual_column_type == TableVirtualColumnType::INVALID &&
1520
4
                    mapping.default_expr == nullptr) {
1521
0
                    FileAggregateRequest::Column column;
1522
0
                    column.projection =
1523
0
                            LocalColumnIndex::top_level(LocalColumnId(*mapping.file_local_id));
1524
0
                    request->columns.push_back(std::move(column));
1525
0
                }
1526
4
            }
1527
4
            return Status::OK();
1528
4
        }
1529
4
        request->columns.reserve(_data_reader.column_mapper->mappings().size());
1530
5
        for (const auto& mapping : _data_reader.column_mapper->mappings()) {
1531
5
            DORIS_CHECK(mapping.file_local_id.has_value());
1532
5
            FileAggregateRequest::Column column;
1533
5
            column.projection = LocalColumnIndex::top_level(LocalColumnId(*mapping.file_local_id));
1534
5
            if (!mapping.child_mappings.empty()) {
1535
1
                RETURN_IF_ERROR(build_aggregate_projection(mapping, &column.projection));
1536
1
            }
1537
5
            request->columns.push_back(std::move(column));
1538
5
        }
1539
4
        return Status::OK();
1540
4
    }
1541
1542
    Status _materialize_aggregate_pushdown_rows(TPushAggOp::type agg_type,
1543
                                                const FileAggregateResult& file_result,
1544
6
                                                Block* block) {
1545
6
        if (agg_type == TPushAggOp::type::COUNT) {
1546
            // COUNT pushdown is not a final count value. It emits `count` default rows so the
1547
            // upper COUNT(*) aggregate can count them and produce the final result, including
1548
            // zero rows when count is 0.
1549
3
            DORIS_CHECK(file_result.count >= 0);
1550
3
            return _materialize_count_rows(cast_set<size_t>(file_result.count), block);
1551
3
        }
1552
        // MIN/MAX pushdown emits two rows, min first and max second, for each projected column.
1553
        // The upper MIN/MAX aggregate consumes those two rows to produce the final aggregate value.
1554
3
        DORIS_CHECK(file_result.columns.size() == _data_reader.column_mapper->mappings().size());
1555
3
        DORIS_CHECK(block->columns() == _data_reader.column_mapper->mappings().size());
1556
3
        Block file_block;
1557
3
        file_block.reserve(_data_reader.file_block_layout.size());
1558
4
        for (const auto& column : _data_reader.file_block_layout) {
1559
4
            file_block.insert({column.type->create_column(), column.type, column.name});
1560
4
        }
1561
7
        for (size_t column_idx = 0; column_idx < file_result.columns.size(); ++column_idx) {
1562
4
            const auto& result_column = file_result.columns[column_idx];
1563
4
            if (!result_column.has_min || !result_column.has_max) {
1564
0
                return Status::NotSupported("Missing min/max aggregate result for column {}",
1565
0
                                            _projected_columns[column_idx].name);
1566
0
            }
1567
4
            bool found_file_column = false;
1568
5
            for (size_t block_position = 0; block_position < _data_reader.file_block_layout.size();
1569
5
                 ++block_position) {
1570
5
                if (_data_reader.file_block_layout[block_position].file_column_id ==
1571
5
                    file_result.columns[column_idx].projection.column_id()) {
1572
4
                    found_file_column = true;
1573
4
                    auto column = file_block.get_by_position(block_position)
1574
4
                                          .type->create_column()
1575
4
                                          ->assert_mutable();
1576
4
                    RETURN_IF_ERROR(_insert_aggregate_projection_value(
1577
4
                            file_result.columns[column_idx].projection, result_column.min_value,
1578
4
                            column.get()));
1579
4
                    RETURN_IF_ERROR(_insert_aggregate_projection_value(
1580
4
                            file_result.columns[column_idx].projection, result_column.max_value,
1581
4
                            column.get()));
1582
4
                    file_block.replace_by_position(block_position, std::move(column));
1583
4
                    break;
1584
4
                }
1585
5
            }
1586
4
            DORIS_CHECK(found_file_column);
1587
4
        }
1588
7
        for (size_t column_idx = 0; column_idx < _data_reader.column_mapper->mappings().size();
1589
4
             ++column_idx) {
1590
4
            ColumnPtr table_column;
1591
4
            RETURN_IF_ERROR(
1592
4
                    _materialize_mapping_column(_data_reader.column_mapper->mappings()[column_idx],
1593
4
                                                &file_block, 2, &table_column));
1594
4
            block->replace_by_position(column_idx, std::move(table_column));
1595
4
        }
1596
3
        return Status::OK();
1597
3
    }
1598
1599
    struct FileBlockColumn {
1600
        LocalColumnId file_column_id = LocalColumnId::invalid();
1601
        std::string name;
1602
        DataTypePtr type;
1603
    };
1604
1605
    struct DataReader {
1606
        std::unique_ptr<FileReader> reader;
1607
        std::unique_ptr<TableColumnMapper> column_mapper;
1608
        // Schema of the data file, also including virtual column (row position).
1609
        std::vector<ColumnDefinition> file_schema;
1610
        // Layout of the block returned by file reader, determined by column mapping and file
1611
        // schema. It is used for file reader to materialize columns into correct type and position.
1612
        std::vector<FileBlockColumn> file_block_layout;
1613
        Block block_template;
1614
    };
1615
    DataReader _data_reader;
1616
    std::vector<ColumnDefinition> _projected_columns;
1617
    std::unique_ptr<ScanTask> _current_task;
1618
    std::optional<io::FileDescription> _current_file_description;
1619
    // Range-level compression has higher priority than scan-param compression. TVF/load can keep
1620
    // the logical format as CSV/TEXT while carrying the concrete compression such as GZ or LZO on
1621
    // each TFileRangeDesc, matching the old FileScanner reader contract.
1622
    TFileCompressType::type _current_range_compress_type = TFileCompressType::UNKNOWN;
1623
    std::optional<TUniqueId> _current_range_load_id;
1624
    TFileRangeDesc _current_file_range_desc;
1625
    std::shared_ptr<io::FileSystemProperties> _system_properties;
1626
    // partition key -> value
1627
    std::map<std::string, Field> _partition_values;
1628
    // Predicates built from scan conjuncts before file-level localization.
1629
    std::vector<TableFilter> _table_filters;
1630
    // Number of localized filters before the first unsafe conjunct in the original row-level
1631
    // order. This differs from scanning `_table_filters` for safety because slotless predicates are
1632
    // intentionally absent from that vector but must still act as ordering barriers.
1633
    size_t _constant_pruning_safe_filter_count = 0;
1634
    VExprContextSPtrs _conjuncts;
1635
    ReadProfile _profile;
1636
    // Parsed from row-position based delete files, including position delete and deletion vector.
1637
    DeleteRows* _delete_rows = nullptr;
1638
    DeletionVector* _deletion_vector = nullptr;
1639
    TFileScanRangeParams* _scan_params;
1640
    std::shared_ptr<io::IOContext> _io_ctx;
1641
    RuntimeState* _runtime_state;
1642
    RuntimeProfile* _scanner_profile;
1643
    const std::vector<SlotDescriptor*>* _file_slot_descs = nullptr;
1644
    FileFormat _format;
1645
    TPushAggOp::type _push_down_agg_type = TPushAggOp::type::NONE;
1646
    size_t _batch_size = 0;
1647
    uint64_t _initial_condition_cache_digest = 0;
1648
    uint64_t _condition_cache_digest = 0;
1649
    // True only when prepare_split() received a digest for the exact conjunct snapshot used by
1650
    // this split. Standalone callers that only supplied TableReadOptions::condition_cache_digest
1651
    // keep the conservative runtime-filter guard.
1652
    bool _condition_cache_digest_covers_current_split = false;
1653
    segment_v2::ConditionCache::ExternalCacheKey _condition_cache_key;
1654
    std::shared_ptr<std::vector<bool>> _condition_cache;
1655
    std::shared_ptr<ConditionCacheContext> _condition_cache_ctx;
1656
    int64_t _condition_cache_hit_count = 0;
1657
    bool _current_reader_reached_eof = false;
1658
    int64_t _remaining_table_level_count = -1;
1659
    // Snapshot supplied by FileScannerV2 for the active split. It gates every shortcut that emits
1660
    // irreversible aggregate rows, not only the table-level row-count shortcut in prepare_split().
1661
    bool _all_runtime_filters_applied_for_split = true;
1662
    std::optional<GlobalRowIdContext> _global_rowid_context;
1663
    bool _aggregate_pushdown_tried = false;
1664
    bool _current_split_pruned = false;
1665
    TableColumnMapperOptions _mapper_options;
1666
1667
private:
1668
    static const ColumnDefinition* _find_column_definition(
1669
158
            const std::vector<ColumnDefinition>& schema, LocalColumnId column_id) {
1670
285
        for (const auto& field : schema) {
1671
285
            if (field.file_local_id() == column_id.value()) {
1672
135
                return &field;
1673
135
            }
1674
285
        }
1675
23
        return nullptr;
1676
158
    }
1677
1678
14
    static bool _can_push_down_minmax_for_mapping(const ColumnMapping& mapping) {
1679
14
        if (mapping.child_mappings.empty()) {
1680
            // Direct mappings use a slot-ref projection to materialize the file column. The
1681
            // projection does not transform ordering; casts and other conversions are already
1682
            // represented by a non-trivial mapping and must fall back to row scanning.
1683
11
            return mapping.is_trivial;
1684
11
        }
1685
3
        const auto primitive_type = remove_nullable(mapping.file_type)->get_primitive_type();
1686
3
        if (primitive_type != TYPE_STRUCT) {
1687
1
            return false;
1688
1
        }
1689
2
        size_t mapped_children = 0;
1690
2
        const ColumnMapping* mapped_child = nullptr;
1691
2
        for (const auto& child_mapping : mapping.child_mappings) {
1692
2
            if (!child_mapping.file_local_id.has_value()) {
1693
0
                continue;
1694
0
            }
1695
2
            ++mapped_children;
1696
2
            mapped_child = &child_mapping;
1697
2
        }
1698
2
        return mapped_children == 1 && mapped_child != nullptr &&
1699
2
               _can_push_down_minmax_for_mapping(*mapped_child);
1700
3
    }
1701
1702
    static Status build_aggregate_projection(const ColumnMapping& mapping,
1703
2
                                             LocalColumnIndex* projection) {
1704
2
        DORIS_CHECK(projection != nullptr);
1705
2
        DORIS_CHECK(mapping.file_local_id.has_value());
1706
2
        *projection = LocalColumnIndex::local(*mapping.file_local_id);
1707
2
        projection->children.clear();
1708
2
        projection->project_all_children = true;
1709
2
        if (mapping.child_mappings.empty()) {
1710
1
            return Status::OK();
1711
1
        }
1712
1
        projection->project_all_children = false;
1713
1
        for (const auto& child_mapping : mapping.child_mappings) {
1714
1
            if (!child_mapping.file_local_id.has_value()) {
1715
0
                continue;
1716
0
            }
1717
1
            LocalColumnIndex child_projection;
1718
1
            RETURN_IF_ERROR(build_aggregate_projection(child_mapping, &child_projection));
1719
1
            projection->children.push_back(std::move(child_projection));
1720
1
        }
1721
1
        DORIS_CHECK(projection->children.size() == 1);
1722
1
        return Status::OK();
1723
1
    }
1724
1725
    static Status _insert_aggregate_projection_value(const LocalColumnIndex& projection,
1726
20
                                                     const Field& value, IColumn* column) {
1727
20
        DORIS_CHECK(column != nullptr);
1728
20
        if (auto* nullable_column = check_and_get_column<ColumnNullable>(*column)) {
1729
10
            RETURN_IF_ERROR(_insert_aggregate_projection_value(
1730
10
                    projection, value, &nullable_column->get_nested_column()));
1731
10
            nullable_column->get_null_map_data().push_back(0);
1732
10
            return Status::OK();
1733
10
        }
1734
10
        if (projection.project_all_children || projection.children.empty()) {
1735
8
            column->insert(value);
1736
8
            return Status::OK();
1737
8
        }
1738
2
        auto* struct_column = assert_cast<ColumnStruct*>(column);
1739
2
        DORIS_CHECK(projection.children.size() == 1);
1740
2
        const auto& child_projection = projection.children[0];
1741
2
        DORIS_CHECK(struct_column->get_columns().size() == 1);
1742
2
        RETURN_IF_ERROR(_insert_aggregate_projection_value(child_projection, value,
1743
2
                                                           &struct_column->get_column(0)));
1744
2
        return Status::OK();
1745
2
    }
1746
1747
    // Parse a DV into its compressed bitmap. Position delete files continue to use _delete_rows.
1748
    Status _parse_delete_predicates(const SplitReadOptions& options);
1749
};
1750
1751
} // namespace doris::format