mirror of
https://github.com/mariadb-corporation/mariadb-columnstore-engine.git
synced 2025-05-08 15:01:34 +03:00
977 lines
31 KiB
C++
977 lines
31 KiB
C++
/*
|
|
Copyright (c) 2019 MariaDB
|
|
|
|
This program is free software; you can redistribute it and/or modify
|
|
it under the terms of the GNU General Public License as published by
|
|
the Free Software Foundation; version 2 of the License.
|
|
|
|
This program is distributed in the hope that it will be useful,
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
GNU General Public License for more details.
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
along with this program; if not, write to the Free Software
|
|
Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA */
|
|
|
|
#include <typeinfo>
|
|
#include <string>
|
|
|
|
#include "ha_mcs_pushdown.h"
|
|
|
|
void check_walk(const Item* item, void* arg);
|
|
|
|
|
|
void disable_indices_for_CEJ(THD *thd_)
|
|
{
|
|
TABLE_LIST* global_list;
|
|
for (global_list = thd_->lex->query_tables; global_list; global_list = global_list->next_global)
|
|
{
|
|
// MCOL-652 - doing this with derived tables can cause bad things to happen
|
|
if (!global_list->derived)
|
|
{
|
|
global_list->index_hints= new (thd_->mem_root) List<Index_hint>();
|
|
|
|
global_list->index_hints->push_front(new (thd_->mem_root)
|
|
Index_hint(INDEX_HINT_USE,
|
|
INDEX_HINT_MASK_JOIN,
|
|
NULL,
|
|
0), thd_->mem_root);
|
|
|
|
}
|
|
}
|
|
}
|
|
|
|
void mutate_optimizer_flags(THD *thd_)
|
|
{
|
|
// MCOL-2178 Disable all optimizer flags as it was in the fork.
|
|
// CS restores it later in SH::scan_end() and in case of an error
|
|
// in SH::scan_init()
|
|
|
|
ulonglong flags_to_set = OPTIMIZER_SWITCH_IN_TO_EXISTS |
|
|
OPTIMIZER_SWITCH_COND_PUSHDOWN_FOR_DERIVED |
|
|
OPTIMIZER_SWITCH_COND_PUSHDOWN_FROM_HAVING;
|
|
|
|
if (thd_->variables.optimizer_switch == flags_to_set)
|
|
return;
|
|
|
|
set_original_optimizer_flags(thd_->variables.optimizer_switch, thd_);
|
|
thd_->variables.optimizer_switch = flags_to_set;
|
|
}
|
|
|
|
void restore_optimizer_flags(THD *thd_)
|
|
{
|
|
// MCOL-2178 restore original optimizer flags after SH, DH
|
|
ulonglong orig_flags = get_original_optimizer_flags(thd_);
|
|
if (orig_flags)
|
|
{
|
|
thd_->variables.optimizer_switch = orig_flags;
|
|
set_original_optimizer_flags(0, thd_);
|
|
}
|
|
}
|
|
|
|
/*@brief find_tables - This traverses Item */
|
|
/**********************************************************
|
|
* DESCRIPTION:
|
|
* This f() pushes TABLE of an Item_field to a list
|
|
* provided. The list is used for JOIN predicate check in
|
|
* is_joinkeys_predicate().
|
|
* PARAMETERS:
|
|
* Item * Item to check
|
|
* RETURN:
|
|
***********************************************************/
|
|
void find_tables(const Item* item, void* arg)
|
|
{
|
|
if (typeid(*item) == typeid(Item_field))
|
|
{
|
|
Item_field *ifp= (Item_field*)item;
|
|
List<TABLE> *tables_list= (List<TABLE>*)arg;
|
|
tables_list->push_back(ifp->field->table);
|
|
}
|
|
}
|
|
|
|
/*@brief is_joinkeys_predicate - This traverses Item_func*/
|
|
/***********************************************************
|
|
* DESCRIPTION:
|
|
* This f() walks Item_func and checks whether it contains
|
|
* JOIN predicate
|
|
* PARAMETERS:
|
|
* Item_func * Item to walk
|
|
* RETURN:
|
|
* BOOL false if Item_func isn't a JOIN predicate
|
|
* BOOL true otherwise
|
|
***********************************************************/
|
|
bool is_joinkeys_predicate(const Item_func *ifp)
|
|
{
|
|
bool result = false;
|
|
if(ifp->argument_count() == 2)
|
|
{
|
|
if (ifp->arguments()[0]->type() == Item::FIELD_ITEM &&
|
|
ifp->arguments()[1]->type() == Item::FIELD_ITEM)
|
|
{
|
|
Item_field* left= reinterpret_cast<Item_field*>(ifp->arguments()[0]);
|
|
Item_field* right= reinterpret_cast<Item_field*>(ifp->arguments()[1]);
|
|
|
|
// If MDB crashes here with non-fixed Item_field and field == NULL
|
|
// there must be a check over on_expr for a different SELECT_LEX.
|
|
// e.g. checking subquery with ON from upper query.
|
|
if (left->field->table != right->field->table)
|
|
{
|
|
result= true;
|
|
}
|
|
}
|
|
else
|
|
{
|
|
List<TABLE>llt; List<TABLE>rlt;
|
|
Item *left= ifp->arguments()[0];
|
|
Item *right= ifp->arguments()[1];
|
|
// Search for tables inside left and right expressions
|
|
// and compare them
|
|
left->traverse_cond(find_tables, (void*)&llt, Item::POSTFIX);
|
|
right->traverse_cond(find_tables, (void*)&rlt, Item::POSTFIX);
|
|
// TODO Find the way to have more then one element or prove
|
|
// the idea is useless.
|
|
if (llt.elements && rlt.elements && (llt.elem(0) != rlt.elem(0)))
|
|
{
|
|
result= true;
|
|
}
|
|
}
|
|
}
|
|
return result;
|
|
}
|
|
|
|
/*@brief find_nonequi_join - This traverses Item */
|
|
/************************************************************
|
|
* DESCRIPTION:
|
|
* This f() walks Item and looks for a non-equi join
|
|
* predicates
|
|
* PARAMETERS:
|
|
* Item * Item to walk
|
|
* RETURN:
|
|
***********************************************************/
|
|
void find_nonequi_join(const Item* item, void *arg)
|
|
{
|
|
bool *unsupported_feature = reinterpret_cast<bool*>(arg);
|
|
if ( *unsupported_feature )
|
|
return;
|
|
|
|
if (item->type() == Item::FUNC_ITEM)
|
|
{
|
|
const Item_func* ifp = reinterpret_cast<const Item_func*>(item);
|
|
//TODO Check for IN
|
|
//NOT IN + correlated subquery
|
|
if (ifp->functype() != Item_func::EQ_FUNC)
|
|
{
|
|
if (is_joinkeys_predicate(ifp))
|
|
*unsupported_feature = true;
|
|
else if (ifp->functype() == Item_func::NOT_FUNC
|
|
&& ifp->arguments()[0]->type() == Item::EXPR_CACHE_ITEM)
|
|
{
|
|
check_walk(ifp->arguments()[0], arg);
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
/*@brief find_join - This traverses Item */
|
|
/************************************************************
|
|
* DESCRIPTION:
|
|
* This f() walks traverses Item looking for JOIN, SEMI-JOIN
|
|
* predicates.
|
|
* PARAMETERS:
|
|
* Item * Item to traverse
|
|
* RETURN:
|
|
***********************************************************/
|
|
void find_join(const Item* item, void* arg)
|
|
{
|
|
bool *unsupported_feature = reinterpret_cast<bool*>(arg);
|
|
if ( *unsupported_feature )
|
|
return;
|
|
|
|
if (item->type() == Item::FUNC_ITEM)
|
|
{
|
|
const Item_func* ifp = reinterpret_cast<const Item_func*>(item);
|
|
//TODO Check for IN
|
|
//NOT IN + correlated subquery
|
|
{
|
|
if (is_joinkeys_predicate(ifp))
|
|
*unsupported_feature = true;
|
|
else if (ifp->functype() == Item_func::NOT_FUNC
|
|
&& ifp->arguments()[0]->type() == Item::EXPR_CACHE_ITEM)
|
|
{
|
|
check_walk(ifp->arguments()[0], arg);
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
/*@brief save_join_predicate - This traverses Item */
|
|
/************************************************************
|
|
* DESCRIPTION:
|
|
* This f() walks Item and saves found JOIN predicates into
|
|
* a List. The list will be used for a simple CROSS JOIN
|
|
* check in create_DH.
|
|
* PARAMETERS:
|
|
* Item * Item to walk
|
|
* RETURN:
|
|
***********************************************************/
|
|
void save_join_predicates(const Item* item, void* arg)
|
|
{
|
|
if (item->type() == Item::FUNC_ITEM)
|
|
{
|
|
const Item_func* ifp= reinterpret_cast<const Item_func*>(item);
|
|
if (is_joinkeys_predicate(ifp))
|
|
{
|
|
List<Item> *join_preds_list= (List<Item>*)arg;
|
|
join_preds_list->push_back(const_cast<Item*>(item));
|
|
}
|
|
}
|
|
}
|
|
|
|
/*@brief check_walk - It traverses filter conditions */
|
|
/************************************************************
|
|
* DESCRIPTION:
|
|
* It traverses filter predicates looking for unsupported
|
|
* JOIN types: non-equi JOIN, e.g t1.c1 > t2.c2;
|
|
* logical OR.
|
|
* PARAMETERS:
|
|
* thd - THD pointer.
|
|
* derived - TABLE_LIST* to work with.
|
|
* RETURN:
|
|
***********************************************************/
|
|
void check_walk(const Item* item, void* arg)
|
|
{
|
|
bool *unsupported_feature = reinterpret_cast<bool*>(arg);
|
|
if ( *unsupported_feature )
|
|
return;
|
|
|
|
switch (item->type())
|
|
{
|
|
case Item::FUNC_ITEM:
|
|
{
|
|
find_nonequi_join(item, arg);
|
|
break;
|
|
}
|
|
case Item::EXPR_CACHE_ITEM: // IN + correlated subquery
|
|
{
|
|
const Item_cache_wrapper* icw = reinterpret_cast<const Item_cache_wrapper*>(item);
|
|
if ( icw->get_orig_item()->type() == Item::FUNC_ITEM )
|
|
{
|
|
const Item_func *ifp = reinterpret_cast<const Item_func*>(icw->get_orig_item());
|
|
if ( ifp->argument_count() == 2 &&
|
|
( ifp->arguments()[0]->type() == Item::Item::SUBSELECT_ITEM
|
|
|| ifp->arguments()[1]->type() == Item::Item::SUBSELECT_ITEM ))
|
|
{
|
|
*unsupported_feature = true;
|
|
return;
|
|
}
|
|
}
|
|
break;
|
|
}
|
|
case Item::COND_ITEM: // OR contains JOIN conds thats is unsupported yet
|
|
{
|
|
Item_cond* icp = (Item_cond*)item;
|
|
if ( is_cond_or(icp) )
|
|
{
|
|
bool left_flag= false, right_flag= false;
|
|
if (icp->argument_list()->elements >= 2)
|
|
{
|
|
Item *left; Item *right;
|
|
List_iterator<Item> li(*icp->argument_list());
|
|
left = li++; right = li++;
|
|
left->traverse_cond(find_join, (void*)&left_flag, Item::POSTFIX);
|
|
right->traverse_cond(find_join, (void*)&right_flag, Item::POSTFIX);
|
|
if (left_flag && right_flag)
|
|
{
|
|
*unsupported_feature = true;
|
|
}
|
|
}
|
|
}
|
|
break;
|
|
}
|
|
default:
|
|
{
|
|
break;
|
|
}
|
|
}
|
|
}
|
|
|
|
/*@brief check_user_var_func - This traverses Item */
|
|
/************************************************************
|
|
* DESCRIPTION:
|
|
* This f() walks Item looking for the existence of
|
|
* "set_user_var" or "get_user_var" functions.
|
|
* PARAMETERS:
|
|
* Item * Item to traverse
|
|
* RETURN:
|
|
***********************************************************/
|
|
void check_user_var_func(const Item* item, void* arg)
|
|
{
|
|
bool* unsupported_feature = reinterpret_cast<bool*>(arg);
|
|
|
|
if (*unsupported_feature)
|
|
return;
|
|
|
|
if (item->type() == Item::FUNC_ITEM)
|
|
{
|
|
const Item_func* ifp = reinterpret_cast<const Item_func*>(item);
|
|
std::string funcname = ifp->func_name();
|
|
if (funcname == "set_user_var" || funcname == "get_user_var")
|
|
{
|
|
*unsupported_feature = true;
|
|
}
|
|
}
|
|
}
|
|
|
|
void item_check(Item* item, bool* unsupported_feature)
|
|
{
|
|
switch (item->type())
|
|
{
|
|
case Item::COND_ITEM:
|
|
{
|
|
Item_cond *icp = reinterpret_cast<Item_cond*>(item);
|
|
icp->traverse_cond(check_user_var_func, unsupported_feature, Item::POSTFIX);
|
|
break;
|
|
}
|
|
case Item::FUNC_ITEM:
|
|
{
|
|
Item_func *ifp = reinterpret_cast<Item_func*>(item);
|
|
ifp->traverse_cond(check_user_var_func, unsupported_feature, Item::POSTFIX);
|
|
break;
|
|
}
|
|
default:
|
|
{
|
|
item->traverse_cond(check_user_var_func, unsupported_feature, Item::POSTFIX);
|
|
break;
|
|
}
|
|
}
|
|
}
|
|
|
|
/*@brief create_columnstore_group_by_handler- Creates handler*/
|
|
/***********************************************************
|
|
* DESCRIPTION:
|
|
* Creates a group_by pushdown handler if there is no:
|
|
* non-equi JOIN, e.g * t1.c1 > t2.c2
|
|
* logical OR in the filter predicates
|
|
* Impossible WHERE
|
|
* Impossible HAVING
|
|
* and there is either GROUP BY or aggregation function
|
|
* exists at the top level.
|
|
* Valid queries with the last two crashes the server if
|
|
* processed.
|
|
* Details are in server/sql/group_by_handler.h
|
|
* PARAMETERS:
|
|
* thd - THD pointer
|
|
* query - Query structure LFM in group_by_handler.h
|
|
* RETURN:
|
|
* group_by_handler if success
|
|
* NULL in other case
|
|
***********************************************************/
|
|
group_by_handler*
|
|
create_columnstore_group_by_handler(THD* thd, Query* query)
|
|
{
|
|
ha_mcs_group_by_handler* handler = NULL;
|
|
// Disable GBH.
|
|
return handler;
|
|
|
|
// same as thd->lex->current_select
|
|
SELECT_LEX *select_lex = query->from->select_lex;
|
|
|
|
// MCOL-2178 Disable SP support in the group_by_handler for now
|
|
// Check the session variable value to enable/disable use of
|
|
// group_by_handler. There is no GBH if SH works for the query.
|
|
if (get_select_handler(thd) || !get_group_by_handler(thd) || (thd->lex)->sphead)
|
|
{
|
|
return handler;
|
|
}
|
|
|
|
// Create a handler if query is valid. See comments for details.
|
|
if ( query->group_by || select_lex->with_sum_func )
|
|
{
|
|
bool unsupported_feature = false;
|
|
// revisit SELECT_LEX for all units
|
|
for(TABLE_LIST* tl = query->from; !unsupported_feature && tl; tl = tl->next_global)
|
|
{
|
|
select_lex = tl->select_lex;
|
|
// Correlation subquery. Comming soon so fail on this yet.
|
|
unsupported_feature = select_lex->is_correlated;
|
|
|
|
// Impossible HAVING or WHERE
|
|
if (!unsupported_feature &&
|
|
(select_lex->having_value == Item::COND_FALSE
|
|
|| select_lex->cond_value == Item::COND_FALSE ))
|
|
{
|
|
unsupported_feature = true;
|
|
}
|
|
|
|
// Unsupported JOIN conditions
|
|
if ( !unsupported_feature )
|
|
{
|
|
JOIN *join = select_lex->join;
|
|
Item_cond *icp = 0;
|
|
|
|
if (join != 0)
|
|
icp = reinterpret_cast<Item_cond*>(join->conds);
|
|
|
|
if (unsupported_feature == false && icp)
|
|
{
|
|
icp->traverse_cond(check_walk, &unsupported_feature, Item::POSTFIX);
|
|
}
|
|
|
|
// Optimizer could move some join conditions into where
|
|
if (select_lex->where != 0)
|
|
icp = reinterpret_cast<Item_cond*>(select_lex->where);
|
|
|
|
if (unsupported_feature == false && icp)
|
|
{
|
|
icp->traverse_cond(check_walk, &unsupported_feature, Item::POSTFIX);
|
|
}
|
|
}
|
|
|
|
// Iterate and traverse through the item list and do not create GBH
|
|
// if the unsupported (set/get_user_var) functions are present.
|
|
List_iterator_fast<Item> it(select_lex->item_list);
|
|
Item* item;
|
|
while ((item = it++))
|
|
{
|
|
item_check(item, &unsupported_feature);
|
|
if (unsupported_feature)
|
|
{
|
|
return handler;
|
|
}
|
|
}
|
|
} // unsupported features check ends here
|
|
|
|
if (!unsupported_feature)
|
|
{
|
|
handler = new ha_mcs_group_by_handler(thd, query);
|
|
|
|
// Notify the server, that CS handles GROUP BY, ORDER BY and HAVING clauses.
|
|
query->group_by = NULL;
|
|
query->order_by = NULL;
|
|
query->having = NULL;
|
|
}
|
|
}
|
|
|
|
return handler;
|
|
}
|
|
|
|
/*@brief create_columnstore_derived_handler- Creates handler*/
|
|
/************************************************************
|
|
* DESCRIPTION:
|
|
* Creates a derived handler if there is no non-equi JOIN, e.g
|
|
* t1.c1 > t2.c2 and logical OR in the filter predicates.
|
|
* More details in server/sql/derived_handler.h
|
|
* PARAMETERS:
|
|
* thd - THD pointer.
|
|
* derived - TABLE_LIST* to work with.
|
|
* RETURN:
|
|
* derived_handler if possible
|
|
* NULL in other case
|
|
***********************************************************/
|
|
derived_handler*
|
|
create_columnstore_derived_handler(THD* thd, TABLE_LIST *derived)
|
|
{
|
|
ha_columnstore_derived_handler* handler = NULL;
|
|
|
|
// MCOL-2178 Disable SP support in the derived_handler for now
|
|
// Check the session variable value to enable/disable use of
|
|
// derived_handler
|
|
if (!get_derived_handler(thd) || (thd->lex)->sphead)
|
|
{
|
|
return handler;
|
|
}
|
|
|
|
// Disable derived handler for prepared statements
|
|
if (thd->stmt_arena && thd->stmt_arena->is_stmt_execute())
|
|
return handler;
|
|
|
|
SELECT_LEX_UNIT *unit= derived->derived;
|
|
SELECT_LEX *sl= unit->first_select();
|
|
|
|
bool unsupported_feature = false;
|
|
|
|
// Impossible HAVING or WHERE
|
|
if ( unsupported_feature
|
|
|| sl->having_value == Item::COND_FALSE
|
|
|| sl->cond_value == Item::COND_FALSE )
|
|
{
|
|
unsupported_feature = true;
|
|
}
|
|
|
|
// JOIN expression from WHERE, ON expressions
|
|
JOIN* join= sl->join;
|
|
//TODO DRRTUY Make a proper tree traverse
|
|
//To search for CROSS JOIN-s we use tree invariant
|
|
//G(V,E) where [V] = [E]+1
|
|
List<Item> join_preds_list;
|
|
TABLE_LIST *tl;
|
|
for (tl = sl->get_table_list(); !unsupported_feature && tl; tl = tl->next_local)
|
|
{
|
|
Item_cond* where_icp= 0;
|
|
Item_cond* on_icp= 0;
|
|
if (tl->where != 0)
|
|
{
|
|
where_icp= reinterpret_cast<Item_cond*>(tl->where);
|
|
}
|
|
|
|
if (where_icp)
|
|
{
|
|
where_icp->traverse_cond(check_walk, &unsupported_feature, Item::POSTFIX);
|
|
where_icp->traverse_cond(save_join_predicates, &join_preds_list, Item::POSTFIX);
|
|
}
|
|
|
|
// Looking for JOIN with ON expression through
|
|
// TABLE_LIST in FROM until CS meets unsupported feature
|
|
if (tl->on_expr)
|
|
{
|
|
on_icp= reinterpret_cast<Item_cond*>(tl->on_expr);
|
|
on_icp->traverse_cond(check_walk, &unsupported_feature, Item::POSTFIX);
|
|
on_icp->traverse_cond(save_join_predicates, &join_preds_list, Item::POSTFIX);
|
|
}
|
|
|
|
// Iterate and traverse through the item list and do not create DH
|
|
// if the unsupported (set/get_user_var) functions are present.
|
|
List_iterator_fast<Item> it(tl->select_lex->item_list);
|
|
Item* item;
|
|
while ((item = it++))
|
|
{
|
|
item_check(item, &unsupported_feature);
|
|
if (unsupported_feature)
|
|
{
|
|
return handler;
|
|
}
|
|
}
|
|
}
|
|
|
|
if (!unsupported_feature && !join_preds_list.elements
|
|
&& join && join->conds)
|
|
{
|
|
Item_cond* conds= reinterpret_cast<Item_cond*>(join->conds);
|
|
conds->traverse_cond(check_walk, &unsupported_feature, Item::POSTFIX);
|
|
conds->traverse_cond(save_join_predicates, &join_preds_list, Item::POSTFIX);
|
|
}
|
|
|
|
// CROSS JOIN w/o conditions isn't supported until MCOL-301
|
|
// is ready.
|
|
if (!unsupported_feature && join
|
|
&& join->table_count >= 2 && !join_preds_list.elements)
|
|
{
|
|
unsupported_feature= true;
|
|
}
|
|
|
|
// CROSS JOIN with not enough JOIN predicates
|
|
if(!unsupported_feature && join
|
|
&& join_preds_list.elements < join->table_count-1)
|
|
{
|
|
unsupported_feature= true;
|
|
}
|
|
|
|
if ( !unsupported_feature )
|
|
handler= new ha_columnstore_derived_handler(thd, derived);
|
|
|
|
return handler;
|
|
}
|
|
|
|
/***********************************************************
|
|
* DESCRIPTION:
|
|
* derived_handler constructor
|
|
* PARAMETERS:
|
|
* thd - THD pointer.
|
|
* tbl - tables involved.
|
|
***********************************************************/
|
|
ha_columnstore_derived_handler::ha_columnstore_derived_handler(THD *thd,
|
|
TABLE_LIST *dt)
|
|
: derived_handler(thd, mcs_hton)
|
|
{
|
|
derived = dt;
|
|
}
|
|
|
|
/***********************************************************
|
|
* DESCRIPTION:
|
|
* derived_handler destructor
|
|
***********************************************************/
|
|
ha_columnstore_derived_handler::~ha_columnstore_derived_handler()
|
|
{}
|
|
|
|
/*@brief Initiate the query for derived_handler */
|
|
/***********************************************************
|
|
* DESCRIPTION:
|
|
* Execute the query and saves derived table query.
|
|
* PARAMETERS:
|
|
*
|
|
* RETURN:
|
|
* rc as int
|
|
***********************************************************/
|
|
int ha_columnstore_derived_handler::init_scan()
|
|
{
|
|
DBUG_ENTER("ha_columnstore_derived_handler::init_scan");
|
|
|
|
mcs_handler_info mhi = mcs_handler_info(reinterpret_cast<void*>(this), DERIVED);
|
|
// this::table is the place for the result set
|
|
int rc = ha_mcs_impl_pushdown_init(&mhi, table);
|
|
|
|
DBUG_RETURN(rc);
|
|
}
|
|
|
|
/*@brief Fetch next row for derived_handler */
|
|
/***********************************************************
|
|
* DESCRIPTION:
|
|
* Fetches next row and saves it in the temp table
|
|
* PARAMETERS:
|
|
*
|
|
* RETURN:
|
|
* rc as int
|
|
*
|
|
***********************************************************/
|
|
int ha_columnstore_derived_handler::next_row()
|
|
{
|
|
DBUG_ENTER("ha_columnstore_derived_handler::next_row");
|
|
|
|
int rc = ha_mcs_impl_rnd_next(table->record[0], table);
|
|
|
|
DBUG_RETURN(rc);
|
|
}
|
|
|
|
/*@brief Finishes the scan and clean it up */
|
|
/***********************************************************
|
|
* DESCRIPTION:
|
|
* Finishes the scan for derived handler
|
|
* PARAMETERS:
|
|
*
|
|
* RETURN:
|
|
* rc as int
|
|
*
|
|
***********************************************************/
|
|
int ha_columnstore_derived_handler::end_scan()
|
|
{
|
|
DBUG_ENTER("ha_columnstore_derived_handler::end_scan");
|
|
|
|
int rc = ha_mcs_impl_rnd_end(table, true);
|
|
|
|
DBUG_RETURN(rc);
|
|
}
|
|
|
|
void ha_columnstore_derived_handler::print_error(int, unsigned long)
|
|
{
|
|
}
|
|
|
|
/***********************************************************
|
|
* DESCRIPTION:
|
|
* GROUP BY handler constructor
|
|
* PARAMETERS:
|
|
* thd - THD pointer.
|
|
* query - Query describing structure
|
|
***********************************************************/
|
|
ha_mcs_group_by_handler::ha_mcs_group_by_handler(THD* thd_arg, Query* query)
|
|
: group_by_handler(thd_arg, mcs_hton),
|
|
select(query->select),
|
|
table_list(query->from),
|
|
distinct(query->distinct),
|
|
where(query->where),
|
|
group_by(query->group_by),
|
|
order_by(query->order_by),
|
|
having(query->having)
|
|
{
|
|
}
|
|
|
|
/***********************************************************
|
|
* DESCRIPTION:
|
|
* GROUP BY destructor
|
|
***********************************************************/
|
|
ha_mcs_group_by_handler::~ha_mcs_group_by_handler()
|
|
{
|
|
}
|
|
|
|
/***********************************************************
|
|
* DESCRIPTION:
|
|
* Makes the plan and prepares the data
|
|
* RETURN:
|
|
* int rc
|
|
***********************************************************/
|
|
int ha_mcs_group_by_handler::init_scan()
|
|
{
|
|
DBUG_ENTER("ha_mcs_group_by_handler::init_scan");
|
|
|
|
mcs_handler_info mhi = mcs_handler_info(reinterpret_cast<void*>(this), GROUP_BY);
|
|
int rc = ha_mcs_impl_group_by_init(&mhi, table);
|
|
|
|
DBUG_RETURN(rc);
|
|
}
|
|
|
|
/***********************************************************
|
|
* DESCRIPTION:
|
|
* Fetches a row and saves it to a temporary table.
|
|
* RETURN:
|
|
* int rc
|
|
***********************************************************/
|
|
int ha_mcs_group_by_handler::next_row()
|
|
{
|
|
DBUG_ENTER("ha_mcs_group_by_handler::next_row");
|
|
int rc = ha_mcs_impl_group_by_next(table);
|
|
|
|
DBUG_RETURN(rc);
|
|
}
|
|
|
|
/***********************************************************
|
|
* DESCRIPTION:
|
|
* Shuts the scan down.
|
|
* RETURN:
|
|
* int rc
|
|
***********************************************************/
|
|
int ha_mcs_group_by_handler::end_scan()
|
|
{
|
|
DBUG_ENTER("ha_mcs_group_by_handler::end_scan");
|
|
int rc = ha_mcs_impl_group_by_end(table);
|
|
|
|
DBUG_RETURN(rc);
|
|
}
|
|
|
|
/*@brief create_columnstore_select_handler- Creates handler*/
|
|
/************************************************************
|
|
* DESCRIPTION:
|
|
* Creates a select handler if there is no non-equi JOIN, e.g
|
|
* t1.c1 > t2.c2 and logical OR in the filter predicates.
|
|
* More details in server/sql/select_handler.h
|
|
* PARAMETERS:
|
|
* thd - THD pointer.
|
|
* sel - SELECT_LEX* that describes the query.
|
|
* RETURN:
|
|
* select_handler if possible
|
|
* NULL in other case
|
|
***********************************************************/
|
|
select_handler*
|
|
create_columnstore_select_handler(THD* thd, SELECT_LEX* select_lex)
|
|
{
|
|
ha_columnstore_select_handler* handler = NULL;
|
|
|
|
// Check the session variable value to enable/disable use of
|
|
// select_handler
|
|
if (!get_select_handler(thd) ||
|
|
((thd->lex)->sphead && !get_select_handler_in_stored_procedures(thd)))
|
|
{
|
|
return handler;
|
|
}
|
|
|
|
// Flag to indicate if this is a prepared statement
|
|
bool isPS = thd->stmt_arena && thd->stmt_arena->is_stmt_execute();
|
|
|
|
// Disable processing of select_result_interceptor classes
|
|
// which intercept and transform result set rows. E.g.:
|
|
// select a,b into @a1, @a2 from t1;
|
|
if (((thd->lex)->result &&
|
|
!((select_dumpvar *)(thd->lex)->result)->var_list.is_empty()) &&
|
|
(!isPS))
|
|
{
|
|
return handler;
|
|
}
|
|
|
|
// Select_handler couldn't properly process UPSERT..SELECT
|
|
if ((thd->lex)->sql_command == SQLCOM_INSERT_SELECT
|
|
&& thd->lex->duplicates == DUP_UPDATE)
|
|
{
|
|
return handler;
|
|
}
|
|
|
|
bool unsupported_feature = false;
|
|
// Iterate and traverse through the item list and do not create SH
|
|
// if the unsupported (set/get_user_var) functions are present.
|
|
TABLE_LIST* table_ptr = select_lex->get_table_list();
|
|
for (; !unsupported_feature && table_ptr; table_ptr = table_ptr->next_global)
|
|
{
|
|
List_iterator_fast<Item> it(table_ptr->select_lex->item_list);
|
|
Item* item;
|
|
while ((item = it++))
|
|
{
|
|
item_check(item, &unsupported_feature);
|
|
if (unsupported_feature)
|
|
{
|
|
return handler;
|
|
}
|
|
}
|
|
}
|
|
|
|
// We apply dedicated rewrites from MDB here so MDB's data structures
|
|
// becomes dirty and CS has to raise an error in case of any problem
|
|
// or unsupported feature.
|
|
handler= new ha_columnstore_select_handler(thd, select_lex);
|
|
JOIN *join= select_lex->join;
|
|
{
|
|
Query_arena *arena, backup;
|
|
arena= thd->activate_stmt_arena_if_needed(&backup);
|
|
|
|
disable_indices_for_CEJ(thd);
|
|
|
|
if (arena)
|
|
thd->restore_active_arena(arena, &backup);
|
|
|
|
if (select_lex->handle_derived(thd->lex, DT_MERGE))
|
|
{
|
|
unsupported_feature = true;
|
|
handler->err_msg.assign("create_columnstore_select_handler(): \
|
|
Internal error occured in SL::handle_derived()");
|
|
}
|
|
|
|
COND *conds = nullptr;
|
|
if (!unsupported_feature)
|
|
{
|
|
SELECT_LEX *sel= select_lex;
|
|
// Rewrite once for PS
|
|
// Refer to JOIN::optimize_inner() in sql/sql_select.cc
|
|
// for details on the optimizations performed in this block.
|
|
if (sel->first_cond_optimization)
|
|
{
|
|
create_explain_query_if_not_exists(thd->lex, thd->mem_root);
|
|
arena= thd->activate_stmt_arena_if_needed(&backup);
|
|
sel->first_cond_optimization= false;
|
|
|
|
conds= simplify_joins_mcs(join, select_lex->join_list,
|
|
join->conds, true, false);
|
|
|
|
build_bitmap_for_nested_joins_mcs(select_lex->join_list, 0);
|
|
sel->where= conds;
|
|
|
|
if (isPS)
|
|
{
|
|
sel->prep_where= conds ? conds->copy_andor_structure(thd) : 0;
|
|
|
|
if (in_subselect_rewrite(sel))
|
|
{
|
|
unsupported_feature = true;
|
|
handler->err_msg.assign("create_columnstore_select_handler(): \
|
|
Internal error occured in in_subselect_rewrite()");
|
|
}
|
|
}
|
|
|
|
select_lex->update_used_tables();
|
|
|
|
if (arena)
|
|
thd->restore_active_arena(arena, &backup);
|
|
|
|
// Unset SL::first_cond_optimization
|
|
opt_flag_unset_PS(sel);
|
|
}
|
|
}
|
|
|
|
if (!unsupported_feature && conds)
|
|
{
|
|
#ifdef DEBUG_WALK_COND
|
|
conds->traverse_cond(cal_impl_if::debug_walk, NULL, Item::POSTFIX);
|
|
#endif
|
|
join->conds = conds;
|
|
}
|
|
|
|
// MCOL-3747 IN-TO-EXISTS rewrite inside MDB didn't add
|
|
// an equi-JOIN condition.
|
|
if (!unsupported_feature && !isPS && in_subselect_rewrite(select_lex))
|
|
{
|
|
unsupported_feature = true;
|
|
handler->err_msg.assign("create_columnstore_select_handler(): \
|
|
Internal error occured in in_subselect_rewrite()");
|
|
}
|
|
}
|
|
|
|
// We shouldn't raise error now so set an error to raise it later in init_SH.
|
|
handler->rewrite_error= unsupported_feature;
|
|
// Return SH even if init fails b/c CS changed SELECT_LEX structures
|
|
// with simplify_joins_mcs()
|
|
return handler;
|
|
}
|
|
|
|
/***********************************************************
|
|
* DESCRIPTION:
|
|
* select_handler constructor
|
|
* PARAMETERS:
|
|
* thd - THD pointer.
|
|
* select_lex - sematic tree for the query.
|
|
***********************************************************/
|
|
ha_columnstore_select_handler::ha_columnstore_select_handler(THD *thd,
|
|
SELECT_LEX* select_lex)
|
|
: select_handler(thd, mcs_hton)
|
|
{
|
|
select= select_lex;
|
|
rewrite_error= false;
|
|
}
|
|
|
|
/***********************************************************
|
|
* DESCRIPTION:
|
|
* select_handler constructor
|
|
***********************************************************/
|
|
ha_columnstore_select_handler::~ha_columnstore_select_handler()
|
|
{
|
|
}
|
|
|
|
/*@brief Initiate the query for select_handler */
|
|
/***********************************************************
|
|
* DESCRIPTION:
|
|
* Execute the query and saves select table query.
|
|
* PARAMETERS:
|
|
*
|
|
* RETURN:
|
|
* rc as int
|
|
***********************************************************/
|
|
int ha_columnstore_select_handler::init_scan()
|
|
{
|
|
DBUG_ENTER("ha_columnstore_select_handler::init_scan");
|
|
|
|
int rc = 0;
|
|
|
|
if (!rewrite_error)
|
|
{
|
|
// handler::table is the place for the result set
|
|
// Skip execution for EXPLAIN queries
|
|
if (!thd->lex->describe)
|
|
{
|
|
mcs_handler_info mhi= mcs_handler_info(
|
|
reinterpret_cast<void*>(this), SELECT);
|
|
rc= ha_mcs_impl_pushdown_init(&mhi, this->table);
|
|
}
|
|
}
|
|
else
|
|
{
|
|
my_printf_error(ER_INTERNAL_ERROR, "%s", MYF(0), err_msg.c_str());
|
|
sql_print_error("%s", err_msg.c_str());
|
|
rc= ER_INTERNAL_ERROR;
|
|
}
|
|
|
|
DBUG_RETURN(rc);
|
|
}
|
|
|
|
/*@brief Fetch next row for select_handler */
|
|
/***********************************************************
|
|
* DESCRIPTION:
|
|
* Fetches next row and saves it in the temp table
|
|
* PARAMETERS:
|
|
*
|
|
* RETURN:
|
|
* rc as int
|
|
*
|
|
***********************************************************/
|
|
int ha_columnstore_select_handler::next_row()
|
|
{
|
|
DBUG_ENTER("ha_columnstore_select_handler::next_row");
|
|
|
|
int rc= ha_mcs_impl_select_next(table->record[0], table);
|
|
|
|
DBUG_RETURN(rc);
|
|
}
|
|
|
|
/*@brief Finishes the scan and clean it up */
|
|
/***********************************************************
|
|
* DESCRIPTION:
|
|
* Finishes the scan for select handler
|
|
* PARAMETERS:
|
|
*
|
|
* RETURN:
|
|
* rc as int
|
|
*
|
|
***********************************************************/
|
|
int ha_columnstore_select_handler::end_scan()
|
|
{
|
|
DBUG_ENTER("ha_columnstore_select_handler::end_scan");
|
|
|
|
int rc = ha_mcs_impl_rnd_end(table, true);
|
|
|
|
DBUG_RETURN(rc);
|
|
}
|