Coverage Report

Created: 2026-06-04 20:20

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/root/doris/be/src/runtime/runtime_predicate.cpp
Line
Count
Source
1
// Licensed to the Apache Software Foundation (ASF) under one
2
// or more contributor license agreements.  See the NOTICE file
3
// distributed with this work for additional information
4
// regarding copyright ownership.  The ASF licenses this file
5
// to you under the Apache License, Version 2.0 (the
6
// "License"); you may not use this file except in compliance
7
// with the License.  You may obtain a copy of the License at
8
//
9
//   http://www.apache.org/licenses/LICENSE-2.0
10
//
11
// Unless required by applicable law or agreed to in writing,
12
// software distributed under the License is distributed on an
13
// "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
14
// KIND, either express or implied.  See the License for the
15
// specific language governing permissions and limitations
16
// under the License.
17
18
#include "runtime/runtime_predicate.h"
19
20
#include <memory>
21
22
#include "common/compiler_util.h" // IWYU pragma: keep
23
#include "common/exception.h"
24
#include "common/status.h"
25
#include "olap/accept_null_predicate.h"
26
#include "olap/column_predicate.h"
27
#include "olap/predicate_creator.h"
28
#include "runtime/define_primitive_type.h"
29
30
namespace doris::vectorized {
31
32
RuntimePredicate::RuntimePredicate(const TTopnFilterDesc& desc)
33
2
        : _nulls_first(desc.null_first), _is_asc(desc.is_asc) {
34
2
    DCHECK(!desc.target_node_id_to_target_expr.empty());
35
2
    for (auto p : desc.target_node_id_to_target_expr) {
36
2
        _contexts[p.first].expr = p.second;
37
2
    }
38
39
2
    _type = thrift_to_type(desc.target_node_id_to_target_expr.begin()
40
2
                                   ->second.nodes[0]
41
2
                                   .type.types[0]
42
2
                                   .scalar_type.type);
43
2
    if (!_init(_type)) {
44
0
        std::stringstream ss;
45
0
        desc.target_node_id_to_target_expr.begin()->second.nodes[0].printTo(ss);
46
0
        throw Exception(ErrorCode::INTERNAL_ERROR, "meet invalid type, type={}, expr={}",
47
0
                        type_to_string(_type), ss.str());
48
0
    }
49
50
    // For ASC  sort, create runtime predicate col_name <= max_top_value
51
    // since values that > min_top_value are large than any value in current topn values
52
    // For DESC sort, create runtime predicate col_name >= min_top_value
53
    // since values that < min_top_value are less than any value in current topn values
54
2
    _pred_constructor = _is_asc ? create_comparison_predicate<PredicateType::LE>
55
2
                                : create_comparison_predicate<PredicateType::GE>;
56
2
}
57
58
Status RuntimePredicate::init_target(
59
        int32_t target_node_id, phmap::flat_hash_map<int, SlotDescriptor*> slot_id_to_slot_desc,
60
2
        const int column_id) {
61
2
    if (column_id < 0) {
62
1
        _detected_target = true;
63
1
        return Status::OK();
64
1
    }
65
1
    std::unique_lock<std::shared_mutex> wlock(_rwlock);
66
1
    check_target_node_id(target_node_id);
67
1
    if (target_is_slot(target_node_id)) {
68
1
        _contexts[target_node_id].col_name =
69
1
                slot_id_to_slot_desc[get_texpr(target_node_id).nodes[0].slot_ref.slot_id]
70
1
                        ->col_name();
71
1
        _contexts[target_node_id].col_data_type =
72
1
                slot_id_to_slot_desc[get_texpr(target_node_id).nodes[0].slot_ref.slot_id]->type();
73
1
        _contexts[target_node_id].predicate = SharedPredicate::create_shared(
74
1
                cast_set<uint32_t>(column_id), _contexts[target_node_id].col_name);
75
1
    }
76
1
    _detected_target = true;
77
1
    return Status::OK();
78
2
}
79
80
2
bool RuntimePredicate::_init(PrimitiveType type) {
81
2
    return is_int_or_bool(type) || is_decimal(type) || is_string_type(type) || is_date_type(type) ||
82
2
           is_time_type(type) || is_timestamptz_type(type) || is_ip(type) || is_varbinary(type);
83
2
}
84
85
1
Status RuntimePredicate::update(const Field& value) {
86
1
    std::unique_lock<std::shared_mutex> wlock(_rwlock);
87
    // skip null value
88
1
    if (value.is_null()) {
89
0
        return Status::OK();
90
0
    }
91
92
1
    bool updated = false;
93
94
1
    if (UNLIKELY(_orderby_extrem.is_null())) {
95
1
        _orderby_extrem = value;
96
1
        updated = true;
97
1
    } else {
98
0
        if ((_is_asc && value < _orderby_extrem) || (!_is_asc && value > _orderby_extrem)) {
99
0
            _orderby_extrem = value;
100
0
            updated = true;
101
0
        }
102
0
    }
103
104
1
    _has_value = true;
105
106
1
    if (!updated) {
107
0
        return Status::OK();
108
0
    }
109
1
    for (auto p : _contexts) {
110
1
        auto ctx = p.second;
111
1
        if (ctx.predicate == nullptr) {
112
1
            continue;
113
1
        }
114
0
        std::shared_ptr<ColumnPredicate> pred =
115
0
                _pred_constructor(ctx.predicate->column_id(), ctx.col_name, ctx.col_data_type,
116
0
                                  _orderby_extrem, false);
117
118
        // For NULLS FIRST, wrap a AcceptNullPredicate to return true for NULL
119
        // since ORDER BY ASC/DESC should get NULL first but pred returns NULL
120
        // and NULL in where predicate will be treated as FALSE
121
0
        if (_nulls_first) {
122
0
            pred = AcceptNullPredicate::create_shared(pred);
123
0
        }
124
125
0
        ((SharedPredicate*)ctx.predicate.get())->set_nested(pred);
126
0
    }
127
1
    return Status::OK();
128
1
}
129
130
} // namespace doris::vectorized