StoneDB/sql/sql_prepare.h

522 lines
16 KiB
C++

#ifndef SQL_PREPARE_H
#define SQL_PREPARE_H
/* Copyright (c) 2009, 2021, Oracle and/or its affiliates.
This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License, version 2.0,
as published by the Free Software Foundation.
This program is also distributed with certain software (including
but not limited to OpenSSL) that is licensed under separate terms,
as designated in a particular file or component or in included license
documentation. The authors of MySQL hereby grant you an additional
permission to link the program and your derivative works with the
separately licensed software that they have included with MySQL.
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, version 2.0, 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,
51 Franklin Street, Suite 500, Boston, MA 02110-1335 USA */
#include "sql_class.h" // Query_arena
struct LEX;
/**
An interface that is used to take an action when
the locking module notices that a table version has changed
since the last execution. "Table" here may refer to any kind of
table -- a base table, a temporary table, a view or an
information schema table.
When we open and lock tables for execution of a prepared
statement, we must verify that they did not change
since statement prepare. If some table did change, the statement
parse tree *may* be no longer valid, e.g. in case it contains
optimizations that depend on table metadata.
This class provides an interface (a method) that is
invoked when such a situation takes place.
The implementation of the method simply reports an error, but
the exact details depend on the nature of the SQL statement.
At most 1 instance of this class is active at a time, in which
case THD::m_reprepare_observer is not NULL.
@sa check_and_update_table_version() for details of the
version tracking algorithm
@sa Open_tables_state::m_reprepare_observer for the life cycle
of metadata observers.
*/
class Reprepare_observer
{
public:
Reprepare_observer() : m_invalidated(FALSE), m_attempt(0) {}
/**
Check if a change of metadata is OK. In future
the signature of this method may be extended to accept the old
and the new versions, but since currently the check is very
simple, we only need the THD to report an error.
*/
bool report_error(THD *thd);
/**
@returns true if some table metadata is changed and statement should be
re-prepared.
*/
bool is_invalidated() const { return m_invalidated; }
void reset_reprepare_observer() { m_invalidated= FALSE; }
/// @returns true if prepared statement can (and will) be retried
bool can_retry() const {
// Only call for a statement that is invalidated
assert(is_invalidated());
return m_attempt <= MAX_REPREPARE_ATTEMPTS &&
DBUG_EVALUATE_IF("simulate_max_reprepare_attempts_hit_case", false,
true);
}
private:
bool m_invalidated;
int m_attempt;
/*
We take only 3 attempts to reprepare the query, otherwise we might end up
in endless loop.
*/
static const int MAX_REPREPARE_ATTEMPTS = 3;
};
void mysqld_stmt_prepare(THD *thd, const char *query, uint length);
void mysqld_stmt_execute(THD *thd, ulong stmt_id, ulong flags, uchar *params,
ulong params_length);
void mysqld_stmt_close(THD *thd, ulong stmt_id);
void mysql_sql_stmt_prepare(THD *thd);
void mysql_sql_stmt_execute(THD *thd);
void mysql_sql_stmt_close(THD *thd);
void mysqld_stmt_fetch(THD *thd, ulong stmt_id, ulong num_rows);
void mysqld_stmt_reset(THD *thd, ulong stmt_id);
void mysql_stmt_get_longdata(THD *thd, ulong stmt_id, uint param_number,
uchar *longdata, ulong length);
bool reinit_stmt_before_use(THD *thd, LEX *lex);
bool select_like_stmt_cmd_test(THD *thd,
class Sql_cmd_dml *cmd,
ulong setup_tables_done_option);
/**
Execute a fragment of server code in an isolated context, so that
it doesn't leave any effect on THD. THD must have no open tables.
The code must not leave any open tables around.
The result of execution (if any) is stored in Ed_result.
*/
class Server_runnable
{
public:
virtual bool execute_server_code(THD *thd)= 0;
virtual ~Server_runnable();
};
/**
Execute direct interface.
@todo Implement support for prelocked mode.
*/
class Ed_row;
/**
Ed_result_set -- a container with result set rows.
@todo Implement support for result set metadata and
automatic type conversion.
*/
class Ed_result_set: public Sql_alloc
{
public:
operator List<Ed_row>&() { return *m_rows; }
unsigned int size() const { return m_rows->elements; }
Ed_result_set(List<Ed_row> *rows_arg, size_t column_count,
MEM_ROOT *mem_root_arg);
/** We don't call member destructors, they all are POD types. */
~Ed_result_set() {}
size_t get_field_count() const { return m_column_count; }
static void operator delete(void *ptr, size_t size) throw ();
private:
Ed_result_set(const Ed_result_set &); /* not implemented */
Ed_result_set &operator=(Ed_result_set &); /* not implemented */
private:
MEM_ROOT m_mem_root;
size_t m_column_count;
List<Ed_row> *m_rows;
Ed_result_set *m_next_rset;
friend class Ed_connection;
};
class Ed_connection
{
public:
/**
Construct a new "execute direct" connection.
The connection can be used to execute SQL statements.
If the connection failed to initialize, the error
will be returned on the attempt to execute a statement.
@pre thd must have no open tables
while the connection is used. However,
Ed_connection works okay in LOCK TABLES mode.
Other properties of THD, such as the current warning
information, errors, etc. do not matter and are
preserved by Ed_connection. One thread may have many
Ed_connections created for it.
*/
Ed_connection(THD *thd);
/**
Execute one SQL statement.
Until this method is executed, no other methods of
Ed_connection can be used. Life cycle of Ed_connection is:
Initialized -> a statement has been executed ->
look at result, move to next result ->
look at result, move to next result ->
...
moved beyond the last result == Initialized.
This method can be called repeatedly. Once it's invoked,
results of the previous execution are lost.
A result of execute_direct() can be either:
- success, no result set rows. In this case get_field_count()
returns 0. This happens after execution of INSERT, UPDATE,
DELETE, DROP and similar statements. Some other methods, such
as get_affected_rows() can be used to retrieve additional
result information.
- success, there are some result set rows (maybe 0). E.g.
happens after SELECT. In this case get_field_count() returns
the number of columns in a result set and store_result()
can be used to retrieve a result set..
- an error, methods to retrieve error information can
be used.
@return execution status
@retval FALSE success, use get_field_count()
to determine what to do next.
@retval TRUE error, use get_last_error()
to see the error number.
*/
bool execute_direct(LEX_STRING sql_text);
/**
Same as the previous, but takes an instance of Server_runnable
instead of SQL statement text.
@return execution status
@retval FALSE success, use get_field_count()
if your code fragment is supposed to
return a result set
@retval TRUE failure
*/
bool execute_direct(Server_runnable *server_runnable);
/**
Get the number of result set fields.
This method is valid only if we have a result:
execute_direct() has been called. Otherwise
the returned value is undefined.
@sa Documentation for C API function
mysql_field_count()
*/
size_t get_field_count() const
{
return m_current_rset ? m_current_rset->get_field_count() : 0;
}
/**
Get the number of affected (deleted, updated)
rows for the current statement. Can be
used for statements with get_field_count() == 0.
@sa Documentation for C API function
mysql_affected_rows().
*/
ulonglong get_affected_rows() const
{
return m_diagnostics_area.affected_rows();
}
/**
Get the last insert id, if any.
@sa Documentation for mysql_insert_id().
*/
ulonglong get_last_insert_id() const
{
return m_diagnostics_area.last_insert_id();
}
/**
Get the total number of warnings for the last executed
statement. Note, that there is only one warning list even
if a statement returns multiple results.
@sa Documentation for C API function
mysql_num_warnings().
*/
ulong get_warn_count() const
{
return m_diagnostics_area.warn_count(m_thd);
}
/**
The following three members are only valid if execute_direct()
or move_to_next_result() returned an error.
They never fail, but if they are called when there is no
result, or no error, the result is not defined.
*/
const char *get_last_error() const
{ return m_diagnostics_area.message_text(); }
unsigned int get_last_errno() const
{ return m_diagnostics_area.mysql_errno(); }
const char *get_last_sqlstate() const
{ return m_diagnostics_area.returned_sqlstate(); }
/**
Provided get_field_count() is not 0, this never fails. You don't
need to free the result set, this is done automatically when
you advance to the next result set or destroy the connection.
Not returning const because of List iterator not accepting
Should be used when you would like Ed_connection to manage
result set memory for you.
*/
Ed_result_set *use_result_set() { return m_current_rset; }
/**
Provided get_field_count() is not 0, this never fails. You
must free the returned result set. This can be called only
once after execute_direct().
Should be used when you would like to get the results
and destroy the connection.
*/
Ed_result_set *store_result_set();
/**
If the query returns multiple results, this method
can be checked if there is another result beyond the next
one.
Never fails.
*/
bool has_next_result() const { return MY_TEST(m_current_rset->m_next_rset); }
/**
Only valid to call if has_next_result() returned true.
Otherwise the result is undefined.
*/
bool move_to_next_result()
{
m_current_rset= m_current_rset->m_next_rset;
return MY_TEST(m_current_rset);
}
~Ed_connection() { free_old_result(); }
private:
Diagnostics_area m_diagnostics_area;
/**
Execute direct interface does not support multi-statements, only
multi-results. So we never have a situation when we have
a mix of result sets and OK or error packets. We either
have a single result set, a single error, or a single OK,
or we have a series of result sets, followed by an OK or error.
*/
THD *m_thd;
Ed_result_set *m_rsets;
Ed_result_set *m_current_rset;
friend class Protocol_local;
private:
void free_old_result();
void add_result_set(Ed_result_set *ed_result_set);
private:
Ed_connection(const Ed_connection &); /* not implemented */
Ed_connection &operator=(Ed_connection &); /* not implemented */
};
/** One result set column. */
struct Ed_column: public LEX_STRING
{
/** Implementation note: destructor for this class is never called. */
};
/** One result set record. */
class Ed_row: public Sql_alloc
{
public:
const Ed_column &operator[](const unsigned int column_index) const
{
return *get_column(column_index);
}
const Ed_column *get_column(const unsigned int column_index) const
{
assert(column_index < size());
return m_column_array + column_index;
}
size_t size() const { return m_column_count; }
Ed_row(Ed_column *column_array_arg, size_t column_count_arg)
:m_column_array(column_array_arg),
m_column_count(column_count_arg)
{}
private:
Ed_column *m_column_array;
size_t m_column_count; /* TODO: change to point to metadata */
};
/**
A result class used to send cursor rows using the binary protocol.
*/
class Query_fetch_protocol_binary: public Query_result_send
{
Protocol_binary protocol;
public:
Query_fetch_protocol_binary(THD *thd);
virtual bool send_result_set_metadata(List<Item> &list, uint flags);
virtual bool send_data(List<Item> &items);
virtual bool send_eof();
#ifdef EMBEDDED_LIBRARY
void begin_dataset()
{
protocol.begin_dataset();
}
#endif
};
class Server_side_cursor;
/**
Prepared_statement: a statement that can contain placeholders.
*/
class Prepared_statement: public Query_arena
{
enum flag_values
{
IS_IN_USE= 1,
IS_SQL_PREPARE= 2
};
public:
THD *thd;
Item_param **param_array;
Server_side_cursor *cursor;
uint param_count;
uint last_errno;
char last_error[MYSQL_ERRMSG_SIZE];
/*
Uniquely identifies each statement object in thread scope; change during
statement lifetime.
*/
const ulong id;
LEX *lex; // parse tree descriptor
/**
The query associated with this statement.
*/
LEX_CSTRING m_query_string;
/* Performance Schema interface for a prepared statement. */
PSI_prepared_stmt* m_prepared_stmt;
private:
Query_fetch_protocol_binary result;
uint flags;
bool with_log;
LEX_CSTRING m_name; /* name for named prepared statements */
/**
Name of the current (default) database.
If there is the current (default) database, "db" contains its name. If
there is no current (default) database, "db" is NULL and "db_length" is
0. In other words, "db", "db_length" must either be NULL, or contain a
valid database name.
@note this attribute is set and alloced by the slave SQL thread (for
the THD of that thread); that thread is (and must remain, for now) the
only responsible for freeing this member.
*/
LEX_CSTRING m_db;
/**
The memory root to allocate parsed tree elements (instances of Item,
SELECT_LEX and other classes).
*/
MEM_ROOT main_mem_root;
public:
Prepared_statement(THD *thd_arg);
virtual ~Prepared_statement();
virtual void cleanup_stmt();
bool set_name(const LEX_CSTRING &name);
const LEX_CSTRING &name() const
{ return m_name; }
void close_cursor();
bool is_in_use() const { return flags & (uint) IS_IN_USE; }
bool is_sql_prepare() const { return flags & (uint) IS_SQL_PREPARE; }
void set_sql_prepare() { flags|= (uint) IS_SQL_PREPARE; }
bool prepare(const char *packet, size_t packet_length);
bool execute_loop(String *expanded_query,
bool open_cursor,
uchar *packet_arg, uchar *packet_end_arg);
bool execute_server_runnable(Server_runnable *server_runnable);
#ifdef HAVE_PSI_PS_INTERFACE
PSI_prepared_stmt* get_PS_prepared_stmt();
#endif
/* Destroy this statement */
void deallocate();
private:
void setup_set_params();
bool set_db(const LEX_CSTRING &db_length);
bool set_parameters(String *expanded_query,
uchar *packet, uchar *packet_end);
bool execute(String *expanded_query, bool open_cursor);
bool reprepare();
bool validate_metadata(Prepared_statement *copy);
void swap_prepared_statement(Prepared_statement *copy);
bool insert_params_from_vars(List<LEX_STRING>& varnames,
String *query);
#ifndef EMBEDDED_LIBRARY
bool insert_params(uchar *null_array, uchar *read_pos, uchar *data_end,
String *query);
#else
bool emb_insert_params(String *query);
#endif
};
#endif // SQL_PREPARE_H