/* Copyright (c) 2010, 2024, 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 designed to work 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 either included with the program or referenced in the documentation. 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, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA */ #include "sql/rpl_info_table_access.h" #include #include "my_base.h" #include "my_dbug.h" #include "my_inttypes.h" #include "my_sqlcommand.h" #include "my_sys.h" #include "mysql/binlog/event/binlog_event.h" #include "mysql/strings/m_ctype.h" #include "mysql/thread_type.h" #include "mysqld_error.h" #include "sql/current_thd.h" #include "sql/field.h" #include "sql/handler.h" #include "sql/key.h" #include "sql/log_event.h" #include "sql/rpl_info_values.h" // Rpl_info_values #include "sql/rpl_rli.h" #include "sql/sql_base.h" // MYSQL_OPEN_IGNORE_FLUSH #include "sql/sql_bitmap.h" #include "sql/sql_class.h" // THD #include "sql/sql_const.h" #include "sql/sql_lex.h" #include "sql/sql_parse.h" // mysql_reset_thd_for_next_command #include "sql/table.h" // TABLE #include "sql_string.h" void Rpl_info_table_access::before_open(THD *thd) { DBUG_TRACE; m_flags = (MYSQL_OPEN_IGNORE_GLOBAL_READ_LOCK | MYSQL_LOCK_IGNORE_GLOBAL_READ_ONLY | MYSQL_OPEN_IGNORE_FLUSH | MYSQL_LOCK_IGNORE_TIMEOUT | MYSQL_LOCK_RPL_INFO_TABLE); /* This is equivalent to a new "statement". For that reason, we call both lex_start() and mysql_reset_thd_for_next_command. Notice in case of atomic DDL the new statement has to be initiated with a special care to preserve LEX of the top level statement. On the other hand non-atomic DDL behaves "natively" to reset. */ if (!current_thd || (thd->slave_thread && ((!thd->rli_slave || !thd->rli_slave->current_event || thd->rli_slave->current_event->get_type_code() != mysql::binlog::event::QUERY_EVENT) || !static_cast(thd->rli_slave->current_event) ->has_ddl_committed))) { lex_start(thd); mysql_reset_thd_for_next_command(thd); } } /** Commits the changes, unlocks the table and closes it. This method needs to be called even if the open_table fails, in order to ensure the lock info is properly restored. @param[in] thd Thread requesting to close the table @param[in] table Table to be closed @param[in] backup Restore the lock info from here @param[in] error If there was an error while updating the table If there is an error, rolls back the current statement. Otherwise, commits it. However, if a new thread was created and there is an error, the transaction must be rolled back. Otherwise, it must be committed. In this case, the changes were not done on behalf of any user transaction and if not finished, there would be pending changes. @retval false Success @retval true Failure */ bool Rpl_info_table_access::close_table(THD *thd, TABLE *table, Open_tables_backup *backup, bool error) { DBUG_TRACE; bool res = System_table_access::close_table(thd, table, backup, error, thd_created); DBUG_EXECUTE_IF("replica_crash_after_commit_no_atomic_ddl", { if (thd->slave_thread && thd->rli_slave && thd->rli_slave->current_event && thd->rli_slave->current_event->get_type_code() == mysql::binlog::event::QUERY_EVENT && !static_cast(thd->rli_slave->current_event) ->has_ddl_committed) { assert(thd->lex->sql_command == SQLCOM_END); DBUG_SUICIDE(); } }); return res; } /** Positions the internal pointer of `table` according to the primary key. If the search succeeds, the table cursor points to the found row. @param[in,out] field_values The sequence of values @param[in,out] table Table @retval FOUND_ID The row was found. @retval NOT_FOUND_ID The row was not found. @retval ERROR_ID There was a failure. */ enum enum_return_id Rpl_info_table_access::find_info( Rpl_info_values *field_values, TABLE *table) { KEY *keyinfo = nullptr; uchar key[MAX_KEY_LENGTH]; DBUG_TRACE; /* Checks if the table has a primary key as expected. */ if (table->s->primary_key >= MAX_KEY || !table->s->keys_in_use.is_set(table->s->primary_key)) { /* This is not supposed to happen and means that someone has changed the table or disabled the keys. */ return ERROR_ID; } keyinfo = table->s->key_info + table->s->primary_key; for (uint idx = 0; idx < keyinfo->user_defined_key_parts; idx++) { uint fieldnr = keyinfo->key_part[idx].fieldnr - 1; /* The size of the field must be great to store data. */ if (field_values->value[fieldnr].length() > table->field[fieldnr]->field_length) return ERROR_ID; table->field[fieldnr]->store(field_values->value[fieldnr].c_ptr_safe(), field_values->value[fieldnr].length(), &my_charset_bin); } key_copy(key, table->record[0], table->key_info, table->key_info->key_length); int lookup_return_value = table->file->ha_index_read_idx_map( table->record[0], 0, key, HA_WHOLE_KEY, HA_READ_KEY_EXACT); if (lookup_return_value == HA_ERR_KEY_NOT_FOUND) return NOT_FOUND_ID; else if (lookup_return_value) return ERROR_ID; return FOUND_ID; } /** Positions the internal pointer of `table` to the n-instance row. @param[in] table Reference to a table object. @param[in] instance n-instance row. The code built on top of this function needs to ensure there is no concurrent threads trying to update the table. So if an error different from HA_ERR_END_OF_FILE is returned, we abort with an error because this implies that someone has manually and concurrently changed something. @retval FOUND The row was found. @retval NOT_FOUND The row was not found. @retval ERROR There was a failure. */ enum enum_return_id Rpl_info_table_access::scan_info(TABLE *table, uint instance) { int error = 0; uint counter = 0; enum enum_return_id ret = NOT_FOUND_ID; DBUG_TRACE; if ((error = table->file->ha_rnd_init(true))) return ERROR_ID; do { error = table->file->ha_rnd_next(table->record[0]); switch (error) { case 0: counter++; if (counter == instance) { ret = FOUND_ID; error = HA_ERR_END_OF_FILE; } break; case HA_ERR_END_OF_FILE: ret = NOT_FOUND_ID; break; default: DBUG_PRINT("info", ("Failed to get next record" " (ha_rnd_next returns %d)", error)); ret = ERROR_ID; break; } } while (!error); table->file->ha_rnd_end(); return ret; } /** Returns the number of entries in table. The code built on top of this function needs to ensure there is no concurrent threads trying to access the table. So if an error different from HA_ERR_END_OF_FILE is returned, an error is returned meaning the count failed cause a deadlock or other issue was found @param[in] table Table @param[out] counter Registers the number of entries. @retval false No error @retval true Failure */ bool Rpl_info_table_access::count_info(TABLE *table, ulonglong *counter) { DBUG_TRACE; int error = table->file->ha_records(counter); return error != 0; } /** Returns if the table is being used, meaning it contains at least a line or some concurrency related error was returned when looking at the table. @param[in] table Table @retval a pair of booleans First element is true if an error occurred, false otherwise. Second element is true if the table is not empty or an access error occurred meaning someone else is accessing it. False if the table is empty. */ std::pair Rpl_info_table_access::is_table_in_use(TABLE *table) { DBUG_TRACE; if ((table->file->ha_rnd_init(true))) return std::make_pair(true, false); bool is_in_use = true; if (table->file->ha_rnd_next(table->record[0]) == HA_ERR_END_OF_FILE) { is_in_use = false; } table->file->ha_rnd_end(); return std::make_pair(false, is_in_use); } /** Reads information from a sequence of fields into a set of LEX_STRING structures, where the sequence of values is specified through the object Rpl_info_values. @param[in] max_num_field Maximum number of fields @param[in] fields The sequence of fields @param[in] field_values The sequence of values @retval false No error @retval true Failure */ bool Rpl_info_table_access::load_info_values(uint max_num_field, Field **fields, Rpl_info_values *field_values) { DBUG_TRACE; char buff[MAX_FIELD_WIDTH]; String str(buff, sizeof(buff), &my_charset_bin); uint field_idx = 0; while (field_idx < max_num_field) { if (fields[field_idx]->is_null()) { bitmap_set_bit(&field_values->is_null, field_idx); } else { if (fields[field_idx]->real_type() == MYSQL_TYPE_ENUM) { longlong enum_value = fields[field_idx]->val_int(); str.set_int(enum_value, false, &my_charset_bin); } else fields[field_idx]->val_str(&str); field_values->value[field_idx].copy(str.c_ptr_safe(), str.length(), &my_charset_bin); bitmap_clear_bit(&field_values->is_null, field_idx); } field_idx++; } return false; } /** Stores information from a sequence of fields into a set of LEX_STRING structures, where the sequence of values is specified through the object Rpl_info_values. @param[in] max_num_field Maximum number of fields @param[in] fields The sequence of fields @param[in] field_values The sequence of values @retval false No error @retval true Failure */ bool Rpl_info_table_access::store_info_values(uint max_num_field, Field **fields, Rpl_info_values *field_values) { DBUG_TRACE; uint field_idx = 0; while (field_idx < max_num_field) { if (bitmap_is_set(&field_values->is_null, field_idx)) { fields[field_idx]->set_null(); } else { fields[field_idx]->set_notnull(); if (fields[field_idx]->store(field_values->value[field_idx].c_ptr_safe(), field_values->value[field_idx].length(), &my_charset_bin)) { my_error(ER_RPL_INFO_DATA_TOO_LONG, MYF(0), fields[field_idx]->field_name); return true; } } field_idx++; } return false; } /** Creates a new thread if necessary. In the bootstrap process or in the mysqld startup, a thread is created in order to be able to access a table. Otherwise, the current thread is used. @returns THD* Pointer to thread structure */ THD *Rpl_info_table_access::create_thd() { THD *thd = current_thd; if (!thd) { thd = System_table_access::create_thd(); thd->system_thread = SYSTEM_THREAD_INFO_REPOSITORY; /* Set the skip_readonly_check flag as this thread should not be blocked by super_read_only check during ha_commit_trans. */ thd->set_skip_readonly_check(); thd_created = true; } return (thd); } /** Destroys the created thread if necessary and restores the system_thread information. @param[in] thd Thread requesting to be destroyed */ void Rpl_info_table_access::drop_thd(THD *thd) { DBUG_TRACE; if (thd_created) { thd->reset_skip_readonly_check(); System_table_access::drop_thd(thd); thd_created = false; } }