mirror of
https://github.com/MariaDB/server.git
synced 2025-01-22 14:54:20 +01:00
d0e8306203
Made innodb to compile more cleanly with debugging options enabled. Fixed a few bugs and found a few possible bugs, which I hope Heikki will check. Comments needs to be fixed too. Some while() functions should be changed to do ... until for documenting purposes, because some of them must and will be processed at least once, or a variable would be used uninitialized. Regards, Jani
524 lines
12 KiB
C
524 lines
12 KiB
C
/******************************************************
|
|
Mini-transaction buffer
|
|
|
|
(c) 1995 Innobase Oy
|
|
|
|
Created 11/26/1995 Heikki Tuuri
|
|
*******************************************************/
|
|
|
|
#include "mtr0mtr.h"
|
|
|
|
#ifdef UNIV_NONINL
|
|
#include "mtr0mtr.ic"
|
|
#endif
|
|
|
|
#include "buf0buf.h"
|
|
#include "page0types.h"
|
|
#include "mtr0log.h"
|
|
#include "log0log.h"
|
|
|
|
/*******************************************************************
|
|
Starts a mini-transaction and creates a mini-transaction handle
|
|
and buffer in the memory buffer given by the caller. */
|
|
|
|
mtr_t*
|
|
mtr_start_noninline(
|
|
/*================*/
|
|
/* out: mtr buffer which also acts as
|
|
the mtr handle */
|
|
mtr_t* mtr) /* in: memory buffer for the mtr buffer */
|
|
{
|
|
return(mtr_start(mtr));
|
|
}
|
|
|
|
/*********************************************************************
|
|
Releases the item in the slot given. */
|
|
UNIV_INLINE
|
|
void
|
|
mtr_memo_slot_release(
|
|
/*==================*/
|
|
mtr_t* mtr, /* in: mtr */
|
|
mtr_memo_slot_t* slot) /* in: memo slot */
|
|
{
|
|
void* object;
|
|
ulint type;
|
|
|
|
ut_ad(mtr && slot);
|
|
|
|
object = slot->object;
|
|
type = slot->type;
|
|
|
|
if (object != NULL) {
|
|
if (type <= MTR_MEMO_BUF_FIX) {
|
|
buf_page_release((buf_block_t*)object, type, mtr);
|
|
} else if (type == MTR_MEMO_S_LOCK) {
|
|
rw_lock_s_unlock((rw_lock_t*)object);
|
|
#ifndef UNIV_DEBUG
|
|
} else {
|
|
rw_lock_x_unlock((rw_lock_t*)object);
|
|
}
|
|
#endif
|
|
#ifdef UNIV_DEBUG
|
|
} else if (type == MTR_MEMO_X_LOCK) {
|
|
rw_lock_x_unlock((rw_lock_t*)object);
|
|
} else {
|
|
ut_ad(type == MTR_MEMO_MODIFY);
|
|
ut_ad(mtr_memo_contains(mtr, object,
|
|
MTR_MEMO_PAGE_X_FIX));
|
|
}
|
|
#endif
|
|
}
|
|
|
|
slot->object = NULL;
|
|
}
|
|
|
|
/**************************************************************
|
|
Releases the mlocks and other objects stored in an mtr memo. They are released
|
|
in the order opposite to which they were pushed to the memo. NOTE! It is
|
|
essential that the x-rw-lock on a modified buffer page is not released before
|
|
buf_page_note_modification is called for that page! Otherwise, some thread
|
|
might race to modify it, and the flush list sort order on lsn would be
|
|
destroyed. */
|
|
UNIV_INLINE
|
|
void
|
|
mtr_memo_pop_all(
|
|
/*=============*/
|
|
mtr_t* mtr) /* in: mtr */
|
|
{
|
|
mtr_memo_slot_t* slot;
|
|
dyn_array_t* memo;
|
|
ulint offset;
|
|
|
|
ut_ad(mtr);
|
|
ut_ad(mtr->magic_n == MTR_MAGIC_N);
|
|
ut_ad(mtr->state == MTR_COMMITTING); /* Currently only used in
|
|
commit */
|
|
memo = &(mtr->memo);
|
|
|
|
offset = dyn_array_get_data_size(memo);
|
|
|
|
while (offset > 0) {
|
|
offset -= sizeof(mtr_memo_slot_t);
|
|
slot = dyn_array_get_element(memo, offset);
|
|
|
|
mtr_memo_slot_release(mtr, slot);
|
|
}
|
|
}
|
|
|
|
/****************************************************************
|
|
Writes to the log the contents of a full page. This is called when the
|
|
database is in the online backup state. */
|
|
static
|
|
void
|
|
mtr_log_write_full_page(
|
|
/*====================*/
|
|
page_t* page, /* in: page to write */
|
|
ulint i, /* in: i'th page for mtr */
|
|
ulint n_pages,/* in: total number of pages for mtr */
|
|
mtr_t* mtr) /* in: mtr */
|
|
{
|
|
byte* buf;
|
|
byte* ptr;
|
|
ulint len;
|
|
|
|
buf = mem_alloc(UNIV_PAGE_SIZE + 50);
|
|
|
|
ptr = mlog_write_initial_log_record_fast(page, MLOG_FULL_PAGE, buf,
|
|
mtr);
|
|
ut_memcpy(ptr, page, UNIV_PAGE_SIZE);
|
|
|
|
len = (ptr - buf) + UNIV_PAGE_SIZE;
|
|
|
|
if (i == n_pages - 1) {
|
|
if (n_pages > 1) {
|
|
*(buf + len) = MLOG_MULTI_REC_END;
|
|
len++;
|
|
} else {
|
|
*buf = (byte)((ulint)*buf | MLOG_SINGLE_REC_FLAG);
|
|
}
|
|
}
|
|
|
|
ut_ad(len < UNIV_PAGE_SIZE + 50);
|
|
|
|
log_write_low(buf, len);
|
|
|
|
mem_free(buf);
|
|
}
|
|
|
|
/****************************************************************
|
|
Parses a log record which contains the full contents of a page. */
|
|
|
|
byte*
|
|
mtr_log_parse_full_page(
|
|
/*====================*/
|
|
/* out: end of log record or NULL */
|
|
byte* ptr, /* in: buffer */
|
|
byte* end_ptr,/* in: buffer end */
|
|
page_t* page) /* in: page or NULL */
|
|
{
|
|
if (end_ptr < ptr + UNIV_PAGE_SIZE) {
|
|
|
|
return(NULL);
|
|
}
|
|
|
|
if (page) {
|
|
ut_memcpy(page, ptr, UNIV_PAGE_SIZE);
|
|
}
|
|
|
|
return(ptr + UNIV_PAGE_SIZE);
|
|
}
|
|
|
|
/****************************************************************
|
|
Writes to the database log the full contents of the pages that this mtr has
|
|
modified. */
|
|
|
|
void
|
|
mtr_log_write_backup_full_pages(
|
|
/*============================*/
|
|
mtr_t* mtr, /* in: mini-transaction */
|
|
ulint n_pages)/* in: number of pages modified by mtr */
|
|
{
|
|
mtr_memo_slot_t* slot;
|
|
dyn_array_t* memo;
|
|
buf_block_t* block;
|
|
ulint offset;
|
|
ulint type;
|
|
ulint i;
|
|
|
|
ut_ad(mtr);
|
|
ut_ad(mtr->magic_n == MTR_MAGIC_N);
|
|
ut_ad(mtr->state == MTR_COMMITTING);
|
|
|
|
/* Open the database log for log_write_low */
|
|
mtr->start_lsn = log_reserve_and_open(n_pages * (UNIV_PAGE_SIZE + 50));
|
|
|
|
memo = &(mtr->memo);
|
|
|
|
offset = dyn_array_get_data_size(memo);
|
|
|
|
i = 0;
|
|
|
|
while (offset > 0) {
|
|
offset -= sizeof(mtr_memo_slot_t);
|
|
slot = dyn_array_get_element(memo, offset);
|
|
|
|
block = slot->object;
|
|
type = slot->type;
|
|
|
|
if ((block != NULL) && (type == MTR_MEMO_PAGE_X_FIX)) {
|
|
|
|
mtr_log_write_full_page(block->frame, i, n_pages, mtr);
|
|
|
|
i++;
|
|
}
|
|
}
|
|
|
|
ut_ad(i == n_pages);
|
|
}
|
|
|
|
/****************************************************************
|
|
Checks if mtr is the first to modify any page after online_backup_lsn. */
|
|
static
|
|
ibool
|
|
mtr_first_to_modify_page_after_backup(
|
|
/*==================================*/
|
|
/* out: TRUE if first for a page */
|
|
mtr_t* mtr, /* in: mini-transaction */
|
|
ulint* n_pages) /* out: number of modified pages (all modified
|
|
pages, backup_lsn does not matter here) */
|
|
{
|
|
mtr_memo_slot_t* slot;
|
|
dyn_array_t* memo;
|
|
ulint offset;
|
|
buf_block_t* block;
|
|
ulint type;
|
|
dulint backup_lsn;
|
|
ibool ret = FALSE;
|
|
|
|
ut_ad(mtr);
|
|
ut_ad(mtr->magic_n == MTR_MAGIC_N);
|
|
ut_ad(mtr->state == MTR_COMMITTING);
|
|
|
|
backup_lsn = log_get_online_backup_lsn_low();
|
|
|
|
memo = &(mtr->memo);
|
|
|
|
offset = dyn_array_get_data_size(memo);
|
|
|
|
*n_pages = 0;
|
|
|
|
while (offset > 0) {
|
|
offset -= sizeof(mtr_memo_slot_t);
|
|
slot = dyn_array_get_element(memo, offset);
|
|
|
|
block = slot->object;
|
|
type = slot->type;
|
|
|
|
if ((block != NULL) && (type == MTR_MEMO_PAGE_X_FIX)) {
|
|
|
|
*n_pages = *n_pages + 1;
|
|
|
|
if (ut_dulint_cmp(buf_frame_get_newest_modification(
|
|
block->frame),
|
|
backup_lsn) <= 0) {
|
|
|
|
printf("Page %lu newest %lu backup %lu\n",
|
|
block->offset,
|
|
ut_dulint_get_low(
|
|
buf_frame_get_newest_modification(
|
|
block->frame)),
|
|
ut_dulint_get_low(backup_lsn));
|
|
|
|
ret = TRUE;
|
|
}
|
|
}
|
|
}
|
|
|
|
return(ret);
|
|
}
|
|
|
|
/****************************************************************
|
|
Writes the contents of a mini-transaction log, if any, to the database log. */
|
|
static
|
|
void
|
|
mtr_log_reserve_and_write(
|
|
/*======================*/
|
|
mtr_t* mtr) /* in: mtr */
|
|
{
|
|
dyn_array_t* mlog;
|
|
dyn_block_t* block;
|
|
ulint data_size;
|
|
ibool success;
|
|
byte* first_data;
|
|
ulint n_modified_pages;
|
|
|
|
ut_ad(mtr);
|
|
|
|
mlog = &(mtr->log);
|
|
|
|
first_data = dyn_block_get_data(mlog);
|
|
|
|
if (mtr->n_log_recs > 1) {
|
|
mlog_catenate_ulint(mtr, MLOG_MULTI_REC_END, MLOG_1BYTE);
|
|
} else {
|
|
*first_data = (byte)((ulint)*first_data | MLOG_SINGLE_REC_FLAG);
|
|
}
|
|
|
|
if (mlog->heap == NULL) {
|
|
mtr->end_lsn = log_reserve_and_write_fast(first_data,
|
|
dyn_block_get_used(mlog),
|
|
&(mtr->start_lsn), &success);
|
|
if (success) {
|
|
|
|
return;
|
|
}
|
|
}
|
|
|
|
data_size = dyn_array_get_data_size(mlog);
|
|
|
|
/* Open the database log for log_write_low */
|
|
mtr->start_lsn = log_reserve_and_open(data_size);
|
|
|
|
if (mtr->log_mode == MTR_LOG_ALL) {
|
|
|
|
if (log_get_online_backup_state_low()
|
|
&& mtr_first_to_modify_page_after_backup(mtr,
|
|
&n_modified_pages)) {
|
|
|
|
/* The database is in the online backup state: write
|
|
to the log the full contents of all the pages if this
|
|
mtr is the first to modify any page in the buffer pool
|
|
after online_backup_lsn */
|
|
|
|
log_close();
|
|
log_release();
|
|
|
|
mtr_log_write_backup_full_pages(mtr, n_modified_pages);
|
|
} else {
|
|
block = mlog;
|
|
|
|
while (block != NULL) {
|
|
log_write_low(dyn_block_get_data(block),
|
|
dyn_block_get_used(block));
|
|
block = dyn_array_get_next_block(mlog, block);
|
|
}
|
|
}
|
|
} else {
|
|
ut_ad(mtr->log_mode == MTR_LOG_NONE);
|
|
/* Do nothing */
|
|
}
|
|
|
|
mtr->end_lsn = log_close();
|
|
}
|
|
|
|
/*******************************************************************
|
|
Commits a mini-transaction. */
|
|
|
|
void
|
|
mtr_commit(
|
|
/*=======*/
|
|
mtr_t* mtr) /* in: mini-transaction */
|
|
{
|
|
ut_ad(mtr);
|
|
ut_ad(mtr->magic_n == MTR_MAGIC_N);
|
|
ut_ad(mtr->state == MTR_ACTIVE);
|
|
#ifdef UNIV_DEBUG
|
|
mtr->state = MTR_COMMITTING;
|
|
#endif
|
|
if (mtr->modifications) {
|
|
mtr_log_reserve_and_write(mtr);
|
|
}
|
|
|
|
/* We first update the modification info to buffer pages, and only
|
|
after that release the log mutex: this guarantees that when the log
|
|
mutex is free, all buffer pages contain an up-to-date info of their
|
|
modifications. This fact is used in making a checkpoint when we look
|
|
at the oldest modification of any page in the buffer pool. It is also
|
|
required when we insert modified buffer pages in to the flush list
|
|
which must be sorted on oldest_modification. */
|
|
|
|
mtr_memo_pop_all(mtr);
|
|
|
|
if (mtr->modifications) {
|
|
log_release();
|
|
}
|
|
|
|
#ifdef UNIV_DEBUG
|
|
mtr->state = MTR_COMMITTED;
|
|
#endif
|
|
dyn_array_free(&(mtr->memo));
|
|
dyn_array_free(&(mtr->log));
|
|
}
|
|
|
|
/**************************************************************
|
|
Releases the latches stored in an mtr memo down to a savepoint.
|
|
NOTE! The mtr must not have made changes to buffer pages after the
|
|
savepoint, as these can be handled only by mtr_commit. */
|
|
|
|
void
|
|
mtr_rollback_to_savepoint(
|
|
/*======================*/
|
|
mtr_t* mtr, /* in: mtr */
|
|
ulint savepoint) /* in: savepoint */
|
|
{
|
|
mtr_memo_slot_t* slot;
|
|
dyn_array_t* memo;
|
|
ulint offset;
|
|
|
|
ut_ad(mtr);
|
|
ut_ad(mtr->magic_n == MTR_MAGIC_N);
|
|
ut_ad(mtr->state == MTR_ACTIVE);
|
|
|
|
memo = &(mtr->memo);
|
|
|
|
offset = dyn_array_get_data_size(memo);
|
|
ut_ad(offset >= savepoint);
|
|
|
|
while (offset > savepoint) {
|
|
offset -= sizeof(mtr_memo_slot_t);
|
|
|
|
slot = dyn_array_get_element(memo, offset);
|
|
|
|
ut_ad(slot->type != MTR_MEMO_MODIFY);
|
|
mtr_memo_slot_release(mtr, slot);
|
|
}
|
|
}
|
|
|
|
/*******************************************************
|
|
Releases an object in the memo stack. */
|
|
|
|
void
|
|
mtr_memo_release(
|
|
/*=============*/
|
|
mtr_t* mtr, /* in: mtr */
|
|
void* object, /* in: object */
|
|
ulint type) /* in: object type: MTR_MEMO_S_LOCK, ... */
|
|
{
|
|
mtr_memo_slot_t* slot;
|
|
dyn_array_t* memo;
|
|
ulint offset;
|
|
|
|
ut_ad(mtr);
|
|
ut_ad(mtr->magic_n == MTR_MAGIC_N);
|
|
ut_ad(mtr->state == MTR_ACTIVE);
|
|
|
|
memo = &(mtr->memo);
|
|
|
|
offset = dyn_array_get_data_size(memo);
|
|
|
|
while (offset > 0) {
|
|
offset -= sizeof(mtr_memo_slot_t);
|
|
|
|
slot = dyn_array_get_element(memo, offset);
|
|
|
|
if ((object == slot->object) && (type == slot->type)) {
|
|
|
|
mtr_memo_slot_release(mtr, slot);
|
|
|
|
break;
|
|
}
|
|
}
|
|
}
|
|
|
|
/************************************************************
|
|
Reads 1 - 4 bytes from a file page buffered in the buffer pool. */
|
|
|
|
ulint
|
|
mtr_read_ulint(
|
|
/*===========*/
|
|
/* out: value read */
|
|
byte* ptr, /* in: pointer from where to read */
|
|
ulint type, /* in: MLOG_1BYTE, MLOG_2BYTES, MLOG_4BYTES */
|
|
mtr_t* mtr __attribute__((unused)))
|
|
/* in: mini-transaction handle */
|
|
{
|
|
ut_ad(mtr->state == MTR_ACTIVE);
|
|
ut_ad(mtr_memo_contains(mtr, buf_block_align(ptr),
|
|
MTR_MEMO_PAGE_S_FIX) ||
|
|
mtr_memo_contains(mtr, buf_block_align(ptr),
|
|
MTR_MEMO_PAGE_X_FIX));
|
|
if (type == MLOG_1BYTE) {
|
|
return(mach_read_from_1(ptr));
|
|
} else if (type == MLOG_2BYTES) {
|
|
return(mach_read_from_2(ptr));
|
|
} else {
|
|
ut_ad(type == MLOG_4BYTES);
|
|
return(mach_read_from_4(ptr));
|
|
}
|
|
}
|
|
|
|
/************************************************************
|
|
Reads 8 bytes from a file page buffered in the buffer pool. */
|
|
|
|
dulint
|
|
mtr_read_dulint(
|
|
/*===========*/
|
|
/* out: value read */
|
|
byte* ptr, /* in: pointer from where to read */
|
|
ulint type __attribute__((unused)), /* in: MLOG_8BYTES */
|
|
mtr_t* mtr __attribute__((unused)))
|
|
/* in: mini-transaction handle */
|
|
{
|
|
ut_ad(mtr->state == MTR_ACTIVE);
|
|
ut_ad(ptr && mtr);
|
|
ut_ad(type == MLOG_8BYTES);
|
|
ut_ad(mtr_memo_contains(mtr, buf_block_align(ptr),
|
|
MTR_MEMO_PAGE_S_FIX) ||
|
|
mtr_memo_contains(mtr, buf_block_align(ptr),
|
|
MTR_MEMO_PAGE_X_FIX));
|
|
return(mach_read_from_8(ptr));
|
|
}
|
|
|
|
/*************************************************************
|
|
Prints info of an mtr handle. */
|
|
|
|
void
|
|
mtr_print(
|
|
/*======*/
|
|
mtr_t* mtr) /* in: mtr */
|
|
{
|
|
printf(
|
|
"Mini-transaction handle: memo size %lu bytes log size %lu bytes\n",
|
|
dyn_array_get_data_size(&(mtr->memo)),
|
|
dyn_array_get_data_size(&(mtr->log)));
|
|
}
|