Quellcode-Bibliothek page0cur.h   Sprache: C

/*****************************************************************************

Copyright (c) 1994, 2016, Oracle and/or its affiliates. All Rights Reserved.
Copyright (c) 2018, 2023, 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 include/page0cur.h
The page cursor

Created 10/4/1994 Heikki Tuuri
*************************************************************************/

#ifndef page0cur_h
#define page0cur_h

#include "page0page.h"

#ifdef UNIV_DEBUG
/*********************************************************//**
Gets pointer to the buffer block where the cursor is positioned.
@return page */
UNIV_INLINE
buf_block_t*
page_cur_get_block(
/*===============*/
 page_cur_t* cur); /*!< in: page cursor */
/*********************************************************//**
Gets pointer to the page frame where the cursor is positioned.
@return page */
UNIV_INLINE
page_zip_des_t*
page_cur_get_page_zip(
/*==================*/
 page_cur_t* cur); /*!< in: page cursor */
/* Gets the record where the cursor is positioned.
@param cur page cursor
@return record */
UNIV_INLINE
rec_t *page_cur_get_rec(const page_cur_t *cur);
#else /* UNIV_DEBUG */
# define page_cur_get_block(cur) (cur)->block
# define page_cur_get_page_zip(cur) buf_block_get_page_zip((cur)->block)
# define page_cur_get_rec(cur)  (cur)->rec
#endif /* UNIV_DEBUG */
#define page_cur_get_page(cur)  page_cur_get_block(cur)->page.frame
#define is_page_cur_get_page_zip(cur) is_buf_block_get_page_zip((cur)->block)
/*********************************************************//**
Sets the cursor object to point before the first user record
on the page. */
UNIV_INLINE
void
page_cur_set_before_first(
/*======================*/
 const buf_block_t* block, /*!< in: index page */
 page_cur_t*  cur); /*!< in: cursor */
/*********************************************************//**
Sets the cursor object to point after the last user record on
the page. */
UNIV_INLINE
void
page_cur_set_after_last(
/*====================*/
 const buf_block_t* block, /*!< in: index page */
 page_cur_t*  cur); /*!< in: cursor */
/*********************************************************//**
Returns TRUE if the cursor is before first user record on page.
@return TRUE if at start */
UNIV_INLINE
ibool
page_cur_is_before_first(
/*=====================*/
 const page_cur_t* cur); /*!< in: cursor */
/*********************************************************//**
Returns TRUE if the cursor is after last user record.
@return TRUE if at end */
UNIV_INLINE
ibool
page_cur_is_after_last(
/*===================*/
 const page_cur_t* cur); /*!< in: cursor */
/**********************************************************//**
Positions the cursor on the given record. */
UNIV_INLINE
void
page_cur_position(
/*==============*/
 const rec_t*  rec, /*!< in: record on a page */
 const buf_block_t* block, /*!< in: buffer block containing
the record */
 page_cur_t*  cur); /*!< out: page cursor */

/***********************************************************//**
Inserts a record next to page cursor. Returns pointer to inserted record if
succeed, i.e., enough space available, NULL otherwise. The cursor stays at
the same logical position, but the physical position may change if it is
pointing to a compressed page that was reorganized.

@return pointer to record if succeed, NULL otherwise */
UNIV_INLINE
rec_t*
page_cur_tuple_insert(
/*==================*/
 page_cur_t* cursor, /*!< in/out: a page cursor */
 const dtuple_t* tuple, /*!< in: pointer to a data tuple */
 rec_offs** offsets,/*!< out: offsets on *rec */
 mem_heap_t** heap, /*!< in/out: pointer to memory heap, or NULL */
 ulint  n_ext, /*!< in: number of externally stored columns */
 mtr_t*  mtr) /*!< in/out: mini-transaction */
 MY_ATTRIBUTE((nonnull, warn_unused_result));
/***********************************************************//**
Inserts a record next to page cursor on an uncompressed page.
@return pointer to record
@retval nullptr if not enough space was available */
rec_t*
page_cur_insert_rec_low(
/*====================*/
 const page_cur_t*cur, /*!< in: page cursor */
 const rec_t* rec, /*!< in: record to insert after cur */
 rec_offs* offsets,/*!< in/out: rec_get_offsets(rec, index) */
 mtr_t*  mtr) /*!< in/out: mini-transaction */
 MY_ATTRIBUTE((nonnull, warn_unused_result));

/***********************************************************//**
Inserts a record next to page cursor on a compressed and uncompressed
page.

@return pointer to inserted record
@return nullptr on failure */
rec_t*
page_cur_insert_rec_zip(
/*====================*/
 page_cur_t* cursor, /*!< in/out: page cursor,
logical position unchanged  */
 const rec_t* rec, /*!< in: pointer to a physical record */
 rec_offs* offsets,/*!< in/out: rec_get_offsets(rec, index) */
 mtr_t*  mtr) /*!< in/out: mini-transaction */
 MY_ATTRIBUTE((nonnull, warn_unused_result));
/***********************************************************//**
Deletes a record at the page cursor. The cursor is moved to the
next record after the deleted one. */
void
page_cur_delete_rec(
/*================*/
 page_cur_t*  cursor, /*!< in/out: a page cursor */
 const rec_offs*  offsets,/*!< in: rec_get_offsets(
cursor->rec, index) */
 mtr_t*   mtr) /*!< in/out: mini-transaction */
 MY_ATTRIBUTE((nonnull));

