mirror of
https://github.com/MariaDB/server.git
synced 2025-01-30 18:41:56 +01:00
2920 lines
88 KiB
C++
2920 lines
88 KiB
C++
/*****************************************************************************
|
|
|
|
Copyright (c) 1995, 2016, Oracle and/or its affiliates. All Rights Reserved.
|
|
Copyright (c) 2017, 2021, MariaDB Corporation.
|
|
|
|
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, Fifth Floor, Boston, MA 02110-1335 USA
|
|
|
|
*****************************************************************************/
|
|
|
|
/******************************************************************//**
|
|
@file fsp/fsp0fsp.cc
|
|
File space management
|
|
|
|
Created 11/29/1995 Heikki Tuuri
|
|
***********************************************************************/
|
|
|
|
#include "fsp0fsp.h"
|
|
#include "buf0buf.h"
|
|
#include "fil0fil.h"
|
|
#include "fil0crypt.h"
|
|
#include "mtr0log.h"
|
|
#include "ut0byte.h"
|
|
#include "page0page.h"
|
|
#include "fut0fut.h"
|
|
#include "srv0srv.h"
|
|
#include "srv0start.h"
|
|
#include "ibuf0ibuf.h"
|
|
#include "btr0btr.h"
|
|
#include "btr0sea.h"
|
|
#include "dict0boot.h"
|
|
#include "log0log.h"
|
|
#include "dict0mem.h"
|
|
#include "fsp0types.h"
|
|
|
|
// JAN: MySQL 5.7 Encryption
|
|
// #include <my_aes.h>
|
|
|
|
typedef uint32_t page_no_t;
|
|
|
|
/** Return an extent to the free list of a space.
|
|
@param[in,out] space tablespace
|
|
@param[in] offset page number in the extent
|
|
@param[in,out] mtr mini-transaction */
|
|
MY_ATTRIBUTE((nonnull))
|
|
static
|
|
void
|
|
fsp_free_extent(
|
|
fil_space_t* space,
|
|
page_no_t offset,
|
|
mtr_t* mtr);
|
|
|
|
/** Returns the first extent descriptor for a segment.
|
|
We think of the extent lists of the segment catenated in the order
|
|
FSEG_FULL -> FSEG_NOT_FULL -> FSEG_FREE.
|
|
@param[in] inode segment inode
|
|
@param[in] space tablespace
|
|
@param[in,out] mtr mini-transaction
|
|
@return the first extent descriptor, or NULL if none */
|
|
MY_ATTRIBUTE((nonnull, warn_unused_result))
|
|
static
|
|
xdes_t*
|
|
fseg_get_first_extent(
|
|
fseg_inode_t* inode,
|
|
const fil_space_t* space,
|
|
mtr_t* mtr);
|
|
|
|
/** Put new extents to the free list if there are free extents above the free
|
|
limit. If an extent happens to contain an extent descriptor page, the extent
|
|
is put to the FSP_FREE_FRAG list with the page marked as used.
|
|
@param[in] init_space true if this is a single-table tablespace
|
|
and we are only initializing the first extent and the first bitmap pages;
|
|
then we will not allocate more extents
|
|
@param[in,out] space tablespace
|
|
@param[in,out] header tablespace header
|
|
@param[in,out] mtr mini-transaction */
|
|
static ATTRIBUTE_COLD
|
|
void
|
|
fsp_fill_free_list(
|
|
bool init_space,
|
|
fil_space_t* space,
|
|
buf_block_t* header,
|
|
mtr_t* mtr);
|
|
|
|
/** Allocates a single free page from a segment.
|
|
This function implements the intelligent allocation strategy which tries to
|
|
minimize file space fragmentation.
|
|
@param[in,out] space tablespace
|
|
@param[in,out] seg_inode segment inode
|
|
@param[in,out] iblock segment inode page
|
|
@param[in] hint hint of which page would be desirable
|
|
@param[in] direction if the new page is needed because of
|
|
an index page split, and records are inserted there in order, into which
|
|
direction they go alphabetically: FSP_DOWN, FSP_UP, FSP_NO_DIR
|
|
@param[in,out] mtr mini-transaction
|
|
@param[in,out] init_mtr mtr or another mini-transaction in
|
|
which the page should be initialized.
|
|
@retval NULL if no page could be allocated */
|
|
static
|
|
buf_block_t*
|
|
fseg_alloc_free_page_low(
|
|
fil_space_t* space,
|
|
fseg_inode_t* seg_inode,
|
|
buf_block_t* iblock,
|
|
uint32_t hint,
|
|
byte direction,
|
|
#ifdef UNIV_DEBUG
|
|
bool has_done_reservation,
|
|
/*!< whether the space has already been reserved */
|
|
#endif /* UNIV_DEBUG */
|
|
mtr_t* mtr,
|
|
mtr_t* init_mtr)
|
|
MY_ATTRIBUTE((warn_unused_result));
|
|
|
|
/** Get the tablespace header block, SX-latched
|
|
@param[in] space tablespace
|
|
@param[in,out] mtr mini-transaction
|
|
@return pointer to the space header, page x-locked */
|
|
inline buf_block_t *fsp_get_header(const fil_space_t *space, mtr_t *mtr)
|
|
{
|
|
buf_block_t *block= buf_page_get(page_id_t(space->id, 0), space->zip_size(),
|
|
RW_SX_LATCH, mtr);
|
|
buf_block_dbg_add_level(block, SYNC_FSP_PAGE);
|
|
ut_ad(space->id == mach_read_from_4(FSP_HEADER_OFFSET + FSP_SPACE_ID +
|
|
block->frame));
|
|
return block;
|
|
}
|
|
|
|
/** Set the XDES_FREE_BIT of a page.
|
|
@tparam free desired value of XDES_FREE_BIT
|
|
@param[in] block extent descriptor block
|
|
@param[in,out] descr extent descriptor
|
|
@param[in] offset page offset within the extent
|
|
@param[in,out] mtr mini-transaction */
|
|
template<bool free>
|
|
inline void xdes_set_free(const buf_block_t &block, xdes_t *descr,
|
|
ulint offset, mtr_t *mtr)
|
|
{
|
|
ut_ad(mtr->memo_contains_flagged(&block, MTR_MEMO_PAGE_SX_FIX |
|
|
MTR_MEMO_PAGE_X_FIX));
|
|
ut_ad(offset < FSP_EXTENT_SIZE);
|
|
ut_ad(page_align(descr) == block.frame);
|
|
compile_time_assert(XDES_BITS_PER_PAGE == 2);
|
|
compile_time_assert(XDES_FREE_BIT == 0);
|
|
compile_time_assert(XDES_CLEAN_BIT == 1);
|
|
|
|
ulint index= XDES_BITS_PER_PAGE * offset;
|
|
byte *b= &descr[XDES_BITMAP + (index >> 3)];
|
|
/* xdes_init() should have set all XDES_CLEAN_BIT. */
|
|
ut_ad(!(~*b & 0xaa));
|
|
/* Clear or set XDES_FREE_BIT. */
|
|
byte val= free
|
|
? static_cast<byte>(*b | 1 << (index & 7))
|
|
: static_cast<byte>(*b & ~(1 << (index & 7)));
|
|
mtr->write<1>(block, b, val);
|
|
}
|
|
|
|
/**
|
|
Find a free page.
|
|
@param descr extent descriptor
|
|
@param hint page offset to start searching from (towards larger pages)
|
|
@return free page offset
|
|
@retval FIL_NULL if no page is free */
|
|
inline uint32_t xdes_find_free(const xdes_t *descr, uint32_t hint= 0)
|
|
{
|
|
const uint32_t extent_size= FSP_EXTENT_SIZE;
|
|
ut_ad(hint < extent_size);
|
|
for (uint32_t i= hint; i < extent_size; i++)
|
|
if (xdes_is_free(descr, i))
|
|
return i;
|
|
for (uint32_t i= 0; i < hint; i++)
|
|
if (xdes_is_free(descr, i))
|
|
return i;
|
|
return FIL_NULL;
|
|
}
|
|
|
|
/**
|
|
Determine the number of used pages in a descriptor.
|
|
@param descr file descriptor
|
|
@return number of pages used */
|
|
inline uint32_t xdes_get_n_used(const xdes_t *descr)
|
|
{
|
|
uint32_t count= 0;
|
|
|
|
for (uint32_t i= FSP_EXTENT_SIZE; i--; )
|
|
if (!xdes_is_free(descr, i))
|
|
count++;
|
|
|
|
return count;
|
|
}
|
|
|
|
/**
|
|
Determine whether a file extent is full.
|
|
@param descr file descriptor
|
|
@return whether all pages have been allocated */
|
|
inline bool xdes_is_full(const xdes_t *descr)
|
|
{
|
|
return FSP_EXTENT_SIZE == xdes_get_n_used(descr);
|
|
}
|
|
|
|
/** Set the state of an extent descriptor.
|
|
@param[in] block extent descriptor block
|
|
@param[in,out] descr extent descriptor
|
|
@param[in] state the state
|
|
@param[in,out] mtr mini-transaction */
|
|
inline void xdes_set_state(const buf_block_t &block, xdes_t *descr,
|
|
byte state, mtr_t *mtr)
|
|
{
|
|
ut_ad(descr && mtr);
|
|
ut_ad(state >= XDES_FREE);
|
|
ut_ad(state <= XDES_FSEG);
|
|
ut_ad(mtr->memo_contains_flagged(&block, MTR_MEMO_PAGE_SX_FIX |
|
|
MTR_MEMO_PAGE_X_FIX));
|
|
ut_ad(page_align(descr) == block.frame);
|
|
ut_ad(mach_read_from_4(descr + XDES_STATE) <= XDES_FSEG);
|
|
mtr->write<1>(block, XDES_STATE + 3 + descr, state);
|
|
}
|
|
|
|
/**********************************************************************//**
|
|
Gets the state of an xdes.
|
|
@return state */
|
|
UNIV_INLINE
|
|
ulint
|
|
xdes_get_state(
|
|
/*===========*/
|
|
const xdes_t* descr) /*!< in: descriptor */
|
|
{
|
|
ulint state;
|
|
|
|
ut_ad(descr);
|
|
state = mach_read_from_4(descr + XDES_STATE);
|
|
ut_ad(state - 1 < XDES_FSEG);
|
|
return(state);
|
|
}
|
|
|
|
/**********************************************************************//**
|
|
Inits an extent descriptor to the free and clean state. */
|
|
inline void xdes_init(const buf_block_t &block, xdes_t *descr, mtr_t *mtr)
|
|
{
|
|
ut_ad(mtr->memo_contains_flagged(&block, MTR_MEMO_PAGE_SX_FIX |
|
|
MTR_MEMO_PAGE_X_FIX));
|
|
mtr->memset(&block, uint16_t(descr - block.frame) + XDES_BITMAP,
|
|
XDES_SIZE - XDES_BITMAP, 0xff);
|
|
xdes_set_state(block, descr, XDES_FREE, mtr);
|
|
}
|
|
|
|
/** Mark a page used in an extent descriptor.
|
|
@param[in,out] seg_inode segment inode
|
|
@param[in,out] iblock segment inode page
|
|
@param[in] page page number
|
|
@param[in,out] descr extent descriptor
|
|
@param[in,out] xdes extent descriptor page
|
|
@param[in,out] mtr mini-transaction */
|
|
static MY_ATTRIBUTE((nonnull))
|
|
void
|
|
fseg_mark_page_used(fseg_inode_t *seg_inode, buf_block_t *iblock,
|
|
ulint page, xdes_t *descr, buf_block_t *xdes, mtr_t *mtr)
|
|
{
|
|
ut_ad(fil_page_get_type(iblock->frame) == FIL_PAGE_INODE);
|
|
ut_ad(!((page_offset(seg_inode) - FSEG_ARR_OFFSET) % FSEG_INODE_SIZE));
|
|
ut_ad(mach_read_from_4(seg_inode + FSEG_MAGIC_N) == FSEG_MAGIC_N_VALUE);
|
|
ut_ad(!memcmp(seg_inode + FSEG_ID, descr + XDES_ID, 4));
|
|
|
|
const uint16_t xoffset= uint16_t(descr - xdes->frame + XDES_FLST_NODE);
|
|
const uint16_t ioffset= uint16_t(seg_inode - iblock->frame);
|
|
|
|
if (!xdes_get_n_used(descr))
|
|
{
|
|
/* We move the extent from the free list to the NOT_FULL list */
|
|
flst_remove(iblock, uint16_t(FSEG_FREE + ioffset), xdes, xoffset, mtr);
|
|
flst_add_last(iblock, uint16_t(FSEG_NOT_FULL + ioffset),
|
|
xdes, xoffset, mtr);
|
|
}
|
|
|
|
ut_ad(xdes_is_free(descr, page % FSP_EXTENT_SIZE));
|
|
|
|
/* We mark the page as used */
|
|
xdes_set_free<false>(*xdes, descr, page % FSP_EXTENT_SIZE, mtr);
|
|
|
|
byte* p_not_full= seg_inode + FSEG_NOT_FULL_N_USED;
|
|
const uint32_t not_full_n_used= mach_read_from_4(p_not_full) + 1;
|
|
mtr->write<4>(*iblock, p_not_full, not_full_n_used);
|
|
if (xdes_is_full(descr))
|
|
{
|
|
/* We move the extent from the NOT_FULL list to the FULL list */
|
|
flst_remove(iblock, uint16_t(FSEG_NOT_FULL + ioffset), xdes, xoffset, mtr);
|
|
flst_add_last(iblock, uint16_t(FSEG_FULL + ioffset), xdes, xoffset, mtr);
|
|
mtr->write<4>(*iblock, seg_inode + FSEG_NOT_FULL_N_USED,
|
|
not_full_n_used - FSP_EXTENT_SIZE);
|
|
}
|
|
}
|
|
|
|
/** Get pointer to a the extent descriptor of a page.
|
|
@param[in,out] sp_header tablespace header page, x-latched
|
|
@param[in] space tablespace
|
|
@param[in] offset page offset
|
|
@param[out] desc_block descriptor block
|
|
@param[in,out] mtr mini-transaction
|
|
@param[in] init_space whether the tablespace is being initialized
|
|
@return pointer to the extent descriptor, NULL if the page does not
|
|
exist in the space or if the offset exceeds free limit */
|
|
UNIV_INLINE MY_ATTRIBUTE((warn_unused_result))
|
|
xdes_t*
|
|
xdes_get_descriptor_with_space_hdr(
|
|
buf_block_t* header,
|
|
const fil_space_t* space,
|
|
page_no_t offset,
|
|
buf_block_t** desc_block,
|
|
mtr_t* mtr,
|
|
bool init_space = false)
|
|
{
|
|
ut_ad(mtr->memo_contains(*space));
|
|
ut_ad(mtr->memo_contains_flagged(header, MTR_MEMO_PAGE_SX_FIX
|
|
| MTR_MEMO_PAGE_X_FIX));
|
|
/* Read free limit and space size */
|
|
uint32_t limit = mach_read_from_4(FSP_HEADER_OFFSET + FSP_FREE_LIMIT
|
|
+ header->frame);
|
|
uint32_t size = mach_read_from_4(FSP_HEADER_OFFSET + FSP_SIZE
|
|
+ header->frame);
|
|
ut_ad(limit == space->free_limit
|
|
|| (space->free_limit == 0
|
|
&& (init_space
|
|
|| space->purpose == FIL_TYPE_TEMPORARY
|
|
|| (srv_startup_is_before_trx_rollback_phase
|
|
&& (space->id == TRX_SYS_SPACE
|
|
|| srv_is_undo_tablespace(space->id))))));
|
|
ut_ad(size == space->size_in_header);
|
|
|
|
if ((offset >= size) || (offset >= limit)) {
|
|
return(NULL);
|
|
}
|
|
|
|
const unsigned zip_size = space->zip_size();
|
|
|
|
uint32_t descr_page_no = xdes_calc_descriptor_page(zip_size, offset);
|
|
|
|
buf_block_t* block = header;
|
|
|
|
if (descr_page_no) {
|
|
block = buf_page_get(
|
|
page_id_t(space->id, descr_page_no), zip_size,
|
|
RW_SX_LATCH, mtr);
|
|
|
|
buf_block_dbg_add_level(block, SYNC_FSP_PAGE);
|
|
}
|
|
|
|
if (desc_block != NULL) {
|
|
*desc_block = block;
|
|
}
|
|
|
|
return XDES_ARR_OFFSET + XDES_SIZE
|
|
* xdes_calc_descriptor_index(zip_size, offset)
|
|
+ block->frame;
|
|
}
|
|
|
|
/** Get the extent descriptor of a page.
|
|
The page where the extent descriptor resides is x-locked. If the page
|
|
offset is equal to the free limit of the space, we will add new
|
|
extents from above the free limit to the space free list, if not free
|
|
limit == space size. This adding is necessary to make the descriptor
|
|
defined, as they are uninitialized above the free limit.
|
|
@param[in] space tablespace
|
|
@param[in] offset page offset; if equal to the free limit, we
|
|
try to add new extents to the space free list
|
|
@param[out] xdes extent descriptor page
|
|
@param[in,out] mtr mini-transaction
|
|
@return the extent descriptor */
|
|
static xdes_t* xdes_get_descriptor(const fil_space_t *space, page_no_t offset,
|
|
buf_block_t **xdes, mtr_t *mtr)
|
|
{
|
|
buf_block_t *block= buf_page_get(page_id_t(space->id, 0), space->zip_size(),
|
|
RW_SX_LATCH, mtr);
|
|
buf_block_dbg_add_level(block, SYNC_FSP_PAGE);
|
|
return xdes_get_descriptor_with_space_hdr(block, space, offset, xdes, mtr);
|
|
}
|
|
|
|
/** Get the extent descriptor of a page.
|
|
The page where the extent descriptor resides is x-locked. If the page
|
|
offset is equal to the free limit of the space, we will add new
|
|
extents from above the free limit to the space free list, if not free
|
|
limit == space size. This adding is necessary to make the descriptor
|
|
defined, as they are uninitialized above the free limit.
|
|
@param[in] space tablespace
|
|
@param[in] page descriptor page offset
|
|
@param[in] offset page offset
|
|
@param[in,out] mtr mini-transaction
|
|
@return the extent descriptor
|
|
@retval NULL if the descriptor is not available */
|
|
MY_ATTRIBUTE((warn_unused_result))
|
|
static
|
|
const xdes_t*
|
|
xdes_get_descriptor_const(
|
|
const fil_space_t* space,
|
|
page_no_t page,
|
|
page_no_t offset,
|
|
mtr_t* mtr)
|
|
{
|
|
ut_ad(mtr->memo_contains(space->latch, MTR_MEMO_SX_LOCK));
|
|
ut_ad(offset < space->free_limit);
|
|
ut_ad(offset < space->size_in_header);
|
|
|
|
const ulint zip_size = space->zip_size();
|
|
|
|
if (buf_block_t* block = buf_page_get_gen(page_id_t(space->id, page),
|
|
zip_size, RW_S_LATCH,
|
|
nullptr,
|
|
BUF_GET_POSSIBLY_FREED,
|
|
__FILE__, __LINE__, mtr)) {
|
|
buf_block_dbg_add_level(block, SYNC_FSP_PAGE);
|
|
|
|
if (block->page.status == buf_page_t::FREED) {
|
|
return nullptr;
|
|
}
|
|
|
|
ut_ad(page != 0 || space->free_limit == mach_read_from_4(
|
|
FSP_FREE_LIMIT + FSP_HEADER_OFFSET
|
|
+ block->frame));
|
|
ut_ad(page != 0 || space->size_in_header == mach_read_from_4(
|
|
FSP_SIZE + FSP_HEADER_OFFSET
|
|
+ block->frame));
|
|
|
|
return(block->frame + XDES_ARR_OFFSET + XDES_SIZE
|
|
* xdes_calc_descriptor_index(zip_size, offset));
|
|
}
|
|
|
|
return(NULL);
|
|
}
|
|
|
|
/** Get a pointer to the extent descriptor. The page where the
|
|
extent descriptor resides is x-locked.
|
|
@param[in] space tablespace
|
|
@param[in] lst_node file address of the list node
|
|
contained in the descriptor
|
|
@param[out] block extent descriptor block
|
|
@param[in,out] mtr mini-transaction
|
|
@return pointer to the extent descriptor */
|
|
MY_ATTRIBUTE((nonnull, warn_unused_result))
|
|
UNIV_INLINE
|
|
xdes_t*
|
|
xdes_lst_get_descriptor(
|
|
const fil_space_t* space,
|
|
fil_addr_t lst_node,
|
|
buf_block_t** block,
|
|
mtr_t* mtr)
|
|
{
|
|
ut_ad(mtr->memo_contains(*space));
|
|
return fut_get_ptr(space->id, space->zip_size(),
|
|
lst_node, RW_SX_LATCH, mtr, block)
|
|
- XDES_FLST_NODE;
|
|
}
|
|
|
|
/********************************************************************//**
|
|
Returns page offset of the first page in extent described by a descriptor.
|
|
@return offset of the first page in extent */
|
|
static uint32_t xdes_get_offset(const xdes_t *descr)
|
|
{
|
|
ut_ad(descr);
|
|
return page_get_page_no(page_align(descr)) +
|
|
uint32_t(((page_offset(descr) - XDES_ARR_OFFSET) / XDES_SIZE) *
|
|
FSP_EXTENT_SIZE);
|
|
}
|
|
|
|
/** Initialize a file page whose prior contents should be ignored.
|
|
@param[in,out] block buffer pool block */
|
|
void fsp_apply_init_file_page(buf_block_t *block)
|
|
{
|
|
memset_aligned<UNIV_PAGE_SIZE_MIN>(block->frame, 0, srv_page_size);
|
|
const page_id_t id(block->page.id());
|
|
|
|
mach_write_to_4(block->frame + FIL_PAGE_OFFSET, id.page_no());
|
|
if (log_sys.is_physical())
|
|
memset_aligned<8>(block->frame + FIL_PAGE_PREV, 0xff, 8);
|
|
mach_write_to_4(block->frame + FIL_PAGE_ARCH_LOG_NO_OR_SPACE_ID, id.space());
|
|
if (page_zip_des_t* page_zip= buf_block_get_page_zip(block))
|
|
{
|
|
memset_aligned<UNIV_ZIP_SIZE_MIN>(page_zip->data, 0,
|
|
page_zip_get_size(page_zip));
|
|
static_assert(FIL_PAGE_OFFSET == 4, "compatibility");
|
|
memcpy_aligned<4>(page_zip->data + FIL_PAGE_OFFSET,
|
|
block->frame + FIL_PAGE_OFFSET, 4);
|
|
if (log_sys.is_physical())
|
|
memset_aligned<8>(page_zip->data + FIL_PAGE_PREV, 0xff, 8);
|
|
static_assert(FIL_PAGE_ARCH_LOG_NO_OR_SPACE_ID % 4 == 2,
|
|
"not perfect alignment");
|
|
memcpy_aligned<2>(page_zip->data + FIL_PAGE_ARCH_LOG_NO_OR_SPACE_ID,
|
|
block->frame + FIL_PAGE_ARCH_LOG_NO_OR_SPACE_ID, 4);
|
|
}
|
|
}
|
|
|
|
#ifdef UNIV_DEBUG
|
|
/** Assert that the mini-transaction is compatible with
|
|
updating an allocation bitmap page.
|
|
@param[in] mtr mini-transaction */
|
|
void fil_space_t::modify_check(const mtr_t& mtr) const
|
|
{
|
|
switch (mtr.get_log_mode()) {
|
|
case MTR_LOG_NONE:
|
|
/* These modes are only allowed within a non-bitmap page
|
|
when there is a higher-level redo log record written. */
|
|
ut_ad(purpose == FIL_TYPE_TABLESPACE
|
|
|| purpose == FIL_TYPE_TEMPORARY);
|
|
break;
|
|
case MTR_LOG_NO_REDO:
|
|
ut_ad(purpose == FIL_TYPE_TEMPORARY
|
|
|| purpose == FIL_TYPE_IMPORT);
|
|
return;
|
|
case MTR_LOG_ALL:
|
|
/* We may only write redo log for a persistent
|
|
tablespace. */
|
|
ut_ad(purpose == FIL_TYPE_TABLESPACE);
|
|
ut_ad(mtr.is_named_space(id));
|
|
return;
|
|
}
|
|
|
|
ut_ad("invalid log mode" == 0);
|
|
}
|
|
#endif
|
|
|
|
/**********************************************************************//**
|
|
Writes the space id and flags to a tablespace header. The flags contain
|
|
row type, physical/compressed page size, and logical/uncompressed page
|
|
size of the tablespace. */
|
|
void
|
|
fsp_header_init_fields(
|
|
/*===================*/
|
|
page_t* page, /*!< in/out: first page in the space */
|
|
ulint space_id, /*!< in: space id */
|
|
ulint flags) /*!< in: tablespace flags (FSP_SPACE_FLAGS) */
|
|
{
|
|
flags &= ~FSP_FLAGS_MEM_MASK;
|
|
ut_a(fil_space_t::is_valid_flags(flags, space_id));
|
|
|
|
mach_write_to_4(FSP_HEADER_OFFSET + FSP_SPACE_ID + page,
|
|
space_id);
|
|
mach_write_to_4(FSP_HEADER_OFFSET + FSP_SPACE_FLAGS + page,
|
|
flags);
|
|
}
|
|
|
|
/** Initialize a tablespace header.
|
|
@param[in,out] space tablespace
|
|
@param[in] size current size in blocks
|
|
@param[in,out] mtr mini-transaction */
|
|
void fsp_header_init(fil_space_t* space, uint32_t size, mtr_t* mtr)
|
|
{
|
|
const page_id_t page_id(space->id, 0);
|
|
const ulint zip_size = space->zip_size();
|
|
|
|
buf_block_t *free_block = buf_LRU_get_free_block(false);
|
|
|
|
mtr_x_lock_space(space, mtr);
|
|
|
|
buf_block_t* block = buf_page_create(space, 0, zip_size, mtr,
|
|
free_block);
|
|
buf_block_dbg_add_level(block, SYNC_FSP_PAGE);
|
|
|
|
if (UNIV_UNLIKELY(block != free_block)) {
|
|
buf_pool.free_block(free_block);
|
|
}
|
|
|
|
space->size_in_header = size;
|
|
space->free_len = 0;
|
|
space->free_limit = 0;
|
|
|
|
/* The prior contents of the file page should be ignored */
|
|
|
|
fsp_init_file_page(space, block, mtr);
|
|
|
|
mtr->write<2>(*block, block->frame + FIL_PAGE_TYPE,
|
|
FIL_PAGE_TYPE_FSP_HDR);
|
|
|
|
mtr->write<4,mtr_t::MAYBE_NOP>(*block, FSP_HEADER_OFFSET + FSP_SPACE_ID
|
|
+ block->frame, space->id);
|
|
ut_ad(0 == mach_read_from_4(FSP_HEADER_OFFSET + FSP_NOT_USED
|
|
+ block->frame));
|
|
/* recv_sys_t::parse() expects to find a WRITE record that
|
|
covers all 4 bytes. Therefore, we must specify mtr_t::FORCED
|
|
in order to avoid optimizing away any unchanged most
|
|
significant bytes of FSP_SIZE. */
|
|
mtr->write<4,mtr_t::FORCED>(*block, FSP_HEADER_OFFSET + FSP_SIZE
|
|
+ block->frame, size);
|
|
ut_ad(0 == mach_read_from_4(FSP_HEADER_OFFSET + FSP_FREE_LIMIT
|
|
+ block->frame));
|
|
if (auto f = space->flags & ~FSP_FLAGS_MEM_MASK) {
|
|
mtr->write<4,mtr_t::FORCED>(*block,
|
|
FSP_HEADER_OFFSET + FSP_SPACE_FLAGS
|
|
+ block->frame, f);
|
|
}
|
|
ut_ad(0 == mach_read_from_4(FSP_HEADER_OFFSET + FSP_FRAG_N_USED
|
|
+ block->frame));
|
|
|
|
flst_init(block, FSP_HEADER_OFFSET + FSP_FREE, mtr);
|
|
flst_init(block, FSP_HEADER_OFFSET + FSP_FREE_FRAG, mtr);
|
|
flst_init(block, FSP_HEADER_OFFSET + FSP_FULL_FRAG, mtr);
|
|
flst_init(block, FSP_HEADER_OFFSET + FSP_SEG_INODES_FULL, mtr);
|
|
flst_init(block, FSP_HEADER_OFFSET + FSP_SEG_INODES_FREE, mtr);
|
|
|
|
mtr->write<8>(*block, FSP_HEADER_OFFSET + FSP_SEG_ID + block->frame,
|
|
1U);
|
|
|
|
fsp_fill_free_list(!is_system_tablespace(space->id),
|
|
space, block, mtr);
|
|
|
|
/* Write encryption metadata to page 0 if tablespace is
|
|
encrypted or encryption is disabled by table option. */
|
|
if (space->crypt_data &&
|
|
(space->crypt_data->should_encrypt() ||
|
|
space->crypt_data->not_encrypted())) {
|
|
space->crypt_data->write_page0(block, mtr);
|
|
}
|
|
}
|
|
|
|
/** Try to extend a single-table tablespace so that a page would fit in the
|
|
data file.
|
|
@param[in,out] space tablespace
|
|
@param[in] page_no page number
|
|
@param[in,out] header tablespace header
|
|
@param[in,out] mtr mini-transaction
|
|
@return true if success */
|
|
static ATTRIBUTE_COLD __attribute__((warn_unused_result))
|
|
bool
|
|
fsp_try_extend_data_file_with_pages(
|
|
fil_space_t* space,
|
|
uint32_t page_no,
|
|
buf_block_t* header,
|
|
mtr_t* mtr)
|
|
{
|
|
bool success;
|
|
ulint size;
|
|
|
|
ut_a(!is_system_tablespace(space->id));
|
|
ut_d(space->modify_check(*mtr));
|
|
|
|
size = mach_read_from_4(FSP_HEADER_OFFSET + FSP_SIZE + header->frame);
|
|
ut_ad(size == space->size_in_header);
|
|
|
|
ut_a(page_no >= size);
|
|
|
|
success = fil_space_extend(space, page_no + 1);
|
|
/* The size may be less than we wanted if we ran out of disk space. */
|
|
/* recv_sys_t::parse() expects to find a WRITE record that
|
|
covers all 4 bytes. Therefore, we must specify mtr_t::FORCED
|
|
in order to avoid optimizing away any unchanged most
|
|
significant bytes of FSP_SIZE. */
|
|
mtr->write<4,mtr_t::FORCED>(*header, FSP_HEADER_OFFSET + FSP_SIZE
|
|
+ header->frame, space->size);
|
|
space->size_in_header = space->size;
|
|
|
|
return(success);
|
|
}
|
|
|
|
/** Calculate the number of physical pages in an extent for this file.
|
|
@param[in] physical_size page_size of the datafile
|
|
@return number of pages in an extent for this file */
|
|
inline uint32_t fsp_get_extent_size_in_pages(ulint physical_size)
|
|
{
|
|
return uint32_t((FSP_EXTENT_SIZE << srv_page_size_shift) / physical_size);
|
|
}
|
|
|
|
|
|
/** Calculate the number of pages to extend a datafile.
|
|
We extend single-table tablespaces first one extent at a time,
|
|
but 4 at a time for bigger tablespaces. It is not enough to extend always
|
|
by one extent, because we need to add at least one extent to FSP_FREE.
|
|
A single extent descriptor page will track many extents. And the extent
|
|
that uses its extent descriptor page is put onto the FSP_FREE_FRAG list.
|
|
Extents that do not use their extent descriptor page are added to FSP_FREE.
|
|
The physical page size is used to determine how many extents are tracked
|
|
on one extent descriptor page. See xdes_calc_descriptor_page().
|
|
@param[in] physical_size page size in data file
|
|
@param[in] size current number of pages in the datafile
|
|
@return number of pages to extend the file. */
|
|
static uint32_t fsp_get_pages_to_extend_ibd(unsigned physical_size,
|
|
uint32_t size)
|
|
{
|
|
uint32_t extent_size = fsp_get_extent_size_in_pages(physical_size);
|
|
/* The threshold is set at 32MiB except when the physical page
|
|
size is small enough that it must be done sooner. */
|
|
uint32_t threshold = std::min(32 * extent_size, physical_size);
|
|
|
|
if (size >= threshold) {
|
|
/* Below in fsp_fill_free_list() we assume
|
|
that we add at most FSP_FREE_ADD extents at
|
|
a time */
|
|
extent_size *= FSP_FREE_ADD;
|
|
}
|
|
|
|
return extent_size;
|
|
}
|
|
|
|
/** Try to extend the last data file of a tablespace if it is auto-extending.
|
|
@param[in,out] space tablespace
|
|
@param[in,out] header tablespace header
|
|
@param[in,out] mtr mini-transaction
|
|
@return number of pages added
|
|
@retval 0 if the tablespace was not extended */
|
|
ATTRIBUTE_COLD __attribute__((nonnull))
|
|
static
|
|
ulint
|
|
fsp_try_extend_data_file(fil_space_t *space, buf_block_t *header, mtr_t *mtr)
|
|
{
|
|
const char* OUT_OF_SPACE_MSG =
|
|
"ran out of space. Please add another file or use"
|
|
" 'autoextend' for the last file in setting";
|
|
|
|
ut_d(space->modify_check(*mtr));
|
|
|
|
if (space->id == TRX_SYS_SPACE
|
|
&& !srv_sys_space.can_auto_extend_last_file()) {
|
|
|
|
/* We print the error message only once to avoid
|
|
spamming the error log. Note that we don't need
|
|
to reset the flag to false as dealing with this
|
|
error requires server restart. */
|
|
if (!srv_sys_space.get_tablespace_full_status()) {
|
|
ib::error() << "The InnoDB system tablespace "
|
|
<< OUT_OF_SPACE_MSG
|
|
<< " innodb_data_file_path.";
|
|
srv_sys_space.set_tablespace_full_status(true);
|
|
}
|
|
return(0);
|
|
} else if (space->id == SRV_TMP_SPACE_ID
|
|
&& !srv_tmp_space.can_auto_extend_last_file()) {
|
|
|
|
/* We print the error message only once to avoid
|
|
spamming the error log. Note that we don't need
|
|
to reset the flag to false as dealing with this
|
|
error requires server restart. */
|
|
if (!srv_tmp_space.get_tablespace_full_status()) {
|
|
ib::error() << "The InnoDB temporary tablespace "
|
|
<< OUT_OF_SPACE_MSG
|
|
<< " innodb_temp_data_file_path.";
|
|
srv_tmp_space.set_tablespace_full_status(true);
|
|
}
|
|
return(0);
|
|
}
|
|
|
|
uint32_t size = mach_read_from_4(FSP_HEADER_OFFSET + FSP_SIZE
|
|
+ header->frame);
|
|
ut_ad(size == space->size_in_header);
|
|
uint32_t size_increase;
|
|
|
|
const unsigned ps = space->physical_size();
|
|
|
|
switch (space->id) {
|
|
case TRX_SYS_SPACE:
|
|
size_increase = srv_sys_space.get_increment();
|
|
break;
|
|
case SRV_TMP_SPACE_ID:
|
|
size_increase = srv_tmp_space.get_increment();
|
|
break;
|
|
default:
|
|
uint32_t extent_pages = fsp_get_extent_size_in_pages(ps);
|
|
if (size < extent_pages) {
|
|
/* Let us first extend the file to extent_size */
|
|
if (!fsp_try_extend_data_file_with_pages(
|
|
space, extent_pages - 1, header, mtr)) {
|
|
return(0);
|
|
}
|
|
|
|
size = extent_pages;
|
|
}
|
|
|
|
size_increase = fsp_get_pages_to_extend_ibd(ps, size);
|
|
}
|
|
|
|
if (size_increase == 0) {
|
|
return(0);
|
|
}
|
|
|
|
if (!fil_space_extend(space, size + size_increase)) {
|
|
return(0);
|
|
}
|
|
|
|
/* For the system tablespace, we ignore any fragments of a
|
|
full megabyte when storing the size to the space header */
|
|
|
|
space->size_in_header = space->id
|
|
? space->size
|
|
: ut_2pow_round(space->size, (1024 * 1024) / ps);
|
|
|
|
/* recv_sys_t::parse() expects to find a WRITE record that
|
|
covers all 4 bytes. Therefore, we must specify mtr_t::FORCED
|
|
in order to avoid optimizing away any unchanged most
|
|
significant bytes of FSP_SIZE. */
|
|
mtr->write<4,mtr_t::FORCED>(*header, FSP_HEADER_OFFSET + FSP_SIZE
|
|
+ header->frame, space->size_in_header);
|
|
|
|
return(size_increase);
|
|
}
|
|
|
|
/** Reset the page type.
|
|
Data files created before MySQL 5.1.48 may contain garbage in FIL_PAGE_TYPE.
|
|
In MySQL 3.23.53, only undo log pages and index pages were tagged.
|
|
Any other pages were written with uninitialized bytes in FIL_PAGE_TYPE.
|
|
@param[in] block block with invalid FIL_PAGE_TYPE
|
|
@param[in] type expected page type
|
|
@param[in,out] mtr mini-transaction */
|
|
ATTRIBUTE_COLD
|
|
void fil_block_reset_type(const buf_block_t& block, ulint type, mtr_t* mtr)
|
|
{
|
|
ib::info()
|
|
<< "Resetting invalid page " << block.page.id() << " type "
|
|
<< fil_page_get_type(block.frame) << " to " << type << ".";
|
|
mtr->write<2>(block, block.frame + FIL_PAGE_TYPE, type);
|
|
}
|
|
|
|
/** Put new extents to the free list if there are free extents above the free
|
|
limit. If an extent happens to contain an extent descriptor page, the extent
|
|
is put to the FSP_FREE_FRAG list with the page marked as used.
|
|
@param[in] init_space true if this is a single-table tablespace
|
|
and we are only initializing the first extent and the first bitmap pages;
|
|
then we will not allocate more extents
|
|
@param[in,out] space tablespace
|
|
@param[in,out] header tablespace header
|
|
@param[in,out] mtr mini-transaction */
|
|
static
|
|
void
|
|
fsp_fill_free_list(
|
|
bool init_space,
|
|
fil_space_t* space,
|
|
buf_block_t* header,
|
|
mtr_t* mtr)
|
|
{
|
|
ut_d(space->modify_check(*mtr));
|
|
|
|
/* Check if we can fill free list from above the free list limit */
|
|
uint32_t size = mach_read_from_4(FSP_HEADER_OFFSET + FSP_SIZE
|
|
+ header->frame);
|
|
uint32_t limit = mach_read_from_4(FSP_HEADER_OFFSET + FSP_FREE_LIMIT
|
|
+ header->frame);
|
|
|
|
ut_ad(size == space->size_in_header);
|
|
ut_ad(limit == space->free_limit);
|
|
|
|
const ulint zip_size = space->zip_size();
|
|
|
|
if (size < limit + FSP_EXTENT_SIZE * FSP_FREE_ADD) {
|
|
bool skip_resize = init_space;
|
|
switch (space->id) {
|
|
case TRX_SYS_SPACE:
|
|
skip_resize = !srv_sys_space.can_auto_extend_last_file();
|
|
break;
|
|
case SRV_TMP_SPACE_ID:
|
|
skip_resize = !srv_tmp_space.can_auto_extend_last_file();
|
|
break;
|
|
}
|
|
|
|
if (!skip_resize) {
|
|
fsp_try_extend_data_file(space, header, mtr);
|
|
size = space->size_in_header;
|
|
}
|
|
}
|
|
|
|
uint32_t count = 0;
|
|
|
|
for (uint32_t i = limit, extent_size = FSP_EXTENT_SIZE,
|
|
physical_size = space->physical_size();
|
|
(init_space && i < 1)
|
|
|| (i + extent_size <= size && count < FSP_FREE_ADD);
|
|
i += extent_size) {
|
|
const bool init_xdes = !ut_2pow_remainder(i, physical_size);
|
|
|
|
space->free_limit = i + extent_size;
|
|
mtr->write<4>(*header, FSP_HEADER_OFFSET + FSP_FREE_LIMIT
|
|
+ header->frame, i + extent_size);
|
|
|
|
if (init_xdes) {
|
|
|
|
buf_block_t* block;
|
|
|
|
/* We are going to initialize a new descriptor page
|
|
and a new ibuf bitmap page: the prior contents of the
|
|
pages should be ignored. */
|
|
|
|
if (i > 0) {
|
|
buf_block_t *f= buf_LRU_get_free_block(false);
|
|
block= buf_page_create(
|
|
space, static_cast<uint32_t>(i),
|
|
zip_size, mtr, f);
|
|
buf_block_dbg_add_level(block, SYNC_FSP_PAGE);
|
|
if (UNIV_UNLIKELY(block != f)) {
|
|
buf_pool.free_block(f);
|
|
}
|
|
fsp_init_file_page(space, block, mtr);
|
|
mtr->write<2>(*block,
|
|
FIL_PAGE_TYPE + block->frame,
|
|
FIL_PAGE_TYPE_XDES);
|
|
}
|
|
|
|
if (space->purpose != FIL_TYPE_TEMPORARY) {
|
|
buf_block_t *f= buf_LRU_get_free_block(false);
|
|
block = buf_page_create(
|
|
space,
|
|
static_cast<uint32_t>(
|
|
i + FSP_IBUF_BITMAP_OFFSET),
|
|
zip_size, mtr, f);
|
|
buf_block_dbg_add_level(block, SYNC_FSP_PAGE);
|
|
if (UNIV_UNLIKELY(block != f)) {
|
|
buf_pool.free_block(f);
|
|
}
|
|
fsp_init_file_page(space, block, mtr);
|
|
mtr->write<2>(*block,
|
|
block->frame + FIL_PAGE_TYPE,
|
|
FIL_PAGE_IBUF_BITMAP);
|
|
}
|
|
}
|
|
|
|
buf_block_t* xdes;
|
|
xdes_t* descr = xdes_get_descriptor_with_space_hdr(
|
|
header, space, i, &xdes, mtr, init_space);
|
|
if (xdes != header && !space->full_crc32()) {
|
|
fil_block_check_type(*xdes, FIL_PAGE_TYPE_XDES, mtr);
|
|
}
|
|
xdes_init(*xdes, descr, mtr);
|
|
const uint16_t xoffset= static_cast<uint16_t>(
|
|
descr - xdes->frame + XDES_FLST_NODE);
|
|
|
|
if (UNIV_UNLIKELY(init_xdes)) {
|
|
|
|
/* The first page in the extent is a descriptor page
|
|
and the second is an ibuf bitmap page: mark them
|
|
used */
|
|
|
|
xdes_set_free<false>(*xdes, descr, 0, mtr);
|
|
xdes_set_free<false>(*xdes, descr,
|
|
FSP_IBUF_BITMAP_OFFSET, mtr);
|
|
xdes_set_state(*xdes, descr, XDES_FREE_FRAG, mtr);
|
|
|
|
flst_add_last(header,
|
|
FSP_HEADER_OFFSET + FSP_FREE_FRAG,
|
|
xdes, xoffset, mtr);
|
|
byte* n_used = FSP_HEADER_OFFSET + FSP_FRAG_N_USED
|
|
+ header->frame;
|
|
mtr->write<4>(*header, n_used,
|
|
2U + mach_read_from_4(n_used));
|
|
} else {
|
|
flst_add_last(header, FSP_HEADER_OFFSET + FSP_FREE,
|
|
xdes, xoffset, mtr);
|
|
count++;
|
|
}
|
|
}
|
|
|
|
space->free_len += count;
|
|
}
|
|
|
|
/** Allocates a new free extent.
|
|
@param[in,out] space tablespace
|
|
@param[in] hint hint of which extent would be desirable: any
|
|
page offset in the extent goes; the hint must not be > FSP_FREE_LIMIT
|
|
@param[out] xdes extent descriptor page
|
|
@param[in,out] mtr mini-transaction
|
|
@return extent descriptor, NULL if cannot be allocated */
|
|
static
|
|
xdes_t*
|
|
fsp_alloc_free_extent(
|
|
fil_space_t* space,
|
|
uint32_t hint,
|
|
buf_block_t** xdes,
|
|
mtr_t* mtr)
|
|
{
|
|
fil_addr_t first;
|
|
xdes_t* descr;
|
|
buf_block_t* desc_block = NULL;
|
|
|
|
buf_block_t* header = fsp_get_header(space, mtr);
|
|
|
|
descr = xdes_get_descriptor_with_space_hdr(
|
|
header, space, hint, &desc_block, mtr);
|
|
|
|
if (desc_block != header && !space->full_crc32()) {
|
|
fil_block_check_type(*desc_block, FIL_PAGE_TYPE_XDES, mtr);
|
|
}
|
|
|
|
if (descr && (xdes_get_state(descr) == XDES_FREE)) {
|
|
/* Ok, we can take this extent */
|
|
} else {
|
|
/* Take the first extent in the free list */
|
|
first = flst_get_first(FSP_HEADER_OFFSET + FSP_FREE
|
|
+ header->frame);
|
|
|
|
if (first.page == FIL_NULL) {
|
|
fsp_fill_free_list(false, space, header, mtr);
|
|
|
|
first = flst_get_first(FSP_HEADER_OFFSET + FSP_FREE
|
|
+ header->frame);
|
|
if (first.page == FIL_NULL) {
|
|
return nullptr; /* No free extents left */
|
|
}
|
|
}
|
|
|
|
descr = xdes_lst_get_descriptor(space, first, &desc_block,
|
|
mtr);
|
|
}
|
|
|
|
flst_remove(header, FSP_HEADER_OFFSET + FSP_FREE, desc_block,
|
|
static_cast<uint16_t>(
|
|
descr - desc_block->frame + XDES_FLST_NODE), mtr);
|
|
space->free_len--;
|
|
*xdes = desc_block;
|
|
|
|
return(descr);
|
|
}
|
|
|
|
/** Allocate a single free page.
|
|
@param[in,out] header tablespace header
|
|
@param[in,out] xdes extent descriptor page
|
|
@param[in,out] descr extent descriptor
|
|
@param[in] bit slot to allocate in the extent
|
|
@param[in,out] mtr mini-transaction */
|
|
static void
|
|
fsp_alloc_from_free_frag(buf_block_t *header, buf_block_t *xdes, xdes_t *descr,
|
|
ulint bit, mtr_t *mtr)
|
|
{
|
|
ut_ad(xdes_get_state(descr) == XDES_FREE_FRAG);
|
|
ut_a(xdes_is_free(descr, bit));
|
|
xdes_set_free<false>(*xdes, descr, bit, mtr);
|
|
|
|
/* Update the FRAG_N_USED field */
|
|
byte* n_used_p = FSP_HEADER_OFFSET + FSP_FRAG_N_USED + header->frame;
|
|
|
|
uint32_t n_used = mach_read_from_4(n_used_p) + 1;
|
|
|
|
if (xdes_is_full(descr)) {
|
|
/* The fragment is full: move it to another list */
|
|
const uint16_t xoffset= static_cast<uint16_t>(
|
|
descr - xdes->frame + XDES_FLST_NODE);
|
|
flst_remove(header, FSP_HEADER_OFFSET + FSP_FREE_FRAG,
|
|
xdes, xoffset, mtr);
|
|
xdes_set_state(*xdes, descr, XDES_FULL_FRAG, mtr);
|
|
|
|
flst_add_last(header, FSP_HEADER_OFFSET + FSP_FULL_FRAG,
|
|
xdes, xoffset, mtr);
|
|
n_used -= FSP_EXTENT_SIZE;
|
|
}
|
|
|
|
mtr->write<4>(*header, n_used_p, n_used);
|
|
}
|
|
|
|
/** Gets a buffer block for an allocated page.
|
|
@param[in,out] space tablespace
|
|
@param[in] offset page number of the allocated page
|
|
@param[in,out] mtr mini-transaction
|
|
@return block, initialized */
|
|
static
|
|
buf_block_t*
|
|
fsp_page_create(fil_space_t *space, page_no_t offset, mtr_t *mtr)
|
|
{
|
|
buf_block_t *block, *free_block;
|
|
|
|
if (UNIV_UNLIKELY(space->is_being_truncated))
|
|
{
|
|
const page_id_t page_id{space->id, offset};
|
|
const ulint fold= page_id.fold();
|
|
mysql_mutex_lock(&buf_pool.mutex);
|
|
block= reinterpret_cast<buf_block_t*>
|
|
(buf_pool.page_hash_get_low(page_id, fold));
|
|
if (block && block->page.oldest_modification() <= 1)
|
|
block= nullptr;
|
|
mysql_mutex_unlock(&buf_pool.mutex);
|
|
|
|
if (block)
|
|
{
|
|
ut_ad(block->page.buf_fix_count() >= 1);
|
|
ut_ad(rw_lock_get_x_lock_count(&block->lock) == 1);
|
|
ut_ad(mtr->have_x_latch(*block));
|
|
free_block= block;
|
|
goto got_free_block;
|
|
}
|
|
}
|
|
|
|
free_block= buf_LRU_get_free_block(false);
|
|
got_free_block:
|
|
block= buf_page_create(space, static_cast<uint32_t>(offset),
|
|
space->zip_size(), mtr, free_block);
|
|
if (UNIV_UNLIKELY(block != free_block))
|
|
buf_pool.free_block(free_block);
|
|
|
|
fsp_init_file_page(space, block, mtr);
|
|
return block;
|
|
}
|
|
|
|
/** Allocates a single free page from a space.
|
|
The page is marked as used.
|
|
@param[in,out] space tablespace
|
|
@param[in] hint hint of which page would be desirable
|
|
@param[in,out] mtr mini-transaction
|
|
@param[in,out] init_mtr mini-transaction in which the page should be
|
|
initialized (may be the same as mtr)
|
|
@retval NULL if no page could be allocated */
|
|
static MY_ATTRIBUTE((warn_unused_result, nonnull))
|
|
buf_block_t*
|
|
fsp_alloc_free_page(
|
|
fil_space_t* space,
|
|
uint32_t hint,
|
|
mtr_t* mtr,
|
|
mtr_t* init_mtr)
|
|
{
|
|
fil_addr_t first;
|
|
xdes_t* descr;
|
|
const ulint space_id = space->id;
|
|
|
|
ut_d(space->modify_check(*mtr));
|
|
buf_block_t* block = fsp_get_header(space, mtr);
|
|
buf_block_t *xdes;
|
|
|
|
/* Get the hinted descriptor */
|
|
descr = xdes_get_descriptor_with_space_hdr(block, space, hint, &xdes,
|
|
mtr);
|
|
|
|
if (descr && (xdes_get_state(descr) == XDES_FREE_FRAG)) {
|
|
/* Ok, we can take this extent */
|
|
} else {
|
|
/* Else take the first extent in free_frag list */
|
|
first = flst_get_first(FSP_HEADER_OFFSET + FSP_FREE_FRAG
|
|
+ block->frame);
|
|
|
|
if (first.page == FIL_NULL) {
|
|
/* There are no partially full fragments: allocate
|
|
a free extent and add it to the FREE_FRAG list. NOTE
|
|
that the allocation may have as a side-effect that an
|
|
extent containing a descriptor page is added to the
|
|
FREE_FRAG list. But we will allocate our page from the
|
|
the free extent anyway. */
|
|
|
|
descr = fsp_alloc_free_extent(space, hint, &xdes, mtr);
|
|
|
|
if (descr == NULL) {
|
|
/* No free space left */
|
|
|
|
return(NULL);
|
|
}
|
|
|
|
xdes_set_state(*xdes, descr, XDES_FREE_FRAG, mtr);
|
|
flst_add_last(block, FSP_HEADER_OFFSET + FSP_FREE_FRAG,
|
|
xdes, static_cast<uint16_t>(
|
|
descr - xdes->frame
|
|
+ XDES_FLST_NODE), mtr);
|
|
} else {
|
|
descr = xdes_lst_get_descriptor(space, first, &xdes,
|
|
mtr);
|
|
}
|
|
|
|
/* Reset the hint */
|
|
hint = 0;
|
|
}
|
|
|
|
/* Now we have in descr an extent with at least one free page. Look
|
|
for a free page in the extent. */
|
|
|
|
uint32_t free = xdes_find_free(descr, hint % FSP_EXTENT_SIZE);
|
|
if (free == FIL_NULL) {
|
|
|
|
ut_print_buf(stderr, ((byte*) descr) - 500, 1000);
|
|
putc('\n', stderr);
|
|
|
|
ut_error;
|
|
}
|
|
|
|
uint32_t page_no = xdes_get_offset(descr) + free;
|
|
|
|
uint32_t space_size = mach_read_from_4(FSP_HEADER_OFFSET + FSP_SIZE
|
|
+ block->frame);
|
|
ut_ad(space_size == space->size_in_header
|
|
|| (space_id == TRX_SYS_SPACE
|
|
&& srv_startup_is_before_trx_rollback_phase));
|
|
|
|
if (space_size <= page_no) {
|
|
/* It must be that we are extending a single-table tablespace
|
|
whose size is still < 64 pages */
|
|
|
|
ut_a(!is_predefined_tablespace(space_id));
|
|
if (page_no >= FSP_EXTENT_SIZE) {
|
|
ib::error() << "Trying to extend a single-table"
|
|
" tablespace " << space->name << " , by single"
|
|
" page(s) though the space size " << space_size
|
|
<< ". Page no " << page_no << ".";
|
|
return(NULL);
|
|
}
|
|
|
|
if (!fsp_try_extend_data_file_with_pages(space, page_no,
|
|
block, mtr)) {
|
|
/* No disk space left */
|
|
return(NULL);
|
|
}
|
|
}
|
|
|
|
fsp_alloc_from_free_frag(block, xdes, descr, free, mtr);
|
|
return fsp_page_create(space, page_no, init_mtr);
|
|
}
|
|
|
|
/** Frees a single page of a space.
|
|
The page is marked as free and clean.
|
|
@param[in,out] space tablespace
|
|
@param[in] offset page number
|
|
@param[in,out] mtr mini-transaction */
|
|
static void fsp_free_page(fil_space_t* space, page_no_t offset, mtr_t* mtr)
|
|
{
|
|
xdes_t* descr;
|
|
ulint state;
|
|
ulint frag_n_used;
|
|
|
|
ut_ad(mtr);
|
|
ut_d(space->modify_check(*mtr));
|
|
|
|
/* fprintf(stderr, "Freeing page %lu in space %lu\n", page, space); */
|
|
|
|
buf_block_t* header = fsp_get_header(space, mtr);
|
|
buf_block_t* xdes= 0;
|
|
|
|
descr = xdes_get_descriptor_with_space_hdr(header, space, offset,
|
|
&xdes, mtr);
|
|
|
|
state = xdes_get_state(descr);
|
|
|
|
if (UNIV_UNLIKELY(state != XDES_FREE_FRAG
|
|
&& state != XDES_FULL_FRAG)) {
|
|
ib::error() << "File space extent descriptor of page "
|
|
<< page_id_t(space->id, offset)
|
|
<< " has state " << state;
|
|
/* Crash in debug version, so that we get a core dump
|
|
of this corruption. */
|
|
ut_ad(0);
|
|
|
|
if (state == XDES_FREE) {
|
|
/* We put here some fault tolerance: if the page
|
|
is already free, return without doing anything! */
|
|
|
|
return;
|
|
}
|
|
|
|
ut_error;
|
|
}
|
|
|
|
if (xdes_is_free(descr, offset % FSP_EXTENT_SIZE)) {
|
|
ib::error() << "File space extent descriptor of page "
|
|
<< page_id_t(space->id, offset)
|
|
<< " says it is free.";
|
|
/* Crash in debug version, so that we get a core dump
|
|
of this corruption. */
|
|
ut_ad(0);
|
|
|
|
/* We put here some fault tolerance: if the page
|
|
is already free, return without doing anything! */
|
|
|
|
return;
|
|
}
|
|
|
|
mtr->free(*space, static_cast<uint32_t>(offset));
|
|
|
|
const ulint bit = offset % FSP_EXTENT_SIZE;
|
|
|
|
xdes_set_free<true>(*xdes, descr, bit, mtr);
|
|
|
|
frag_n_used = mach_read_from_4(FSP_HEADER_OFFSET + FSP_FRAG_N_USED
|
|
+ header->frame);
|
|
|
|
const uint16_t xoffset= static_cast<uint16_t>(descr - xdes->frame
|
|
+ XDES_FLST_NODE);
|
|
|
|
if (state == XDES_FULL_FRAG) {
|
|
/* The fragment was full: move it to another list */
|
|
flst_remove(header, FSP_HEADER_OFFSET + FSP_FULL_FRAG,
|
|
xdes, xoffset, mtr);
|
|
xdes_set_state(*xdes, descr, XDES_FREE_FRAG, mtr);
|
|
flst_add_last(header, FSP_HEADER_OFFSET + FSP_FREE_FRAG,
|
|
xdes, xoffset, mtr);
|
|
mtr->write<4>(*header, FSP_HEADER_OFFSET + FSP_FRAG_N_USED
|
|
+ header->frame,
|
|
frag_n_used + FSP_EXTENT_SIZE - 1);
|
|
} else {
|
|
ut_a(frag_n_used > 0);
|
|
mtr->write<4>(*header, FSP_HEADER_OFFSET + FSP_FRAG_N_USED
|
|
+ header->frame, frag_n_used - 1);
|
|
}
|
|
|
|
if (!xdes_get_n_used(descr)) {
|
|
/* The extent has become free: move it to another list */
|
|
flst_remove(header, FSP_HEADER_OFFSET + FSP_FREE_FRAG,
|
|
xdes, xoffset, mtr);
|
|
fsp_free_extent(space, offset, mtr);
|
|
}
|
|
}
|
|
|
|
/** Return an extent to the free list of a space.
|
|
@param[in,out] space tablespace
|
|
@param[in] offset page number in the extent
|
|
@param[in,out] mtr mini-transaction */
|
|
static void fsp_free_extent(fil_space_t* space, page_no_t offset, mtr_t* mtr)
|
|
{
|
|
ut_ad(mtr->memo_contains(*space));
|
|
|
|
buf_block_t *block= fsp_get_header(space, mtr);
|
|
buf_block_t *xdes= 0;
|
|
|
|
xdes_t* descr= xdes_get_descriptor_with_space_hdr(block, space, offset,
|
|
&xdes, mtr);
|
|
ut_a(xdes_get_state(descr) != XDES_FREE);
|
|
|
|
xdes_init(*xdes, descr, mtr);
|
|
|
|
flst_add_last(block, FSP_HEADER_OFFSET + FSP_FREE,
|
|
xdes, static_cast<uint16_t>(descr - xdes->frame +
|
|
XDES_FLST_NODE), mtr);
|
|
space->free_len++;
|
|
}
|
|
|
|
/** @return Number of segment inodes which fit on a single page */
|
|
inline ulint FSP_SEG_INODES_PER_PAGE(ulint physical_size)
|
|
{
|
|
return (physical_size - FSEG_ARR_OFFSET - 10) / FSEG_INODE_SIZE;
|
|
}
|
|
|
|
/** Returns the nth inode slot on an inode page.
|
|
@param[in] page segment inode page
|
|
@param[in] i inode index on page
|
|
@return segment inode */
|
|
#define fsp_seg_inode_page_get_nth_inode(page, i) \
|
|
FSEG_ARR_OFFSET + FSEG_INODE_SIZE * i + page
|
|
|
|
/** Looks for a used segment inode on a segment inode page.
|
|
@param[in] page segment inode page
|
|
@param[in] physical_size page size
|
|
@return segment inode index, or ULINT_UNDEFINED if not found */
|
|
static
|
|
ulint
|
|
fsp_seg_inode_page_find_used(const page_t* page, ulint physical_size)
|
|
{
|
|
for (ulint i = 0; i < FSP_SEG_INODES_PER_PAGE(physical_size); i++) {
|
|
if (!mach_read_from_8(
|
|
FSEG_ID
|
|
+ fsp_seg_inode_page_get_nth_inode(page, i))) {
|
|
continue;
|
|
}
|
|
/* This is used */
|
|
ut_ad(FSEG_MAGIC_N_VALUE == mach_read_from_4(
|
|
FSEG_MAGIC_N
|
|
+ fsp_seg_inode_page_get_nth_inode(page, i)));
|
|
return i;
|
|
}
|
|
|
|
return(ULINT_UNDEFINED);
|
|
}
|
|
|
|
/** Looks for an unused segment inode on a segment inode page.
|
|
@param[in] page segment inode page
|
|
@param[in] i search forward starting from this index
|
|
@param[in] physical_size page size
|
|
@return segment inode index, or ULINT_UNDEFINED if not found */
|
|
static
|
|
ulint
|
|
fsp_seg_inode_page_find_free(const page_t* page, ulint i, ulint physical_size)
|
|
{
|
|
for (; i < FSP_SEG_INODES_PER_PAGE(physical_size); i++) {
|
|
if (!mach_read_from_8(
|
|
FSEG_ID
|
|
+ fsp_seg_inode_page_get_nth_inode(page, i))) {
|
|
/* This is unused */
|
|
return i;
|
|
}
|
|
|
|
ut_ad(FSEG_MAGIC_N_VALUE == mach_read_from_4(
|
|
FSEG_MAGIC_N
|
|
+ fsp_seg_inode_page_get_nth_inode(page, i)));
|
|
}
|
|
|
|
return ULINT_UNDEFINED;
|
|
}
|
|
|
|
/** Allocate a file segment inode page.
|
|
@param[in,out] space tablespace
|
|
@param[in,out] header tablespace header
|
|
@param[in,out] mtr mini-transaction
|
|
@return whether the allocation succeeded */
|
|
MY_ATTRIBUTE((nonnull, warn_unused_result))
|
|
static
|
|
bool
|
|
fsp_alloc_seg_inode_page(fil_space_t *space, buf_block_t *header, mtr_t *mtr)
|
|
{
|
|
ut_ad(header->page.id().space() == space->id);
|
|
buf_block_t *block= fsp_alloc_free_page(space, 0, mtr, mtr);
|
|
|
|
if (!block)
|
|
return false;
|
|
|
|
buf_block_dbg_add_level(block, SYNC_FSP_PAGE);
|
|
ut_ad(rw_lock_get_x_lock_count(&block->lock) == 1);
|
|
|
|
mtr->write<2>(*block, block->frame + FIL_PAGE_TYPE, FIL_PAGE_INODE);
|
|
|
|
#ifdef UNIV_DEBUG
|
|
const byte *inode= FSEG_ID + FSEG_ARR_OFFSET + block->frame;
|
|
for (ulint i= FSP_SEG_INODES_PER_PAGE(space->physical_size()); i--;
|
|
inode += FSEG_INODE_SIZE)
|
|
ut_ad(!mach_read_from_8(inode));
|
|
#endif
|
|
|
|
flst_add_last(header, FSP_HEADER_OFFSET + FSP_SEG_INODES_FREE,
|
|
block, FSEG_INODE_PAGE_NODE, mtr);
|
|
return true;
|
|
}
|
|
|
|
/** Allocate a file segment inode.
|
|
@param[in,out] space tablespace
|
|
@param[in,out] header tablespace header
|
|
@param[out] iblock segment inode page
|
|
@param[in,out] mtr mini-transaction
|
|
@return segment inode
|
|
@retval NULL if not enough space */
|
|
MY_ATTRIBUTE((nonnull, warn_unused_result))
|
|
static fseg_inode_t*
|
|
fsp_alloc_seg_inode(fil_space_t *space, buf_block_t *header,
|
|
buf_block_t **iblock, mtr_t *mtr)
|
|
{
|
|
buf_block_t* block;
|
|
fseg_inode_t* inode;
|
|
|
|
/* Allocate a new segment inode page if needed. */
|
|
if (!flst_get_len(FSP_HEADER_OFFSET + FSP_SEG_INODES_FREE
|
|
+ header->frame)
|
|
&& !fsp_alloc_seg_inode_page(space, header, mtr)) {
|
|
return(NULL);
|
|
}
|
|
const page_id_t page_id(
|
|
space->id,
|
|
flst_get_first(FSP_HEADER_OFFSET + FSP_SEG_INODES_FREE
|
|
+ header->frame).page);
|
|
|
|
block = buf_page_get(page_id, space->zip_size(), RW_SX_LATCH, mtr);
|
|
buf_block_dbg_add_level(block, SYNC_FSP_PAGE);
|
|
if (!space->full_crc32()) {
|
|
fil_block_check_type(*block, FIL_PAGE_INODE, mtr);
|
|
}
|
|
|
|
const ulint physical_size = space->physical_size();
|
|
|
|
ulint n = fsp_seg_inode_page_find_free(block->frame, 0, physical_size);
|
|
|
|
ut_a(n < FSP_SEG_INODES_PER_PAGE(physical_size));
|
|
|
|
inode = fsp_seg_inode_page_get_nth_inode(block->frame, n);
|
|
|
|
if (ULINT_UNDEFINED == fsp_seg_inode_page_find_free(block->frame,
|
|
n + 1,
|
|
physical_size)) {
|
|
/* There are no other unused headers left on the page: move it
|
|
to another list */
|
|
flst_remove(header, FSP_HEADER_OFFSET + FSP_SEG_INODES_FREE,
|
|
block, FSEG_INODE_PAGE_NODE, mtr);
|
|
flst_add_last(header, FSP_HEADER_OFFSET + FSP_SEG_INODES_FULL,
|
|
block, FSEG_INODE_PAGE_NODE, mtr);
|
|
}
|
|
|
|
ut_ad(!mach_read_from_8(inode + FSEG_ID)
|
|
|| mach_read_from_4(inode + FSEG_MAGIC_N) == FSEG_MAGIC_N_VALUE);
|
|
*iblock = block;
|
|
return(inode);
|
|
}
|
|
|
|
/** Frees a file segment inode.
|
|
@param[in,out] space tablespace
|
|
@param[in,out] inode segment inode
|
|
@param[in,out] iblock segment inode page
|
|
@param[in,out] mtr mini-transaction */
|
|
static void fsp_free_seg_inode(
|
|
fil_space_t* space,
|
|
fseg_inode_t* inode,
|
|
buf_block_t* iblock,
|
|
mtr_t* mtr)
|
|
{
|
|
ut_d(space->modify_check(*mtr));
|
|
|
|
buf_block_t* header = fsp_get_header(space, mtr);
|
|
|
|
ut_ad(mach_read_from_4(inode + FSEG_MAGIC_N) == FSEG_MAGIC_N_VALUE);
|
|
|
|
const ulint physical_size = space->physical_size();
|
|
|
|
if (ULINT_UNDEFINED
|
|
== fsp_seg_inode_page_find_free(iblock->frame, 0, physical_size)) {
|
|
/* Move the page to another list */
|
|
flst_remove(header, FSP_HEADER_OFFSET + FSP_SEG_INODES_FULL,
|
|
iblock, FSEG_INODE_PAGE_NODE, mtr);
|
|
flst_add_last(header, FSP_HEADER_OFFSET + FSP_SEG_INODES_FREE,
|
|
iblock, FSEG_INODE_PAGE_NODE, mtr);
|
|
}
|
|
|
|
mtr->memset(iblock, page_offset(inode) + FSEG_ID, FSEG_INODE_SIZE, 0);
|
|
|
|
if (ULINT_UNDEFINED
|
|
== fsp_seg_inode_page_find_used(iblock->frame, physical_size)) {
|
|
/* There are no other used headers left on the page: free it */
|
|
flst_remove(header, FSP_HEADER_OFFSET + FSP_SEG_INODES_FREE,
|
|
iblock, FSEG_INODE_PAGE_NODE, mtr);
|
|
fsp_free_page(space, iblock->page.id().page_no(), mtr);
|
|
}
|
|
}
|
|
|
|
/** Returns the file segment inode, page x-latched.
|
|
@param[in] header segment header
|
|
@param[in] space space id
|
|
@param[in] zip_size ROW_FORMAT=COMPRESSED page size, or 0
|
|
@param[in,out] mtr mini-transaction
|
|
@param[out] block inode block, or NULL to ignore
|
|
@return segment inode, page x-latched; NULL if the inode is free */
|
|
static
|
|
fseg_inode_t*
|
|
fseg_inode_try_get(
|
|
const fseg_header_t* header,
|
|
ulint space,
|
|
ulint zip_size,
|
|
mtr_t* mtr,
|
|
buf_block_t** block)
|
|
{
|
|
fil_addr_t inode_addr;
|
|
fseg_inode_t* inode;
|
|
|
|
inode_addr.page = mach_read_from_4(header + FSEG_HDR_PAGE_NO);
|
|
inode_addr.boffset = mach_read_from_2(header + FSEG_HDR_OFFSET);
|
|
ut_ad(space == mach_read_from_4(header + FSEG_HDR_SPACE));
|
|
|
|
inode = fut_get_ptr(space, zip_size, inode_addr, RW_SX_LATCH, mtr,
|
|
block);
|
|
|
|
if (UNIV_UNLIKELY(!mach_read_from_8(inode + FSEG_ID))) {
|
|
|
|
inode = NULL;
|
|
} else {
|
|
ut_ad(mach_read_from_4(inode + FSEG_MAGIC_N)
|
|
== FSEG_MAGIC_N_VALUE);
|
|
}
|
|
|
|
return(inode);
|
|
}
|
|
|
|
/** Returns the file segment inode, page x-latched.
|
|
@param[in] header segment header
|
|
@param[in] space space id
|
|
@param[in] zip_size ROW_FORMAT=COMPRESSED page size, or 0
|
|
@param[in,out] mtr mini-transaction
|
|
@param[out] block inode block
|
|
@return segment inode, page x-latched */
|
|
static
|
|
fseg_inode_t*
|
|
fseg_inode_get(
|
|
const fseg_header_t* header,
|
|
ulint space,
|
|
ulint zip_size,
|
|
mtr_t* mtr,
|
|
buf_block_t** block = NULL)
|
|
{
|
|
fseg_inode_t* inode
|
|
= fseg_inode_try_get(header, space, zip_size, mtr, block);
|
|
ut_a(inode);
|
|
return(inode);
|
|
}
|
|
|
|
/** Get the page number from the nth fragment page slot.
|
|
@param inode file segment findex
|
|
@param n slot index
|
|
@return page number
|
|
@retval FIL_NULL if not in use */
|
|
static uint32_t fseg_get_nth_frag_page_no(const fseg_inode_t *inode, ulint n)
|
|
{
|
|
ut_ad(inode);
|
|
ut_ad(n < FSEG_FRAG_ARR_N_SLOTS);
|
|
ut_ad(mach_read_from_4(inode + FSEG_MAGIC_N) == FSEG_MAGIC_N_VALUE);
|
|
return(mach_read_from_4(inode + FSEG_FRAG_ARR
|
|
+ n * FSEG_FRAG_SLOT_SIZE));
|
|
}
|
|
|
|
/** Set the page number in the nth fragment page slot.
|
|
@param[in,out] inode segment inode
|
|
@param[in,out] iblock segment inode page
|
|
@param[in] n slot index
|
|
@param[in] page_no page number to set
|
|
@param[in,out] mtr mini-transaction */
|
|
inline void fseg_set_nth_frag_page_no(fseg_inode_t *inode, buf_block_t *iblock,
|
|
ulint n, ulint page_no, mtr_t *mtr)
|
|
{
|
|
ut_ad(n < FSEG_FRAG_ARR_N_SLOTS);
|
|
ut_ad(mtr->memo_contains_flagged(iblock, MTR_MEMO_PAGE_SX_FIX));
|
|
ut_ad(mach_read_from_4(inode + FSEG_MAGIC_N) == FSEG_MAGIC_N_VALUE);
|
|
|
|
mtr->write<4>(*iblock, inode + FSEG_FRAG_ARR + n * FSEG_FRAG_SLOT_SIZE,
|
|
page_no);
|
|
}
|
|
|
|
/**********************************************************************//**
|
|
Finds a fragment page slot which is free.
|
|
@return slot index; ULINT_UNDEFINED if none found */
|
|
static
|
|
ulint
|
|
fseg_find_free_frag_page_slot(
|
|
/*==========================*/
|
|
fseg_inode_t* inode) /*!< in: segment inode */
|
|
{
|
|
ulint i;
|
|
ulint page_no;
|
|
|
|
for (i = 0; i < FSEG_FRAG_ARR_N_SLOTS; i++) {
|
|
page_no = fseg_get_nth_frag_page_no(inode, i);
|
|
|
|
if (page_no == FIL_NULL) {
|
|
|
|
return(i);
|
|
}
|
|
}
|
|
|
|
return(ULINT_UNDEFINED);
|
|
}
|
|
|
|
/**********************************************************************//**
|
|
Finds a fragment page slot which is used and last in the array.
|
|
@return slot index; ULINT_UNDEFINED if none found */
|
|
static
|
|
ulint
|
|
fseg_find_last_used_frag_page_slot(
|
|
/*===============================*/
|
|
fseg_inode_t* inode) /*!< in: segment inode */
|
|
{
|
|
ulint i;
|
|
ulint page_no;
|
|
|
|
for (i = 0; i < FSEG_FRAG_ARR_N_SLOTS; i++) {
|
|
page_no = fseg_get_nth_frag_page_no(
|
|
inode, FSEG_FRAG_ARR_N_SLOTS - i - 1);
|
|
|
|
if (page_no != FIL_NULL) {
|
|
|
|
return(FSEG_FRAG_ARR_N_SLOTS - i - 1);
|
|
}
|
|
}
|
|
|
|
return(ULINT_UNDEFINED);
|
|
}
|
|
|
|
/** Calculate reserved fragment page slots.
|
|
@param inode file segment index
|
|
@return number of fragment pages */
|
|
static ulint fseg_get_n_frag_pages(const fseg_inode_t *inode)
|
|
{
|
|
ulint i;
|
|
ulint count = 0;
|
|
|
|
for (i = 0; i < FSEG_FRAG_ARR_N_SLOTS; i++) {
|
|
if (FIL_NULL != fseg_get_nth_frag_page_no(inode, i)) {
|
|
count++;
|
|
}
|
|
}
|
|
|
|
return(count);
|
|
}
|
|
|
|
/** Create a new segment.
|
|
@param space tablespace
|
|
@param byte_offset byte offset of the created segment header
|
|
@param mtr mini-transaction
|
|
@param has_done_reservation whether fsp_reserve_free_extents() was invoked
|
|
@param block block where segment header is placed,
|
|
or NULL to allocate an additional page for that
|
|
@return the block where the segment header is placed, x-latched
|
|
@retval NULL if could not create segment because of lack of space */
|
|
buf_block_t*
|
|
fseg_create(fil_space_t *space, ulint byte_offset, mtr_t *mtr,
|
|
bool has_done_reservation, buf_block_t *block)
|
|
{
|
|
fseg_inode_t* inode;
|
|
ib_id_t seg_id;
|
|
uint32_t n_reserved;
|
|
|
|
DBUG_ENTER("fseg_create");
|
|
|
|
ut_ad(mtr);
|
|
ut_ad(byte_offset >= FIL_PAGE_DATA);
|
|
ut_ad(byte_offset + FSEG_HEADER_SIZE
|
|
<= srv_page_size - FIL_PAGE_DATA_END);
|
|
|
|
mtr_x_lock_space(space, mtr);
|
|
ut_d(space->modify_check(*mtr));
|
|
|
|
if (block) {
|
|
ut_ad(block->page.id().space() == space->id);
|
|
|
|
if (!space->full_crc32()) {
|
|
fil_block_check_type(*block, block->page.id()
|
|
== page_id_t(TRX_SYS_SPACE,
|
|
TRX_SYS_PAGE_NO)
|
|
? FIL_PAGE_TYPE_TRX_SYS
|
|
: FIL_PAGE_TYPE_SYS,
|
|
mtr);
|
|
}
|
|
}
|
|
|
|
if (!has_done_reservation
|
|
&& !fsp_reserve_free_extents(&n_reserved, space, 2,
|
|
FSP_NORMAL, mtr)) {
|
|
DBUG_RETURN(NULL);
|
|
}
|
|
|
|
buf_block_t* header = fsp_get_header(space, mtr);
|
|
buf_block_t* iblock;
|
|
|
|
inode = fsp_alloc_seg_inode(space, header, &iblock, mtr);
|
|
|
|
if (inode == NULL) {
|
|
goto funct_exit;
|
|
}
|
|
|
|
/* Read the next segment id from space header and increment the
|
|
value in space header */
|
|
|
|
seg_id = mach_read_from_8(FSP_HEADER_OFFSET + FSP_SEG_ID
|
|
+ header->frame);
|
|
|
|
mtr->write<8>(*header, FSP_HEADER_OFFSET + FSP_SEG_ID + header->frame,
|
|
seg_id + 1);
|
|
mtr->write<8>(*iblock, inode + FSEG_ID, seg_id);
|
|
ut_ad(!mach_read_from_4(inode + FSEG_NOT_FULL_N_USED));
|
|
|
|
flst_init(*iblock, inode + FSEG_FREE, mtr);
|
|
flst_init(*iblock, inode + FSEG_NOT_FULL, mtr);
|
|
flst_init(*iblock, inode + FSEG_FULL, mtr);
|
|
|
|
mtr->write<4>(*iblock, inode + FSEG_MAGIC_N, FSEG_MAGIC_N_VALUE);
|
|
compile_time_assert(FSEG_FRAG_SLOT_SIZE == 4);
|
|
compile_time_assert(FIL_NULL == 0xffffffff);
|
|
mtr->memset(iblock, uint16_t(inode - iblock->frame) + FSEG_FRAG_ARR,
|
|
FSEG_FRAG_SLOT_SIZE * FSEG_FRAG_ARR_N_SLOTS, 0xff);
|
|
|
|
if (!block) {
|
|
block = fseg_alloc_free_page_low(space,
|
|
inode, iblock, 0, FSP_UP,
|
|
#ifdef UNIV_DEBUG
|
|
has_done_reservation,
|
|
#endif /* UNIV_DEBUG */
|
|
mtr, mtr);
|
|
|
|
/* The allocation cannot fail if we have already reserved a
|
|
space for the page. */
|
|
ut_ad(!has_done_reservation || block != NULL);
|
|
|
|
if (block == NULL) {
|
|
fsp_free_seg_inode(space, inode, iblock, mtr);
|
|
goto funct_exit;
|
|
}
|
|
|
|
ut_d(const auto x = rw_lock_get_x_lock_count(&block->lock));
|
|
ut_ad(x > 0);
|
|
ut_ad(x == 1 || space->is_being_truncated);
|
|
ut_ad(x <= 2);
|
|
ut_ad(!fil_page_get_type(block->frame));
|
|
mtr->write<1>(*block, FIL_PAGE_TYPE + 1 + block->frame,
|
|
FIL_PAGE_TYPE_SYS);
|
|
}
|
|
|
|
mtr->write<2>(*block, byte_offset + FSEG_HDR_OFFSET
|
|
+ block->frame, page_offset(inode));
|
|
|
|
mtr->write<4>(*block, byte_offset + FSEG_HDR_PAGE_NO
|
|
+ block->frame, iblock->page.id().page_no());
|
|
|
|
mtr->write<4,mtr_t::MAYBE_NOP>(*block, byte_offset + FSEG_HDR_SPACE
|
|
+ block->frame, space->id);
|
|
|
|
funct_exit:
|
|
if (!has_done_reservation) {
|
|
space->release_free_extents(n_reserved);
|
|
}
|
|
|
|
DBUG_RETURN(block);
|
|
}
|
|
|
|
/**********************************************************************//**
|
|
Calculates the number of pages reserved by a segment, and how many pages are
|
|
currently used.
|
|
@return number of reserved pages */
|
|
static
|
|
ulint
|
|
fseg_n_reserved_pages_low(
|
|
/*======================*/
|
|
const fseg_inode_t* inode, /*!< in: segment inode */
|
|
ulint* used) /*!< out: number of pages used (not
|
|
more than reserved) */
|
|
{
|
|
*used = mach_read_from_4(inode + FSEG_NOT_FULL_N_USED)
|
|
+ FSP_EXTENT_SIZE * flst_get_len(inode + FSEG_FULL)
|
|
+ fseg_get_n_frag_pages(inode);
|
|
|
|
return fseg_get_n_frag_pages(inode)
|
|
+ FSP_EXTENT_SIZE * flst_get_len(inode + FSEG_FREE)
|
|
+ FSP_EXTENT_SIZE * flst_get_len(inode + FSEG_NOT_FULL)
|
|
+ FSP_EXTENT_SIZE * flst_get_len(inode + FSEG_FULL);
|
|
}
|
|
|
|
/** Calculate the number of pages reserved by a segment,
|
|
and how many pages are currently used.
|
|
@param[in] block buffer block containing the file segment header
|
|
@param[in] header file segment header
|
|
@param[out] used number of pages that are used (not more than reserved)
|
|
@param[in,out] mtr mini-transaction
|
|
@return number of reserved pages */
|
|
ulint fseg_n_reserved_pages(const buf_block_t &block,
|
|
const fseg_header_t *header, ulint *used,
|
|
mtr_t *mtr)
|
|
{
|
|
ut_ad(page_align(header) == block.frame);
|
|
return fseg_n_reserved_pages_low(fseg_inode_get(header,
|
|
block.page.id().space(),
|
|
block.zip_size(), mtr),
|
|
used);
|
|
}
|
|
|
|
/** Tries to fill the free list of a segment with consecutive free extents.
|
|
This happens if the segment is big enough to allow extents in the free list,
|
|
the free list is empty, and the extents can be allocated consecutively from
|
|
the hint onward.
|
|
@param[in,out] inode segment inode
|
|
@param[in,out] iblock segment inode page
|
|
@param[in] space tablespace
|
|
@param[in] hint hint which extent would be good as the first extent
|
|
@param[in,out] mtr mini-transaction */
|
|
static
|
|
void
|
|
fseg_fill_free_list(
|
|
fseg_inode_t* inode,
|
|
buf_block_t* iblock,
|
|
fil_space_t* space,
|
|
uint32_t hint,
|
|
mtr_t* mtr)
|
|
{
|
|
xdes_t* descr;
|
|
ulint i;
|
|
ib_id_t seg_id;
|
|
ulint reserved;
|
|
ulint used;
|
|
|
|
ut_ad(inode && mtr);
|
|
ut_ad(!((page_offset(inode) - FSEG_ARR_OFFSET) % FSEG_INODE_SIZE));
|
|
ut_d(space->modify_check(*mtr));
|
|
|
|
reserved = fseg_n_reserved_pages_low(inode, &used);
|
|
|
|
if (reserved < FSEG_FREE_LIST_LIMIT * FSP_EXTENT_SIZE) {
|
|
|
|
/* The segment is too small to allow extents in free list */
|
|
|
|
return;
|
|
}
|
|
|
|
if (flst_get_len(inode + FSEG_FREE) > 0) {
|
|
/* Free list is not empty */
|
|
|
|
return;
|
|
}
|
|
|
|
for (i = 0; i < FSEG_FREE_LIST_MAX_LEN; i++) {
|
|
buf_block_t* xdes;
|
|
descr = xdes_get_descriptor(space, hint, &xdes, mtr);
|
|
|
|
if (!descr || (XDES_FREE != xdes_get_state(descr))) {
|
|
/* We cannot allocate the desired extent: stop */
|
|
return;
|
|
}
|
|
|
|
descr = fsp_alloc_free_extent(space, hint, &xdes, mtr);
|
|
|
|
xdes_set_state(*xdes, descr, XDES_FSEG, mtr);
|
|
|
|
seg_id = mach_read_from_8(inode + FSEG_ID);
|
|
ut_ad(mach_read_from_4(inode + FSEG_MAGIC_N)
|
|
== FSEG_MAGIC_N_VALUE);
|
|
mtr->write<8>(*xdes, descr + XDES_ID, seg_id);
|
|
|
|
flst_add_last(iblock,
|
|
static_cast<uint16_t>(inode - iblock->frame
|
|
+ FSEG_FREE), xdes,
|
|
static_cast<uint16_t>(descr - xdes->frame
|
|
+ XDES_FLST_NODE), mtr);
|
|
hint += FSP_EXTENT_SIZE;
|
|
}
|
|
}
|
|
|
|
/** Allocates a free extent for the segment: looks first in the free list of
|
|
the segment, then tries to allocate from the space free list.
|
|
NOTE that the extent returned still resides in the segment free list, it is
|
|
not yet taken off it!
|
|
@param[in,out] inode segment inode
|
|
@param[in,out] iblock segment inode page
|
|
@param[out] xdes extent descriptor page
|
|
@param[in,out] space tablespace
|
|
@param[in,out] mtr mini-transaction
|
|
@retval NULL if no page could be allocated */
|
|
static
|
|
xdes_t*
|
|
fseg_alloc_free_extent(
|
|
fseg_inode_t* inode,
|
|
buf_block_t* iblock,
|
|
buf_block_t** xdes,
|
|
fil_space_t* space,
|
|
mtr_t* mtr)
|
|
{
|
|
xdes_t* descr;
|
|
ib_id_t seg_id;
|
|
fil_addr_t first;
|
|
|
|
ut_ad(!((page_offset(inode) - FSEG_ARR_OFFSET) % FSEG_INODE_SIZE));
|
|
ut_ad(mach_read_from_4(inode + FSEG_MAGIC_N) == FSEG_MAGIC_N_VALUE);
|
|
ut_d(space->modify_check(*mtr));
|
|
|
|
if (flst_get_len(inode + FSEG_FREE) > 0) {
|
|
/* Segment free list is not empty, allocate from it */
|
|
|
|
first = flst_get_first(inode + FSEG_FREE);
|
|
|
|
descr = xdes_lst_get_descriptor(space, first, xdes, mtr);
|
|
} else {
|
|
/* Segment free list was empty, allocate from space */
|
|
descr = fsp_alloc_free_extent(space, 0, xdes, mtr);
|
|
|
|
if (descr == NULL) {
|
|
|
|
return(NULL);
|
|
}
|
|
|
|
seg_id = mach_read_from_8(inode + FSEG_ID);
|
|
|
|
xdes_set_state(**xdes, descr, XDES_FSEG, mtr);
|
|
mtr->write<8,mtr_t::MAYBE_NOP>(**xdes, descr + XDES_ID,
|
|
seg_id);
|
|
flst_add_last(iblock,
|
|
static_cast<uint16_t>(inode - iblock->frame
|
|
+ FSEG_FREE), *xdes,
|
|
static_cast<uint16_t>(descr - (*xdes)->frame
|
|
+ XDES_FLST_NODE), mtr);
|
|
|
|
/* Try to fill the segment free list */
|
|
fseg_fill_free_list(inode, iblock, space,
|
|
xdes_get_offset(descr) + FSP_EXTENT_SIZE,
|
|
mtr);
|
|
}
|
|
|
|
return(descr);
|
|
}
|
|
|
|
/** Allocates a single free page from a segment.
|
|
This function implements the intelligent allocation strategy which tries to
|
|
minimize file space fragmentation.
|
|
@param[in,out] space tablespace
|
|
@param[in,out] seg_inode segment inode
|
|
@param[in,out] iblock segment inode page
|
|
@param[in] hint hint of which page would be desirable
|
|
@param[in] direction if the new page is needed because of
|
|
an index page split, and records are inserted there in order, into which
|
|
direction they go alphabetically: FSP_DOWN, FSP_UP, FSP_NO_DIR
|
|
@param[in,out] mtr mini-transaction
|
|
@param[in,out] init_mtr mtr or another mini-transaction in
|
|
which the page should be initialized.
|
|
@retval NULL if no page could be allocated */
|
|
static
|
|
buf_block_t*
|
|
fseg_alloc_free_page_low(
|
|
fil_space_t* space,
|
|
fseg_inode_t* seg_inode,
|
|
buf_block_t* iblock,
|
|
uint32_t hint,
|
|
byte direction,
|
|
#ifdef UNIV_DEBUG
|
|
bool has_done_reservation,
|
|
/*!< whether the space has already been reserved */
|
|
#endif /* UNIV_DEBUG */
|
|
mtr_t* mtr,
|
|
mtr_t* init_mtr)
|
|
{
|
|
ib_id_t seg_id;
|
|
ulint used;
|
|
ulint reserved;
|
|
xdes_t* descr; /*!< extent of the hinted page */
|
|
uint32_t ret_page; /*!< the allocated page offset, FIL_NULL
|
|
if could not be allocated */
|
|
xdes_t* ret_descr; /*!< the extent of the allocated page */
|
|
buf_block_t* xdes;
|
|
ulint n;
|
|
const ulint space_id = space->id;
|
|
|
|
ut_ad((direction >= FSP_UP) && (direction <= FSP_NO_DIR));
|
|
ut_ad(mach_read_from_4(seg_inode + FSEG_MAGIC_N)
|
|
== FSEG_MAGIC_N_VALUE);
|
|
ut_ad(!((page_offset(seg_inode) - FSEG_ARR_OFFSET) % FSEG_INODE_SIZE));
|
|
seg_id = mach_read_from_8(seg_inode + FSEG_ID);
|
|
|
|
ut_ad(seg_id);
|
|
ut_d(space->modify_check(*mtr));
|
|
ut_ad(fil_page_get_type(page_align(seg_inode)) == FIL_PAGE_INODE);
|
|
|
|
reserved = fseg_n_reserved_pages_low(seg_inode, &used);
|
|
|
|
buf_block_t* header = fsp_get_header(space, mtr);
|
|
|
|
descr = xdes_get_descriptor_with_space_hdr(header, space, hint,
|
|
&xdes, mtr);
|
|
if (descr == NULL) {
|
|
/* Hint outside space or too high above free limit: reset
|
|
hint */
|
|
/* The file space header page is always allocated. */
|
|
hint = 0;
|
|
descr = xdes_get_descriptor(space, hint, &xdes, mtr);
|
|
}
|
|
|
|
/* In the big if-else below we look for ret_page and ret_descr */
|
|
/*-------------------------------------------------------------*/
|
|
if ((xdes_get_state(descr) == XDES_FSEG)
|
|
&& mach_read_from_8(descr + XDES_ID) == seg_id
|
|
&& xdes_is_free(descr, hint % FSP_EXTENT_SIZE)) {
|
|
take_hinted_page:
|
|
/* 1. We can take the hinted page
|
|
=================================*/
|
|
ret_descr = descr;
|
|
ret_page = hint;
|
|
/* Skip the check for extending the tablespace. If the
|
|
page hint were not within the size of the tablespace,
|
|
we would have got (descr == NULL) above and reset the hint. */
|
|
goto got_hinted_page;
|
|
/*-----------------------------------------------------------*/
|
|
} else if (xdes_get_state(descr) == XDES_FREE
|
|
&& reserved - used < reserved / FSEG_FILLFACTOR
|
|
&& used >= FSEG_FRAG_LIMIT) {
|
|
|
|
/* 2. We allocate the free extent from space and can take
|
|
=========================================================
|
|
the hinted page
|
|
===============*/
|
|
ret_descr = fsp_alloc_free_extent(space, hint, &xdes, mtr);
|
|
|
|
ut_a(ret_descr == descr);
|
|
|
|
xdes_set_state(*xdes, ret_descr, XDES_FSEG, mtr);
|
|
mtr->write<8,mtr_t::MAYBE_NOP>(*xdes, ret_descr + XDES_ID,
|
|
seg_id);
|
|
flst_add_last(iblock,
|
|
static_cast<uint16_t>(seg_inode - iblock->frame
|
|
+ FSEG_FREE), xdes,
|
|
static_cast<uint16_t>(ret_descr - xdes->frame
|
|
+ XDES_FLST_NODE), mtr);
|
|
|
|
/* Try to fill the segment free list */
|
|
fseg_fill_free_list(seg_inode, iblock, space,
|
|
hint + FSP_EXTENT_SIZE, mtr);
|
|
goto take_hinted_page;
|
|
/*-----------------------------------------------------------*/
|
|
} else if ((direction != FSP_NO_DIR)
|
|
&& ((reserved - used) < reserved / FSEG_FILLFACTOR)
|
|
&& (used >= FSEG_FRAG_LIMIT)
|
|
&& !!(ret_descr = fseg_alloc_free_extent(seg_inode, iblock,
|
|
&xdes, space,
|
|
mtr))) {
|
|
/* 3. We take any free extent (which was already assigned above
|
|
===============================================================
|
|
in the if-condition to ret_descr) and take the lowest or
|
|
========================================================
|
|
highest page in it, depending on the direction
|
|
==============================================*/
|
|
ret_page = xdes_get_offset(ret_descr);
|
|
|
|
if (direction == FSP_DOWN) {
|
|
ret_page += FSP_EXTENT_SIZE - 1;
|
|
}
|
|
ut_ad(!has_done_reservation || ret_page != FIL_NULL);
|
|
/*-----------------------------------------------------------*/
|
|
} else if ((xdes_get_state(descr) == XDES_FSEG)
|
|
&& mach_read_from_8(descr + XDES_ID) == seg_id
|
|
&& (!xdes_is_full(descr))) {
|
|
|
|
/* 4. We can take the page from the same extent as the
|
|
======================================================
|
|
hinted page (and the extent already belongs to the
|
|
==================================================
|
|
segment)
|
|
========*/
|
|
ret_descr = descr;
|
|
ret_page = xdes_find_free(ret_descr, hint % FSP_EXTENT_SIZE);
|
|
if (ret_page == FIL_NULL) {
|
|
ut_ad(!has_done_reservation);
|
|
} else {
|
|
ret_page += xdes_get_offset(ret_descr);
|
|
}
|
|
/*-----------------------------------------------------------*/
|
|
} else if (reserved - used > 0) {
|
|
/* 5. We take any unused page from the segment
|
|
==============================================*/
|
|
fil_addr_t first;
|
|
|
|
if (flst_get_len(seg_inode + FSEG_NOT_FULL) > 0) {
|
|
first = flst_get_first(seg_inode + FSEG_NOT_FULL);
|
|
} else if (flst_get_len(seg_inode + FSEG_FREE) > 0) {
|
|
first = flst_get_first(seg_inode + FSEG_FREE);
|
|
} else {
|
|
ut_ad(!has_done_reservation);
|
|
return(NULL);
|
|
}
|
|
|
|
ret_descr = xdes_lst_get_descriptor(space, first, &xdes, mtr);
|
|
ret_page = xdes_find_free(ret_descr);
|
|
if (ret_page == FIL_NULL) {
|
|
ut_ad(!has_done_reservation);
|
|
} else {
|
|
ret_page += xdes_get_offset(ret_descr);
|
|
}
|
|
/*-----------------------------------------------------------*/
|
|
} else if (used < FSEG_FRAG_LIMIT) {
|
|
/* 6. We allocate an individual page from the space
|
|
===================================================*/
|
|
buf_block_t* block = fsp_alloc_free_page(
|
|
space, hint, mtr, init_mtr);
|
|
|
|
ut_ad(!has_done_reservation || block);
|
|
|
|
if (block) {
|
|
/* Put the page in the fragment page array of the
|
|
segment */
|
|
n = fseg_find_free_frag_page_slot(seg_inode);
|
|
ut_a(n != ULINT_UNDEFINED);
|
|
|
|
fseg_set_nth_frag_page_no(
|
|
seg_inode, iblock, n,
|
|
block->page.id().page_no(), mtr);
|
|
}
|
|
|
|
/* fsp_alloc_free_page() invoked fsp_init_file_page()
|
|
already. */
|
|
return(block);
|
|
/*-----------------------------------------------------------*/
|
|
} else {
|
|
/* 7. We allocate a new extent and take its first page
|
|
======================================================*/
|
|
ret_descr = fseg_alloc_free_extent(seg_inode, iblock, &xdes,
|
|
space, mtr);
|
|
|
|
if (ret_descr == NULL) {
|
|
ret_page = FIL_NULL;
|
|
ut_ad(!has_done_reservation);
|
|
} else {
|
|
ret_page = xdes_get_offset(ret_descr);
|
|
ut_ad(!has_done_reservation || ret_page != FIL_NULL);
|
|
}
|
|
}
|
|
|
|
if (ret_page == FIL_NULL) {
|
|
/* Page could not be allocated */
|
|
|
|
ut_ad(!has_done_reservation);
|
|
return(NULL);
|
|
}
|
|
|
|
if (space->size <= ret_page && !is_predefined_tablespace(space_id)) {
|
|
/* It must be that we are extending a single-table
|
|
tablespace whose size is still < 64 pages */
|
|
|
|
if (ret_page >= FSP_EXTENT_SIZE) {
|
|
ib::error() << "Trying to extend '"
|
|
<< space->chain.start->name
|
|
<< "' by single page(s) though the"
|
|
<< " space size " << space->size
|
|
<< ". Page no " << ret_page << ".";
|
|
ut_ad(!has_done_reservation);
|
|
return(NULL);
|
|
}
|
|
|
|
if (!fsp_try_extend_data_file_with_pages(
|
|
space, ret_page, header, mtr)) {
|
|
/* No disk space left */
|
|
ut_ad(!has_done_reservation);
|
|
return(NULL);
|
|
}
|
|
}
|
|
|
|
got_hinted_page:
|
|
/* ret_descr == NULL if the block was allocated from free_frag
|
|
(XDES_FREE_FRAG) */
|
|
if (ret_descr != NULL) {
|
|
/* At this point we know the extent and the page offset.
|
|
The extent is still in the appropriate list (FSEG_NOT_FULL
|
|
or FSEG_FREE), and the page is not yet marked as used. */
|
|
|
|
ut_d(buf_block_t* xxdes);
|
|
ut_ad(xdes_get_descriptor(space, ret_page, &xxdes, mtr)
|
|
== ret_descr);
|
|
ut_ad(xdes == xxdes);
|
|
ut_ad(xdes_is_free(ret_descr, ret_page % FSP_EXTENT_SIZE));
|
|
|
|
fseg_mark_page_used(seg_inode, iblock, ret_page, ret_descr,
|
|
xdes, mtr);
|
|
}
|
|
|
|
return fsp_page_create(space, ret_page, init_mtr);
|
|
}
|
|
|
|
/**********************************************************************//**
|
|
Allocates a single free page from a segment. This function implements
|
|
the intelligent allocation strategy which tries to minimize file space
|
|
fragmentation.
|
|
@retval NULL if no page could be allocated */
|
|
buf_block_t*
|
|
fseg_alloc_free_page_general(
|
|
/*=========================*/
|
|
fseg_header_t* seg_header,/*!< in/out: segment header */
|
|
uint32_t hint, /*!< in: hint of which page would be
|
|
desirable */
|
|
byte direction,/*!< in: if the new page is needed because
|
|
of an index page split, and records are
|
|
inserted there in order, into which
|
|
direction they go alphabetically: FSP_DOWN,
|
|
FSP_UP, FSP_NO_DIR */
|
|
bool has_done_reservation, /*!< in: true if the caller has
|
|
already done the reservation for the page
|
|
with fsp_reserve_free_extents, then there
|
|
is no need to do the check for this individual
|
|
page */
|
|
mtr_t* mtr, /*!< in/out: mini-transaction */
|
|
mtr_t* init_mtr)/*!< in/out: mtr or another mini-transaction
|
|
in which the page should be initialized. */
|
|
{
|
|
fseg_inode_t* inode;
|
|
ulint space_id;
|
|
fil_space_t* space;
|
|
buf_block_t* iblock;
|
|
buf_block_t* block;
|
|
uint32_t n_reserved;
|
|
|
|
space_id = page_get_space_id(page_align(seg_header));
|
|
space = mtr_x_lock_space(space_id, mtr);
|
|
inode = fseg_inode_get(seg_header, space_id, space->zip_size(),
|
|
mtr, &iblock);
|
|
if (!space->full_crc32()) {
|
|
fil_block_check_type(*iblock, FIL_PAGE_INODE, mtr);
|
|
}
|
|
|
|
if (!has_done_reservation
|
|
&& !fsp_reserve_free_extents(&n_reserved, space, 2,
|
|
FSP_NORMAL, mtr)) {
|
|
return(NULL);
|
|
}
|
|
|
|
block = fseg_alloc_free_page_low(space,
|
|
inode, iblock, hint, direction,
|
|
#ifdef UNIV_DEBUG
|
|
has_done_reservation,
|
|
#endif /* UNIV_DEBUG */
|
|
mtr, init_mtr);
|
|
|
|
/* The allocation cannot fail if we have already reserved a
|
|
space for the page. */
|
|
ut_ad(!has_done_reservation || block != NULL);
|
|
|
|
if (!has_done_reservation) {
|
|
space->release_free_extents(n_reserved);
|
|
}
|
|
|
|
return(block);
|
|
}
|
|
|
|
/** Check that we have at least n_pages frag pages free in the first extent
|
|
of a single-table tablespace, and they are also physically initialized to
|
|
the data file. That is we have already extended the data file so that those
|
|
pages are inside the data file. If not, this function extends the tablespace
|
|
with pages.
|
|
@param[in,out] space tablespace
|
|
@param[in,out] header tablespace header, x-latched
|
|
@param[in] size tablespace size in pages, less than FSP_EXTENT_SIZE
|
|
@param[in,out] mtr mini-transaction
|
|
@param[in] n_pages number of pages to reserve
|
|
@return true if there were at least n_pages free pages, or we were able
|
|
to extend */
|
|
static
|
|
bool
|
|
fsp_reserve_free_pages(
|
|
fil_space_t* space,
|
|
buf_block_t* header,
|
|
ulint size,
|
|
mtr_t* mtr,
|
|
uint32_t n_pages)
|
|
{
|
|
xdes_t* descr;
|
|
|
|
ut_a(!is_system_tablespace(space->id));
|
|
ut_a(size < FSP_EXTENT_SIZE);
|
|
|
|
buf_block_t* xdes;
|
|
descr = xdes_get_descriptor_with_space_hdr(header, space, 0, &xdes,
|
|
mtr);
|
|
uint32_t n_used = xdes_get_n_used(descr);
|
|
|
|
ut_a(n_used <= size);
|
|
|
|
return(size >= n_used + n_pages
|
|
|| fsp_try_extend_data_file_with_pages(
|
|
space, n_used + n_pages - 1, header, mtr));
|
|
}
|
|
|
|
/** Reserves free pages from a tablespace. All mini-transactions which may
|
|
use several pages from the tablespace should call this function beforehand
|
|
and reserve enough free extents so that they certainly will be able
|
|
to do their operation, like a B-tree page split, fully. Reservations
|
|
must be released with function fil_space_t::release_free_extents()!
|
|
|
|
The alloc_type below has the following meaning: FSP_NORMAL means an
|
|
operation which will probably result in more space usage, like an
|
|
insert in a B-tree; FSP_UNDO means allocation to undo logs: if we are
|
|
deleting rows, then this allocation will in the long run result in
|
|
less space usage (after a purge); FSP_CLEANING means allocation done
|
|
in a physical record delete (like in a purge) or other cleaning operation
|
|
which will result in less space usage in the long run. We prefer the latter
|
|
two types of allocation: when space is scarce, FSP_NORMAL allocations
|
|
will not succeed, but the latter two allocations will succeed, if possible.
|
|
The purpose is to avoid dead end where the database is full but the
|
|
user cannot free any space because these freeing operations temporarily
|
|
reserve some space.
|
|
|
|
Single-table tablespaces whose size is < FSP_EXTENT_SIZE pages are a special
|
|
case. In this function we would liberally reserve several extents for
|
|
every page split or merge in a B-tree. But we do not want to waste disk space
|
|
if the table only occupies < FSP_EXTENT_SIZE pages. That is why we apply
|
|
different rules in that special case, just ensuring that there are n_pages
|
|
free pages available.
|
|
|
|
@param[out] n_reserved number of extents actually reserved; if we
|
|
return true and the tablespace size is <
|
|
FSP_EXTENT_SIZE pages, then this can be 0,
|
|
otherwise it is n_ext
|
|
@param[in,out] space tablespace
|
|
@param[in] n_ext number of extents to reserve
|
|
@param[in] alloc_type page reservation type (FSP_BLOB, etc)
|
|
@param[in,out] mtr the mini transaction
|
|
@param[in] n_pages for small tablespaces (tablespace size is
|
|
less than FSP_EXTENT_SIZE), number of free
|
|
pages to reserve.
|
|
@return true if we were able to make the reservation */
|
|
bool
|
|
fsp_reserve_free_extents(
|
|
uint32_t* n_reserved,
|
|
fil_space_t* space,
|
|
uint32_t n_ext,
|
|
fsp_reserve_t alloc_type,
|
|
mtr_t* mtr,
|
|
uint32_t n_pages)
|
|
{
|
|
ulint reserve;
|
|
|
|
ut_ad(mtr);
|
|
*n_reserved = n_ext;
|
|
|
|
const uint32_t extent_size = FSP_EXTENT_SIZE;
|
|
|
|
mtr_x_lock_space(space, mtr);
|
|
const unsigned physical_size = space->physical_size();
|
|
|
|
buf_block_t* header = fsp_get_header(space, mtr);
|
|
try_again:
|
|
uint32_t size = mach_read_from_4(FSP_HEADER_OFFSET + FSP_SIZE
|
|
+ header->frame);
|
|
ut_ad(size == space->size_in_header);
|
|
|
|
if (size < extent_size && n_pages < extent_size / 2) {
|
|
/* Use different rules for small single-table tablespaces */
|
|
*n_reserved = 0;
|
|
return(fsp_reserve_free_pages(space, header, size,
|
|
mtr, n_pages));
|
|
}
|
|
|
|
uint32_t n_free_list_ext = flst_get_len(FSP_HEADER_OFFSET + FSP_FREE
|
|
+ header->frame);
|
|
ut_ad(space->free_len == n_free_list_ext);
|
|
|
|
uint32_t free_limit = mach_read_from_4(FSP_HEADER_OFFSET
|
|
+ FSP_FREE_LIMIT
|
|
+ header->frame);
|
|
ut_ad(space->free_limit == free_limit);
|
|
|
|
/* Below we play safe when counting free extents above the free limit:
|
|
some of them will contain extent descriptor pages, and therefore
|
|
will not be free extents */
|
|
|
|
uint32_t n_free_up;
|
|
|
|
if (size >= free_limit) {
|
|
n_free_up = (size - free_limit) / extent_size;
|
|
if (n_free_up) {
|
|
n_free_up--;
|
|
n_free_up -= n_free_up / (physical_size / extent_size);
|
|
}
|
|
} else {
|
|
ut_ad(alloc_type == FSP_BLOB);
|
|
n_free_up = 0;
|
|
}
|
|
|
|
uint32_t n_free = n_free_list_ext + n_free_up;
|
|
|
|
switch (alloc_type) {
|
|
case FSP_NORMAL:
|
|
/* We reserve 1 extent + 0.5 % of the space size to undo logs
|
|
and 1 extent + 0.5 % to cleaning operations; NOTE: this source
|
|
code is duplicated in the function below! */
|
|
|
|
reserve = 2 + ((size / extent_size) * 2) / 200;
|
|
|
|
if (n_free <= reserve + n_ext) {
|
|
|
|
goto try_to_extend;
|
|
}
|
|
break;
|
|
case FSP_UNDO:
|
|
/* We reserve 0.5 % of the space size to cleaning operations */
|
|
|
|
reserve = 1 + ((size / extent_size) * 1) / 200;
|
|
|
|
if (n_free <= reserve + n_ext) {
|
|
|
|
goto try_to_extend;
|
|
}
|
|
break;
|
|
case FSP_CLEANING:
|
|
case FSP_BLOB:
|
|
reserve = 0;
|
|
break;
|
|
default:
|
|
ut_error;
|
|
}
|
|
|
|
if (space->reserve_free_extents(n_free, n_ext)) {
|
|
return(true);
|
|
}
|
|
try_to_extend:
|
|
if (fsp_try_extend_data_file(space, header, mtr)) {
|
|
goto try_again;
|
|
}
|
|
|
|
return(false);
|
|
}
|
|
|
|
/** Frees a single page of a segment.
|
|
@param[in] seg_inode segment inode
|
|
@param[in,out] space tablespace
|
|
@param[in] offset page number
|
|
@param[in,out] mtr mini-transaction */
|
|
static
|
|
void
|
|
fseg_free_page_low(
|
|
fseg_inode_t* seg_inode,
|
|
buf_block_t* iblock,
|
|
fil_space_t* space,
|
|
page_no_t offset,
|
|
mtr_t* mtr)
|
|
{
|
|
ib_id_t descr_id;
|
|
ib_id_t seg_id;
|
|
|
|
ut_ad(seg_inode != NULL);
|
|
ut_ad(mtr != NULL);
|
|
ut_ad(mach_read_from_4(seg_inode + FSEG_MAGIC_N)
|
|
== FSEG_MAGIC_N_VALUE);
|
|
ut_ad(!((page_offset(seg_inode) - FSEG_ARR_OFFSET) % FSEG_INODE_SIZE));
|
|
ut_ad(iblock->frame == page_align(seg_inode));
|
|
ut_d(space->modify_check(*mtr));
|
|
|
|
const uint32_t extent_size = FSP_EXTENT_SIZE;
|
|
ut_ad(ut_is_2pow(extent_size));
|
|
buf_block_t* xdes;
|
|
xdes_t* descr = xdes_get_descriptor(space, offset, &xdes, mtr);
|
|
|
|
if (xdes_is_free(descr, offset & (extent_size - 1))) {
|
|
ib::fatal() << "InnoDB is trying to free page "
|
|
<< page_id_t(space->id, offset)
|
|
<< " though it is already marked as free in the"
|
|
" tablespace! The tablespace free space info is"
|
|
" corrupt. You may need to dump your tables and"
|
|
" recreate the whole database!"
|
|
<< FORCE_RECOVERY_MSG;
|
|
}
|
|
|
|
if (xdes_get_state(descr) != XDES_FSEG) {
|
|
/* The page is in the fragment pages of the segment */
|
|
for (ulint i = 0;; i++) {
|
|
if (fseg_get_nth_frag_page_no(seg_inode, i)
|
|
!= offset) {
|
|
continue;
|
|
}
|
|
|
|
compile_time_assert(FIL_NULL == 0xffffffff);
|
|
mtr->memset(iblock, uint16_t(seg_inode - iblock->frame)
|
|
+ FSEG_FRAG_ARR
|
|
+ i * FSEG_FRAG_SLOT_SIZE, 4, 0xff);
|
|
break;
|
|
}
|
|
|
|
fsp_free_page(space, offset, mtr);
|
|
return;
|
|
}
|
|
|
|
/* If we get here, the page is in some extent of the segment */
|
|
|
|
descr_id = mach_read_from_8(descr + XDES_ID);
|
|
seg_id = mach_read_from_8(seg_inode + FSEG_ID);
|
|
|
|
if (UNIV_UNLIKELY(descr_id != seg_id)) {
|
|
fputs("InnoDB: Dump of the tablespace extent descriptor: ",
|
|
stderr);
|
|
ut_print_buf(stderr, descr, 40);
|
|
fputs("\nInnoDB: Dump of the segment inode: ", stderr);
|
|
ut_print_buf(stderr, seg_inode, 40);
|
|
putc('\n', stderr);
|
|
|
|
ib::fatal() << "InnoDB is trying to free page "
|
|
<< page_id_t(space->id, offset)
|
|
<< ", which does not belong to segment " << descr_id
|
|
<< " but belongs to segment " << seg_id << "."
|
|
<< FORCE_RECOVERY_MSG;
|
|
}
|
|
|
|
byte* p_not_full = seg_inode + FSEG_NOT_FULL_N_USED;
|
|
uint32_t not_full_n_used = mach_read_from_4(p_not_full);
|
|
const uint16_t xoffset= uint16_t(descr - xdes->frame + XDES_FLST_NODE);
|
|
const uint16_t ioffset= uint16_t(seg_inode - iblock->frame);
|
|
|
|
if (xdes_is_full(descr)) {
|
|
/* The fragment is full: move it to another list */
|
|
flst_remove(iblock, static_cast<uint16_t>(FSEG_FULL + ioffset),
|
|
xdes, xoffset, mtr);
|
|
flst_add_last(iblock, static_cast<uint16_t>(FSEG_NOT_FULL
|
|
+ ioffset),
|
|
xdes, xoffset, mtr);
|
|
not_full_n_used += extent_size - 1;
|
|
} else {
|
|
ut_a(not_full_n_used > 0);
|
|
not_full_n_used--;
|
|
}
|
|
|
|
mtr->write<4>(*iblock, p_not_full, not_full_n_used);
|
|
|
|
const ulint bit = offset & (extent_size - 1);
|
|
|
|
xdes_set_free<true>(*xdes, descr, bit, mtr);
|
|
|
|
if (!xdes_get_n_used(descr)) {
|
|
/* The extent has become free: free it to space */
|
|
flst_remove(iblock, static_cast<uint16_t>(FSEG_NOT_FULL
|
|
+ ioffset),
|
|
xdes, xoffset, mtr);
|
|
fsp_free_extent(space, offset, mtr);
|
|
}
|
|
|
|
mtr->free(*space, static_cast<uint32_t>(offset));
|
|
}
|
|
|
|
/** Free a page in a file segment.
|
|
@param[in,out] seg_header file segment header
|
|
@param[in,out] space tablespace
|
|
@param[in] offset page number
|
|
@param[in,out] mtr mini-transaction */
|
|
void
|
|
fseg_free_page(
|
|
fseg_header_t* seg_header,
|
|
fil_space_t* space,
|
|
uint32_t offset,
|
|
mtr_t* mtr)
|
|
{
|
|
DBUG_ENTER("fseg_free_page");
|
|
fseg_inode_t* seg_inode;
|
|
buf_block_t* iblock;
|
|
mtr_x_lock_space(space, mtr);
|
|
|
|
DBUG_LOG("fseg_free_page", "space_id: " << space->id
|
|
<< ", page_no: " << offset);
|
|
|
|
seg_inode = fseg_inode_get(seg_header, space->id, space->zip_size(),
|
|
mtr,
|
|
&iblock);
|
|
if (!space->full_crc32()) {
|
|
fil_block_check_type(*iblock, FIL_PAGE_INODE, mtr);
|
|
}
|
|
|
|
fseg_free_page_low(seg_inode, iblock, space, offset, mtr);
|
|
|
|
DBUG_VOID_RETURN;
|
|
}
|
|
|
|
/** Determine whether a page is free.
|
|
@param[in,out] space tablespace
|
|
@param[in] page page number
|
|
@return whether the page is marked as free */
|
|
bool
|
|
fseg_page_is_free(fil_space_t* space, unsigned page)
|
|
{
|
|
bool is_free;
|
|
mtr_t mtr;
|
|
page_no_t dpage = xdes_calc_descriptor_page(space->zip_size(),
|
|
page);
|
|
|
|
mtr.start();
|
|
mtr_sx_lock_space(space, &mtr);
|
|
|
|
if (page >= space->free_limit || page >= space->size_in_header) {
|
|
is_free = true;
|
|
} else if (const xdes_t* descr = xdes_get_descriptor_const(
|
|
space, dpage, page, &mtr)) {
|
|
is_free = xdes_is_free(descr, page % FSP_EXTENT_SIZE);
|
|
} else {
|
|
is_free = true;
|
|
}
|
|
mtr.commit();
|
|
|
|
return(is_free);
|
|
}
|
|
|
|
/** Free an extent of a segment to the space free list.
|
|
@param[in,out] seg_inode segment inode
|
|
@param[in,out] space tablespace
|
|
@param[in] page page number in the extent
|
|
@param[in,out] mtr mini-transaction */
|
|
MY_ATTRIBUTE((nonnull))
|
|
static
|
|
void
|
|
fseg_free_extent(
|
|
fseg_inode_t* seg_inode,
|
|
buf_block_t* iblock,
|
|
fil_space_t* space,
|
|
uint32_t page,
|
|
mtr_t* mtr)
|
|
{
|
|
|
|
ut_ad(mtr != NULL);
|
|
|
|
buf_block_t* xdes;
|
|
xdes_t* descr = xdes_get_descriptor(space, page, &xdes, mtr);
|
|
|
|
ut_a(xdes_get_state(descr) == XDES_FSEG);
|
|
ut_a(!memcmp(descr + XDES_ID, seg_inode + FSEG_ID, 8));
|
|
ut_ad(mach_read_from_4(seg_inode + FSEG_MAGIC_N)
|
|
== FSEG_MAGIC_N_VALUE);
|
|
ut_d(space->modify_check(*mtr));
|
|
const uint32_t first_page_in_extent = page - (page % FSP_EXTENT_SIZE);
|
|
|
|
const uint16_t xoffset= uint16_t(descr - xdes->frame + XDES_FLST_NODE);
|
|
const uint16_t ioffset= uint16_t(seg_inode - iblock->frame);
|
|
|
|
if (xdes_is_full(descr)) {
|
|
flst_remove(iblock, static_cast<uint16_t>(FSEG_FULL + ioffset),
|
|
xdes, xoffset, mtr);
|
|
} else if (!xdes_get_n_used(descr)) {
|
|
flst_remove(iblock, static_cast<uint16_t>(FSEG_FREE + ioffset),
|
|
xdes, xoffset, mtr);
|
|
} else {
|
|
flst_remove(iblock, static_cast<uint16_t>(FSEG_NOT_FULL
|
|
+ ioffset),
|
|
xdes, xoffset, mtr);
|
|
uint32_t not_full_n_used = mach_read_from_4(
|
|
FSEG_NOT_FULL_N_USED + seg_inode);
|
|
uint32_t descr_n_used = xdes_get_n_used(descr);
|
|
ut_a(not_full_n_used >= descr_n_used);
|
|
mtr->write<4>(*iblock, seg_inode + FSEG_NOT_FULL_N_USED,
|
|
not_full_n_used - descr_n_used);
|
|
}
|
|
|
|
fsp_free_extent(space, page, mtr);
|
|
|
|
for (uint32_t i = 0; i < FSP_EXTENT_SIZE; i++) {
|
|
if (!xdes_is_free(descr, i)) {
|
|
buf_page_free(space, first_page_in_extent + i, mtr,
|
|
__FILE__, __LINE__);
|
|
}
|
|
}
|
|
}
|
|
|
|
/**********************************************************************//**
|
|
Frees part of a segment. This function can be used to free a segment by
|
|
repeatedly calling this function in different mini-transactions. Doing
|
|
the freeing in a single mini-transaction might result in too big a
|
|
mini-transaction.
|
|
@return whether the freeing was completed */
|
|
bool
|
|
fseg_free_step(
|
|
fseg_header_t* header, /*!< in, own: segment header; NOTE: if the header
|
|
resides on the first page of the frag list
|
|
of the segment, this pointer becomes obsolete
|
|
after the last freeing step */
|
|
mtr_t* mtr) /*!< in/out: mini-transaction */
|
|
{
|
|
ulint n;
|
|
fseg_inode_t* inode;
|
|
|
|
DBUG_ENTER("fseg_free_step");
|
|
|
|
const uint32_t space_id = page_get_space_id(page_align(header));
|
|
const uint32_t header_page = page_get_page_no(page_align(header));
|
|
|
|
fil_space_t* space = mtr_x_lock_space(space_id, mtr);
|
|
buf_block_t* xdes;
|
|
xdes_t* descr = xdes_get_descriptor(space, header_page, &xdes, mtr);
|
|
|
|
/* Check that the header resides on a page which has not been
|
|
freed yet */
|
|
|
|
ut_a(!xdes_is_free(descr, header_page % FSP_EXTENT_SIZE));
|
|
buf_block_t* iblock;
|
|
const ulint zip_size = space->zip_size();
|
|
inode = fseg_inode_try_get(header, space_id, zip_size, mtr, &iblock);
|
|
|
|
if (inode == NULL) {
|
|
ib::info() << "Double free of inode from "
|
|
<< page_id_t(space_id, header_page);
|
|
DBUG_RETURN(true);
|
|
}
|
|
|
|
if (!space->full_crc32()) {
|
|
fil_block_check_type(*iblock, FIL_PAGE_INODE, mtr);
|
|
}
|
|
descr = fseg_get_first_extent(inode, space, mtr);
|
|
|
|
if (descr != NULL) {
|
|
/* Free the extent held by the segment */
|
|
fseg_free_extent(inode, iblock, space, xdes_get_offset(descr),
|
|
mtr);
|
|
DBUG_RETURN(false);
|
|
}
|
|
|
|
/* Free a frag page */
|
|
n = fseg_find_last_used_frag_page_slot(inode);
|
|
|
|
if (n == ULINT_UNDEFINED) {
|
|
/* Freeing completed: free the segment inode */
|
|
fsp_free_seg_inode(space, inode, iblock, mtr);
|
|
|
|
DBUG_RETURN(true);
|
|
}
|
|
|
|
page_no_t page_no = fseg_get_nth_frag_page_no(inode, n);
|
|
|
|
fseg_free_page_low(inode, iblock, space, page_no, mtr);
|
|
|
|
buf_page_free(space, page_no, mtr, __FILE__, __LINE__);
|
|
|
|
n = fseg_find_last_used_frag_page_slot(inode);
|
|
|
|
if (n == ULINT_UNDEFINED) {
|
|
/* Freeing completed: free the segment inode */
|
|
fsp_free_seg_inode(space, inode, iblock, mtr);
|
|
|
|
DBUG_RETURN(true);
|
|
}
|
|
|
|
DBUG_RETURN(false);
|
|
}
|
|
|
|
/**********************************************************************//**
|
|
Frees part of a segment. Differs from fseg_free_step because this function
|
|
leaves the header page unfreed.
|
|
@return whether the freeing was completed, except for the header page */
|
|
bool
|
|
fseg_free_step_not_header(
|
|
fseg_header_t* header, /*!< in: segment header which must reside on
|
|
the first fragment page of the segment */
|
|
mtr_t* mtr) /*!< in/out: mini-transaction */
|
|
{
|
|
ulint n;
|
|
xdes_t* descr;
|
|
fseg_inode_t* inode;
|
|
|
|
const uint32_t space_id = page_get_space_id(page_align(header));
|
|
ut_ad(mtr->is_named_space(space_id));
|
|
|
|
fil_space_t* space = mtr_x_lock_space(space_id, mtr);
|
|
buf_block_t* iblock;
|
|
|
|
inode = fseg_inode_get(header, space_id, space->zip_size(), mtr,
|
|
&iblock);
|
|
if (!space->full_crc32()) {
|
|
fil_block_check_type(*iblock, FIL_PAGE_INODE, mtr);
|
|
}
|
|
|
|
descr = fseg_get_first_extent(inode, space, mtr);
|
|
|
|
if (descr != NULL) {
|
|
/* Free the extent held by the segment */
|
|
fseg_free_extent(inode, iblock, space, xdes_get_offset(descr),
|
|
mtr);
|
|
return false;
|
|
}
|
|
|
|
/* Free a frag page */
|
|
|
|
n = fseg_find_last_used_frag_page_slot(inode);
|
|
|
|
ut_a(n != ULINT_UNDEFINED);
|
|
|
|
uint32_t page_no = fseg_get_nth_frag_page_no(inode, n);
|
|
|
|
if (page_no == page_get_page_no(page_align(header))) {
|
|
return true;
|
|
}
|
|
|
|
fseg_free_page_low(inode, iblock, space, page_no, mtr);
|
|
buf_page_free(space, page_no, mtr, __FILE__, __LINE__);
|
|
return false;
|
|
}
|
|
|
|
/** Returns the first extent descriptor for a segment.
|
|
We think of the extent lists of the segment catenated in the order
|
|
FSEG_FULL -> FSEG_NOT_FULL -> FSEG_FREE.
|
|
@param[in] inode segment inode
|
|
@param[in] space tablespace
|
|
@param[in,out] mtr mini-transaction
|
|
@return the first extent descriptor, or NULL if none */
|
|
MY_ATTRIBUTE((nonnull, warn_unused_result))
|
|
static
|
|
xdes_t*
|
|
fseg_get_first_extent(
|
|
fseg_inode_t* inode,
|
|
const fil_space_t* space,
|
|
mtr_t* mtr)
|
|
{
|
|
fil_addr_t first;
|
|
|
|
ut_ad(space->id == page_get_space_id(page_align(inode)));
|
|
ut_ad(mach_read_from_4(inode + FSEG_MAGIC_N) == FSEG_MAGIC_N_VALUE);
|
|
|
|
if (flst_get_len(inode + FSEG_FULL) > 0) {
|
|
first = flst_get_first(inode + FSEG_FULL);
|
|
} else if (flst_get_len(inode + FSEG_NOT_FULL) > 0) {
|
|
first = flst_get_first(inode + FSEG_NOT_FULL);
|
|
} else if (flst_get_len(inode + FSEG_FREE) > 0) {
|
|
first = flst_get_first(inode + FSEG_FREE);
|
|
} else {
|
|
return(NULL);
|
|
}
|
|
|
|
DBUG_ASSERT(first.page != FIL_NULL);
|
|
|
|
buf_block_t *xdes;
|
|
|
|
return(first.page == FIL_NULL ? NULL
|
|
: xdes_lst_get_descriptor(space, first, &xdes, mtr));
|
|
}
|
|
|
|
#ifdef UNIV_BTR_PRINT
|
|
/*******************************************************************//**
|
|
Writes info of a segment. */
|
|
static void fseg_print_low(const fseg_inode_t *inode)
|
|
{
|
|
ulint space;
|
|
ulint n_used;
|
|
ulint n_frag;
|
|
ulint n_free;
|
|
ulint n_not_full;
|
|
ulint n_full;
|
|
ulint reserved;
|
|
ulint used;
|
|
ulint page_no;
|
|
ib_id_t seg_id;
|
|
|
|
space = page_get_space_id(page_align(inode));
|
|
page_no = page_get_page_no(page_align(inode));
|
|
|
|
reserved = fseg_n_reserved_pages_low(inode, &used);
|
|
|
|
seg_id = mach_read_from_8(inode + FSEG_ID);
|
|
n_used = mach_read_from_4(inode + FSEG_NOT_FULL_N_USED);
|
|
n_frag = fseg_get_n_frag_pages(inode);
|
|
n_free = flst_get_len(inode + FSEG_FREE);
|
|
n_not_full = flst_get_len(inode + FSEG_NOT_FULL);
|
|
n_full = flst_get_len(inode + FSEG_FULL);
|
|
|
|
ib::info() << "SEGMENT id " << seg_id
|
|
<< " space " << space << ";"
|
|
<< " page " << page_no << ";"
|
|
<< " res " << reserved << " used " << used << ";"
|
|
<< " full ext " << n_full << ";"
|
|
<< " fragm pages " << n_frag << ";"
|
|
<< " free extents " << n_free << ";"
|
|
<< " not full extents " << n_not_full << ": pages " << n_used;
|
|
|
|
ut_ad(mach_read_from_4(inode + FSEG_MAGIC_N) == FSEG_MAGIC_N_VALUE);
|
|
}
|
|
|
|
/*******************************************************************//**
|
|
Writes info of a segment. */
|
|
void
|
|
fseg_print(
|
|
/*=======*/
|
|
fseg_header_t* header, /*!< in: segment header */
|
|
mtr_t* mtr) /*!< in/out: mini-transaction */
|
|
{
|
|
fseg_inode_t* inode;
|
|
ulint space_id;
|
|
|
|
space_id = page_get_space_id(page_align(header));
|
|
const fil_space_t* space = mtr_x_lock_space(space_id, mtr);
|
|
|
|
inode = fseg_inode_get(header, space_id, space->zip_size(), mtr);
|
|
|
|
fseg_print_low(inode);
|
|
}
|
|
#endif /* UNIV_BTR_PRINT */
|
|
|
|
#ifdef UNIV_DEBUG
|
|
std::ostream &fseg_header::to_stream(std::ostream &out) const
|
|
{
|
|
out << "[fseg_header_t: space="
|
|
<< mach_read_from_4(m_header + FSEG_HDR_SPACE)
|
|
<< ", page=" << mach_read_from_4(m_header + FSEG_HDR_PAGE_NO)
|
|
<< ", offset=" << mach_read_from_2(m_header + FSEG_HDR_OFFSET) << "]";
|
|
return out;
|
|
}
|
|
#endif /* UNIV_DEBUG */
|