|
| 1 | +#include "kqp_columns_getter_transformer.h" |
| 2 | + |
| 3 | +#include <ydb/library/yql/core/yql_expr_optimize.h> |
| 4 | +#include <ydb/core/statistics/service/service.h> |
| 5 | +#include <ydb/core/statistics/events.h> |
| 6 | +#include <ydb/core/kqp/gateway/actors/kqp_ic_gateway_actors.h> |
| 7 | +#include <ydb/library/yql/core/yql_statistics.h> |
| 8 | +#include <ydb/library/yql/providers/dq/common/yql_dq_settings.h> |
| 9 | +#include <ydb/library/yql/dq/opt/dq_opt_stat.h> |
| 10 | + |
| 11 | +namespace NKikimr::NKqp { |
| 12 | + |
| 13 | +using namespace NThreading; |
| 14 | +using namespace NYql; |
| 15 | + |
| 16 | +void TKqpColumnsGetterTransformer::PropagateTableToLambdaArgument(const TExprNode::TPtr& input) { |
| 17 | + if (input->ChildrenSize() < 2) { |
| 18 | + return; |
| 19 | + } |
| 20 | + |
| 21 | + auto callableInput = input->ChildRef(0); |
| 22 | + |
| 23 | + |
| 24 | + for (size_t i = 1; i < input->ChildrenSize(); ++i) { |
| 25 | + auto maybeLambda = TExprBase(input->ChildRef(i)); |
| 26 | + if (!maybeLambda.Maybe<TCoLambda>()) { |
| 27 | + continue; |
| 28 | + } |
| 29 | + |
| 30 | + auto lambda = maybeLambda.Cast<TCoLambda>(); |
| 31 | + if (!lambda.Args().Size()){ |
| 32 | + continue; |
| 33 | + } |
| 34 | + |
| 35 | + if (callableInput->IsList()){ |
| 36 | + for (size_t j = 0; j < callableInput->ChildrenSize(); ++j){ |
| 37 | + TableByExprNode[lambda.Args().Arg(j).Ptr()] = TableByExprNode[callableInput->Child(j)]; |
| 38 | + } |
| 39 | + } else { |
| 40 | + TableByExprNode[lambda.Args().Arg(0).Ptr()] = TableByExprNode[callableInput.Get()]; |
| 41 | + } |
| 42 | + } |
| 43 | +} |
| 44 | + |
| 45 | +IGraphTransformer::TStatus TKqpColumnsGetterTransformer::DoTransform(TExprNode::TPtr input, TExprNode::TPtr& output, TExprContext& ctx) { |
| 46 | + Y_UNUSED(ctx); |
| 47 | + |
| 48 | + output = input; |
| 49 | + auto optLvl = Config->CostBasedOptimizationLevel.Get().GetOrElse(TDqSettings::TDefault::CostBasedOptimizationLevel); |
| 50 | + auto enableColumnStats = Config->FeatureFlags.GetEnableColumnStatistics(); |
| 51 | + if (!(optLvl > 0 && enableColumnStats)) { |
| 52 | + return IGraphTransformer::TStatus::Ok; |
| 53 | + } |
| 54 | + |
| 55 | + VisitExprLambdasLast( |
| 56 | + input, |
| 57 | + [&](const TExprNode::TPtr& input) { |
| 58 | + BeforeLambdas(input) || BeforeLambdasUnmatched(input); |
| 59 | + |
| 60 | + if (input->IsCallable()) { |
| 61 | + PropagateTableToLambdaArgument(input); |
| 62 | + } |
| 63 | + |
| 64 | + return true; |
| 65 | + }, |
| 66 | + [&](const TExprNode::TPtr& input) { |
| 67 | + return AfterLambdas(input) || AfterLambdasUnmatched(input); |
| 68 | + } |
| 69 | + ); |
| 70 | + |
| 71 | + struct TTableMeta { |
| 72 | + TString TableName; |
| 73 | + THashMap<ui32, TString> ColumnNameByTag; |
| 74 | + }; |
| 75 | + THashMap<TPathId, TTableMeta> tableMetaByPathId; |
| 76 | + |
| 77 | + // TODO: Add other statistics, not only COUNT_MIN_SKETCH. |
| 78 | + auto getStatisticsRequest = MakeHolder<NStat::TEvStatistics::TEvGetStatistics>(); |
| 79 | + getStatisticsRequest->StatType = NKikimr::NStat::EStatType::COUNT_MIN_SKETCH; |
| 80 | + |
| 81 | + for (const auto& [table, columns]: ColumnsByTableName) { |
| 82 | + auto tableMeta = Tables.GetTable(Cluster, table).Metadata; |
| 83 | + auto& columnsMeta = tableMeta->Columns; |
| 84 | + |
| 85 | + auto pathId = TPathId(tableMeta->PathId.OwnerId(), tableMeta->PathId.TableId()); |
| 86 | + for (const auto& column: columns) { |
| 87 | + Y_ENSURE(columns.contains(column), "There is no " + column + " in column meta!"); |
| 88 | + |
| 89 | + NKikimr::NStat::TRequest req; |
| 90 | + req.ColumnTag = columnsMeta[column].Id; |
| 91 | + req.PathId = pathId; |
| 92 | + getStatisticsRequest->StatRequests.push_back(req); |
| 93 | + |
| 94 | + tableMetaByPathId[pathId].TableName = table; |
| 95 | + tableMetaByPathId[pathId].ColumnNameByTag[req.ColumnTag.value()] = column; |
| 96 | + } |
| 97 | + } |
| 98 | + |
| 99 | + using TRequest = NStat::TEvStatistics::TEvGetStatistics; |
| 100 | + using TResponse = NStat::TEvStatistics::TEvGetStatisticsResult; |
| 101 | + struct TResult : public NYql::IKikimrGateway::TGenericResult { |
| 102 | + THashMap<TString, TOptimizerStatistics::TColumnStatMap> columnStatisticsByTableName; |
| 103 | + }; |
| 104 | + |
| 105 | + auto promise = NewPromise<TResult>(); |
| 106 | + auto callback = [tableMetaByPathId = std::move(tableMetaByPathId)] |
| 107 | + (TPromise<TResult> promise, NStat::TEvStatistics::TEvGetStatisticsResult&& response) mutable { |
| 108 | + bool isOk = response.Success; |
| 109 | + Y_ENSURE(isOk); |
| 110 | + |
| 111 | + THashMap<TString, TOptimizerStatistics::TColumnStatMap> columnStatisticsByTableName; |
| 112 | + |
| 113 | + for (auto&& stat: response.StatResponses) { |
| 114 | + auto meta = tableMetaByPathId[stat.Req.PathId]; |
| 115 | + auto columnName = meta.ColumnNameByTag[stat.Req.ColumnTag.value()]; |
| 116 | + auto& columnStatistics = columnStatisticsByTableName[meta.TableName].Data[columnName]; |
| 117 | + columnStatistics.CountMinSketch = std::move(stat.CountMinSketch.CountMin); |
| 118 | + } |
| 119 | + |
| 120 | + promise.SetValue(TResult{.columnStatisticsByTableName = std::move(columnStatisticsByTableName)}); |
| 121 | + }; |
| 122 | + auto statServiceId = NStat::MakeStatServiceID(ActorSystem->NodeId); |
| 123 | + IActor* requestHandler = |
| 124 | + new TActorRequestHandler<TRequest, TResponse, TResult>(statServiceId, getStatisticsRequest.Release(), promise, callback); |
| 125 | + auto actorId = ActorSystem |
| 126 | + ->Register(requestHandler, TMailboxType::HTSwap, ActorSystem->AppData<TAppData>()->UserPoolId); |
| 127 | + Y_UNUSED(actorId); |
| 128 | + |
| 129 | + auto columnStatisticsByTableName = promise.GetFuture().GetValueSync(); |
| 130 | + |
| 131 | + return IGraphTransformer::TStatus::Ok; |
| 132 | +} |
| 133 | + |
| 134 | +bool TKqpColumnsGetterTransformer::BeforeLambdas(const TExprNode::TPtr& input) { |
| 135 | + bool matched = true; |
| 136 | + |
| 137 | + if (TKqpTable::Match(input.Get())) { |
| 138 | + TableByExprNode[input.Get()] = input.Get(); |
| 139 | + } else if (auto maybeStreamLookup = TExprBase(input).Maybe<TKqpCnStreamLookup>()) { |
| 140 | + TableByExprNode[input.Get()] = maybeStreamLookup.Cast().Table().Ptr(); |
| 141 | + } else { |
| 142 | + matched = false; |
| 143 | + } |
| 144 | + |
| 145 | + return matched; |
| 146 | +} |
| 147 | + |
| 148 | +bool TKqpColumnsGetterTransformer::BeforeLambdasUnmatched(const TExprNode::TPtr& input) { |
| 149 | + for (const auto& node: input->Children()) { |
| 150 | + if (TableByExprNode.contains(node)) { |
| 151 | + TableByExprNode[input.Get()] = TableByExprNode[node]; |
| 152 | + return true; |
| 153 | + } |
| 154 | + } |
| 155 | + |
| 156 | + return true; |
| 157 | +} |
| 158 | + |
| 159 | +bool TKqpColumnsGetterTransformer::AfterLambdas(const TExprNode::TPtr& input) { |
| 160 | + bool matched = true; |
| 161 | + |
| 162 | + if ( |
| 163 | + TCoFilterBase::Match(input.Get()) || |
| 164 | + TCoFlatMapBase::Match(input.Get()) && IsPredicateFlatMap(TExprBase(input).Cast<TCoFlatMapBase>().Lambda().Body().Ref()) |
| 165 | + ) { |
| 166 | + auto computer = NDq::TPredicateSelectivityComputer(nullptr, true); |
| 167 | + |
| 168 | + if (TCoFilterBase::Match(input.Get())) { |
| 169 | + computer.Compute(TExprBase(input).Cast<TCoFilterBase>().Lambda().Body()); |
| 170 | + } else if (TCoFlatMapBase::Match(input.Get())) { |
| 171 | + computer.Compute(TExprBase(input).Cast<TCoFlatMapBase>().Lambda().Body()); |
| 172 | + } else { |
| 173 | + Y_ENSURE(false); |
| 174 | + } |
| 175 | + |
| 176 | + auto columnStatsUsedMembers = computer.GetColumnStatsUsedMembers(); |
| 177 | + for (const auto& item: columnStatsUsedMembers.Data) { |
| 178 | + auto exprNode = TExprBase(item.Member).Ptr(); |
| 179 | + if (!TableByExprNode.contains(exprNode) || TableByExprNode[exprNode] == nullptr) { |
| 180 | + continue; |
| 181 | + } |
| 182 | + |
| 183 | + auto table = TExprBase(TableByExprNode[exprNode]).Cast<TKqpTable>().Path().StringValue(); |
| 184 | + auto column = item.Member.Name().StringValue(); |
| 185 | + size_t pointPos = column.find('.'); // table.column |
| 186 | + if (pointPos != TString::npos) { |
| 187 | + column = column.substr(pointPos + 1); |
| 188 | + } |
| 189 | + |
| 190 | + ColumnsByTableName[table].insert(std::move(column)); |
| 191 | + } |
| 192 | + } else { |
| 193 | + matched = false; |
| 194 | + } |
| 195 | + |
| 196 | + return matched; |
| 197 | +} |
| 198 | + |
| 199 | +bool TKqpColumnsGetterTransformer::AfterLambdasUnmatched(const TExprNode::TPtr& input) { |
| 200 | + if (TableByExprNode.contains(input.Get())) { |
| 201 | + return true; |
| 202 | + } |
| 203 | + |
| 204 | + for (const auto& node: input->Children()) { |
| 205 | + if (TableByExprNode.contains(node)) { |
| 206 | + TableByExprNode[input.Get()] = TableByExprNode[node]; |
| 207 | + return true; |
| 208 | + } |
| 209 | + } |
| 210 | + |
| 211 | + return true; |
| 212 | +} |
| 213 | + |
| 214 | +TAutoPtr<IGraphTransformer> CreateKqpColumnsGetterTransformer( |
| 215 | + const TKikimrConfiguration::TPtr& config, |
| 216 | + TKikimrTablesData& tables, |
| 217 | + TString cluster, |
| 218 | + TActorSystem* actorSystem |
| 219 | +) { |
| 220 | + return THolder<IGraphTransformer>(new TKqpColumnsGetterTransformer(config, tables, cluster, actorSystem)); |
| 221 | +} |
| 222 | + |
| 223 | +} // end of NKikimr::NKqp |
0 commit comments