/** Apply a INSERT_HEAP_REDUNDANT or INSERT_REUSE_REDUNDANT record that was
written by page_cur_insert_rec_low() for a ROW_FORMAT=REDUNDANT page.
@param block      B-tree or R-tree page in ROW_FORMAT=COMPACT or DYNAMIC
@param reuse      false=allocate from PAGE_HEAP_TOP; true=reuse PAGE_FREE
@param prev       byte offset of the predecessor, relative to PAGE_OLD_INFIMUM
@param enc_hdr    encoded fixed-size header bits
@param hdr_c      number of common record header bytes with prev
@param data_c     number of common data bytes with prev
@param data       literal header and data bytes
@param data_len   length of the literal data, in bytes
@return whether the operation failed (inconcistency was noticed) */
bool page_apply_insert_redundant(const buf_block_t &block, bool reuse,
                                 ulint prev, ulint enc_hdr,
                                 size_t hdr_c, size_t data_c,
                                 const void *data, size_t data_len);

/** Apply a INSERT_HEAP_DYNAMIC or INSERT_REUSE_DYNAMIC record that was
written by page_cur_insert_rec_low() for a ROW_FORMAT=COMPACT or DYNAMIC page.
@param block      B-tree or R-tree page in ROW_FORMAT=COMPACT or DYNAMIC
@param reuse      false=allocate from PAGE_HEAP_TOP; true=reuse PAGE_FREE
@param prev       byte offset of the predecessor, relative to PAGE_NEW_INFIMUM
@param shift      unless !reuse: number of bytes the PAGE_FREE is moving
@param enc_hdr_l  number of copied record header bytes, plus record type bits
@param hdr_c      number of common record header bytes with prev
@param data_c     number of common data bytes with prev
@param data       literal header and data bytes
@param data_len   length of the literal data, in bytes
@return whether the operation failed (inconcistency was noticed) */
bool page_apply_insert_dynamic(const buf_block_t &block, bool reuse,
                               ulint prev, ulint shift, ulint enc_hdr_l,
                               size_t hdr_c, size_t data_c,
                               const void *data, size_t data_len);

/** Apply a DELETE_ROW_FORMAT_REDUNDANT record that was written by
page_cur_delete_rec() for a ROW_FORMAT=REDUNDANT page.
@param block    B-tree or R-tree page in ROW_FORMAT=REDUNDANT
@param prev     byte offset of the predecessor, relative to PAGE_OLD_INFIMUM
@return whether the operation failed (inconcistency was noticed) */
bool page_apply_delete_redundant(const buf_block_t &block, ulint prev);

/** Apply a DELETE_ROW_FORMAT_DYNAMIC record that was written by
page_cur_delete_rec() for a ROW_FORMAT=COMPACT or DYNAMIC page.
@param block      B-tree or R-tree page in ROW_FORMAT=COMPACT or DYNAMIC
@param prev       byte offset of the predecessor, relative to PAGE_NEW_INFIMUM
@param hdr_size   record header size, excluding REC_N_NEW_EXTRA_BYTES
@param data_size  data payload size, in bytes
@return whether the operation failed (inconcistency was noticed) */
bool page_apply_delete_dynamic(const buf_block_t &block, ulint prev,
                               size_t hdr_size, size_t data_size);

MY_ATTRIBUTE((warn_unused_result))
/** Search the right position for a page cursor.
@param tuple        search key
@param mode         search mode
@param iup_fields   matched fields in the upper limit record
@param ilow_fields  matched fields in the low limit record
@param cursor       page cursor
@param rtr_info     R-tree search stack, or nullptr
@return whether the page is corrupted */
bool page_cur_search_with_match(const dtuple_t *tuple, page_cur_mode_t mode,
                                uint16_t *iup_fields, uint16_t *ilow_fields,
                                page_cur_t *cursor, rtr_info_t *rtr_info)
  noexcept;

/** Search the right position for a page cursor.
@param tuple        search key
@param mode         search mode
@param iup_fields   matched fields in the upper limit record
@param ilow_fields  matched fields in the low limit record
@param cursor       page cursor
@param iup_bytes    matched bytes after iup_fields
@param ilow_bytes   matched bytes after ilow_fields
@return whether the first partially matched field is in the lower limit record,
or the page is corrupted */
bool page_cur_search_with_match_bytes(const dtuple_t &tuple,
                                      page_cur_mode_t mode,
                                      uint16_t *iup_fields,
                                      uint16_t *ilow_fields,
                                      page_cur_t *cursor,
                                      uint16_t *iup_bytes,
                                      uint16_t *ilow_bytes)
  noexcept;

/** Compare a data tuple to a physical record.
@param rec    B-tree index record
@param index  index B-tree
@param tuple  search key
@param match  matched fields << 16 | bytes
@param comp   nonzero if ROW_FORMAT=REDUNDANT is not being used
@return the comparison result of dtuple and rec
@retval 0 if dtuple is equal to rec
@retval negative if dtuple is less than rec
@retval positive if dtuple is greater than rec */
int cmp_dtuple_rec_bytes(const rec_t *rec,
                         const dict_index_t &index,
                         const dtuple_t &tuple, int *match, ulint comp)
  noexcept;

/***********************************************************//**
Positions a page cursor on a randomly chosen user record on a page. If there
are no user records, sets the cursor on the infimum record. */
void page_cur_open_on_rnd_user_rec(page_cur_t *cursor);

/** Index page cursor */

struct page_cur_t{
 dict_index_t* index;
 rec_t*  rec; /*!< pointer to a record on page */
 rec_offs* offsets;
 buf_block_t* block; /*!< pointer to the block containing rec */
};


MY_ATTRIBUTE((nonnull, warn_unused_result))
inline rec_t *page_cur_move_to_next(page_cur_t *cur)
{
  return cur->rec= page_rec_get_next(cur->rec);
}

MY_ATTRIBUTE((nonnull, warn_unused_result))
inline rec_t *page_cur_move_to_prev(page_cur_t *cur)
{
  return cur->rec= page_rec_get_prev(cur->rec);
}

#include "page0cur.inl"

#endif