ClickHouse/src/Interpreters/MergeJoin.cpp

Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.

1191 lines
40 KiB
C++
Raw Normal View History

#include <limits>
#include <Columns/ColumnNullable.h>
2021-08-06 14:15:11 +00:00
#include <Columns/ColumnLowCardinality.h>
#include <Common/logger_useful.h>
2019-09-13 16:17:37 +00:00
#include <Core/SortCursor.h>
2022-09-21 12:51:46 +00:00
#include <Formats/TemporaryFileStreamLegacy.h>
#include <DataTypes/DataTypeNullable.h>
#include <DataTypes/DataTypesNumber.h>
2019-09-09 19:43:37 +00:00
#include <Interpreters/MergeJoin.h>
#include <Interpreters/TableJoin.h>
2022-08-04 15:20:19 +00:00
#include <Interpreters/JoinUtils.h>
#include <Interpreters/TemporaryDataOnDisk.h>
2019-09-12 18:06:25 +00:00
#include <Interpreters/sortBlock.h>
2021-07-22 16:05:52 +00:00
#include <Processors/Sources/BlocksListSource.h>
2021-10-16 14:03:50 +00:00
#include <QueryPipeline/QueryPipelineBuilder.h>
2020-06-01 16:58:36 +00:00
#include <Processors/Transforms/MergeSortingTransform.h>
2021-10-13 18:22:02 +00:00
#include <Processors/Executors/PullingPipelineExecutor.h>
2019-09-09 19:43:37 +00:00
2020-10-10 16:31:10 +00:00
2019-09-09 19:43:37 +00:00
namespace DB
{
2019-09-10 14:51:28 +00:00
namespace ErrorCodes
{
2019-09-13 16:17:37 +00:00
extern const int NOT_IMPLEMENTED;
2019-09-23 19:36:47 +00:00
extern const int PARAMETER_OUT_OF_BOUND;
extern const int ILLEGAL_COLUMN;
2019-09-23 19:36:47 +00:00
extern const int LOGICAL_ERROR;
2019-09-13 16:17:37 +00:00
}
2019-09-19 17:09:59 +00:00
namespace
{
String deriveTempName(const String & name, JoinTableSide block_side)
{
if (block_side == JoinTableSide::Left)
return "--pmj_cond_left_" + name;
else
return "--pmj_cond_right_" + name;
}
/*
* Convert column with conditions for left or right table to join to joining key.
* Input column type is UInt8 output is Nullable(UInt8).
* 0 converted to NULL and such rows won't be joined,
* 1 converted to 0 (any constant non-NULL value to join)
*/
ColumnWithTypeAndName condtitionColumnToJoinable(const Block & block, const String & src_column_name, JoinTableSide block_side)
{
size_t res_size = block.rows();
auto data_col = ColumnUInt8::create(res_size, 0);
auto null_map = ColumnUInt8::create(res_size, 0);
if (!src_column_name.empty())
{
auto join_mask = JoinCommon::getColumnAsMask(block, src_column_name);
2022-12-28 13:20:58 +00:00
if (join_mask.hasData())
{
for (size_t i = 0; i < res_size; ++i)
null_map->getData()[i] = join_mask.isRowFiltered(i);
}
}
ColumnPtr res_col = ColumnNullable::create(std::move(data_col), std::move(null_map));
DataTypePtr res_col_type = std::make_shared<DataTypeNullable>(std::make_shared<DataTypeUInt8>());
String res_name = deriveTempName(src_column_name, block_side);
if (block.has(res_name))
throw Exception(ErrorCodes::ILLEGAL_COLUMN, "Conflicting column name '{}' in block {}", res_name, block.dumpStructure());
return {res_col, res_col_type, res_name};
}
template <bool has_left_nulls, bool has_right_nulls>
2019-09-19 17:09:59 +00:00
int nullableCompareAt(const IColumn & left_column, const IColumn & right_column, size_t lhs_pos, size_t rhs_pos)
{
static constexpr int null_direction_hint = 1;
if constexpr (has_left_nulls && has_right_nulls)
2019-09-19 17:09:59 +00:00
{
2020-04-22 06:01:33 +00:00
const auto * left_nullable = checkAndGetColumn<ColumnNullable>(left_column);
const auto * right_nullable = checkAndGetColumn<ColumnNullable>(right_column);
2019-09-19 17:09:59 +00:00
if (left_nullable && right_nullable)
{
int res = left_column.compareAt(lhs_pos, rhs_pos, right_column, null_direction_hint);
if (res)
return res;
/// NULL != NULL case
if (left_column.isNullAt(lhs_pos))
return null_direction_hint;
return 0;
2019-09-19 17:09:59 +00:00
}
}
2019-09-19 17:09:59 +00:00
if constexpr (has_left_nulls)
{
if (const auto * left_nullable = checkAndGetColumn<ColumnNullable>(left_column))
2019-09-19 17:09:59 +00:00
{
if (left_column.isNullAt(lhs_pos))
return null_direction_hint;
return left_nullable->getNestedColumn().compareAt(lhs_pos, rhs_pos, right_column, null_direction_hint);
}
}
2019-09-19 17:09:59 +00:00
if constexpr (has_right_nulls)
{
if (const auto * right_nullable = checkAndGetColumn<ColumnNullable>(right_column))
2019-09-19 17:09:59 +00:00
{
if (right_column.isNullAt(rhs_pos))
return -null_direction_hint;
return left_column.compareAt(lhs_pos, rhs_pos, right_nullable->getNestedColumn(), null_direction_hint);
}
}
return left_column.compareAt(lhs_pos, rhs_pos, right_column, null_direction_hint);
}
/// Get first and last row from sorted block
2019-09-23 19:36:47 +00:00
Block extractMinMax(const Block & block, const Block & keys)
{
if (block.rows() == 0)
throw Exception(ErrorCodes::LOGICAL_ERROR, "Unexpected empty block");
2019-09-23 19:36:47 +00:00
Block min_max = keys.cloneEmpty();
MutableColumns columns = min_max.mutateColumns();
for (size_t i = 0; i < columns.size(); ++i)
{
const auto & src_column = block.getByName(min_max.getByPosition(i).name);
columns[i]->insertFrom(*src_column.column, 0);
columns[i]->insertFrom(*src_column.column, block.rows() - 1);
2019-09-23 19:36:47 +00:00
}
min_max.setColumns(std::move(columns));
2023-12-14 15:08:29 +00:00
for (auto & column : min_max)
column.column = column.column->convertToFullColumnIfLowCardinality();
2019-09-23 19:36:47 +00:00
return min_max;
}
2019-09-19 17:09:59 +00:00
}
class RowBitmaps
{
public:
struct Bitmap
{
using Container = std::vector<bool>;
std::mutex mutex;
Container bitmap;
size_t size() const { return bitmap.size(); }
bool empty() const { return bitmap.empty(); }
void applyOr(Container && addition) noexcept
{
std::lock_guard lock(mutex);
if (bitmap.empty())
{
bitmap.swap(addition);
return;
}
/// TODO: simd bit or (need padding and tail in container)
for (size_t i = 0; i < bitmap.size(); ++i)
if (addition[i])
bitmap[i] = true;
}
};
using Container = Bitmap::Container;
explicit RowBitmaps(size_t size)
{
maps.reserve(size);
for (size_t i = 0; i < size; ++i)
maps.emplace_back(std::make_unique<Bitmap>());
}
bool used(size_t bitmap_number) const
{
return !maps[bitmap_number]->empty();
}
void applyOr(size_t bitmap_number, Container && addition) noexcept
{
maps[bitmap_number]->applyOr(std::move(addition));
}
IColumn::Filter getNotUsed(size_t bitmap_number) const
{
const Container & bitmap = maps[bitmap_number]->bitmap;
IColumn::Filter filter(bitmap.size());
for (size_t i = 0; i < bitmap.size(); ++i)
filter[i] = !bitmap[i];
return filter;
}
private:
std::vector<std::unique_ptr<Bitmap>> maps;
};
2019-09-13 16:17:37 +00:00
struct MergeJoinEqualRange
{
size_t left_start = 0;
size_t right_start = 0;
size_t left_length = 0;
size_t right_length = 0;
bool empty() const { return !left_length && !right_length; }
};
class MergeJoinCursor
{
public:
MergeJoinCursor(const Block & block, const SortDescription & desc_)
: impl(block, desc_)
2020-12-09 15:07:58 +00:00
{
2023-12-14 15:08:29 +00:00
for (auto *& column : impl.sort_columns)
{
const auto * lowcard_column = typeid_cast<const ColumnLowCardinality *>(column);
if (lowcard_column)
{
auto & new_col = column_holder.emplace_back(lowcard_column->convertToFullColumn());
column = new_col.get();
}
}
2020-12-09 15:07:58 +00:00
/// SortCursorImpl can work with permutation, but MergeJoinCursor can't.
if (impl.permutation)
throw Exception(ErrorCodes::LOGICAL_ERROR, "MergeJoinCursor doesn't support permutation");
2020-12-09 15:07:58 +00:00
}
2019-09-13 16:17:37 +00:00
size_t position() const { return impl.getRow(); }
size_t end() const { return impl.rows; }
bool atEnd() const { return impl.getRow() >= impl.rows; }
2020-11-12 20:29:36 +00:00
void nextN(size_t num) { impl.getPosRef() += num; }
2019-09-13 16:17:37 +00:00
2019-09-19 17:09:59 +00:00
void setCompareNullability(const MergeJoinCursor & rhs)
2019-09-13 16:17:37 +00:00
{
has_left_nullable = false;
has_right_nullable = false;
2019-09-19 17:09:59 +00:00
2019-09-13 16:17:37 +00:00
for (size_t i = 0; i < impl.sort_columns_size; ++i)
{
has_left_nullable = has_left_nullable || isColumnNullable(*impl.sort_columns[i]);
has_right_nullable = has_right_nullable || isColumnNullable(*rhs.impl.sort_columns[i]);
2019-09-13 16:17:37 +00:00
}
}
2023-10-14 02:50:30 +00:00
MergeJoinEqualRange getNextEqualRange(MergeJoinCursor & rhs)
2019-09-13 16:17:37 +00:00
{
if (has_left_nullable && has_right_nullable)
return getNextEqualRangeImpl<true, true>(rhs);
else if (has_left_nullable)
return getNextEqualRangeImpl<true, false>(rhs);
else if (has_right_nullable)
return getNextEqualRangeImpl<false, true>(rhs);
return getNextEqualRangeImpl<false, false>(rhs);
2019-09-13 16:17:37 +00:00
}
int intersect(const Block & min_max, const Names & key_names)
2019-09-23 19:36:47 +00:00
{
if (end() == 0 || min_max.rows() != 2)
throw Exception(ErrorCodes::LOGICAL_ERROR, "Unexpected block size");
2019-09-23 19:36:47 +00:00
size_t last_position = end() - 1;
int first_vs_max = 0;
int last_vs_min = 0;
for (size_t i = 0; i < impl.sort_columns_size; ++i)
2019-09-23 19:36:47 +00:00
{
2020-04-22 06:01:33 +00:00
const auto & left_column = *impl.sort_columns[i];
const auto & right_column = *min_max.getByName(key_names[i]).column; /// cannot get by position cause of possible duplicates
2019-09-23 19:36:47 +00:00
if (!first_vs_max)
first_vs_max = nullableCompareAt<true, true>(left_column, right_column, position(), 1);
2019-09-23 19:36:47 +00:00
if (!last_vs_min)
last_vs_min = nullableCompareAt<true, true>(left_column, right_column, last_position, 0);
2019-09-23 19:36:47 +00:00
}
if (first_vs_max > 0)
return 1;
if (last_vs_min < 0)
return -1;
return 0;
}
2019-09-19 17:09:59 +00:00
private:
SortCursorImpl impl;
2023-12-14 15:08:29 +00:00
Columns column_holder;
bool has_left_nullable = false;
bool has_right_nullable = false;
2019-09-13 16:17:37 +00:00
template <bool left_nulls, bool right_nulls>
2023-10-14 02:50:30 +00:00
MergeJoinEqualRange getNextEqualRangeImpl(MergeJoinCursor & rhs)
2019-09-13 16:17:37 +00:00
{
while (!atEnd() && !rhs.atEnd())
{
int cmp = compareAtCursor<left_nulls, right_nulls>(rhs);
2019-09-13 16:17:37 +00:00
if (cmp < 0)
impl.next();
else if (cmp > 0)
2019-09-13 16:17:37 +00:00
rhs.impl.next();
else if (!cmp)
2023-10-14 02:50:30 +00:00
return MergeJoinEqualRange{impl.getRow(), rhs.impl.getRow(), getEqualLength(), rhs.getEqualLength()};
2019-09-13 16:17:37 +00:00
}
2023-10-14 02:50:30 +00:00
return MergeJoinEqualRange{impl.getRow(), rhs.impl.getRow(), 0, 0};
2019-09-13 16:17:37 +00:00
}
template <bool left_nulls, bool right_nulls>
int ALWAYS_INLINE compareAtCursor(const MergeJoinCursor & rhs) const
2019-09-19 17:09:59 +00:00
{
for (size_t i = 0; i < impl.sort_columns_size; ++i)
{
2020-04-22 06:01:33 +00:00
const auto * left_column = impl.sort_columns[i];
const auto * right_column = rhs.impl.sort_columns[i];
2019-09-19 17:09:59 +00:00
int res = nullableCompareAt<left_nulls, right_nulls>(*left_column, *right_column, impl.getRow(), rhs.impl.getRow());
2019-09-19 17:09:59 +00:00
if (res)
return res;
2019-09-19 17:09:59 +00:00
}
return 0;
2019-09-19 17:09:59 +00:00
}
/// Expects !atEnd()
2019-09-19 17:09:59 +00:00
size_t getEqualLength()
{
size_t pos = impl.getRow() + 1;
for (; pos < impl.rows; ++pos)
if (!samePrev(pos))
break;
return pos - impl.getRow();
2019-09-19 17:09:59 +00:00
}
/// Expects lhs_pos > 0
bool ALWAYS_INLINE samePrev(size_t lhs_pos) const
2019-09-19 17:09:59 +00:00
{
for (size_t i = 0; i < impl.sort_columns_size; ++i)
if (impl.sort_columns[i]->compareAt(lhs_pos - 1, lhs_pos, *(impl.sort_columns[i]), 1) != 0)
2019-09-19 17:09:59 +00:00
return false;
return true;
}
2019-09-13 16:17:37 +00:00
};
namespace
{
MutableColumns makeMutableColumns(const Block & block, size_t rows_to_reserve = 0)
{
MutableColumns columns;
columns.reserve(block.columns());
for (const auto & src_column : block)
{
columns.push_back(src_column.column->cloneEmpty());
columns.back()->reserve(rows_to_reserve);
}
return columns;
}
void makeSortAndMerge(const Names & keys, SortDescription & sort, SortDescription & merge)
2019-09-13 16:17:37 +00:00
{
NameSet unique_keys;
for (const auto & sd: merge)
unique_keys.insert(sd.column_name);
2020-04-22 06:01:33 +00:00
for (const auto & key_name : keys)
2019-09-13 16:17:37 +00:00
{
merge.emplace_back(key_name);
2019-09-13 16:17:37 +00:00
if (!unique_keys.contains(key_name))
2019-09-13 16:17:37 +00:00
{
unique_keys.insert(key_name);
sort.emplace_back(key_name);
2019-09-13 16:17:37 +00:00
}
}
2019-09-10 14:51:28 +00:00
}
void copyLeftRange(const Block & block, MutableColumns & columns, size_t start, size_t rows_to_add)
{
for (size_t i = 0; i < block.columns(); ++i)
{
const auto & src_column = block.getByPosition(i).column;
columns[i]->insertRangeFrom(*src_column, start, rows_to_add);
}
}
void copyRightRange(const Block & right_block, const Block & right_columns_to_add, MutableColumns & columns,
size_t row_position, size_t rows_to_add)
{
for (size_t i = 0; i < right_columns_to_add.columns(); ++i)
{
const auto & src_column = right_block.getByName(right_columns_to_add.getByPosition(i).name).column;
auto & dst_column = columns[i];
auto * dst_nullable = typeid_cast<ColumnNullable *>(dst_column.get());
if (dst_nullable && !isColumnNullable(*src_column))
dst_nullable->insertManyFromNotNullable(*src_column, row_position, rows_to_add);
else
dst_column->insertManyFrom(*src_column, row_position, rows_to_add);
}
}
2023-10-14 02:50:30 +00:00
void joinEqualsAnyLeft(const Block & right_block, const Block & right_columns_to_add, MutableColumns & right_columns, const MergeJoinEqualRange & range)
{
copyRightRange(right_block, right_columns_to_add, right_columns, range.right_start, range.left_length);
}
template <bool is_all>
2020-01-15 20:33:29 +00:00
bool joinEquals(const Block & left_block, const Block & right_block, const Block & right_columns_to_add,
2023-10-14 02:50:30 +00:00
MutableColumns & left_columns, MutableColumns & right_columns, MergeJoinEqualRange & range, size_t max_rows [[maybe_unused]])
{
2020-01-15 20:33:29 +00:00
bool one_more = true;
if constexpr (is_all)
2020-01-15 20:33:29 +00:00
{
size_t range_rows = range.left_length * range.right_length;
if (range_rows > max_rows)
2020-01-15 21:33:21 +00:00
{
/// We need progress. So we join at least one right row.
2020-01-15 21:33:21 +00:00
range.right_length = max_rows / range.left_length;
if (!range.right_length)
range.right_length = 1;
2020-01-15 20:33:29 +00:00
one_more = false;
2020-01-15 21:33:21 +00:00
}
2020-01-15 20:33:29 +00:00
size_t left_rows_to_add = range.left_length;
size_t row_position = range.right_start;
for (size_t right_row = 0; right_row < range.right_length; ++right_row, ++row_position)
{
copyLeftRange(left_block, left_columns, range.left_start, left_rows_to_add);
copyRightRange(right_block, right_columns_to_add, right_columns, row_position, left_rows_to_add);
}
}
else
{
2020-01-15 20:33:29 +00:00
size_t left_rows_to_add = range.left_length;
copyLeftRange(left_block, left_columns, range.left_start, left_rows_to_add);
2020-01-15 20:33:29 +00:00
copyRightRange(right_block, right_columns_to_add, right_columns, range.right_start, left_rows_to_add);
}
2020-01-15 20:33:29 +00:00
return one_more;
}
template <bool copy_left>
void joinInequalsLeft(const Block & left_block, MutableColumns & left_columns,
const Block & right_block, MutableColumns & right_columns,
size_t start, size_t end)
{
if (end <= start)
return;
size_t rows_to_add = end - start;
if constexpr (copy_left)
copyLeftRange(left_block, left_columns, start, rows_to_add);
for (size_t i = 0; i < right_columns.size(); ++i)
{
JoinCommon::addDefaultValues(*right_columns[i], right_block.getByPosition(i).type, rows_to_add);
}
}
}
MergeJoin::MergeJoin(std::shared_ptr<TableJoin> table_join_, const Block & right_sample_block_)
2019-09-09 19:43:37 +00:00
: table_join(table_join_)
, size_limits(table_join->sizeLimits())
, right_sample_block(right_sample_block_)
2022-07-29 16:30:50 +00:00
, is_any_join(table_join->strictness() == JoinStrictness::Any)
, is_all_join(table_join->strictness() == JoinStrictness::All)
, is_semi_join(table_join->strictness() == JoinStrictness::Semi)
, is_inner(isInner(table_join->kind()))
, is_left(isLeft(table_join->kind()))
, is_right(isRight(table_join->kind()))
, is_full(isFull(table_join->kind()))
2020-01-17 11:45:43 +00:00
, max_joined_block_rows(table_join->maxJoinedBlockRows())
, max_rows_in_right_block(table_join->maxRowsInRightBlock())
, max_files_to_merge(table_join->maxFilesToMerge())
2024-01-23 17:04:50 +00:00
, log(getLogger("MergeJoin"))
2019-09-09 19:43:37 +00:00
{
switch (table_join->strictness())
{
2022-07-29 16:30:50 +00:00
case JoinStrictness::All:
break;
2022-07-29 16:30:50 +00:00
case JoinStrictness::Any:
case JoinStrictness::Semi:
if (!is_left && !is_inner)
throw Exception(ErrorCodes::NOT_IMPLEMENTED, "Not supported. MergeJoin supports SEMI and ANY variants only for LEFT and INNER JOINs.");
break;
default:
throw Exception(ErrorCodes::NOT_IMPLEMENTED, "Not supported. MergeJoin supports ALL, ANY and SEMI JOINs variants.");
}
2019-09-13 16:17:37 +00:00
if (!max_rows_in_right_block)
throw Exception(ErrorCodes::PARAMETER_OUT_OF_BOUND, "partial_merge_join_rows_in_right_blocks cannot be zero");
if (max_files_to_merge < 2)
throw Exception(ErrorCodes::PARAMETER_OUT_OF_BOUND, "max_files_to_merge cannot be less than 2");
if (!size_limits.hasLimits())
{
size_limits.max_bytes = table_join->defaultMaxBytes();
if (!size_limits.max_bytes)
throw Exception(ErrorCodes::PARAMETER_OUT_OF_BOUND,
"No limit for MergeJoin (max_rows_in_join, max_bytes_in_join "
"or default_max_bytes_in_join have to be set)");
}
2021-09-06 10:59:18 +00:00
if (!table_join->oneDisjunct())
throw DB::Exception(ErrorCodes::NOT_IMPLEMENTED, "MergeJoin does not support OR in JOIN ON section");
2021-09-06 10:59:18 +00:00
const auto & onexpr = table_join->getOnlyClause();
std::tie(mask_column_name_left, mask_column_name_right) = onexpr.condColumnNames();
/// Add auxiliary joining keys to join only rows where conditions from JOIN ON sections holds
/// Input boolean column converted to nullable and only rows with non NULLS value will be joined
if (!mask_column_name_left.empty() || !mask_column_name_right.empty())
{
JoinCommon::checkTypesOfMasks({}, "", right_sample_block, mask_column_name_right);
key_names_left.push_back(deriveTempName(mask_column_name_left, JoinTableSide::Left));
key_names_right.push_back(deriveTempName(mask_column_name_right, JoinTableSide::Right));
}
2021-09-06 10:59:18 +00:00
key_names_left.insert(key_names_left.end(), onexpr.key_names_left.begin(), onexpr.key_names_left.end());
key_names_right.insert(key_names_right.end(), onexpr.key_names_right.begin(), onexpr.key_names_right.end());
addConditionJoinColumn(right_sample_block, JoinTableSide::Right);
JoinCommon::splitAdditionalColumns(key_names_right, right_sample_block, right_table_keys, right_columns_to_add);
const NameSet required_right_keys = table_join->requiredRightKeys();
for (const auto & right_key : key_names_right)
{
if (required_right_keys.contains(right_key) && right_table_keys.getByName(right_key).type->lowCardinality())
lowcard_right_keys.push_back(right_key);
}
2019-09-12 14:09:05 +00:00
for (const auto & column : right_table_keys)
if (required_right_keys.contains(column.name))
2019-09-12 14:09:05 +00:00
right_columns_to_add.insert(ColumnWithTypeAndName{nullptr, column.type, column.name});
JoinCommon::createMissedColumns(right_columns_to_add);
makeSortAndMerge(key_names_left, left_sort_description, left_merge_description);
makeSortAndMerge(key_names_right, right_sort_description, right_merge_description);
LOG_DEBUG(log, "Joining keys: left [{}], right [{}]", fmt::join(key_names_left, ", "), fmt::join(key_names_right, ", "));
if (size_t max_bytes = table_join->maxBytesInLeftBuffer(); max_bytes > 0)
{
/// Disabled due to https://github.com/ClickHouse/ClickHouse/issues/31009
// left_blocks_buffer = std::make_shared<SortedBlocksBuffer>(left_sort_description, max_bytes);
LOG_WARNING(log, "`partial_merge_join_left_table_buffer_bytes` is disabled in current version of ClickHouse");
UNUSED(left_blocks_buffer);
}
2019-09-12 18:06:25 +00:00
}
2021-04-02 18:07:11 +00:00
/// Has to be called even if totals are empty
2019-09-12 18:06:25 +00:00
void MergeJoin::setTotals(const Block & totals_block)
{
2022-03-21 13:12:17 +00:00
IJoin::setTotals(totals_block);
2019-09-12 18:06:25 +00:00
mergeRightBlocks();
if (is_right || is_full)
used_rows_bitmap = std::make_shared<RowBitmaps>(getRightBlocksCount());
2019-09-09 19:43:37 +00:00
}
2019-09-13 16:17:37 +00:00
void MergeJoin::mergeRightBlocks()
{
if (is_in_memory)
mergeInMemoryRightBlocks();
else
mergeFlushedRightBlocks();
}
void MergeJoin::mergeInMemoryRightBlocks()
{
std::lock_guard lock(rwlock);
if (right_blocks.empty())
return;
2021-07-22 16:05:52 +00:00
Pipe source(std::make_shared<BlocksListSource>(std::move(right_blocks.blocks)));
right_blocks.clear();
2019-09-23 19:36:47 +00:00
2021-09-16 17:40:42 +00:00
QueryPipelineBuilder builder;
builder.init(std::move(source));
2020-06-01 16:58:36 +00:00
2020-08-08 01:01:47 +00:00
/// TODO: there should be no split keys by blocks for RIGHT|FULL JOIN
2021-09-16 17:40:42 +00:00
builder.addTransform(std::make_shared<MergeSortingTransform>(
builder.getHeader(), right_sort_description, max_rows_in_right_block, 0, false, 0, 0, 0, nullptr, 0));
2020-06-01 16:58:36 +00:00
2021-09-16 17:40:42 +00:00
auto pipeline = QueryPipelineBuilder::getPipeline(std::move(builder));
2021-10-13 18:22:02 +00:00
PullingPipelineExecutor executor(pipeline);
2019-09-13 16:17:37 +00:00
2021-10-13 18:22:02 +00:00
Block block;
while (executor.pull(block))
{
if (!block.rows())
continue;
if (skip_not_intersected)
min_max_right_blocks.emplace_back(extractMinMax(block, right_table_keys));
right_blocks.countBlockSize(block);
loaded_right_blocks.emplace_back(std::make_shared<Block>(std::move(block)));
}
2019-09-13 16:17:37 +00:00
}
void MergeJoin::mergeFlushedRightBlocks()
2019-09-09 19:43:37 +00:00
{
std::lock_guard lock(rwlock);
auto callback = [&](const Block & block)
{
if (skip_not_intersected)
min_max_right_blocks.emplace_back(extractMinMax(block, right_table_keys));
right_blocks.countBlockSize(block);
};
flushed_right_blocks = disk_writer->finishMerge(callback);
disk_writer.reset();
2020-01-11 09:50:41 +00:00
/// Get memory limit or approximate it from row limit and bytes per row factor
UInt64 memory_limit = size_limits.max_bytes;
UInt64 rows_limit = size_limits.max_rows;
if (!memory_limit && rows_limit)
memory_limit = right_blocks.bytes * rows_limit / right_blocks.row_count;
cached_right_blocks = std::make_unique<Cache>(memory_limit);
}
bool MergeJoin::saveRightBlock(Block && block)
{
if (is_in_memory)
{
std::lock_guard lock(rwlock);
2019-09-10 14:51:28 +00:00
if (!is_in_memory)
{
disk_writer->insert(std::move(block));
return true;
}
right_blocks.insert(std::move(block));
bool has_memory = size_limits.softCheck(right_blocks.row_count, right_blocks.bytes);
if (!has_memory)
{
initRightTableWriter();
is_in_memory = false;
}
}
else
disk_writer->insert(std::move(block));
return true;
}
Block MergeJoin::modifyRightBlock(const Block & src_block) const
{
2023-12-13 17:43:15 +00:00
return materializeBlock(src_block);
}
2023-07-05 17:03:18 +00:00
bool MergeJoin::addBlockToJoin(const Block & src_block, bool)
{
Block block = modifyRightBlock(src_block);
2019-09-10 14:51:28 +00:00
addConditionJoinColumn(block, JoinTableSide::Right);
sortBlock(block, right_sort_description);
return saveRightBlock(std::move(block));
2019-09-09 19:43:37 +00:00
}
void MergeJoin::checkTypesOfKeys(const Block & block) const
{
/// Do not check auxailary column for extra conditions, use original key names
2021-09-20 19:30:34 +00:00
const auto & onexpr = table_join->getOnlyClause();
JoinCommon::checkTypesOfKeys(block, onexpr.key_names_left, right_table_keys, onexpr.key_names_right);
}
2020-01-15 20:33:29 +00:00
void MergeJoin::joinBlock(Block & block, ExtraBlockPtr & not_processed)
2019-09-09 19:43:37 +00:00
{
Names lowcard_keys = lowcard_right_keys;
if (block)
{
/// We need to check type of masks before `addConditionJoinColumn`, because it assumes that types is correct
JoinCommon::checkTypesOfMasks(block, mask_column_name_left, right_sample_block, mask_column_name_right);
/// Add auxiliary column, will be removed after joining
addConditionJoinColumn(block, JoinTableSide::Left);
/// Types of keys can be checked only after `checkTypesOfKeys`
JoinCommon::checkTypesOfKeys(block, key_names_left, right_table_keys, key_names_right);
materializeBlockInplace(block);
for (const auto & column_name : key_names_left)
{
if (block.getByName(column_name).type->lowCardinality())
lowcard_keys.push_back(column_name);
}
sortBlock(block, left_sort_description);
}
if (!not_processed && left_blocks_buffer)
{
if (!block || block.rows())
block = left_blocks_buffer->exchange(std::move(block));
if (!block)
return;
}
if (is_in_memory)
{
if (is_all_join)
2020-01-14 19:02:22 +00:00
joinSortedBlock<true, true>(block, not_processed);
else
2020-01-14 19:02:22 +00:00
joinSortedBlock<true, false>(block, not_processed);
}
else
{
if (is_all_join)
2020-01-14 19:02:22 +00:00
joinSortedBlock<false, true>(block, not_processed);
else
2020-01-14 19:02:22 +00:00
joinSortedBlock<false, false>(block, not_processed);
}
/// Back thread even with no data. We have some unfinished data in buffer.
if (!not_processed && left_blocks_buffer)
not_processed = std::make_shared<NotProcessed>(NotProcessed{{}, 0, 0, 0, 0});
if (needConditionJoinColumn())
block.erase(deriveTempName(mask_column_name_left, JoinTableSide::Left));
}
2019-09-12 18:06:25 +00:00
template <bool in_memory, bool is_all>
2020-01-15 20:33:29 +00:00
void MergeJoin::joinSortedBlock(Block & block, ExtraBlockPtr & not_processed)
{
size_t rows_to_reserve = is_left ? block.rows() : 0;
MutableColumns left_columns = makeMutableColumns(block, (is_all ? rows_to_reserve : 0));
MutableColumns right_columns = makeMutableColumns(right_columns_to_add, rows_to_reserve);
MergeJoinCursor left_cursor(block, left_merge_description);
size_t left_key_tail = 0;
2020-01-15 21:33:21 +00:00
size_t skip_right = 0;
size_t right_blocks_count = rightBlocksCount<in_memory>();
2019-09-13 16:17:37 +00:00
2020-01-15 20:33:29 +00:00
size_t starting_right_block = 0;
if (not_processed)
{
auto & continuation = static_cast<NotProcessed &>(*not_processed);
2020-01-15 21:33:21 +00:00
left_cursor.nextN(continuation.left_position);
left_key_tail = continuation.left_key_tail;
2020-01-15 21:33:21 +00:00
skip_right = continuation.right_position;
starting_right_block = continuation.right_block;
2020-01-15 20:33:29 +00:00
not_processed.reset();
}
bool with_left_inequals = (is_left && !is_semi_join) || is_full;
if (with_left_inequals)
{
2020-01-15 20:33:29 +00:00
for (size_t i = starting_right_block; i < right_blocks_count; ++i)
2019-09-13 16:17:37 +00:00
{
if (left_cursor.atEnd())
break;
2019-09-23 19:36:47 +00:00
if (skip_not_intersected)
{
int intersection = left_cursor.intersect(min_max_right_blocks[i], key_names_right);
2019-09-23 19:36:47 +00:00
if (intersection < 0)
break; /// (left) ... (right)
if (intersection > 0)
{
skip_right = 0;
2019-09-23 19:36:47 +00:00
continue; /// (right) ... (left)
}
2019-09-23 19:36:47 +00:00
}
/// Use skip_right as ref. It would be updated in join.
RightBlockInfo right_block(loadRightBlock<in_memory>(i), i, skip_right, used_rows_bitmap.get());
if (!leftJoin<is_all>(left_cursor, block, right_block, left_columns, right_columns, left_key_tail))
2020-01-14 19:02:22 +00:00
{
2020-01-15 21:33:21 +00:00
not_processed = extraBlock<is_all>(block, std::move(left_columns), std::move(right_columns),
left_cursor.position(), left_key_tail, skip_right, i);
2020-01-15 20:33:29 +00:00
return;
2020-01-14 19:02:22 +00:00
}
2019-09-13 16:17:37 +00:00
}
2019-09-11 18:03:21 +00:00
left_cursor.nextN(left_key_tail);
joinInequalsLeft<is_all>(block, left_columns, right_columns_to_add, right_columns, left_cursor.position(), left_cursor.end());
changeLeftColumns(block, std::move(left_columns));
addRightColumns(block, std::move(right_columns));
2019-09-13 16:17:37 +00:00
}
else /// no inequals
2019-09-13 16:17:37 +00:00
{
2020-01-15 20:33:29 +00:00
for (size_t i = starting_right_block; i < right_blocks_count; ++i)
2019-09-13 17:23:32 +00:00
{
if (left_cursor.atEnd())
break;
2019-09-23 19:36:47 +00:00
if (skip_not_intersected)
{
int intersection = left_cursor.intersect(min_max_right_blocks[i], key_names_right);
2019-09-23 19:36:47 +00:00
if (intersection < 0)
break; /// (left) ... (right)
if (intersection > 0)
{
skip_right = 0;
2019-09-23 19:36:47 +00:00
continue; /// (right) ... (left)
}
2019-09-23 19:36:47 +00:00
}
/// Use skip_right as ref. It would be updated in join.
RightBlockInfo right_block(loadRightBlock<in_memory>(i), i, skip_right, used_rows_bitmap.get());
if constexpr (is_all)
2020-01-14 19:02:22 +00:00
{
if (!allInnerJoin(left_cursor, block, right_block, left_columns, right_columns, left_key_tail))
{
not_processed = extraBlock<is_all>(block, std::move(left_columns), std::move(right_columns),
left_cursor.position(), left_key_tail, skip_right, i);
return;
}
2020-01-14 19:02:22 +00:00
}
else
semiLeftJoin(left_cursor, block, right_block, left_columns, right_columns);
2019-09-13 17:23:32 +00:00
}
left_cursor.nextN(left_key_tail);
changeLeftColumns(block, std::move(left_columns));
addRightColumns(block, std::move(right_columns));
2019-09-13 16:17:37 +00:00
}
2019-09-10 14:51:28 +00:00
}
2020-01-15 20:33:29 +00:00
static size_t maxRangeRows(size_t current_rows, size_t max_rows)
{
if (!max_rows)
return std::numeric_limits<size_t>::max();
if (current_rows >= max_rows)
return 0;
return max_rows - current_rows;
}
template <bool is_all>
bool MergeJoin::leftJoin(MergeJoinCursor & left_cursor, const Block & left_block, RightBlockInfo & right_block_info,
MutableColumns & left_columns, MutableColumns & right_columns, size_t & left_key_tail)
2019-09-10 14:51:28 +00:00
{
const Block & right_block = *right_block_info.block;
2019-09-13 16:17:37 +00:00
MergeJoinCursor right_cursor(right_block, right_merge_description);
2019-09-19 17:09:59 +00:00
left_cursor.setCompareNullability(right_cursor);
2019-09-13 16:17:37 +00:00
2020-01-15 21:33:21 +00:00
/// Set right cursor position in first continuation right block
if constexpr (is_all)
{
right_cursor.nextN(right_block_info.skip);
right_block_info.skip = 0;
2020-01-15 21:33:21 +00:00
}
2019-09-13 16:17:37 +00:00
while (!left_cursor.atEnd() && !right_cursor.atEnd())
{
/// Not zero left_key_tail means there were equality for the last left key in previous leftJoin() call.
/// Do not join it twice: join only if it's equal with a first right key of current leftJoin() call and skip otherwise.
size_t left_unequal_position = left_cursor.position() + left_key_tail;
left_key_tail = 0;
2023-10-14 02:50:30 +00:00
MergeJoinEqualRange range = left_cursor.getNextEqualRange(right_cursor);
2019-09-13 16:17:37 +00:00
joinInequalsLeft<is_all>(left_block, left_columns, right_columns_to_add, right_columns, left_unequal_position, range.left_start);
2019-09-13 16:17:37 +00:00
if (range.empty())
break;
if constexpr (is_all)
2020-01-15 20:33:29 +00:00
{
right_block_info.setUsed(range.right_start, range.right_length);
size_t max_rows = maxRangeRows(left_columns[0]->size(), max_joined_block_rows);
2020-01-15 20:33:29 +00:00
if (!joinEquals<true>(left_block, right_block, right_columns_to_add, left_columns, right_columns, range, max_rows))
2020-01-15 21:33:21 +00:00
{
right_cursor.nextN(range.right_length);
right_block_info.skip = right_cursor.position();
left_key_tail = range.left_length;
2020-01-15 20:33:29 +00:00
return false;
2020-01-15 21:33:21 +00:00
}
2020-01-15 20:33:29 +00:00
}
else
joinEqualsAnyLeft(right_block, right_columns_to_add, right_columns, range);
2019-09-13 16:17:37 +00:00
right_cursor.nextN(range.right_length);
/// Do not run over last left keys for ALL JOIN (cause of possible duplicates in next right block)
if constexpr (is_all)
{
if (right_cursor.atEnd())
{
left_key_tail = range.left_length;
break;
}
}
2019-09-13 16:17:37 +00:00
left_cursor.nextN(range.left_length);
}
2020-01-15 20:33:29 +00:00
return true;
2019-09-10 14:51:28 +00:00
}
2019-09-09 19:43:37 +00:00
bool MergeJoin::allInnerJoin(MergeJoinCursor & left_cursor, const Block & left_block, RightBlockInfo & right_block_info,
MutableColumns & left_columns, MutableColumns & right_columns, size_t & left_key_tail)
2019-09-13 17:23:32 +00:00
{
const Block & right_block = *right_block_info.block;
2019-09-13 17:23:32 +00:00
MergeJoinCursor right_cursor(right_block, right_merge_description);
2019-09-19 17:09:59 +00:00
left_cursor.setCompareNullability(right_cursor);
2019-09-13 17:23:32 +00:00
2020-01-15 21:33:21 +00:00
/// Set right cursor position in first continuation right block
right_cursor.nextN(right_block_info.skip);
right_block_info.skip = 0;
2020-01-15 21:33:21 +00:00
2019-09-13 17:23:32 +00:00
while (!left_cursor.atEnd() && !right_cursor.atEnd())
{
2023-10-14 02:50:30 +00:00
MergeJoinEqualRange range = left_cursor.getNextEqualRange(right_cursor);
2019-09-13 17:23:32 +00:00
if (range.empty())
break;
right_block_info.setUsed(range.right_start, range.right_length);
size_t max_rows = maxRangeRows(left_columns[0]->size(), max_joined_block_rows);
2020-01-15 20:33:29 +00:00
if (!joinEquals<true>(left_block, right_block, right_columns_to_add, left_columns, right_columns, range, max_rows))
{
right_cursor.nextN(range.right_length);
right_block_info.skip = right_cursor.position();
return false;
2020-01-15 20:33:29 +00:00
}
2019-09-13 17:23:32 +00:00
right_cursor.nextN(range.right_length);
/// Do not run over last left keys for ALL JOIN (cause of possible duplicates in next right block)
if (right_cursor.atEnd())
{
left_key_tail = range.left_length;
break;
}
2019-09-13 17:23:32 +00:00
left_cursor.nextN(range.left_length);
}
2020-01-15 20:33:29 +00:00
return true;
2019-09-13 17:23:32 +00:00
}
bool MergeJoin::semiLeftJoin(MergeJoinCursor & left_cursor, const Block & left_block, const RightBlockInfo & right_block_info,
MutableColumns & left_columns, MutableColumns & right_columns)
{
const Block & right_block = *right_block_info.block;
MergeJoinCursor right_cursor(right_block, right_merge_description);
left_cursor.setCompareNullability(right_cursor);
while (!left_cursor.atEnd() && !right_cursor.atEnd())
{
2023-10-14 02:50:30 +00:00
MergeJoinEqualRange range = left_cursor.getNextEqualRange(right_cursor);
if (range.empty())
break;
joinEquals<false>(left_block, right_block, right_columns_to_add, left_columns, right_columns, range, 0);
right_cursor.nextN(range.right_length);
left_cursor.nextN(range.left_length);
}
return true;
}
2020-04-22 06:01:33 +00:00
void MergeJoin::changeLeftColumns(Block & block, MutableColumns && columns) const
2019-09-12 18:06:25 +00:00
{
if (is_left && is_any_join)
return;
block.setColumns(std::move(columns));
2019-09-13 16:17:37 +00:00
}
2019-09-12 18:06:25 +00:00
void MergeJoin::addRightColumns(Block & block, MutableColumns && right_columns)
2019-09-13 16:17:37 +00:00
{
for (size_t i = 0; i < right_columns_to_add.columns(); ++i)
{
const auto & column = right_columns_to_add.getByPosition(i);
block.insert(ColumnWithTypeAndName{std::move(right_columns[i]), column.type, column.name});
}
}
2019-09-12 18:06:25 +00:00
2020-01-14 19:02:22 +00:00
/// Split block into processed (result) and not processed. Not processed block would be joined next time.
2020-01-15 20:33:29 +00:00
template <bool is_all>
ExtraBlockPtr MergeJoin::extraBlock(Block & processed, MutableColumns && left_columns, MutableColumns && right_columns,
size_t left_position [[maybe_unused]], size_t left_key_tail [[maybe_unused]],
size_t right_position [[maybe_unused]], size_t right_block_number [[maybe_unused]])
2020-01-14 19:02:22 +00:00
{
2020-01-15 20:33:29 +00:00
ExtraBlockPtr not_processed;
2020-01-14 19:02:22 +00:00
2020-01-15 20:33:29 +00:00
if constexpr (is_all)
{
2020-01-15 21:33:21 +00:00
not_processed = std::make_shared<NotProcessed>(
NotProcessed{{processed.cloneEmpty()}, left_position, left_key_tail, right_position, right_block_number});
2020-01-15 20:33:29 +00:00
not_processed->block.swap(processed);
2020-01-14 19:02:22 +00:00
2020-01-15 20:33:29 +00:00
changeLeftColumns(processed, std::move(left_columns));
addRightColumns(processed, std::move(right_columns));
2020-01-14 19:02:22 +00:00
}
2020-01-15 20:33:29 +00:00
return not_processed;
2020-01-14 19:02:22 +00:00
}
template <bool in_memory>
size_t MergeJoin::rightBlocksCount() const
{
if constexpr (!in_memory)
return flushed_right_blocks.size();
else
return loaded_right_blocks.size();
}
template <bool in_memory>
std::shared_ptr<Block> MergeJoin::loadRightBlock(size_t pos) const
{
if constexpr (!in_memory)
{
auto load_func = [&]() -> std::shared_ptr<Block>
{
TemporaryFileStreamLegacy input(flushed_right_blocks[pos]->getAbsolutePath(), materializeBlock(right_sample_block));
return std::make_shared<Block>(input.block_in->read());
};
return cached_right_blocks->getOrSet(pos, load_func).first;
}
else
return loaded_right_blocks[pos];
}
void MergeJoin::initRightTableWriter()
{
disk_writer = std::make_unique<SortedBlocksWriter>(size_limits, table_join->getGlobalTemporaryVolume(),
right_sample_block, right_sort_description, max_rows_in_right_block, max_files_to_merge,
table_join->temporaryFilesCodec());
disk_writer->addBlocks(right_blocks);
right_blocks.clear();
}
/// Stream from not joined earlier rows of the right table.
class NotJoinedMerge final : public NotJoinedBlocks::RightColumnsFiller
{
public:
NotJoinedMerge(const MergeJoin & parent_, UInt64 max_block_size_)
: parent(parent_), max_block_size(max_block_size_)
{}
Block getEmptyBlock() override { return parent.modifyRightBlock(parent.right_sample_block).cloneEmpty(); }
2021-08-06 14:15:11 +00:00
size_t fillColumns(MutableColumns & columns_right) override
{
const RowBitmaps & bitmaps = *parent.used_rows_bitmap;
size_t rows_added = 0;
size_t blocks_count = parent.getRightBlocksCount();
for (; block_number < blocks_count; ++block_number)
{
auto right_block = parent.getRightBlock(block_number);
if (bitmaps.used(block_number))
{
IColumn::Filter not_used = bitmaps.getNotUsed(block_number);
for (const auto & row : not_used)
if (row)
++rows_added;
for (size_t col = 0; col < columns_right.size(); ++col)
{
/// TODO: IColumn::filteredInsertRangeFrom() ?
ColumnPtr portion = right_block->getByPosition(col).column->filter(not_used, 1);
columns_right[col]->insertRangeFrom(*portion, 0, portion->size());
}
}
else
{
rows_added += right_block->rows();
for (size_t col = 0; col < columns_right.size(); ++col)
{
const IColumn & column = *right_block->getByPosition(col).column;
columns_right[col]->insertRangeFrom(column, 0, column.size());
}
}
if (rows_added >= max_block_size)
{
++block_number;
break;
}
}
return rows_added;
}
2021-08-06 14:15:11 +00:00
private:
const MergeJoin & parent;
size_t max_block_size;
size_t block_number = 0;
};
2022-10-18 11:43:01 +00:00
IBlocksStreamPtr MergeJoin::getNonJoinedBlocks(
2021-08-23 11:09:33 +00:00
const Block & left_sample_block, const Block & result_sample_block, UInt64 max_block_size) const
{
2022-07-29 16:30:50 +00:00
if (table_join->strictness() == JoinStrictness::All && (is_right || is_full))
{
2021-09-09 09:47:08 +00:00
size_t left_columns_count = left_sample_block.columns();
chassert(left_columns_count == result_sample_block.columns() - right_columns_to_add.columns());
auto non_joined = std::make_unique<NotJoinedMerge>(*this, max_block_size);
return std::make_unique<NotJoinedBlocks>(std::move(non_joined), result_sample_block, left_columns_count, *table_join);
}
return nullptr;
}
bool MergeJoin::needConditionJoinColumn() const
{
return !mask_column_name_left.empty() || !mask_column_name_right.empty();
}
void MergeJoin::addConditionJoinColumn(Block & block, JoinTableSide block_side) const
{
if (needConditionJoinColumn())
{
if (block_side == JoinTableSide::Left)
block.insert(condtitionColumnToJoinable(block, mask_column_name_left, block_side));
else
block.insert(condtitionColumnToJoinable(block, mask_column_name_right, block_side));
}
}
bool MergeJoin::isSupported(const std::shared_ptr<TableJoin> & table_join)
{
auto kind = table_join->kind();
auto strictness = table_join->strictness();
2022-07-29 17:35:15 +00:00
bool is_any = (strictness == JoinStrictness::Any);
bool is_all = (strictness == JoinStrictness::All);
bool is_semi = (strictness == JoinStrictness::Semi);
bool all_join = is_all && (isInner(kind) || isLeft(kind) || isRight(kind) || isFull(kind));
bool special_left = isInnerOrLeft(kind) && (is_any || is_semi);
return (all_join || special_left) && table_join->oneDisjunct();
}
MergeJoin::RightBlockInfo::RightBlockInfo(std::shared_ptr<Block> block_, size_t block_number_, size_t & skip_, RowBitmaps * bitmaps_)
: block(block_)
, block_number(block_number_)
, skip(skip_)
, bitmaps(bitmaps_)
{}
MergeJoin::RightBlockInfo::~RightBlockInfo()
{
if (used_bitmap)
bitmaps->applyOr(block_number, std::move(*used_bitmap));
}
void MergeJoin::RightBlockInfo::setUsed(size_t start, size_t length)
{
if (bitmaps)
{
if (!used_bitmap)
used_bitmap = std::make_unique<std::vector<bool>>(block->rows(), false);
for (size_t i = 0; i < length; ++i)
(*used_bitmap)[start + i] = true;
}
}
2019-09-09 19:43:37 +00:00
}