ClickHouse/src/Interpreters/ActionsDAG.h

338 lines
14 KiB
C++
Raw Normal View History

2020-11-16 14:57:56 +00:00
#pragma once
#include <Core/ColumnsWithTypeAndName.h>
#include <Core/NamesAndTypes.h>
#include <Core/Names.h>
#if !defined(ARCADIA_BUILD)
# include "config_core.h"
#endif
namespace DB
{
class ActionsDAG;
using ActionsDAGPtr = std::shared_ptr<ActionsDAG>;
class IExecutableFunction;
using ExecutableFunctionPtr = std::shared_ptr<IExecutableFunction>;
class IFunctionBase;
using FunctionBasePtr = std::shared_ptr<IFunctionBase>;
class IFunctionOverloadResolver;
using FunctionOverloadResolverPtr = std::shared_ptr<IFunctionOverloadResolver>;
class IDataType;
using DataTypePtr = std::shared_ptr<const IDataType>;
class CompiledExpressionCache;
/// Directed acyclic graph of expressions.
/// This is an intermediate representation of actions which is usually built from expression list AST.
/// Node of DAG describe calculation of a single column with known type, name, and constant value (if applicable).
///
/// DAG representation is useful in case we need to know explicit dependencies between actions.
/// It is helpful when it is needed to optimize actions, remove unused expressions, compile subexpressions,
/// split or merge parts of graph, calculate expressions on partial input.
///
/// Built DAG is used by ExpressionActions, which calculates expressions on block.
class ActionsDAG
{
public:
enum class ActionType
{
/// Column which must be in input.
INPUT,
/// Constant column with known value.
COLUMN,
/// Another one name for column.
ALIAS,
/// Function arrayJoin. Specially separated because it changes the number of rows.
ARRAY_JOIN,
FUNCTION,
};
2021-03-02 17:08:59 +00:00
struct Node;
using NodeRawPtrs = std::vector<Node *>;
using NodeRawConstPtrs = std::vector<const Node *>;
2020-11-16 14:57:56 +00:00
struct Node
{
2021-03-02 17:08:59 +00:00
NodeRawConstPtrs children;
2020-11-16 14:57:56 +00:00
ActionType type;
std::string result_name;
DataTypePtr result_type;
FunctionOverloadResolverPtr function_builder;
/// Can be used after action was added to ExpressionActions if we want to get function signature or properties like monotonicity.
FunctionBasePtr function_base;
/// Prepared function which is used in function execution.
ExecutableFunctionPtr function;
/// If function is a compiled statement.
bool is_function_compiled = false;
/// For COLUMN node and propagated constants.
ColumnPtr column;
/// Some functions like `ignore()` always return constant but can't be replaced by constant it.
/// We calculate such constants in order to avoid unnecessary materialization, but prohibit it's folding.
bool allow_constant_folding = true;
};
/// Index is used to:
2021-01-13 08:38:19 +00:00
/// * find Node by it's result_name
2020-11-16 14:57:56 +00:00
/// * specify order of columns in result
/// It represents a set of available columns.
/// Removing of column from index is equivalent to removing of column from final result.
///
/// DAG allows actions with duplicating result names. In this case index will point to last added Node.
/// It does not cause any problems as long as execution of actions does not depend on action names anymore.
///
/// Index is a list of nodes + [map: name -> list::iterator].
/// List is ordered, may contain nodes with same names, or one node several times.
2021-03-02 17:08:59 +00:00
// class Index
// {
// private:
// std::list<Node *> list;
// /// Map key is a string_view to Node::result_name for node from value.
// /// Map always point to existing node, so key always valid (nodes live longer then index).
// std::unordered_map<std::string_view, std::list<Node *>::iterator> map;
// public:
// auto size() const { return list.size(); }
// bool contains(std::string_view key) const { return map.count(key) != 0; }
// std::list<Node *>::iterator begin() { return list.begin(); }
// std::list<Node *>::iterator end() { return list.end(); }
// std::list<Node *>::const_iterator begin() const { return list.begin(); }
// std::list<Node *>::const_iterator end() const { return list.end(); }
// std::list<Node *>::const_reverse_iterator rbegin() const { return list.rbegin(); }
// std::list<Node *>::const_reverse_iterator rend() const { return list.rend(); }
// std::list<Node *>::const_iterator find(std::string_view key) const
// {
// auto it = map.find(key);
// if (it == map.end())
// return list.end();
// return it->second;
// }
// /// Insert method doesn't check if map already have node with the same name.
// /// If node with the same name exists, it is removed from map, but not list.
// /// It is expected and used for project(), when result may have several columns with the same name.
// void insert(Node * node) { map[node->result_name] = list.emplace(list.end(), node); }
// void prepend(Node * node) { map[node->result_name] = list.emplace(list.begin(), node); }
// /// If node with same name exists in index, replace it. Otherwise insert new node to index.
// void replace(Node * node)
// {
// if (auto handle = map.extract(node->result_name))
// {
// handle.key() = node->result_name; /// Change string_view
// *handle.mapped() = node;
// map.insert(std::move(handle));
// }
// else
// insert(node);
// }
// void remove(std::list<Node *>::iterator it)
// {
// auto map_it = map.find((*it)->result_name);
// if (map_it != map.end() && map_it->second == it)
// map.erase(map_it);
// list.erase(it);
// }
// void swap(Index & other)
// {
// list.swap(other.list);
// map.swap(other.map);
// }
// };
2020-11-16 14:57:56 +00:00
/// NOTE: std::list is an implementation detail.
/// It allows to add and remove new nodes inplace without reallocation.
/// Raw pointers to nodes remain valid.
2020-11-16 14:57:56 +00:00
using Nodes = std::list<Node>;
2021-03-02 17:08:59 +00:00
//using Inputs = std::vector<Node *>;
// struct ActionsSettings
// {
// size_t max_temporary_columns = 0;
// size_t max_temporary_non_const_columns = 0;
// size_t min_count_to_compile_expression = 0;
// bool compile_expressions = false;
// bool project_input = false;
// bool projected_output = false;
// };
2020-11-16 14:57:56 +00:00
private:
Nodes nodes;
2021-03-02 17:08:59 +00:00
NodeRawConstPtrs index;
NodeRawConstPtrs inputs;
2020-11-16 14:57:56 +00:00
2021-03-02 17:08:59 +00:00
bool project_input = false;
bool projected_output = false;
2020-11-16 14:57:56 +00:00
2021-03-02 17:08:59 +00:00
// #if USE_EMBEDDED_COMPILER
// std::shared_ptr<CompiledExpressionCache> compilation_cache;
// #endif
2020-11-16 14:57:56 +00:00
public:
ActionsDAG() = default;
2020-11-26 16:16:44 +00:00
ActionsDAG(ActionsDAG &&) = default;
2020-11-16 14:57:56 +00:00
ActionsDAG(const ActionsDAG &) = delete;
ActionsDAG & operator=(const ActionsDAG &) = delete;
2020-11-17 12:39:41 +00:00
explicit ActionsDAG(const NamesAndTypesList & inputs_);
explicit ActionsDAG(const ColumnsWithTypeAndName & inputs_);
2020-11-16 14:57:56 +00:00
const Nodes & getNodes() const { return nodes; }
2021-03-02 17:08:59 +00:00
const NodeRawConstPtrs & getIndex() const { return index; }
const NodeRawConstPtrs & getInputs() const { return inputs; }
2020-11-16 14:57:56 +00:00
NamesAndTypesList getRequiredColumns() const;
ColumnsWithTypeAndName getResultColumns() const;
NamesAndTypesList getNamesAndTypesList() const;
Names getNames() const;
std::string dumpNames() const;
std::string dumpDAG() const;
2021-03-02 17:08:59 +00:00
const Node & addInput(std::string name, DataTypePtr type);
const Node & addInput(ColumnWithTypeAndName column);
const Node & addColumn(ColumnWithTypeAndName column /*, bool materialize = false*/);
const Node & addAlias(const Node & child, std::string alias);
const Node & addArrayJoin(const Node & child, std::string result_name);
2020-11-16 14:57:56 +00:00
const Node & addFunction(
const FunctionOverloadResolverPtr & function,
2021-03-02 17:08:59 +00:00
NodeRawConstPtrs children,
std::string result_name);
2020-11-16 14:57:56 +00:00
2021-03-03 20:01:07 +00:00
NodeRawConstPtrs & getIndex() { return index; }
2020-11-16 14:57:56 +00:00
/// Call addAlias several times.
void addAliases(const NamesWithAliases & aliases);
/// Add alias actions and remove unused columns from index. Also specify result columns order in index.
void project(const NamesWithAliases & projection);
/// If column is not in index, try to find it in nodes and insert back into index.
bool tryRestoreColumn(const std::string & column_name);
/// Find column in result. Remove it from index.
/// If columns is in inputs and has no dependent nodes, remove it from inputs too.
/// Return true if column was removed from inputs.
bool removeUnusedResult(const std::string & column_name);
2020-11-16 14:57:56 +00:00
2021-03-02 17:08:59 +00:00
void projectInput() { project_input = true; }
2021-03-03 20:01:07 +00:00
bool projectedInput() const { return project_input; }
2021-03-02 17:51:54 +00:00
bool projectedOutput() const { return projected_output; }
2020-11-16 14:57:56 +00:00
void removeUnusedActions(const Names & required_names);
bool hasArrayJoin() const;
bool hasStatefulFunctions() const;
2021-01-28 11:00:24 +00:00
bool trivial() const; /// If actions has no functions or array join.
2020-11-16 14:57:56 +00:00
2021-03-03 20:01:07 +00:00
void transformHeader(Block & block);
/// This map helps to find input position by it's name.
/// Key is a view to input::result_name.
/// Result is a list because it is allowed for inputs to have same names.
using NameToNodeMap = std::unordered_map<std::string_view, std::list<size_t>>;
static NameToNodeMap buildNameToNodeMapping(const NodeRawConstPtrs & nodes);
static std::vector<ssize_t> getInputsPositions(const Block & block, const NameToNodeMap & inputs_mapping);
void transformHeader(Block & block, ColumnsWithTypeAndName result_columns) const;
2020-11-16 14:57:56 +00:00
2021-03-03 20:01:07 +00:00
void compileExpressions(size_t min_count_to_compile_expression);
2020-11-16 14:57:56 +00:00
ActionsDAGPtr clone() const;
/// For apply materialize() function for every output.
/// Also add aliases so the result names remain unchanged.
void addMaterializingOutputActions();
2020-11-17 14:51:05 +00:00
enum class MatchColumnsMode
{
/// Require same number of columns in source and result. Match columns by corresponding positions, regardless to names.
Position,
/// Find columns in source by their names. Allow excessive columns in source.
Name,
};
2020-11-20 16:52:50 +00:00
/// Create ActionsDAG which converts block structure from source to result.
/// It is needed to convert result from different sources to the same structure, e.g. for UNION query.
/// Conversion should be possible with only usage of CAST function and renames.
2020-11-17 14:51:05 +00:00
static ActionsDAGPtr makeConvertingActions(
const ColumnsWithTypeAndName & source,
const ColumnsWithTypeAndName & result,
MatchColumnsMode mode,
bool ignore_constant_values = false); /// Do not check that constants are same. Use value from result_header.
/// Create expression which add const column and then materialize it.
static ActionsDAGPtr makeAddingColumnActions(ColumnWithTypeAndName column);
2021-01-19 10:03:25 +00:00
/// Create ActionsDAG which represents expression equivalent to applying first and second actions consequently.
2020-12-01 11:19:03 +00:00
/// Is used to replace `(first -> second)` expression chain to single `merge(first, second)` expression.
/// If first.settings.project_input is set, then outputs of `first` must include inputs of `second`.
/// Otherwise, any two actions may be combined.
static ActionsDAGPtr merge(ActionsDAG && first, ActionsDAG && second);
2020-11-26 16:16:44 +00:00
using SplitResult = std::pair<ActionsDAGPtr, ActionsDAGPtr>;
2021-01-19 10:03:25 +00:00
/// Split ActionsDAG into two DAGs, where first part contains all nodes from split_nodes and their children.
/// Execution of first then second parts on block is equivalent to execution of initial DAG.
/// First DAG and initial DAG have equal inputs, second DAG and initial DAG has equal index (outputs).
/// Second DAG inputs may contain less inputs then first DAG (but also include other columns).
SplitResult split(std::unordered_set<const Node *> split_nodes) const;
2021-01-18 14:59:59 +00:00
2021-01-19 10:03:25 +00:00
/// Splits actions into two parts. Returned first half may be swapped with ARRAY JOIN.
SplitResult splitActionsBeforeArrayJoin(const NameSet & array_joined_columns) const;
2021-01-19 10:03:25 +00:00
/// Splits actions into two parts. First part has minimal size sufficient for calculation of column_name.
/// Index of initial actions must contain column_name.
SplitResult splitActionsForFilter(const std::string & column_name) const;
2021-01-19 10:03:25 +00:00
2021-02-10 16:26:49 +00:00
/// Create actions which may calculate part of filter using only available_inputs.
/// If nothing may be calculated, returns nullptr.
/// Otherwise, return actions which inputs are from available_inputs.
/// Returned actions add single column which may be used for filter.
/// Also, replace some nodes of current inputs to constant 1 in case they are filtered.
2021-02-10 17:47:48 +00:00
ActionsDAGPtr splitActionsForFilter(const std::string & filter_name, bool can_remove_filter, const Names & available_inputs);
2021-02-10 16:26:49 +00:00
2020-11-16 14:57:56 +00:00
private:
2021-03-02 17:08:59 +00:00
Node & addNode(Node node);
// Node & getNode(const std::string & name);
// Node & addAlias(Node & child, std::string alias, bool can_replace);
// Node & addFunction(
// const FunctionOverloadResolverPtr & function,
// Inputs children,
// std::string result_name,
// bool can_replace,
// bool add_to_index = true);
// ActionsDAGPtr cloneEmpty() const
// {
// auto actions = std::make_shared<ActionsDAG>();
// // actions->settings = settings;
// // #if USE_EMBEDDED_COMPILER
// // actions->compilation_cache = compilation_cache;
// // #endif
// return actions;
// }
2020-11-16 14:57:56 +00:00
2021-02-10 16:26:49 +00:00
void removeUnusedActions(bool allow_remove_inputs = true);
2021-03-02 17:08:59 +00:00
void addAliases(const NamesWithAliases & aliases, bool project);
2020-11-16 14:57:56 +00:00
2021-03-03 20:01:07 +00:00
void compileFunctions(size_t min_count_to_compile_expression);
2021-03-02 17:51:54 +00:00
ActionsDAGPtr cloneActionsForConjunction(NodeRawConstPtrs conjunction);
2020-11-16 14:57:56 +00:00
};
}