Coverage Report

Created: 2026-03-15 17:28

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
be/src/storage/tablet_info.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 "storage/tablet_info.h"
19
20
#include <butil/logging.h>
21
#include <gen_cpp/Descriptors_types.h>
22
#include <gen_cpp/Exprs_types.h>
23
#include <gen_cpp/Partitions_types.h>
24
#include <gen_cpp/Types_types.h>
25
#include <gen_cpp/descriptors.pb.h>
26
#include <gen_cpp/olap_file.pb.h>
27
#include <glog/logging.h>
28
29
#include <algorithm>
30
#include <cstddef>
31
#include <cstdint>
32
#include <memory>
33
#include <ostream>
34
#include <string>
35
#include <tuple>
36
37
#include "common/exception.h"
38
#include "common/logging.h"
39
#include "common/status.h"
40
#include "core/column/column.h"
41
#include "core/data_type/data_type.h"
42
#include "core/data_type/data_type_factory.hpp"
43
#include "core/data_type/define_primitive_type.h"
44
#include "core/data_type/primitive_type.h"
45
#include "core/value/large_int_value.h"
46
#include "runtime/descriptors.h"
47
#include "runtime/memory/mem_tracker.h"
48
#include "storage/tablet/tablet_schema.h"
49
#include "util/raw_value.h"
50
#include "util/string_parser.hpp"
51
#include "util/string_util.h"
52
// NOLINTNEXTLINE(unused-includes)
53
#include "core/value/vdatetime_value.h"
54
#include "exprs/function/cast/cast_to_timestamptz.h"
55
#include "exprs/vexpr_context.h" // IWYU pragma: keep
56
#include "exprs/vliteral.h"
57
58
namespace doris {
59
#include "common/compile_check_begin.h"
60
61
32
void OlapTableIndexSchema::to_protobuf(POlapTableIndexSchema* pindex) const {
62
32
    pindex->set_id(index_id);
63
32
    pindex->set_schema_hash(schema_hash);
64
32
    for (auto* slot : slots) {
65
0
        pindex->add_columns(slot->col_name());
66
0
    }
67
32
    for (auto* column : columns) {
68
0
        column->to_schema_pb(pindex->add_columns_desc());
69
0
    }
70
32
    for (auto* index : indexes) {
71
0
        index->to_schema_pb(pindex->add_indexes_desc());
72
0
    }
73
32
}
74
75
bool VOlapTablePartKeyComparator::operator()(const BlockRowWithIndicator& lhs,
76
104
                                             const BlockRowWithIndicator& rhs) const {
77
104
    Block* l_block = std::get<0>(lhs);
78
104
    Block* r_block = std::get<0>(rhs);
79
104
    int32_t l_row = std::get<1>(lhs);
80
104
    int32_t r_row = std::get<1>(rhs);
81
104
    bool l_use_new = std::get<2>(lhs);
82
104
    bool r_use_new = std::get<2>(rhs);
83
84
104
    VLOG_TRACE << '\n' << l_block->dump_data() << '\n' << r_block->dump_data();
85
86
104
    if (l_row == -1) {
87
0
        return false;
88
104
    } else if (r_row == -1) {
89
0
        return true;
90
0
    }
91
92
104
    if (_param_locs.empty()) { // no transform, use origin column
93
79
        for (auto slot_loc : _slot_locs) {
94
79
            auto res = l_block->get_by_position(slot_loc).column->compare_at(
95
79
                    l_row, r_row, *r_block->get_by_position(slot_loc).column, -1);
96
79
            if (res != 0) {
97
75
                return res < 0;
98
75
            }
99
79
        }
100
79
    } else { // use transformed column to compare
101
25
        DCHECK(_slot_locs.size() == _param_locs.size())
102
0
                << _slot_locs.size() << ' ' << _param_locs.size();
103
104
25
        const std::vector<uint16_t>* l_index = l_use_new ? &_param_locs : &_slot_locs;
105
25
        const std::vector<uint16_t>* r_index = r_use_new ? &_param_locs : &_slot_locs;
106
107
25
        for (int i = 0; i < _slot_locs.size(); i++) {
108
25
            ColumnPtr l_col = l_block->get_by_position((*l_index)[i]).column;
109
25
            ColumnPtr r_col = r_block->get_by_position((*r_index)[i]).column;
110
111
25
            auto res = l_col->compare_at(l_row, r_row, *r_col, -1);
112
25
            if (res != 0) {
113
25
                return res < 0;
114
25
            }
115
25
        }
116
25
    }
117
118
    // equal, return false
119
4
    return false;
120
104
}
121
122
14
Status OlapTableSchemaParam::init(const POlapTableSchemaParam& pschema) {
123
14
    _db_id = pschema.db_id();
124
14
    _table_id = pschema.table_id();
125
14
    _version = pschema.version();
126
14
    if (pschema.has_unique_key_update_mode()) {
127
14
        _unique_key_update_mode = pschema.unique_key_update_mode();
128
14
        if (pschema.has_sequence_map_col_unique_id()) {
129
14
            _sequence_map_col_uid = pschema.sequence_map_col_unique_id();
130
14
        }
131
14
    } else {
132
        // for backward compatibility
133
0
        if (pschema.has_partial_update() && pschema.partial_update()) {
134
0
            _unique_key_update_mode = UniqueKeyUpdateModePB::UPDATE_FIXED_COLUMNS;
135
0
        } else {
136
0
            _unique_key_update_mode = UniqueKeyUpdateModePB::UPSERT;
137
0
        }
138
0
    }
139
14
    _is_strict_mode = pschema.is_strict_mode();
140
14
    if (_unique_key_update_mode == UniqueKeyUpdateModePB::UPDATE_FIXED_COLUMNS) {
141
0
        _auto_increment_column = pschema.auto_increment_column();
142
0
        if (!_auto_increment_column.empty() && pschema.auto_increment_column_unique_id() == -1) {
143
0
            return Status::InternalError(
144
0
                    "Auto increment column id is not set in FE. Maybe FE is an older version "
145
0
                    "different from BE.");
146
0
        }
147
0
        _auto_increment_column_unique_id = pschema.auto_increment_column_unique_id();
148
0
    }
149
14
    if (_unique_key_update_mode != UniqueKeyUpdateModePB::UPSERT) {
150
0
        if (pschema.has_partial_update_new_key_policy()) {
151
0
            _partial_update_new_row_policy = pschema.partial_update_new_key_policy();
152
0
        }
153
0
    }
154
14
    _timestamp_ms = pschema.timestamp_ms();
155
14
    if (pschema.has_nano_seconds()) {
156
14
        _nano_seconds = pschema.nano_seconds();
157
14
    }
158
14
    _timezone = pschema.timezone();
159
160
14
    for (const auto& col : pschema.partial_update_input_columns()) {
161
0
        _partial_update_input_columns.insert(col);
162
0
    }
163
14
    std::unordered_map<std::string, SlotDescriptor*> slots_map;
164
165
14
    _tuple_desc = _obj_pool.add(new TupleDescriptor(pschema.tuple_desc()));
166
167
84
    for (const auto& p_slot_desc : pschema.slot_descs()) {
168
84
        auto* slot_desc = _obj_pool.add(new SlotDescriptor(p_slot_desc));
169
84
        _tuple_desc->add_slot(slot_desc);
170
84
        std::string data_type;
171
84
        EnumToString(TPrimitiveType, to_thrift(slot_desc->col_type()), data_type);
172
84
        std::string is_null_str = slot_desc->is_nullable() ? "true" : "false";
173
84
        std::string data_type_str =
174
84
                std::to_string(int64_t(TabletColumn::get_field_type_by_string(data_type)));
175
84
        slots_map.emplace(to_lower(slot_desc->col_name()) + "+" + data_type_str + is_null_str,
176
84
                          slot_desc);
177
84
    }
178
179
28
    for (const auto& p_index : pschema.indexes()) {
180
28
        auto* index = _obj_pool.add(new OlapTableIndexSchema());
181
28
        index->index_id = p_index.id();
182
28
        index->schema_hash = p_index.schema_hash();
183
28
        for (const auto& pcolumn_desc : p_index.columns_desc()) {
184
0
            if (_unique_key_update_mode != UniqueKeyUpdateModePB::UPDATE_FIXED_COLUMNS ||
185
0
                _partial_update_input_columns.contains(pcolumn_desc.name())) {
186
0
                std::string is_null_str = pcolumn_desc.is_nullable() ? "true" : "false";
187
0
                std::string data_type_str = std::to_string(
188
0
                        int64_t(TabletColumn::get_field_type_by_string(pcolumn_desc.type())));
189
0
                auto it = slots_map.find(to_lower(pcolumn_desc.name()) + "+" + data_type_str +
190
0
                                         is_null_str);
191
0
                if (it == std::end(slots_map)) {
192
0
                    std::string keys {};
193
0
                    for (const auto& [key, _] : slots_map) {
194
0
                        keys += fmt::format("{},", key);
195
0
                    }
196
0
                    LOG_EVERY_SECOND(WARNING) << fmt::format(
197
0
                            "[OlapTableSchemaParam::init(const POlapTableSchemaParam& pschema)]: "
198
0
                            "unknown index column, column={}, type={}, data_type_str={}, "
199
0
                            "is_null_str={}, slots_map.keys()=[{}], {}\npschema={}",
200
0
                            pcolumn_desc.name(), pcolumn_desc.type(), data_type_str, is_null_str,
201
0
                            keys, debug_string(), pschema.ShortDebugString());
202
203
0
                    return Status::InternalError("unknown index column, column={}, type={}",
204
0
                                                 pcolumn_desc.name(), pcolumn_desc.type());
205
0
                }
206
0
                index->slots.emplace_back(it->second);
207
0
            }
208
0
            TabletColumn* tc = _obj_pool.add(new TabletColumn());
209
0
            tc->init_from_pb(pcolumn_desc);
210
0
            index->columns.emplace_back(tc);
211
0
        }
212
28
        for (const auto& pindex_desc : p_index.indexes_desc()) {
213
0
            TabletIndex* ti = _obj_pool.add(new TabletIndex());
214
0
            ti->init_from_pb(pindex_desc);
215
0
            index->indexes.emplace_back(ti);
216
0
        }
217
28
        _indexes.emplace_back(index);
218
28
    }
219
220
14
    std::sort(_indexes.begin(), _indexes.end(),
221
28
              [](const OlapTableIndexSchema* lhs, const OlapTableIndexSchema* rhs) {
222
28
                  return lhs->index_id < rhs->index_id;
223
28
              });
224
14
    return Status::OK();
225
14
}
226
227
25
Status OlapTableSchemaParam::init_unique_key_update_mode(const TOlapTableSchemaParam& tschema) {
228
25
    if (tschema.__isset.unique_key_update_mode) {
229
0
        switch (tschema.unique_key_update_mode) {
230
0
        case doris::TUniqueKeyUpdateMode::UPSERT: {
231
0
            _unique_key_update_mode = UniqueKeyUpdateModePB::UPSERT;
232
0
            break;
233
0
        }
234
0
        case doris::TUniqueKeyUpdateMode::UPDATE_FIXED_COLUMNS: {
235
0
            _unique_key_update_mode = UniqueKeyUpdateModePB::UPDATE_FIXED_COLUMNS;
236
0
            break;
237
0
        }
238
0
        case doris::TUniqueKeyUpdateMode::UPDATE_FLEXIBLE_COLUMNS: {
239
0
            _unique_key_update_mode = UniqueKeyUpdateModePB::UPDATE_FLEXIBLE_COLUMNS;
240
0
            break;
241
0
        }
242
0
        default: {
243
0
            return Status::InternalError(
244
0
                    "Unknown unique_key_update_mode: {}, should be one of "
245
0
                    "UPSERT/UPDATE_FIXED_COLUMNS/UPDATE_FLEXIBLE_COLUMNS",
246
0
                    tschema.unique_key_update_mode);
247
0
        }
248
0
        }
249
0
        if (tschema.__isset.sequence_map_col_unique_id) {
250
0
            _sequence_map_col_uid = tschema.sequence_map_col_unique_id;
251
0
        }
252
25
    } else {
253
        // for backward compatibility
254
25
        if (tschema.__isset.is_partial_update && tschema.is_partial_update) {
255
0
            _unique_key_update_mode = UniqueKeyUpdateModePB::UPDATE_FIXED_COLUMNS;
256
25
        } else {
257
25
            _unique_key_update_mode = UniqueKeyUpdateModePB::UPSERT;
258
25
        }
259
25
    }
260
25
    return Status::OK();
261
25
}
262
263
25
Status OlapTableSchemaParam::init(const TOlapTableSchemaParam& tschema) {
264
25
    _db_id = tschema.db_id;
265
25
    _table_id = tschema.table_id;
266
25
    _version = tschema.version;
267
25
    RETURN_IF_ERROR(init_unique_key_update_mode(tschema));
268
25
    if (tschema.__isset.is_strict_mode) {
269
25
        _is_strict_mode = tschema.is_strict_mode;
270
25
    }
271
25
    if (_unique_key_update_mode == UniqueKeyUpdateModePB::UPDATE_FIXED_COLUMNS) {
272
0
        _auto_increment_column = tschema.auto_increment_column;
273
0
        if (!_auto_increment_column.empty() && tschema.auto_increment_column_unique_id == -1) {
274
0
            return Status::InternalError(
275
0
                    "Auto increment column id is not set in FE. Maybe FE is an older version "
276
0
                    "different from BE.");
277
0
        }
278
0
        _auto_increment_column_unique_id = tschema.auto_increment_column_unique_id;
279
0
    }
280
281
25
    if (_unique_key_update_mode != UniqueKeyUpdateModePB::UPSERT) {
282
0
        if (tschema.__isset.partial_update_new_key_policy) {
283
0
            switch (tschema.partial_update_new_key_policy) {
284
0
            case doris::TPartialUpdateNewRowPolicy::APPEND: {
285
0
                _partial_update_new_row_policy = PartialUpdateNewRowPolicyPB::APPEND;
286
0
                break;
287
0
            }
288
0
            case doris::TPartialUpdateNewRowPolicy::ERROR: {
289
0
                _partial_update_new_row_policy = PartialUpdateNewRowPolicyPB::ERROR;
290
0
                break;
291
0
            }
292
0
            default: {
293
0
                return Status::InvalidArgument(
294
0
                        "Unknown partial_update_new_key_behavior: {}, should be one of "
295
0
                        "'APPEND' or 'ERROR'",
296
0
                        tschema.partial_update_new_key_policy);
297
0
            }
298
0
            }
299
0
        }
300
0
    }
301
302
25
    for (const auto& tcolumn : tschema.partial_update_input_columns) {
303
0
        _partial_update_input_columns.insert(tcolumn);
304
0
    }
305
25
    std::unordered_map<std::string, SlotDescriptor*> slots_map;
306
25
    _tuple_desc = _obj_pool.add(new TupleDescriptor(tschema.tuple_desc));
307
105
    for (const auto& t_slot_desc : tschema.slot_descs) {
308
105
        auto* slot_desc = _obj_pool.add(new SlotDescriptor(t_slot_desc));
309
105
        _tuple_desc->add_slot(slot_desc);
310
105
        std::string is_null_str = slot_desc->is_nullable() ? "true" : "false";
311
105
        std::string data_type_str = std::to_string(int64_t(slot_desc->col_type()));
312
105
        slots_map.emplace(to_lower(slot_desc->col_name()) + "+" + data_type_str + is_null_str,
313
105
                          slot_desc);
314
105
    }
315
316
41
    for (const auto& t_index : tschema.indexes) {
317
41
        std::unordered_map<std::string, int32_t> index_slots_map;
318
41
        auto* index = _obj_pool.add(new OlapTableIndexSchema());
319
41
        index->index_id = t_index.id;
320
41
        index->schema_hash = t_index.schema_hash;
321
41
        for (const auto& tcolumn_desc : t_index.columns_desc) {
322
0
            if (_unique_key_update_mode != UniqueKeyUpdateModePB::UPDATE_FIXED_COLUMNS ||
323
0
                _partial_update_input_columns.contains(tcolumn_desc.column_name)) {
324
0
                std::string is_null_str = tcolumn_desc.is_allow_null ? "true" : "false";
325
0
                std::string data_type_str =
326
0
                        std::to_string(int64_t(thrift_to_type(tcolumn_desc.column_type.type)));
327
0
                auto it = slots_map.find(to_lower(tcolumn_desc.column_name) + "+" + data_type_str +
328
0
                                         is_null_str);
329
0
                if (it == slots_map.end()) {
330
0
                    std::stringstream ss;
331
0
                    ss << tschema;
332
0
                    std::string keys {};
333
0
                    for (const auto& [key, _] : slots_map) {
334
0
                        keys += fmt::format("{},", key);
335
0
                    }
336
0
                    LOG_EVERY_SECOND(WARNING) << fmt::format(
337
0
                            "[OlapTableSchemaParam::init(const TOlapTableSchemaParam& tschema)]: "
338
0
                            "unknown index column, column={}, type={}, data_type_str={}, "
339
0
                            "is_null_str={}, slots_map.keys()=[{}], {}\ntschema={}",
340
0
                            tcolumn_desc.column_name, tcolumn_desc.column_type.type, data_type_str,
341
0
                            is_null_str, keys, debug_string(), ss.str());
342
0
                    return Status::InternalError("unknown index column, column={}, type={}",
343
0
                                                 tcolumn_desc.column_name,
344
0
                                                 tcolumn_desc.column_type.type);
345
0
                }
346
0
                index->slots.emplace_back(it->second);
347
0
            }
348
0
            index_slots_map.emplace(to_lower(tcolumn_desc.column_name), tcolumn_desc.col_unique_id);
349
0
            TabletColumn* tc = _obj_pool.add(new TabletColumn());
350
0
            tc->init_from_thrift(tcolumn_desc);
351
0
            index->columns.emplace_back(tc);
352
0
        }
353
41
        if (t_index.__isset.indexes_desc) {
354
0
            for (const auto& tindex_desc : t_index.indexes_desc) {
355
0
                std::vector<int32_t> column_unique_ids(tindex_desc.columns.size());
356
0
                for (size_t i = 0; i < tindex_desc.columns.size(); i++) {
357
0
                    auto it = index_slots_map.find(to_lower(tindex_desc.columns[i]));
358
0
                    if (it != index_slots_map.end()) {
359
0
                        column_unique_ids[i] = it->second;
360
0
                    }
361
0
                }
362
0
                TabletIndex* ti = _obj_pool.add(new TabletIndex());
363
0
                ti->init_from_thrift(tindex_desc, column_unique_ids);
364
0
                index->indexes.emplace_back(ti);
365
0
            }
366
0
        }
367
41
        if (t_index.__isset.where_clause) {
368
0
            RETURN_IF_ERROR(VExpr::create_expr_tree(t_index.where_clause, index->where_clause));
369
0
        }
370
41
        _indexes.emplace_back(index);
371
41
    }
372
373
25
    std::sort(_indexes.begin(), _indexes.end(),
374
32
              [](const OlapTableIndexSchema* lhs, const OlapTableIndexSchema* rhs) {
375
32
                  return lhs->index_id < rhs->index_id;
376
32
              });
377
25
    return Status::OK();
378
25
}
379
380
16
void OlapTableSchemaParam::to_protobuf(POlapTableSchemaParam* pschema) const {
381
16
    pschema->set_db_id(_db_id);
382
16
    pschema->set_table_id(_table_id);
383
16
    pschema->set_version(_version);
384
16
    pschema->set_unique_key_update_mode(_unique_key_update_mode);
385
16
    if (_unique_key_update_mode == UniqueKeyUpdateModePB::UPDATE_FIXED_COLUMNS) {
386
        // for backward compatibility
387
0
        pschema->set_partial_update(true);
388
0
    }
389
16
    pschema->set_partial_update_new_key_policy(_partial_update_new_row_policy);
390
16
    pschema->set_is_strict_mode(_is_strict_mode);
391
16
    pschema->set_auto_increment_column(_auto_increment_column);
392
16
    pschema->set_auto_increment_column_unique_id(_auto_increment_column_unique_id);
393
16
    pschema->set_timestamp_ms(_timestamp_ms);
394
16
    pschema->set_timezone(_timezone);
395
16
    pschema->set_nano_seconds(_nano_seconds);
396
16
    pschema->set_sequence_map_col_unique_id(_sequence_map_col_uid);
397
16
    for (auto col : _partial_update_input_columns) {
398
0
        *pschema->add_partial_update_input_columns() = col;
399
0
    }
400
16
    _tuple_desc->to_protobuf(pschema->mutable_tuple_desc());
401
96
    for (auto* slot : _tuple_desc->slots()) {
402
96
        slot->to_protobuf(pschema->add_slot_descs());
403
96
    }
404
32
    for (auto* index : _indexes) {
405
32
        index->to_protobuf(pschema->add_indexes());
406
32
    }
407
16
}
408
409
0
std::string OlapTableSchemaParam::debug_string() const {
410
0
    std::stringstream ss;
411
0
    ss << "tuple_desc=" << _tuple_desc->debug_string();
412
0
    return ss.str();
413
0
}
414
415
VOlapTablePartitionParam::VOlapTablePartitionParam(std::shared_ptr<OlapTableSchemaParam>& schema,
416
                                                   const TOlapTablePartitionParam& t_param)
417
9
        : _schema(schema),
418
9
          _t_param(t_param),
419
9
          _slots(_schema->tuple_desc()->slots()),
420
9
          _mem_tracker(std::make_unique<MemTracker>("OlapTablePartitionParam")),
421
9
          _part_type(t_param.partition_type) {
422
9
    if (t_param.__isset.enable_automatic_partition && t_param.enable_automatic_partition) {
423
2
        _is_auto_partition = true;
424
2
        auto size = t_param.partition_function_exprs.size();
425
2
        _part_func_ctx.resize(size);
426
2
        _partition_function.resize(size);
427
2
        DCHECK((t_param.partition_type == TPartitionType::RANGE_PARTITIONED && size == 1) ||
428
0
               (t_param.partition_type == TPartitionType::LIST_PARTITIONED && size >= 1))
429
0
                << "now support only 1 partition column for auto range partitions. "
430
0
                << t_param.partition_type << " " << size;
431
4
        for (int i = 0; i < size; ++i) {
432
2
            Status st =
433
2
                    VExpr::create_expr_tree(t_param.partition_function_exprs[i], _part_func_ctx[i]);
434
2
            if (!st.ok()) {
435
0
                throw Exception(Status::InternalError("Partition function expr is not valid"),
436
0
                                "Partition function expr is not valid");
437
0
            }
438
2
            _partition_function[i] = _part_func_ctx[i]->root();
439
2
        }
440
2
    }
441
442
9
    if (t_param.__isset.enable_auto_detect_overwrite && t_param.enable_auto_detect_overwrite) {
443
1
        _is_auto_detect_overwrite = true;
444
1
        DCHECK(t_param.__isset.overwrite_group_id);
445
1
        _overwrite_group_id = t_param.overwrite_group_id;
446
1
    }
447
448
9
    if (t_param.__isset.master_address) {
449
0
        _master_address = std::make_shared<TNetworkAddress>(t_param.master_address);
450
0
    }
451
452
9
    if (_is_auto_partition) {
453
        // the nullable mode depends on partition_exprs. not column slots. so use them.
454
2
        DCHECK(_partition_function.size() <= _slots.size())
455
0
                << _partition_function.size() << ", " << _slots.size();
456
457
        // suppose (k0, [k1], [k2]), so get [k1, 0], [k2, 1]
458
2
        std::map<std::string, int> partition_slots_map; // name to idx in part_exprs
459
4
        for (size_t i = 0; i < t_param.partition_columns.size(); i++) {
460
2
            partition_slots_map.emplace(t_param.partition_columns[i], i);
461
2
        }
462
463
        // here we rely on the same order and number of the _part_funcs and _slots in the prefix
464
        // _part_block contains all slots of table.
465
2
        for (auto* slot : _slots) {
466
            // try to replace with partition expr.
467
2
            if (auto it = partition_slots_map.find(slot->col_name());
468
2
                it != partition_slots_map.end()) { // it's a partition column slot
469
2
                auto& expr_type = _partition_function[it->second]->data_type();
470
2
                _partition_block.insert({expr_type->create_column(), expr_type, slot->col_name()});
471
2
            } else {
472
0
                _partition_block.insert({slot->get_empty_mutable_column(),
473
0
                                         slot->get_data_type_ptr(), slot->col_name()});
474
0
            }
475
2
        }
476
2
        VLOG_TRACE << _partition_block.dump_structure();
477
7
    } else {
478
        // we insert all. but not all will be used. it will controlled by _partition_slot_locs
479
7
        for (auto* slot : _slots) {
480
7
            _partition_block.insert({slot->get_empty_mutable_column(), slot->get_data_type_ptr(),
481
7
                                     slot->col_name()});
482
7
        }
483
7
    }
484
9
}
485
486
9
VOlapTablePartitionParam::~VOlapTablePartitionParam() {
487
9
    _mem_tracker->release(_mem_usage);
488
9
}
489
490
9
Status VOlapTablePartitionParam::init() {
491
9
    std::vector<std::string> slot_column_names;
492
9
    for (auto* slot_desc : _schema->tuple_desc()->slots()) {
493
9
        slot_column_names.emplace_back(slot_desc->col_name());
494
9
    }
495
496
9
    auto find_slot_locs = [&slot_column_names](const std::string& slot_name,
497
9
                                               std::vector<uint16_t>& locs,
498
17
                                               const std::string& column_type) {
499
17
        auto it = std::find(slot_column_names.begin(), slot_column_names.end(), slot_name);
500
17
        if (it == slot_column_names.end()) {
501
0
            return Status::InternalError("{} column not found, column ={}", column_type, slot_name);
502
0
        }
503
17
        locs.emplace_back(it - slot_column_names.begin());
504
17
        return Status::OK();
505
17
    };
506
507
    // here we find the partition columns. others maybe non-partition columns/special columns.
508
9
    if (_t_param.__isset.partition_columns) {
509
9
        for (auto& part_col : _t_param.partition_columns) {
510
9
            RETURN_IF_ERROR(find_slot_locs(part_col, _partition_slot_locs, "partition"));
511
9
        }
512
9
    }
513
514
9
    _partitions_map = std::make_unique<
515
9
            std::map<BlockRowWithIndicator, VOlapTablePartition*, VOlapTablePartKeyComparator>>(
516
9
            VOlapTablePartKeyComparator(_partition_slot_locs, _transformed_slot_locs));
517
9
    if (_t_param.__isset.distributed_columns) {
518
8
        for (auto& col : _t_param.distributed_columns) {
519
8
            RETURN_IF_ERROR(find_slot_locs(col, _distributed_slot_locs, "distributed"));
520
8
        }
521
8
    }
522
523
    // for both auto/non-auto partition table.
524
9
    _is_in_partition = _part_type == TPartitionType::type::LIST_PARTITIONED;
525
526
    // initial partitions. if meet dummy partitions only for open BE nodes, not generate key of them for finding
527
17
    for (const auto& t_part : _t_param.partitions) {
528
17
        VOlapTablePartition* part = nullptr;
529
17
        RETURN_IF_ERROR(generate_partition_from(t_part, part));
530
17
        _partitions.emplace_back(part);
531
532
17
        if (!_t_param.partitions_is_fake) {
533
17
            if (_is_in_partition) {
534
0
                for (auto& in_key : part->in_keys) {
535
0
                    _partitions_map->emplace(std::tuple {in_key.first, in_key.second, false}, part);
536
0
                }
537
17
            } else {
538
17
                _partitions_map->emplace(
539
17
                        std::tuple {part->end_key.first, part->end_key.second, false}, part);
540
17
            }
541
17
        }
542
17
    }
543
544
9
    _mem_usage = _partition_block.allocated_bytes();
545
9
    _mem_tracker->consume(_mem_usage);
546
9
    return Status::OK();
547
9
}
548
549
bool VOlapTablePartitionParam::_part_contains(VOlapTablePartition* part,
550
27
                                              BlockRowWithIndicator key) const {
551
27
    VOlapTablePartKeyComparator comparator(_partition_slot_locs, _transformed_slot_locs);
552
    // we have used upper_bound to find to ensure key < part.right and this part is closest(right - key is min)
553
    // now we only have to check (key >= part.left). the comparator(a,b) means a < b, so we use anti
554
27
    return part->start_key.second == -1 /* spj: start_key.second == -1 means only single partition*/
555
27
           || !comparator(key, std::tuple {part->start_key.first, part->start_key.second, false});
556
27
}
557
558
// insert value into _partition_block's column
559
// NOLINTBEGIN(readability-function-size)
560
38
static Status _create_partition_key(const TExprNode& t_expr, BlockRow* part_key, uint16_t pos) {
561
38
    auto column = std::move(*part_key->first->get_by_position(pos).column).mutate();
562
    //TODO: use assert_cast before insert_data
563
38
    switch (t_expr.node_type) {
564
0
    case TExprNodeType::DATE_LITERAL: {
565
0
        auto primitive_type =
566
0
                DataTypeFactory::instance().create_data_type(t_expr.type)->get_primitive_type();
567
0
        if (primitive_type == TYPE_DATEV2) {
568
0
            DateV2Value<DateV2ValueType> dt;
569
0
            if (!dt.from_date_str(t_expr.date_literal.value.c_str(),
570
0
                                  t_expr.date_literal.value.size())) {
571
0
                std::stringstream ss;
572
0
                ss << "invalid date literal in partition column, date=" << t_expr.date_literal;
573
0
                return Status::InternalError(ss.str());
574
0
            }
575
0
            column->insert_data(reinterpret_cast<const char*>(&dt), 0);
576
0
        } else if (primitive_type == TYPE_DATETIMEV2) {
577
0
            DateV2Value<DateTimeV2ValueType> dt;
578
0
            const int32_t scale =
579
0
                    t_expr.type.types.empty() ? -1 : t_expr.type.types.front().scalar_type.scale;
580
0
            if (!dt.from_date_str(t_expr.date_literal.value.c_str(),
581
0
                                  t_expr.date_literal.value.size(), scale)) {
582
0
                std::stringstream ss;
583
0
                ss << "invalid date literal in partition column, date=" << t_expr.date_literal;
584
0
                return Status::InternalError(ss.str());
585
0
            }
586
0
            column->insert_data(reinterpret_cast<const char*>(&dt), 0);
587
0
        } else if (primitive_type == TYPE_TIMESTAMPTZ) {
588
0
            TimestampTzValue res;
589
0
            CastParameters params {.status = Status::OK(), .is_strict = true};
590
0
            const int32_t scale =
591
0
                    t_expr.type.types.empty() ? -1 : t_expr.type.types.front().scalar_type.scale;
592
0
            if (!CastToTimstampTz::from_string(
593
0
                        {t_expr.date_literal.value.c_str(), t_expr.date_literal.value.size()}, res,
594
0
                        params, nullptr, scale)) [[unlikely]] {
595
0
                std::stringstream ss;
596
0
                ss << "invalid timestamptz literal in partition column, value="
597
0
                   << t_expr.date_literal;
598
0
                return Status::InternalError(ss.str());
599
0
            } else {
600
0
                column->insert_data(reinterpret_cast<const char*>(&res), 0);
601
0
            }
602
0
        } else {
603
            // TYPE_DATE (DATEV1) or TYPE_DATETIME (DATETIMEV1)
604
0
            VecDateTimeValue dt;
605
0
            if (!dt.from_date_str(t_expr.date_literal.value.c_str(),
606
0
                                  t_expr.date_literal.value.size())) {
607
0
                std::stringstream ss;
608
0
                ss << "invalid date literal in partition column, date=" << t_expr.date_literal;
609
0
                return Status::InternalError(ss.str());
610
0
            }
611
0
            if (DataTypeFactory::instance().create_data_type(t_expr.type)->get_primitive_type() ==
612
0
                TYPE_DATE) {
613
0
                dt.cast_to_date();
614
0
            }
615
0
            column->insert_data(reinterpret_cast<const char*>(&dt), 0);
616
0
        }
617
0
        break;
618
0
    }
619
38
    case TExprNodeType::INT_LITERAL: {
620
38
        switch (t_expr.type.types[0].scalar_type.type) {
621
0
        case TPrimitiveType::TINYINT: {
622
0
            auto value = cast_set<int8_t>(t_expr.int_literal.value);
623
0
            column->insert_data(reinterpret_cast<const char*>(&value), 0);
624
0
            break;
625
0
        }
626
0
        case TPrimitiveType::SMALLINT: {
627
0
            auto value = cast_set<int16_t>(t_expr.int_literal.value);
628
0
            column->insert_data(reinterpret_cast<const char*>(&value), 0);
629
0
            break;
630
0
        }
631
38
        case TPrimitiveType::INT: {
632
38
            auto value = cast_set<int32_t>(t_expr.int_literal.value);
633
38
            column->insert_data(reinterpret_cast<const char*>(&value), 0);
634
38
            break;
635
0
        }
636
0
        default:
637
0
            int64_t value = t_expr.int_literal.value;
638
0
            column->insert_data(reinterpret_cast<const char*>(&value), 0);
639
38
        }
640
38
        break;
641
38
    }
642
38
    case TExprNodeType::LARGE_INT_LITERAL: {
643
0
        StringParser::ParseResult parse_result = StringParser::PARSE_SUCCESS;
644
0
        auto value = StringParser::string_to_int<__int128>(t_expr.large_int_literal.value.c_str(),
645
0
                                                           t_expr.large_int_literal.value.size(),
646
0
                                                           &parse_result);
647
0
        if (parse_result != StringParser::PARSE_SUCCESS) {
648
0
            value = MAX_INT128;
649
0
        }
650
0
        column->insert_data(reinterpret_cast<const char*>(&value), 0);
651
0
        break;
652
38
    }
653
0
    case TExprNodeType::STRING_LITERAL: {
654
0
        size_t len = t_expr.string_literal.value.size();
655
0
        const char* str_val = t_expr.string_literal.value.c_str();
656
0
        column->insert_data(str_val, len);
657
0
        break;
658
38
    }
659
0
    case TExprNodeType::BOOL_LITERAL: {
660
0
        column->insert_data(reinterpret_cast<const char*>(&t_expr.bool_literal.value), 0);
661
0
        break;
662
38
    }
663
0
    case TExprNodeType::NULL_LITERAL: {
664
        // insert a null literal
665
0
        if (!column->is_nullable()) {
666
            // https://github.com/apache/doris/pull/39449 have forbid this cause. always add this check as protective measures
667
0
            return Status::InternalError("The column {} is not null, can't insert into NULL value.",
668
0
                                         part_key->first->get_by_position(pos).name);
669
0
        }
670
0
        column->insert_data(nullptr, 0);
671
0
        break;
672
0
    }
673
0
    default: {
674
0
        return Status::InternalError("unsupported partition column node type, type={}",
675
0
                                     t_expr.node_type);
676
0
    }
677
38
    }
678
38
    part_key->second = cast_set<int32_t>(column->size() - 1);
679
38
    return Status::OK();
680
38
}
681
// NOLINTEND(readability-function-size)
682
683
Status VOlapTablePartitionParam::_create_partition_keys(const std::vector<TExprNode>& t_exprs,
684
38
                                                        BlockRow* part_key) {
685
76
    for (int i = 0; i < t_exprs.size(); i++) {
686
38
        RETURN_IF_ERROR(_create_partition_key(t_exprs[i], part_key, _partition_slot_locs[i]));
687
38
    }
688
38
    return Status::OK();
689
38
}
690
691
Status VOlapTablePartitionParam::generate_partition_from(const TOlapTablePartition& t_part,
692
17
                                                         VOlapTablePartition*& part_result) {
693
17
    DCHECK(part_result == nullptr);
694
    // here we set the default value of partition bounds first! if it doesn't have some key, it will be -1.
695
17
    part_result = _obj_pool.add(new VOlapTablePartition(&_partition_block));
696
17
    part_result->id = t_part.id;
697
17
    part_result->is_mutable = t_part.is_mutable;
698
    // only load_to_single_tablet = true will set load_tablet_idx
699
17
    if (t_part.__isset.load_tablet_idx) {
700
1
        part_result->load_tablet_idx = t_part.load_tablet_idx;
701
1
    }
702
703
17
    if (_is_in_partition) {
704
0
        for (const auto& keys : t_part.in_keys) {
705
0
            RETURN_IF_ERROR(_create_partition_keys(
706
0
                    keys, &part_result->in_keys.emplace_back(&_partition_block, -1)));
707
0
        }
708
0
        if (t_part.__isset.is_default_partition && t_part.is_default_partition &&
709
0
            _default_partition == nullptr) {
710
0
            _default_partition = part_result;
711
0
        }
712
17
    } else { // range
713
17
        if (t_part.__isset.start_keys) {
714
17
            RETURN_IF_ERROR(_create_partition_keys(t_part.start_keys, &part_result->start_key));
715
17
        }
716
        // we generate the right bound but not insert into partition map
717
17
        if (t_part.__isset.end_keys) {
718
17
            RETURN_IF_ERROR(_create_partition_keys(t_part.end_keys, &part_result->end_key));
719
17
        }
720
17
    }
721
722
17
    part_result->num_buckets = t_part.num_buckets;
723
17
    auto num_indexes = _schema->indexes().size();
724
17
    if (t_part.indexes.size() != num_indexes) {
725
0
        return Status::InternalError(
726
0
                "number of partition's index is not equal with schema's"
727
0
                ", num_part_indexes={}, num_schema_indexes={}",
728
0
                t_part.indexes.size(), num_indexes);
729
0
    }
730
17
    part_result->indexes = t_part.indexes;
731
17
    std::sort(part_result->indexes.begin(), part_result->indexes.end(),
732
17
              [](const OlapTableIndexTablets& lhs, const OlapTableIndexTablets& rhs) {
733
0
                  return lhs.index_id < rhs.index_id;
734
0
              });
735
    // check index
736
34
    for (int j = 0; j < num_indexes; ++j) {
737
17
        if (part_result->indexes[j].index_id != _schema->indexes()[j]->index_id) {
738
0
            return Status::InternalError(
739
0
                    "partition's index is not equal with schema's"
740
0
                    ", part_index={}, schema_index={}",
741
0
                    part_result->indexes[j].index_id, _schema->indexes()[j]->index_id);
742
0
        }
743
17
    }
744
17
    if (t_part.__isset.total_replica_num) {
745
0
        part_result->total_replica_num = t_part.total_replica_num;
746
0
    }
747
17
    if (t_part.__isset.load_required_replica_num) {
748
0
        part_result->load_required_replica_num = t_part.load_required_replica_num;
749
0
    }
750
17
    return Status::OK();
751
17
}
752
753
Status VOlapTablePartitionParam::add_partitions(
754
2
        const std::vector<TOlapTablePartition>& partitions) {
755
2
    for (const auto& t_part : partitions) {
756
2
        auto* part = _obj_pool.add(new VOlapTablePartition(&_partition_block));
757
2
        part->id = t_part.id;
758
2
        part->is_mutable = t_part.is_mutable;
759
760
        // we dont pass right keys when it's MAX_VALUE. so there's possibility we only have start_key but not end_key
761
        // range partition
762
2
        if (t_part.__isset.start_keys) {
763
2
            RETURN_IF_ERROR(_create_partition_keys(t_part.start_keys, &part->start_key));
764
2
        }
765
2
        if (t_part.__isset.end_keys) {
766
2
            RETURN_IF_ERROR(_create_partition_keys(t_part.end_keys, &part->end_key));
767
2
        }
768
        // list partition - we only set 1 value in 1 partition for new created ones
769
2
        if (t_part.__isset.in_keys) {
770
0
            for (const auto& keys : t_part.in_keys) {
771
0
                RETURN_IF_ERROR(_create_partition_keys(
772
0
                        keys, &part->in_keys.emplace_back(&_partition_block, -1)));
773
0
            }
774
0
            if (t_part.__isset.is_default_partition && t_part.is_default_partition) {
775
0
                _default_partition = part;
776
0
            }
777
0
        }
778
779
2
        part->num_buckets = t_part.num_buckets;
780
2
        auto num_indexes = _schema->indexes().size();
781
2
        if (t_part.indexes.size() != num_indexes) {
782
0
            return Status::InternalError(
783
0
                    "number of partition's index is not equal with schema's"
784
0
                    ", num_part_indexes={}, num_schema_indexes={}",
785
0
                    t_part.indexes.size(), num_indexes);
786
0
        }
787
2
        part->indexes = t_part.indexes;
788
2
        std::sort(part->indexes.begin(), part->indexes.end(),
789
2
                  [](const OlapTableIndexTablets& lhs, const OlapTableIndexTablets& rhs) {
790
0
                      return lhs.index_id < rhs.index_id;
791
0
                  });
792
        // check index
793
4
        for (int j = 0; j < num_indexes; ++j) {
794
2
            if (part->indexes[j].index_id != _schema->indexes()[j]->index_id) {
795
0
                return Status::InternalError(
796
0
                        "partition's index is not equal with schema's"
797
0
                        ", part_index={}, schema_index={}",
798
0
                        part->indexes[j].index_id, _schema->indexes()[j]->index_id);
799
0
            }
800
2
        }
801
2
        _partitions.emplace_back(part);
802
        // after _creating_partiton_keys
803
2
        if (_is_in_partition) {
804
0
            for (auto& in_key : part->in_keys) {
805
0
                _partitions_map->emplace(std::tuple {in_key.first, in_key.second, false}, part);
806
0
            }
807
2
        } else {
808
2
            _partitions_map->emplace(std::tuple {part->end_key.first, part->end_key.second, false},
809
2
                                     part);
810
2
        }
811
2
    }
812
813
2
    return Status::OK();
814
2
}
815
816
Status VOlapTablePartitionParam::replace_partitions(
817
        std::vector<int64_t>& old_partition_ids,
818
1
        const std::vector<TOlapTablePartition>& new_partitions) {
819
    // remove old replaced partitions
820
1
    DCHECK(old_partition_ids.size() == new_partitions.size());
821
822
    // init and add new partitions. insert into _partitions
823
3
    for (int i = 0; i < new_partitions.size(); i++) {
824
2
        const auto& t_part = new_partitions[i];
825
        // pair old_partition_ids and new_partitions one by one. TODO: sort to opt performance
826
2
        VOlapTablePartition* old_part = nullptr;
827
2
        auto old_part_id = old_partition_ids[i];
828
2
        if (auto it = std::find_if(
829
2
                    _partitions.begin(), _partitions.end(),
830
3
                    [=](const VOlapTablePartition* lhs) { return lhs->id == old_part_id; });
831
2
            it != _partitions.end()) {
832
2
            old_part = *it;
833
2
        } else {
834
0
            return Status::InternalError("Cannot find old tablet {} in replacing", old_part_id);
835
0
        }
836
837
2
        auto* part = _obj_pool.add(new VOlapTablePartition(&_partition_block));
838
2
        part->id = t_part.id;
839
2
        part->is_mutable = t_part.is_mutable;
840
841
        /// just substitute directly. no need to remove and reinsert keys.
842
        // range partition
843
2
        part->start_key = std::move(old_part->start_key);
844
2
        part->end_key = std::move(old_part->end_key);
845
        // list partition
846
2
        part->in_keys = std::move(old_part->in_keys);
847
2
        if (t_part.__isset.is_default_partition && t_part.is_default_partition) {
848
0
            _default_partition = part;
849
0
        }
850
851
2
        part->num_buckets = t_part.num_buckets;
852
2
        auto num_indexes = _schema->indexes().size();
853
2
        if (t_part.indexes.size() != num_indexes) {
854
0
            return Status::InternalError(
855
0
                    "number of partition's index is not equal with schema's"
856
0
                    ", num_part_indexes={}, num_schema_indexes={}",
857
0
                    t_part.indexes.size(), num_indexes);
858
0
        }
859
2
        part->indexes = t_part.indexes;
860
2
        std::sort(part->indexes.begin(), part->indexes.end(),
861
2
                  [](const OlapTableIndexTablets& lhs, const OlapTableIndexTablets& rhs) {
862
0
                      return lhs.index_id < rhs.index_id;
863
0
                  });
864
        // check index
865
4
        for (int j = 0; j < num_indexes; ++j) {
866
2
            if (part->indexes[j].index_id != _schema->indexes()[j]->index_id) {
867
0
                return Status::InternalError(
868
0
                        "partition's index is not equal with schema's"
869
0
                        ", part_index={}, schema_index={}",
870
0
                        part->indexes[j].index_id, _schema->indexes()[j]->index_id);
871
0
            }
872
2
        }
873
874
        // add new partitions with new id.
875
2
        _partitions.emplace_back(part);
876
2
        VLOG_NOTICE << "params add new partition " << part->id;
877
878
        // replace items in _partition_maps
879
2
        if (_is_in_partition) {
880
0
            for (auto& in_key : part->in_keys) {
881
0
                (*_partitions_map)[std::tuple {in_key.first, in_key.second, false}] = part;
882
0
            }
883
2
        } else {
884
2
            (*_partitions_map)[std::tuple {part->end_key.first, part->end_key.second, false}] =
885
2
                    part;
886
2
        }
887
2
    }
888
    // remove old partitions by id
889
1
    std::ranges::sort(old_partition_ids);
890
5
    for (auto it = _partitions.begin(); it != _partitions.end();) {
891
4
        if (std::ranges::binary_search(old_partition_ids, (*it)->id)) {
892
2
            it = _partitions.erase(it);
893
2
        } else {
894
2
            it++;
895
2
        }
896
4
    }
897
898
1
    return Status::OK();
899
1
}
900
#include "common/compile_check_end.h"
901
902
} // namespace doris