mirror of
https://github.com/ClickHouse/ClickHouse.git
synced 2024-12-12 17:32:32 +00:00
b24ca8de52
When I tried to add cool new clang-tidy 14 warnings, I noticed that the current clang-tidy settings already produce a ton of warnings. This commit addresses many of these. Almost all of them were non-critical, i.e. C vs. C++ style casts.
517 lines
21 KiB
C++
517 lines
21 KiB
C++
#include <Interpreters/InterpreterInsertQuery.h>
|
|
|
|
#include <Access/Common/AccessFlags.h>
|
|
#include <Access/EnabledQuota.h>
|
|
#include <Columns/ColumnNullable.h>
|
|
#include <Processors/Transforms/buildPushingToViewsChain.h>
|
|
#include <DataTypes/DataTypeNullable.h>
|
|
#include <IO/ConnectionTimeoutsContext.h>
|
|
#include <Interpreters/InterpreterSelectWithUnionQuery.h>
|
|
#include <Interpreters/InterpreterWatchQuery.h>
|
|
#include <Interpreters/QueryLog.h>
|
|
#include <Interpreters/TranslateQualifiedNamesVisitor.h>
|
|
#include <Interpreters/addMissingDefaults.h>
|
|
#include <Interpreters/getTableExpressions.h>
|
|
#include <Interpreters/processColumnTransformers.h>
|
|
#include <Parsers/ASTFunction.h>
|
|
#include <Parsers/ASTInsertQuery.h>
|
|
#include <Parsers/ASTSelectQuery.h>
|
|
#include <Parsers/ASTSelectWithUnionQuery.h>
|
|
#include <Parsers/ASTTablesInSelectQuery.h>
|
|
#include <Processors/Sinks/EmptySink.h>
|
|
#include <Processors/Transforms/CheckConstraintsTransform.h>
|
|
#include <Processors/Transforms/CountingTransform.h>
|
|
#include <Processors/Transforms/ExpressionTransform.h>
|
|
#include <Processors/Transforms/MaterializingTransform.h>
|
|
#include <Processors/Transforms/SquashingChunksTransform.h>
|
|
#include <Processors/Transforms/getSourceFromASTInsertQuery.h>
|
|
#include <Storages/StorageDistributed.h>
|
|
#include <Storages/StorageMaterializedView.h>
|
|
#include <TableFunctions/TableFunctionFactory.h>
|
|
#include <Common/checkStackSize.h>
|
|
|
|
|
|
namespace DB
|
|
{
|
|
|
|
namespace ErrorCodes
|
|
{
|
|
extern const int NOT_IMPLEMENTED;
|
|
extern const int NO_SUCH_COLUMN_IN_TABLE;
|
|
extern const int ILLEGAL_COLUMN;
|
|
extern const int DUPLICATE_COLUMN;
|
|
}
|
|
|
|
InterpreterInsertQuery::InterpreterInsertQuery(
|
|
const ASTPtr & query_ptr_, ContextPtr context_, bool allow_materialized_, bool no_squash_, bool no_destination_, bool async_insert_)
|
|
: WithContext(context_)
|
|
, query_ptr(query_ptr_)
|
|
, allow_materialized(allow_materialized_)
|
|
, no_squash(no_squash_)
|
|
, no_destination(no_destination_)
|
|
, async_insert(async_insert_)
|
|
{
|
|
checkStackSize();
|
|
if (auto quota = getContext()->getQuota())
|
|
quota->checkExceeded(QuotaType::WRITTEN_BYTES);
|
|
}
|
|
|
|
|
|
StoragePtr InterpreterInsertQuery::getTable(ASTInsertQuery & query)
|
|
{
|
|
if (query.table_function)
|
|
{
|
|
const auto & factory = TableFunctionFactory::instance();
|
|
TableFunctionPtr table_function_ptr = factory.get(query.table_function, getContext());
|
|
|
|
/// If table function needs structure hint from select query
|
|
/// we can create a temporary pipeline and get the header.
|
|
if (query.select && table_function_ptr->needStructureHint())
|
|
{
|
|
InterpreterSelectWithUnionQuery interpreter_select{
|
|
query.select, getContext(), SelectQueryOptions(QueryProcessingStage::Complete, 1)};
|
|
QueryPipelineBuilder tmp_pipeline = interpreter_select.buildQueryPipeline();
|
|
ColumnsDescription structure_hint{tmp_pipeline.getHeader().getNamesAndTypesList()};
|
|
table_function_ptr->setStructureHint(structure_hint);
|
|
}
|
|
|
|
return table_function_ptr->execute(query.table_function, getContext(), table_function_ptr->getName());
|
|
}
|
|
|
|
if (query.table_id)
|
|
{
|
|
query.table_id = getContext()->resolveStorageID(query.table_id);
|
|
}
|
|
else
|
|
{
|
|
/// Insert query parser does not fill table_id because table and
|
|
/// database can be parameters and be filled after parsing.
|
|
StorageID local_table_id(query.getDatabase(), query.getTable());
|
|
query.table_id = getContext()->resolveStorageID(local_table_id);
|
|
}
|
|
|
|
return DatabaseCatalog::instance().getTable(query.table_id, getContext());
|
|
}
|
|
|
|
Block InterpreterInsertQuery::getSampleBlock(
|
|
const ASTInsertQuery & query,
|
|
const StoragePtr & table,
|
|
const StorageMetadataPtr & metadata_snapshot) const
|
|
{
|
|
/// If the query does not include information about columns
|
|
if (!query.columns)
|
|
{
|
|
if (no_destination)
|
|
return metadata_snapshot->getSampleBlockWithVirtuals(table->getVirtuals());
|
|
else
|
|
return metadata_snapshot->getSampleBlockNonMaterialized();
|
|
}
|
|
|
|
/// Form the block based on the column names from the query
|
|
Names names;
|
|
const auto columns_ast = processColumnTransformers(getContext()->getCurrentDatabase(), table, metadata_snapshot, query.columns);
|
|
for (const auto & identifier : columns_ast->children)
|
|
{
|
|
std::string current_name = identifier->getColumnName();
|
|
names.emplace_back(std::move(current_name));
|
|
}
|
|
|
|
return getSampleBlock(names, table, metadata_snapshot);
|
|
}
|
|
|
|
Block InterpreterInsertQuery::getSampleBlock(
|
|
const Names & names,
|
|
const StoragePtr & table,
|
|
const StorageMetadataPtr & metadata_snapshot) const
|
|
{
|
|
Block table_sample_physical = metadata_snapshot->getSampleBlock();
|
|
Block table_sample_insertable = metadata_snapshot->getSampleBlockInsertable();
|
|
Block res;
|
|
for (const auto & current_name : names)
|
|
{
|
|
if (res.has(current_name))
|
|
throw Exception("Column " + current_name + " specified more than once", ErrorCodes::DUPLICATE_COLUMN);
|
|
|
|
/// Column is not ordinary or ephemeral
|
|
if (!table_sample_insertable.has(current_name))
|
|
{
|
|
/// Column is materialized
|
|
if (table_sample_physical.has(current_name))
|
|
{
|
|
if (!allow_materialized)
|
|
throw Exception("Cannot insert column " + current_name + ", because it is MATERIALIZED column.",
|
|
ErrorCodes::ILLEGAL_COLUMN);
|
|
res.insert(ColumnWithTypeAndName(table_sample_physical.getByName(current_name).type, current_name));
|
|
}
|
|
else /// The table does not have a column with that name
|
|
throw Exception("No such column " + current_name + " in table " + table->getStorageID().getNameForLogs(),
|
|
ErrorCodes::NO_SUCH_COLUMN_IN_TABLE);
|
|
}
|
|
else
|
|
res.insert(ColumnWithTypeAndName(table_sample_insertable.getByName(current_name).type, current_name));
|
|
}
|
|
return res;
|
|
}
|
|
|
|
|
|
/** A query that just reads all data without any complex computations or filetering.
|
|
* If we just pipe the result to INSERT, we don't have to use too many threads for read.
|
|
*/
|
|
static bool isTrivialSelect(const ASTPtr & select)
|
|
{
|
|
if (auto * select_query = select->as<ASTSelectQuery>())
|
|
{
|
|
const auto & tables = select_query->tables();
|
|
|
|
if (!tables)
|
|
return false;
|
|
|
|
const auto & tables_in_select_query = tables->as<ASTTablesInSelectQuery &>();
|
|
|
|
if (tables_in_select_query.children.size() != 1)
|
|
return false;
|
|
|
|
const auto & child = tables_in_select_query.children.front();
|
|
const auto & table_element = child->as<ASTTablesInSelectQueryElement &>();
|
|
const auto & table_expr = table_element.table_expression->as<ASTTableExpression &>();
|
|
|
|
if (table_expr.subquery)
|
|
return false;
|
|
|
|
/// Note: how to write it in more generic way?
|
|
return (!select_query->distinct
|
|
&& !select_query->limit_with_ties
|
|
&& !select_query->prewhere()
|
|
&& !select_query->where()
|
|
&& !select_query->groupBy()
|
|
&& !select_query->having()
|
|
&& !select_query->orderBy()
|
|
&& !select_query->limitBy());
|
|
}
|
|
/// This query is ASTSelectWithUnionQuery subquery
|
|
return false;
|
|
};
|
|
|
|
Chain InterpreterInsertQuery::buildChain(
|
|
const StoragePtr & table,
|
|
const StorageMetadataPtr & metadata_snapshot,
|
|
const Names & columns,
|
|
ThreadStatus * thread_status,
|
|
std::atomic_uint64_t * elapsed_counter_ms)
|
|
{
|
|
auto sample = getSampleBlock(columns, table, metadata_snapshot);
|
|
return buildChainImpl(table, metadata_snapshot, sample, thread_status, elapsed_counter_ms);
|
|
}
|
|
|
|
Chain InterpreterInsertQuery::buildChainImpl(
|
|
const StoragePtr & table,
|
|
const StorageMetadataPtr & metadata_snapshot,
|
|
const Block & query_sample_block,
|
|
ThreadStatus * thread_status,
|
|
std::atomic_uint64_t * elapsed_counter_ms)
|
|
{
|
|
auto context_ptr = getContext();
|
|
const ASTInsertQuery * query = nullptr;
|
|
if (query_ptr)
|
|
query = query_ptr->as<ASTInsertQuery>();
|
|
|
|
const Settings & settings = context_ptr->getSettingsRef();
|
|
bool null_as_default = query && query->select && context_ptr->getSettingsRef().insert_null_as_default;
|
|
|
|
/// We create a pipeline of several streams, into which we will write data.
|
|
Chain out;
|
|
|
|
/// Keep a reference to the context to make sure it stays alive until the chain is executed and destroyed
|
|
out.addInterpreterContext(context_ptr);
|
|
|
|
/// NOTE: we explicitly ignore bound materialized views when inserting into Kafka Storage.
|
|
/// Otherwise we'll get duplicates when MV reads same rows again from Kafka.
|
|
if (table->noPushingToViews() && !no_destination)
|
|
{
|
|
auto sink = table->write(query_ptr, metadata_snapshot, context_ptr);
|
|
sink->setRuntimeData(thread_status, elapsed_counter_ms);
|
|
out.addSource(std::move(sink));
|
|
}
|
|
else
|
|
{
|
|
out = buildPushingToViewsChain(table, metadata_snapshot, context_ptr, query_ptr, no_destination, thread_status, elapsed_counter_ms);
|
|
}
|
|
|
|
/// Note that we wrap transforms one on top of another, so we write them in reverse of data processing order.
|
|
|
|
/// Checking constraints. It must be done after calculation of all defaults, so we can check them on calculated columns.
|
|
if (const auto & constraints = metadata_snapshot->getConstraints(); !constraints.empty())
|
|
out.addSource(std::make_shared<CheckConstraintsTransform>(
|
|
table->getStorageID(), out.getInputHeader(), metadata_snapshot->getConstraints(), context_ptr));
|
|
|
|
auto adding_missing_defaults_dag = addMissingDefaults(
|
|
query_sample_block,
|
|
out.getInputHeader().getNamesAndTypesList(),
|
|
metadata_snapshot->getColumns(),
|
|
context_ptr,
|
|
null_as_default);
|
|
|
|
auto adding_missing_defaults_actions = std::make_shared<ExpressionActions>(adding_missing_defaults_dag);
|
|
|
|
/// Actually we don't know structure of input blocks from query/table,
|
|
/// because some clients break insertion protocol (columns != header)
|
|
out.addSource(std::make_shared<ConvertingTransform>(query_sample_block, adding_missing_defaults_actions));
|
|
|
|
/// It's important to squash blocks as early as possible (before other transforms),
|
|
/// because other transforms may work inefficient if block size is small.
|
|
|
|
/// Do not squash blocks if it is a sync INSERT into Distributed, since it lead to double bufferization on client and server side.
|
|
/// Client-side bufferization might cause excessive timeouts (especially in case of big blocks).
|
|
if (!(settings.insert_distributed_sync && table->isRemote()) && !no_squash && !(query && query->watch))
|
|
{
|
|
bool table_prefers_large_blocks = table->prefersLargeBlocks();
|
|
|
|
out.addSource(std::make_shared<SquashingChunksTransform>(
|
|
out.getInputHeader(),
|
|
table_prefers_large_blocks ? settings.min_insert_block_size_rows : settings.max_block_size,
|
|
table_prefers_large_blocks ? settings.min_insert_block_size_bytes : 0));
|
|
}
|
|
|
|
auto counting = std::make_shared<CountingTransform>(out.getInputHeader(), thread_status, getContext()->getQuota());
|
|
counting->setProcessListElement(context_ptr->getProcessListElement());
|
|
out.addSource(std::move(counting));
|
|
|
|
return out;
|
|
}
|
|
|
|
BlockIO InterpreterInsertQuery::execute()
|
|
{
|
|
const Settings & settings = getContext()->getSettingsRef();
|
|
auto & query = query_ptr->as<ASTInsertQuery &>();
|
|
|
|
QueryPipelineBuilder pipeline;
|
|
|
|
StoragePtr table = getTable(query);
|
|
checkStorageSupportsTransactionsIfNeeded(table, getContext());
|
|
|
|
StoragePtr inner_table;
|
|
if (const auto * mv = dynamic_cast<const StorageMaterializedView *>(table.get()))
|
|
inner_table = mv->getTargetTable();
|
|
|
|
if (query.partition_by && !table->supportsPartitionBy())
|
|
throw Exception(ErrorCodes::NOT_IMPLEMENTED, "PARTITION BY clause is not supported by storage");
|
|
|
|
auto table_lock = table->lockForShare(getContext()->getInitialQueryId(), settings.lock_acquire_timeout);
|
|
auto metadata_snapshot = table->getInMemoryMetadataPtr();
|
|
|
|
auto query_sample_block = getSampleBlock(query, table, metadata_snapshot);
|
|
|
|
/// For table functions we check access while executing
|
|
/// getTable() -> ITableFunction::execute().
|
|
if (!query.table_function)
|
|
getContext()->checkAccess(AccessType::INSERT, query.table_id, query_sample_block.getNames());
|
|
|
|
bool is_distributed_insert_select = false;
|
|
|
|
if (query.select && table->isRemote() && settings.parallel_distributed_insert_select)
|
|
{
|
|
// Distributed INSERT SELECT
|
|
if (auto maybe_pipeline = table->distributedWrite(query, getContext()))
|
|
{
|
|
pipeline = std::move(*maybe_pipeline);
|
|
is_distributed_insert_select = true;
|
|
}
|
|
}
|
|
|
|
std::vector<Chain> out_chains;
|
|
if (!is_distributed_insert_select || query.watch)
|
|
{
|
|
size_t out_streams_size = 1;
|
|
|
|
if (query.select)
|
|
{
|
|
bool is_trivial_insert_select = false;
|
|
|
|
if (settings.optimize_trivial_insert_select)
|
|
{
|
|
const auto & select_query = query.select->as<ASTSelectWithUnionQuery &>();
|
|
const auto & selects = select_query.list_of_selects->children;
|
|
const auto & union_modes = select_query.list_of_modes;
|
|
|
|
/// ASTSelectWithUnionQuery is not normalized now, so it may pass some queries which can be Trivial select queries
|
|
const auto mode_is_all = [](const auto & mode) { return mode == SelectUnionMode::ALL; };
|
|
|
|
is_trivial_insert_select =
|
|
std::all_of(union_modes.begin(), union_modes.end(), std::move(mode_is_all))
|
|
&& std::all_of(selects.begin(), selects.end(), isTrivialSelect);
|
|
}
|
|
|
|
if (is_trivial_insert_select)
|
|
{
|
|
/** When doing trivial INSERT INTO ... SELECT ... FROM table,
|
|
* don't need to process SELECT with more than max_insert_threads
|
|
* and it's reasonable to set block size for SELECT to the desired block size for INSERT
|
|
* to avoid unnecessary squashing.
|
|
*/
|
|
|
|
Settings new_settings = getContext()->getSettings();
|
|
|
|
new_settings.max_threads = std::max<UInt64>(1, settings.max_insert_threads);
|
|
|
|
if (table->prefersLargeBlocks())
|
|
{
|
|
if (settings.min_insert_block_size_rows)
|
|
new_settings.max_block_size = settings.min_insert_block_size_rows;
|
|
if (settings.min_insert_block_size_bytes)
|
|
new_settings.preferred_block_size_bytes = settings.min_insert_block_size_bytes;
|
|
}
|
|
|
|
auto new_context = Context::createCopy(context);
|
|
new_context->setSettings(new_settings);
|
|
new_context->setInsertionTable(getContext()->getInsertionTable());
|
|
|
|
InterpreterSelectWithUnionQuery interpreter_select{
|
|
query.select, new_context, SelectQueryOptions(QueryProcessingStage::Complete, 1)};
|
|
pipeline = interpreter_select.buildQueryPipeline();
|
|
}
|
|
else
|
|
{
|
|
/// Passing 1 as subquery_depth will disable limiting size of intermediate result.
|
|
InterpreterSelectWithUnionQuery interpreter_select{
|
|
query.select, getContext(), SelectQueryOptions(QueryProcessingStage::Complete, 1)};
|
|
pipeline = interpreter_select.buildQueryPipeline();
|
|
}
|
|
|
|
pipeline.dropTotalsAndExtremes();
|
|
|
|
if (table->supportsParallelInsert() && settings.max_insert_threads > 1)
|
|
out_streams_size = std::min(static_cast<size_t>(settings.max_insert_threads), pipeline.getNumStreams());
|
|
|
|
pipeline.resize(out_streams_size);
|
|
|
|
/// Allow to insert Nullable into non-Nullable columns, NULL values will be added as defaults values.
|
|
if (getContext()->getSettingsRef().insert_null_as_default)
|
|
{
|
|
const auto & input_columns = pipeline.getHeader().getColumnsWithTypeAndName();
|
|
const auto & query_columns = query_sample_block.getColumnsWithTypeAndName();
|
|
const auto & output_columns = metadata_snapshot->getColumns();
|
|
|
|
if (input_columns.size() == query_columns.size())
|
|
{
|
|
for (size_t col_idx = 0; col_idx < query_columns.size(); ++col_idx)
|
|
{
|
|
/// Change query sample block columns to Nullable to allow inserting nullable columns, where NULL values will be substituted with
|
|
/// default column values (in AddingDefaultBlockOutputStream), so all values will be cast correctly.
|
|
if (input_columns[col_idx].type->isNullable() && !query_columns[col_idx].type->isNullable() && output_columns.hasDefault(query_columns[col_idx].name))
|
|
query_sample_block.setColumn(col_idx, ColumnWithTypeAndName(makeNullable(query_columns[col_idx].column), makeNullable(query_columns[col_idx].type), query_columns[col_idx].name));
|
|
}
|
|
}
|
|
}
|
|
}
|
|
else if (query.watch)
|
|
{
|
|
InterpreterWatchQuery interpreter_watch{ query.watch, getContext() };
|
|
pipeline = interpreter_watch.buildQueryPipeline();
|
|
}
|
|
|
|
for (size_t i = 0; i < out_streams_size; ++i)
|
|
{
|
|
auto out = buildChainImpl(table, metadata_snapshot, query_sample_block, nullptr, nullptr);
|
|
out_chains.emplace_back(std::move(out));
|
|
}
|
|
}
|
|
|
|
BlockIO res;
|
|
|
|
/// What type of query: INSERT or INSERT SELECT or INSERT WATCH?
|
|
if (is_distributed_insert_select)
|
|
{
|
|
res.pipeline = QueryPipelineBuilder::getPipeline(std::move(pipeline));
|
|
}
|
|
else if (query.select || query.watch)
|
|
{
|
|
const auto & header = out_chains.at(0).getInputHeader();
|
|
auto actions_dag = ActionsDAG::makeConvertingActions(
|
|
pipeline.getHeader().getColumnsWithTypeAndName(),
|
|
header.getColumnsWithTypeAndName(),
|
|
ActionsDAG::MatchColumnsMode::Position);
|
|
auto actions = std::make_shared<ExpressionActions>(actions_dag, ExpressionActionsSettings::fromContext(getContext(), CompileExpressions::yes));
|
|
|
|
pipeline.addSimpleTransform([&](const Block & in_header) -> ProcessorPtr
|
|
{
|
|
return std::make_shared<ExpressionTransform>(in_header, actions);
|
|
});
|
|
|
|
/// We need to convert Sparse columns to full, because it's destination storage
|
|
/// may not support it may have different settings for applying Sparse serialization.
|
|
pipeline.addSimpleTransform([&](const Block & in_header) -> ProcessorPtr
|
|
{
|
|
return std::make_shared<MaterializingTransform>(in_header);
|
|
});
|
|
|
|
size_t num_select_threads = pipeline.getNumThreads();
|
|
size_t num_insert_threads = std::max_element(out_chains.begin(), out_chains.end(), [&](const auto &a, const auto &b)
|
|
{
|
|
return a.getNumThreads() < b.getNumThreads();
|
|
})->getNumThreads();
|
|
pipeline.addChains(std::move(out_chains));
|
|
|
|
pipeline.setMaxThreads(num_insert_threads);
|
|
/// Don't use more threads for insert then for select to reduce memory consumption.
|
|
if (!settings.parallel_view_processing && pipeline.getNumThreads() > num_select_threads)
|
|
pipeline.setMaxThreads(num_select_threads);
|
|
|
|
pipeline.setSinks([&](const Block & cur_header, QueryPipelineBuilder::StreamType) -> ProcessorPtr
|
|
{
|
|
return std::make_shared<EmptySink>(cur_header);
|
|
});
|
|
|
|
if (!allow_materialized)
|
|
{
|
|
for (const auto & column : metadata_snapshot->getColumns())
|
|
if (column.default_desc.kind == ColumnDefaultKind::Materialized && header.has(column.name))
|
|
throw Exception("Cannot insert column " + column.name + ", because it is MATERIALIZED column.", ErrorCodes::ILLEGAL_COLUMN);
|
|
}
|
|
|
|
res.pipeline = QueryPipelineBuilder::getPipeline(std::move(pipeline));
|
|
}
|
|
else
|
|
{
|
|
res.pipeline = QueryPipeline(std::move(out_chains.at(0)));
|
|
res.pipeline.setNumThreads(std::min<size_t>(res.pipeline.getNumThreads(), settings.max_threads));
|
|
|
|
if (query.hasInlinedData() && !async_insert)
|
|
{
|
|
/// can execute without additional data
|
|
auto pipe = getSourceFromASTInsertQuery(query_ptr, true, query_sample_block, getContext(), nullptr);
|
|
res.pipeline.complete(std::move(pipe));
|
|
}
|
|
}
|
|
|
|
res.pipeline.addStorageHolder(table);
|
|
if (inner_table)
|
|
res.pipeline.addStorageHolder(inner_table);
|
|
|
|
return res;
|
|
}
|
|
|
|
|
|
StorageID InterpreterInsertQuery::getDatabaseTable() const
|
|
{
|
|
return query_ptr->as<ASTInsertQuery &>().table_id;
|
|
}
|
|
|
|
|
|
void InterpreterInsertQuery::extendQueryLogElemImpl(QueryLogElement & elem, ContextPtr context_)
|
|
{
|
|
elem.query_kind = "Insert";
|
|
const auto & insert_table = context_->getInsertionTable();
|
|
if (!insert_table.empty())
|
|
{
|
|
elem.query_databases.insert(insert_table.getDatabaseName());
|
|
elem.query_tables.insert(insert_table.getFullNameNotQuoted());
|
|
}
|
|
}
|
|
|
|
void InterpreterInsertQuery::extendQueryLogElemImpl(QueryLogElement & elem, const ASTPtr &, ContextPtr context_) const
|
|
{
|
|
extendQueryLogElemImpl(elem, context_);
|
|
}
|
|
|
|
}
|