be/src/exec/common/variant_util.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 <gen_cpp/Descriptors_types.h> |
21 | | #include <parallel_hashmap/phmap.h> |
22 | | |
23 | | #include <cstddef> |
24 | | #include <cstdint> |
25 | | #include <map> |
26 | | #include <string> |
27 | | #include <string_view> |
28 | | #include <unordered_map> |
29 | | #include <vector> |
30 | | |
31 | | #include "common/status.h" |
32 | | #include "core/column/column.h" |
33 | | #include "core/data_type/data_type.h" |
34 | | #include "core/field.h" |
35 | | #include "core/string_ref.h" |
36 | | #include "core/types.h" |
37 | | #include "exprs/aggregate/aggregate_function.h" |
38 | | #include "storage/segment/variant/variant_compaction_paths.h" |
39 | | #include "storage/tablet/tablet_fwd.h" |
40 | | #include "storage/tablet/tablet_schema.h" |
41 | | |
42 | | namespace doris { |
43 | | class TabletSchema; |
44 | | enum class FieldType; |
45 | | namespace segment_v2 { |
46 | | struct VariantStatisticsPB; |
47 | | } // namespace segment_v2 |
48 | | class Block; |
49 | | class IColumn; |
50 | | using MutableColumnPtr = IColumn::MutablePtr; |
51 | | struct ColumnWithTypeAndName; |
52 | | enum class ExtractType; |
53 | | template <typename T> |
54 | | class ColumnStr; |
55 | | using ColumnString = ColumnStr<UInt32>; |
56 | | } // namespace doris |
57 | | |
58 | | const std::string SPARSE_COLUMN_PATH = "__DORIS_VARIANT_SPARSE__"; |
59 | | const std::string DOC_VALUE_COLUMN_PATH = "__DORIS_VARIANT_DOC_VALUE__"; |
60 | | namespace doris::variant_util { |
61 | | |
62 | | // Convert a restricted glob pattern into a regex (for tests/internal use). |
63 | | Status glob_to_regex(const std::string& glob_pattern, std::string* regex_pattern); |
64 | | |
65 | | // Match a glob pattern against a path using RE2. |
66 | | bool glob_match_re2(const std::string& glob_pattern, const std::string& candidate_path); |
67 | | |
68 | | using PathToNoneNullValues = std::unordered_map<std::string, int64_t>; |
69 | | using PathToDataTypes = std::unordered_map<PathInData, std::vector<DataTypePtr>, PathInData::Hash>; |
70 | | |
71 | 2.96k | inline bool should_record_variant_path_stats(const TabletColumn& column) { |
72 | 2.96k | return !column.variant_enable_nested_group(); |
73 | 2.96k | } |
74 | | |
75 | 0 | inline bool should_write_variant_binary_columns(const TabletColumn& column) { |
76 | 0 | return !column.variant_enable_nested_group(); |
77 | 0 | } |
78 | | |
79 | 350 | inline bool should_check_variant_path_stats(const TabletColumn& column) { |
80 | 350 | return !column.variant_enable_nested_group(); |
81 | 350 | } |
82 | | |
83 | | struct VariantExtendedInfo { |
84 | | PathToNoneNullValues path_to_none_null_values; // key: path, value: number of none null values |
85 | | std::unordered_set<std::string> sparse_paths; // sparse paths in this variant column |
86 | | std::unordered_set<std::string> typed_paths; // typed paths in this variant column |
87 | | std::unordered_set<PathInData, PathInData::Hash> |
88 | | nested_paths; // nested paths in this variant column |
89 | | PathToDataTypes path_to_data_types; // key: path, value: data types |
90 | | bool has_nested_group = false; // whether this variant column has nested group |
91 | | }; |
92 | | |
93 | | /// Returns number of dimensions in Array type. 0 if type is not array. |
94 | | size_t get_number_of_dimensions(const IDataType& type); |
95 | | |
96 | | /// Returns number of dimensions in Array column. 0 if column is not array. |
97 | | size_t get_number_of_dimensions(const IColumn& column); |
98 | | |
99 | | /// Returns type of scalars of Array of arbitrary dimensions. |
100 | | DataTypePtr get_base_type_of_array(const DataTypePtr& type); |
101 | | |
102 | | // Cast column to dst type |
103 | | Status cast_column(const ColumnWithTypeAndName& arg, const DataTypePtr& type, ColumnPtr* result); |
104 | | |
105 | | struct ExtraInfo { |
106 | | // -1 indicates it's not a Frontend generated column |
107 | | int32_t unique_id = -1; |
108 | | int32_t parent_unique_id = -1; |
109 | | PathInData path_info {}; |
110 | | }; |
111 | | |
112 | | TabletColumn get_column_by_type(const DataTypePtr& data_type, const std::string& name, |
113 | | const ExtraInfo& ext_info); |
114 | | |
115 | | // check if the tuple_paths has ambiguous paths |
116 | | // situation: |
117 | | // throw exception if there exists a prefix with matched names, but not matched structure (is Nested, number of dimensions). |
118 | | Status check_variant_has_no_ambiguous_paths(const std::vector<PathInData>& paths); |
119 | | |
120 | | // Pick the tablet schema with the highest schema version as the reference. |
121 | | // Then update all variant columns to there least common types. |
122 | | // Return the final merged schema as common schema. |
123 | | // If base_schema == nullptr then, max schema version tablet schema will be picked as base schema |
124 | | Status get_least_common_schema(const std::vector<TabletSchemaSPtr>& schemas, |
125 | | const TabletSchemaSPtr& base_schema, TabletSchemaSPtr& result, |
126 | | bool check_schema_size = false); |
127 | | |
128 | | // Get least common types for extracted columns which has Path info, |
129 | | // with a speicified variant column's unique id |
130 | | Status update_least_common_schema(const std::vector<TabletSchemaSPtr>& schemas, |
131 | | TabletSchemaSPtr& common_schema, int32_t variant_col_unique_id, |
132 | | std::set<PathInData>* path_set); |
133 | | |
134 | | // inherit attributes like index/agg info from it's parent column |
135 | | void inherit_column_attributes(TabletSchemaSPtr& schema); |
136 | | |
137 | | // source: variant column |
138 | | // target: extracted column from variant column |
139 | | void inherit_column_attributes(const TabletColumn& source, TabletColumn& target, |
140 | | TabletSchemaSPtr* target_schema = nullptr); |
141 | | |
142 | | // Align variant subcolumn BF inheritance with FE BF-supported types. |
143 | | bool is_bf_supported_by_fe_for_variant_subcolumn(FieldType type); |
144 | | |
145 | | bool has_schema_index_diff(const TabletSchema* new_schema, const TabletSchema* old_schema, |
146 | | int32_t new_col_idx, int32_t old_col_idx); |
147 | | |
148 | | // create engine-side ColumnMap<String, String> for variant sparse/doc storage payloads. |
149 | | MutableColumnPtr create_variant_binary_column(); |
150 | | |
151 | | DataTypePtr get_variant_binary_column_type(); |
152 | | |
153 | | // create TabletColumn Map<String, String> for sparse storage |
154 | | TabletColumn create_sparse_column(const TabletColumn& variant); |
155 | | |
156 | | // Create one bucket sparse column: name = variant.name_lower_case() + "." + SPARSE_COLUMN_PATH + ".b{index}" |
157 | | TabletColumn create_sparse_shard_column(const TabletColumn& variant, int bucket_index); |
158 | | |
159 | | TabletColumn create_doc_value_column(const TabletColumn& variant, int bucket_index); |
160 | | |
161 | | // Compute bucket id for given path string using SipHash64(path) % bucket_num. |
162 | | uint32_t variant_binary_shard_of(const StringRef& path, uint32_t bucket_num); |
163 | | |
164 | | void get_field_info(const Field& field, FieldInfo* info); |
165 | | |
166 | | // inherit index from parent column |
167 | | bool inherit_index(const std::vector<const TabletIndex*>& parent_indexes, |
168 | | TabletIndexes& sub_column_indexes, FieldType column_type, |
169 | | const std::string& suffix_path, bool is_array_nested_type = false); |
170 | | |
171 | | bool inherit_index(const std::vector<const TabletIndex*>& parent_indexes, |
172 | | TabletIndexes& sub_column_indexes, const TabletColumn& column); |
173 | | |
174 | | bool inherit_index(const std::vector<const TabletIndex*>& parent_indexes, |
175 | | TabletIndexes& sub_column_indexes, const segment_v2::ColumnMetaPB& column_pb); |
176 | | |
177 | | Status update_least_schema_internal(const std::map<PathInData, DataTypes>& subcolumns_types, |
178 | | TabletSchemaSPtr& common_schema, int32_t variant_col_unique_id, |
179 | | const std::map<std::string, TabletColumnPtr>& typed_columns, |
180 | | std::set<PathInData>* path_set = nullptr); |
181 | | |
182 | | bool generate_sub_column_info(const TabletSchema& schema, int32_t col_unique_id, |
183 | | const std::string& path, |
184 | | TabletSchema::SubColumnInfo* sub_column_info); |
185 | | |
186 | | class VariantCompactionUtil { |
187 | | public: |
188 | | // get the subpaths and sparse paths for the variant column |
189 | | static void get_subpaths(int32_t max_subcolumns_count, const PathToNoneNullValues& path_stats, |
190 | | VariantCompactionPaths& paths_set_info); |
191 | | |
192 | | // collect extended info from the variant column |
193 | | static Status aggregate_variant_extended_info( |
194 | | const RowsetSharedPtr& rs, |
195 | | std::unordered_map<int32_t, VariantExtendedInfo>* uid_to_variant_extended_info); |
196 | | |
197 | | // collect path stats from the variant column |
198 | | static Status aggregate_path_to_stats( |
199 | | const RowsetSharedPtr& rs, |
200 | | std::unordered_map<int32_t, PathToNoneNullValues>* uid_to_path_stats); |
201 | | |
202 | | // Build the temporary schema for compaction, this will reduce the memory usage of compacting |
203 | | // variant columns. `paths` receives that schema's variant path layout. |
204 | | static Status get_extended_compaction_schema(const std::vector<RowsetSharedPtr>& rowsets, |
205 | | TabletSchemaSPtr& target, |
206 | | VariantCompactionPathsMap& paths); |
207 | | |
208 | | // Used to collect all the subcolumns types of variant column from rowsets |
209 | | static TabletSchemaSPtr calculate_variant_extended_schema( |
210 | | const std::vector<RowsetSharedPtr>& rowsets, const TabletSchemaSPtr& base_schema); |
211 | | |
212 | | // Check if the path stats are consistent between inputs rowsets and output rowset. |
213 | | // Used to check the correctness of compaction. |
214 | | static Status check_path_stats(const std::vector<RowsetSharedPtr>& intputs, |
215 | | RowsetSharedPtr output, BaseTabletSPtr tablet); |
216 | | |
217 | | // Calculate statistics about variant data paths from the encoded sparse column |
218 | | static void calculate_variant_stats(const IColumn& encoded_sparse_column, |
219 | | segment_v2::VariantStatisticsPB* stats, |
220 | | size_t max_sparse_column_statistics_size, size_t row_pos, |
221 | | size_t num_rows); |
222 | | |
223 | | static void get_compaction_subcolumns_from_subpaths( |
224 | | VariantCompactionPaths& paths_set_info, const TabletColumnPtr parent_column, |
225 | | const TabletSchemaSPtr& target, const PathToDataTypes& path_to_data_types, |
226 | | const std::unordered_set<std::string>& sparse_paths, TabletSchemaSPtr& output_schema); |
227 | | |
228 | | static void get_compaction_subcolumns_from_data_types(VariantCompactionPaths& paths_set_info, |
229 | | const TabletColumnPtr parent_column, |
230 | | const TabletSchemaSPtr& target, |
231 | | const PathToDataTypes& path_to_data_types, |
232 | | TabletSchemaSPtr& output_schema); |
233 | | |
234 | | static Status get_compaction_typed_columns(const TabletSchemaSPtr& target, |
235 | | const std::unordered_set<std::string>& typed_paths, |
236 | | const TabletColumnPtr parent_column, |
237 | | TabletSchemaSPtr& output_schema, |
238 | | VariantCompactionPaths& paths_set_info); |
239 | | |
240 | | static Status get_compaction_nested_columns( |
241 | | const std::unordered_set<PathInData, PathInData::Hash>& nested_paths, |
242 | | const PathToDataTypes& path_to_data_types, const TabletColumnPtr parent_column, |
243 | | TabletSchemaSPtr& output_schema, VariantCompactionPaths& paths_set_info); |
244 | | }; |
245 | | |
246 | | } // namespace doris::variant_util |