mirror of
https://github.com/MariaDB/server.git
synced 2025-01-19 13:32:33 +01:00
d33b523271
Fixed BUGS: #3300: "UPDATE statement with no index column in where condition locks all rows" Implement semi-consistent read to reduce lock conflicts at the cost of breaking serializability. ha_innobase::unlock_row(): reset the "did semi consistent read" flag ha_innobase::was_semi_consistent_read(), ha_innobase::try_semi_consistent_read(): new methods row_prebuilt_t, row_create_prebuilt(): add field row_read_type for keeping track of semi-consistent reads row_vers_build_for_semi_consistent_read(), row_sel_build_committed_vers_for_mysql(): new functions row_search_for_mysql(): implement semi-consistent reads #9802: "Foreign key checks disallow alter table". Added test cases. #12456: "Cursor shows incorrect data - DML does not affect, probably caching" This patch implements a high-granularity read view to be used with cursors. In this high-granularity consistent read view modifications done by the creating transaction after the cursor is created or future transactions are not visible. But those modifications that transaction did before the cursor was created are visible. #12701: "Support >4GB buffer pool and log files on 64-bit Windows" Do not call os_file_create_tmpfile() at runtime. Instead, create all tempfiles at startup and guard access to them with mutexes. #13778: "If FOREIGN_KEY_CHECKS=0, one can create inconsistent FOREIGN KEYs". When FOREIGN_KEY_CHECKS=0 we still need to check that datatypes between foreign key references are compatible. #14189: "VARBINARY and BINARY variables: trailing space ignored with InnoDB" innobase_init(): Assert that DATA_MYSQL_BINARY_CHARSET_COLL == my_charset_bin.number. dtype_get_pad_char(): Do not pad VARBINARY or BINARY columns. row_ins_cascade_calc_update_vec(): Refuse ON UPDATE CASCADE when trying to change the length of a VARBINARY column that refers to or is referenced by a BINARY column. BINARY columns are no longer padded on comparison, and thus they cannot be padded on storage either. #14747: "Race condition can cause btr_search_drop_page_hash_index() to crash" Note that buf_block_t::index should be protected by btr_search_latch or an s-latch or x-latch on the index page. btr_search_drop_page_hash_index(): Read block->index while holding btr_search_latch and use the cached value in the loop. Remove some redundant assertions. #15108: "mysqld crashes when innodb_log_file_size is set > 4G" #15308: "Problem of Order with Enum Column in Primary Key" #15550: "mysqld crashes in printing a FOREIGN KEY error in InnoDB" row_ins_foreign_report_add_err(): When printing the parent record, use the index in the parent table rather than the index in the child table. #15653: "Slow inserts to InnoDB if many thousands of .ibd files" Keep track on unflushed modifications to file spaces. When there are tens of thousands of file spaces, flushing all files in fil_flush_file_spaces() would be very slow. fil_flush_file_spaces(): Only flush unflushed file spaces. fil_space_t, fil_system_t: Add a list of unflushed spaces. #15991: "innodb-file-per-table + symlink database + rename = cr" os_file_handle_error(): Map the error codes EXDEV, ENOTDIR, and EISDIR to the new code OS_FILE_PATH_ERROR. Treat this code as OS_FILE_PATH_ERROR. This fixes the crash on RENAME TABLE when the .ibd file is a symbolic link to a different file system. #16157: "InnoDB crashes when main location settings are empty" This patch is from Heikki. #16298: "InnoDB segfaults in INSERTs in upgrade of 4.0 -> 5.0 tables with VARCHAR BINARY" dict_load_columns(): Set the charset-collation code DATA_MYSQL_BINARY_CHARSET_COLL for those binary string columns that lack a charset-collation code, i.e., the tables were created with an older version of MySQL/InnoDB than 4.1.2. #16229: "MySQL/InnoDB uses full explicit table locks in trigger processing" Take a InnoDB table lock only if user has explicitly requested a table lock. Added some additional comments to store_lock() and external_lock(). #16387: "InnoDB crash when dropping a foreign key <table>_ibfk_0" Do not mistake TABLENAME_ibfk_0 for auto-generated id. dict_table_get_highest_foreign_id(): Ignore foreign constraint identifiers starting with the pattern TABLENAME_ibfk_0. #16582: "InnoDB: Error in an adaptive hash index pointer to page" Account for a race condition when dropping the adaptive hash index for a B-tree page. btr_search_drop_page_hash_index(): Retry the operation if a hash index with different parameters was built meanwhile. Add diagnostics for the case that hash node pointers to the page remain. btr_search_info_update_hash(), btr_search_info_update_slow(): Document the parameter "info" as in/out. #16814: "SHOW INNODB STATUS format error in LATEST FOREIGN KEY ERROR section" Add a missing newline to the LAST FOREIGN KEY ERROR section in SHOW INNODB STATUS output. dict_foreign_error_report(): Always print a newline after invoking dict_print_info_on_foreign_key_in_create_format(). #16827: "Better InnoDB error message if ibdata files omitted from my.cnf" #17126: "CHECK TABLE on InnoDB causes a short hang during check of adaptive hash" CHECK TABLE blocking other queries, by releasing the btr_search_latch periodically during the adaptive hash table validation. #17405: "Valgrind: conditional jump or move depends on unititialised values" buf_block_init(): Reset magic_n, buf_fix_count and io_fix to avoid testing uninitialized variables.
307 lines
11 KiB
C
307 lines
11 KiB
C
/******************************************************
|
|
Insert buffer
|
|
|
|
(c) 1997 Innobase Oy
|
|
|
|
Created 7/19/1997 Heikki Tuuri
|
|
*******************************************************/
|
|
|
|
#ifndef ibuf0ibuf_h
|
|
#define ibuf0ibuf_h
|
|
|
|
#include "univ.i"
|
|
|
|
#include "dict0mem.h"
|
|
#include "dict0dict.h"
|
|
#include "mtr0mtr.h"
|
|
#include "que0types.h"
|
|
#include "ibuf0types.h"
|
|
#include "fsp0fsp.h"
|
|
|
|
extern ibuf_t* ibuf;
|
|
|
|
/**********************************************************************
|
|
Creates the insert buffer data struct for a single tablespace. Reads the
|
|
root page of the insert buffer tree in the tablespace. This function can
|
|
be called only after the dictionary system has been initialized, as this
|
|
creates also the insert buffer table and index for this tablespace. */
|
|
|
|
ibuf_data_t*
|
|
ibuf_data_init_for_space(
|
|
/*=====================*/
|
|
/* out, own: ibuf data struct, linked to the list
|
|
in ibuf control structure. */
|
|
ulint space); /* in: space id */
|
|
/**********************************************************************
|
|
Creates the insert buffer data structure at a database startup and
|
|
initializes the data structures for the insert buffer of each tablespace. */
|
|
|
|
void
|
|
ibuf_init_at_db_start(void);
|
|
/*=======================*/
|
|
/*************************************************************************
|
|
Reads the biggest tablespace id from the high end of the insert buffer
|
|
tree and updates the counter in fil_system. */
|
|
|
|
void
|
|
ibuf_update_max_tablespace_id(void);
|
|
/*===============================*/
|
|
/*************************************************************************
|
|
Initializes an ibuf bitmap page. */
|
|
|
|
void
|
|
ibuf_bitmap_page_init(
|
|
/*==================*/
|
|
page_t* page, /* in: bitmap page */
|
|
mtr_t* mtr); /* in: mtr */
|
|
/****************************************************************************
|
|
Resets the free bits of the page in the ibuf bitmap. This is done in a
|
|
separate mini-transaction, hence this operation does not restrict further
|
|
work to only ibuf bitmap operations, which would result if the latch to the
|
|
bitmap page were kept. */
|
|
|
|
void
|
|
ibuf_reset_free_bits_with_type(
|
|
/*===========================*/
|
|
ulint type, /* in: index type */
|
|
page_t* page); /* in: index page; free bits are set to 0 if the index
|
|
is non-clustered and non-unique and the page level is
|
|
0 */
|
|
/****************************************************************************
|
|
Resets the free bits of the page in the ibuf bitmap. This is done in a
|
|
separate mini-transaction, hence this operation does not restrict further
|
|
work to solely ibuf bitmap operations, which would result if the latch to
|
|
the bitmap page were kept. */
|
|
|
|
void
|
|
ibuf_reset_free_bits(
|
|
/*=================*/
|
|
dict_index_t* index, /* in: index */
|
|
page_t* page); /* in: index page; free bits are set to 0 if
|
|
the index is non-clustered and non-unique and
|
|
the page level is 0 */
|
|
/****************************************************************************
|
|
Updates the free bits of the page in the ibuf bitmap if there is not enough
|
|
free on the page any more. This is done in a separate mini-transaction, hence
|
|
this operation does not restrict further work to only ibuf bitmap operations,
|
|
which would result if the latch to the bitmap page were kept. */
|
|
UNIV_INLINE
|
|
void
|
|
ibuf_update_free_bits_if_full(
|
|
/*==========================*/
|
|
dict_index_t* index, /* in: index */
|
|
page_t* page, /* in: index page to which we have added new
|
|
records; the free bits are updated if the
|
|
index is non-clustered and non-unique and
|
|
the page level is 0, and the page becomes
|
|
fuller */
|
|
ulint max_ins_size,/* in: value of maximum insert size with
|
|
reorganize before the latest operation
|
|
performed to the page */
|
|
ulint increase);/* in: upper limit for the additional space
|
|
used in the latest operation, if known, or
|
|
ULINT_UNDEFINED */
|
|
/**************************************************************************
|
|
Updates the free bits for the page to reflect the present state. Does this
|
|
in the mtr given, which means that the latching order rules virtually
|
|
prevent any further operations for this OS thread until mtr is committed. */
|
|
|
|
void
|
|
ibuf_update_free_bits_low(
|
|
/*======================*/
|
|
dict_index_t* index, /* in: index */
|
|
page_t* page, /* in: index page */
|
|
ulint max_ins_size, /* in: value of maximum insert size
|
|
with reorganize before the latest
|
|
operation performed to the page */
|
|
mtr_t* mtr); /* in: mtr */
|
|
/**************************************************************************
|
|
Updates the free bits for the two pages to reflect the present state. Does
|
|
this in the mtr given, which means that the latching order rules virtually
|
|
prevent any further operations until mtr is committed. */
|
|
|
|
void
|
|
ibuf_update_free_bits_for_two_pages_low(
|
|
/*====================================*/
|
|
dict_index_t* index, /* in: index */
|
|
page_t* page1, /* in: index page */
|
|
page_t* page2, /* in: index page */
|
|
mtr_t* mtr); /* in: mtr */
|
|
/**************************************************************************
|
|
A basic partial test if an insert to the insert buffer could be possible and
|
|
recommended. */
|
|
UNIV_INLINE
|
|
ibool
|
|
ibuf_should_try(
|
|
/*============*/
|
|
dict_index_t* index, /* in: index where to insert */
|
|
ulint ignore_sec_unique); /* in: if != 0, we should
|
|
ignore UNIQUE constraint on
|
|
a secondary index when we
|
|
decide */
|
|
/**********************************************************************
|
|
Returns TRUE if the current OS thread is performing an insert buffer
|
|
routine. */
|
|
|
|
ibool
|
|
ibuf_inside(void);
|
|
/*=============*/
|
|
/* out: TRUE if inside an insert buffer routine: for instance,
|
|
a read-ahead of non-ibuf pages is then forbidden */
|
|
/***************************************************************************
|
|
Checks if a page address is an ibuf bitmap page (level 3 page) address. */
|
|
UNIV_INLINE
|
|
ibool
|
|
ibuf_bitmap_page(
|
|
/*=============*/
|
|
/* out: TRUE if a bitmap page */
|
|
ulint page_no);/* in: page number */
|
|
/***************************************************************************
|
|
Checks if a page is a level 2 or 3 page in the ibuf hierarchy of pages. */
|
|
|
|
ibool
|
|
ibuf_page(
|
|
/*======*/
|
|
/* out: TRUE if level 2 or level 3 page */
|
|
ulint space, /* in: space id */
|
|
ulint page_no);/* in: page number */
|
|
/***************************************************************************
|
|
Checks if a page is a level 2 or 3 page in the ibuf hierarchy of pages. */
|
|
|
|
ibool
|
|
ibuf_page_low(
|
|
/*==========*/
|
|
/* out: TRUE if level 2 or level 3 page */
|
|
ulint space, /* in: space id */
|
|
ulint page_no,/* in: page number */
|
|
mtr_t* mtr); /* in: mtr which will contain an x-latch to the
|
|
bitmap page if the page is not one of the fixed
|
|
address ibuf pages */
|
|
/***************************************************************************
|
|
Frees excess pages from the ibuf free list. This function is called when an OS
|
|
thread calls fsp services to allocate a new file segment, or a new page to a
|
|
file segment, and the thread did not own the fsp latch before this call. */
|
|
|
|
void
|
|
ibuf_free_excess_pages(
|
|
/*===================*/
|
|
ulint space); /* in: space id */
|
|
/*************************************************************************
|
|
Makes an index insert to the insert buffer, instead of directly to the disk
|
|
page, if this is possible. Does not do insert if the index is clustered
|
|
or unique. */
|
|
|
|
ibool
|
|
ibuf_insert(
|
|
/*========*/
|
|
/* out: TRUE if success */
|
|
dtuple_t* entry, /* in: index entry to insert */
|
|
dict_index_t* index, /* in: index where to insert */
|
|
ulint space, /* in: space id where to insert */
|
|
ulint page_no,/* in: page number where to insert */
|
|
que_thr_t* thr); /* in: query thread */
|
|
/*************************************************************************
|
|
When an index page is read from a disk to the buffer pool, this function
|
|
inserts to the page the possible index entries buffered in the insert buffer.
|
|
The entries are deleted from the insert buffer. If the page is not read, but
|
|
created in the buffer pool, this function deletes its buffered entries from
|
|
the insert buffer; there can exist entries for such a page if the page
|
|
belonged to an index which subsequently was dropped. */
|
|
|
|
void
|
|
ibuf_merge_or_delete_for_page(
|
|
/*==========================*/
|
|
page_t* page, /* in: if page has been read from disk, pointer to
|
|
the page x-latched, else NULL */
|
|
ulint space, /* in: space id of the index page */
|
|
ulint page_no,/* in: page number of the index page */
|
|
ibool update_ibuf_bitmap);/* in: normally this is set to TRUE, but if
|
|
we have deleted or are deleting the tablespace, then we
|
|
naturally do not want to update a non-existent bitmap
|
|
page */
|
|
/*************************************************************************
|
|
Deletes all entries in the insert buffer for a given space id. This is used
|
|
in DISCARD TABLESPACE and IMPORT TABLESPACE.
|
|
NOTE: this does not update the page free bitmaps in the space. The space will
|
|
become CORRUPT when you call this function! */
|
|
|
|
void
|
|
ibuf_delete_for_discarded_space(
|
|
/*============================*/
|
|
ulint space); /* in: space id */
|
|
/*************************************************************************
|
|
Contracts insert buffer trees by reading pages to the buffer pool. */
|
|
|
|
ulint
|
|
ibuf_contract(
|
|
/*==========*/
|
|
/* out: a lower limit for the combined size in bytes
|
|
of entries which will be merged from ibuf trees to the
|
|
pages read, 0 if ibuf is empty */
|
|
ibool sync); /* in: TRUE if the caller wants to wait for the
|
|
issued read with the highest tablespace address
|
|
to complete */
|
|
/*************************************************************************
|
|
Contracts insert buffer trees by reading pages to the buffer pool. */
|
|
|
|
ulint
|
|
ibuf_contract_for_n_pages(
|
|
/*======================*/
|
|
/* out: a lower limit for the combined size in bytes
|
|
of entries which will be merged from ibuf trees to the
|
|
pages read, 0 if ibuf is empty */
|
|
ibool sync, /* in: TRUE if the caller wants to wait for the
|
|
issued read with the highest tablespace address
|
|
to complete */
|
|
ulint n_pages);/* in: try to read at least this many pages to
|
|
the buffer pool and merge the ibuf contents to
|
|
them */
|
|
/*************************************************************************
|
|
Parses a redo log record of an ibuf bitmap page init. */
|
|
|
|
byte*
|
|
ibuf_parse_bitmap_init(
|
|
/*===================*/
|
|
/* out: end of log record or NULL */
|
|
byte* ptr, /* in: buffer */
|
|
byte* end_ptr,/* in: buffer end */
|
|
page_t* page, /* in: page or NULL */
|
|
mtr_t* mtr); /* in: mtr or NULL */
|
|
/**********************************************************************
|
|
Gets the ibuf count for a given page. */
|
|
|
|
ulint
|
|
ibuf_count_get(
|
|
/*===========*/
|
|
/* out: number of entries in the insert buffer
|
|
currently buffered for this page */
|
|
ulint space, /* in: space id */
|
|
ulint page_no);/* in: page number */
|
|
/**********************************************************************
|
|
Looks if the insert buffer is empty. */
|
|
|
|
ibool
|
|
ibuf_is_empty(void);
|
|
/*===============*/
|
|
/* out: TRUE if empty */
|
|
/**********************************************************************
|
|
Prints info of ibuf. */
|
|
|
|
void
|
|
ibuf_print(
|
|
/*=======*/
|
|
FILE* file); /* in: file where to print */
|
|
|
|
#define IBUF_HEADER_PAGE_NO FSP_IBUF_HEADER_PAGE_NO
|
|
#define IBUF_TREE_ROOT_PAGE_NO FSP_IBUF_TREE_ROOT_PAGE_NO
|
|
|
|
/* The ibuf header page currently contains only the file segment header
|
|
for the file segment from which the pages for the ibuf tree are allocated */
|
|
#define IBUF_HEADER PAGE_DATA
|
|
#define IBUF_TREE_SEG_HEADER 0 /* fseg header for ibuf tree */
|
|
|
|
#ifndef UNIV_NONINL
|
|
#include "ibuf0ibuf.ic"
|
|
#endif
|
|
|
|
#endif
|