/***************************************************************************** Copyright (c) 2016, MariaDB Corporation. All rights Reserved. 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 Street, Suite 500, Boston, MA 02110-1335 USA *****************************************************************************/ /**************************************************//** @file include/dict0defrag_bg.h Code used for background table and index defragmentation Created 25/08/2016 Jan Lindström *******************************************************/ #ifndef dict0defrag_bg_h #define dict0defrag_bg_h #include "univ.i" #include "dict0types.h" #include "os0event.h" #include "os0thread.h" /*****************************************************************//** Initialize the defrag pool, called once during thread initialization. */ void dict_defrag_pool_init(void); /*========================*/ /*****************************************************************//** Free the resources occupied by the defrag pool, called once during thread de-initialization. */ void dict_defrag_pool_deinit(void); /*==========================*/ /*****************************************************************//** Add an index in a table to the defrag pool, which is processed by the background stats gathering thread. Only the table id and index id are added to the list, so the table can be closed after being enqueued and it will be opened when needed. If the table or index does not exist later (has been DROPped), then it will be removed from the pool and skipped. */ void dict_stats_defrag_pool_add( /*=======================*/ const dict_index_t* index); /*!< in: table to add */ /*****************************************************************//** Delete a given index from the auto defrag pool. */ void dict_stats_defrag_pool_del( /*=======================*/ const dict_table_t* table, /*!