mirror of
https://github.com/MariaDB/server.git
synced 2026-02-16 15:48:42 +01:00
It was possible that a log checkpoint was completed and the server killed between the time that fil_ibd_create() durably wrote a FILE_CREATE record, and the initialization of the tablespace. This could lead to a failure to start up after the server was killed during TRUNCATE TABLE or any table-rebuilding operation such as OPTIMIZE TABLE. In the case of TRUNCATE TABLE, an attempt to rename a file #sql-ibNNN.ibd (the contents of the table before truncation) to tablename.ibd would fail, because both files existed and the file tablename.ibd would have been filled with NUL bytes. It was possible to resume from this error by deleting the file tablename.ibd and restarting the server. We will prevent this class of errors by ensuring that both the FILE_CREATE record and the records written by fsp_header_init() will be part of the same atomic transaction, which must be durably written before any file is created or allocated. NOTE: There is another possible crash recovery problem, which we are not attempting to solve here and which will be covered by the subsequent change (MDEV-38026). If fil_ibd_create() fails to create the file and the server were killed, recovery would not even attempt to create the file at all. fil_space_t::create(): Remove the DBUG_EXECUTE_IF fault injection that was the only cause of return nullptr. This allows us to simplify several callers. fil_space_t::set_stopped(), fil_space_t::clear_stopped(): Accessor functions for fil_ibd_create() for preventing any concurrent access to an incompletely created tablespace. fil_ibd_create(): In a single atomic mini-transaction, write the FILE_CREATE record as well as the log for initializing the tablespace. After durably writing the log, create the file in the file system Only after the file has been successfully created and allocated, open the tablespace for business. Finally, release the exclusive page latches so that the header pages may be written to the file. fil_ibd_open(): Move some fault injection from fil_space_t::create() to a higher level, to the place where an existing file is being opened. Reviewed by: Thirunarayanan Balathandayuthapani Tested by: Saahil Alam
216 lines
5.9 KiB
C++
216 lines
5.9 KiB
C++
/*****************************************************************************
|
|
|
|
Copyright (c) 2013, 2015, 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/fsp0space.cc
|
|
Shared tablespace implementation.
|
|
|
|
Created 2012-11-16 by Sunny Bains as srv/srv0space.cc
|
|
*******************************************************/
|
|
|
|
#include "fsp0sysspace.h"
|
|
#include "fsp0fsp.h"
|
|
#include "os0file.h"
|
|
#include "my_sys.h"
|
|
|
|
/** Check if two tablespaces have common data file names.
|
|
@param other_space Tablespace to check against this.
|
|
@return true if they have the same data filenames and paths */
|
|
bool
|
|
Tablespace::intersection(
|
|
const Tablespace* other_space)
|
|
{
|
|
for (files_t::const_iterator it(other_space->begin()),
|
|
end(other_space->end()); it != end; ++it) {
|
|
|
|
if (find(it->m_filename)) {
|
|
|
|
return(true);
|
|
}
|
|
}
|
|
|
|
return(false);
|
|
}
|
|
|
|
/** Frees the memory allocated by the SysTablespace object. */
|
|
void
|
|
Tablespace::shutdown()
|
|
{
|
|
for (iterator it = begin(); it != end(); ++it) {
|
|
it->shutdown();
|
|
}
|
|
|
|
m_files.clear();
|
|
ut_free(m_path);
|
|
m_path = NULL;
|
|
m_space_id = ULINT_UNDEFINED;
|
|
}
|
|
|
|
/** Note that the data file was found.
|
|
@param[in,out] file Data file object to set */
|
|
void
|
|
Tablespace::file_found(Datafile& file)
|
|
{
|
|
/* Note that the file exists and can be opened
|
|
in the appropriate mode. */
|
|
file.m_exists = true;
|
|
|
|
file.set_open_flags(
|
|
&file == &m_files.front()
|
|
? OS_FILE_OPEN_RETRY : OS_FILE_OPEN);
|
|
}
|
|
|
|
/** Open or Create the data files if they do not exist.
|
|
@param[in] is_temp whether this is a temporary tablespace
|
|
@return DB_SUCCESS or error code */
|
|
dberr_t
|
|
Tablespace::open_or_create(bool is_temp)
|
|
{
|
|
fil_space_t* space = NULL;
|
|
dberr_t err = DB_SUCCESS;
|
|
|
|
ut_ad(!m_files.empty());
|
|
|
|
for (iterator it = begin(); it != end(); ++it) {
|
|
if (it->m_exists) {
|
|
err = it->open_or_create(
|
|
m_ignore_read_only
|
|
? false : srv_read_only_mode);
|
|
if (err != DB_SUCCESS) {
|
|
return err;
|
|
}
|
|
} else {
|
|
err = it->open_or_create(
|
|
m_ignore_read_only
|
|
? false : srv_read_only_mode);
|
|
|
|
if (err != DB_SUCCESS) {
|
|
return err;
|
|
}
|
|
|
|
/* Set the correct open flags now that we have
|
|
successfully created the file. */
|
|
file_found(*it);
|
|
}
|
|
|
|
/* We can close the handle now and open the tablespace
|
|
the proper way. */
|
|
it->close();
|
|
mysql_mutex_lock(&fil_system.mutex);
|
|
|
|
if (it == begin()) {
|
|
/* First data file. */
|
|
|
|
/* Create the tablespace entry for the multi-file
|
|
tablespace in the tablespace manager. */
|
|
ulint fsp_flags = 0;
|
|
|
|
switch (srv_checksum_algorithm) {
|
|
case SRV_CHECKSUM_ALGORITHM_FULL_CRC32:
|
|
case SRV_CHECKSUM_ALGORITHM_STRICT_FULL_CRC32:
|
|
fsp_flags = (FSP_FLAGS_FCRC32_MASK_MARKER
|
|
| FSP_FLAGS_FCRC32_PAGE_SSIZE());
|
|
break;
|
|
default:
|
|
fsp_flags = FSP_FLAGS_PAGE_SSIZE();
|
|
}
|
|
|
|
space = fil_space_t::create(
|
|
uint32_t(m_space_id), fsp_flags,
|
|
false, nullptr);
|
|
}
|
|
space->add(it->m_filepath, OS_FILE_CLOSED, it->m_size,
|
|
false, true);
|
|
mysql_mutex_unlock(&fil_system.mutex);
|
|
}
|
|
|
|
return(err);
|
|
}
|
|
|
|
/** Find a filename in the list of Datafiles for a tablespace
|
|
@return true if the filename exists in the data files */
|
|
bool
|
|
Tablespace::find(const char* filename) const
|
|
{
|
|
for (const_iterator it = begin(); it != end(); ++it) {
|
|
|
|
if (innobase_strcasecmp(filename, it->m_filename) == 0) {
|
|
return(true);
|
|
}
|
|
}
|
|
|
|
return(false);
|
|
}
|
|
|
|
/** Delete all the data files. */
|
|
void
|
|
Tablespace::delete_files()
|
|
{
|
|
for (iterator it = begin(); it != end(); ++it) {
|
|
|
|
it->close();
|
|
|
|
bool file_pre_exists;
|
|
bool success = os_file_delete_if_exists(
|
|
innodb_data_file_key, it->m_filepath, &file_pre_exists);
|
|
|
|
if (success && file_pre_exists) {
|
|
ib::info() << "Removed temporary tablespace data"
|
|
" file: \"" << it->m_filepath << "\"";
|
|
}
|
|
}
|
|
}
|
|
|
|
/** Use the ADD DATAFILE path to create a Datafile object and add it to the
|
|
front of m_files.
|
|
Parse the datafile path into a path and a filename with extension 'ibd'.
|
|
This datafile_path provided may or may not be an absolute path, but it
|
|
must end with the extension .ibd and have a basename of at least 1 byte.
|
|
|
|
Set tablespace m_path member and add a Datafile with the filename.
|
|
@param[in] datafile_path full path of the tablespace file. */
|
|
dberr_t Tablespace::add_datafile(const char *filepath)
|
|
{
|
|
/* The path provided ends in ".ibd". This was assured by
|
|
validate_create_tablespace_info() */
|
|
ut_d(const char* dot = strrchr(filepath, '.'));
|
|
ut_ad(dot != NULL && 0 == strcmp(dot, DOT_IBD));
|
|
|
|
/* If the path is an absolute path, separate it onto m_path and a
|
|
basename. For relative paths, make the whole thing a basename so that
|
|
it can be appended to the datadir. */
|
|
bool is_abs_path = is_absolute_path(filepath);
|
|
size_t dirlen = (is_abs_path ? dirname_length(filepath) : 0);
|
|
const char* basename = filepath + dirlen;
|
|
|
|
/* If the pathname contains a directory separator, fill the
|
|
m_path member which is the default directory for files in this
|
|
tablespace. Leave it null otherwise. */
|
|
if (dirlen > 0) {
|
|
set_path(filepath, dirlen);
|
|
}
|
|
|
|
/* Now add a new Datafile and set the filepath
|
|
using the m_path created above. */
|
|
m_files.push_back(Datafile(m_flags, FIL_IBD_FILE_INITIAL_SIZE, 0));
|
|
m_files.back().make_filepath(m_path, {basename, strlen(basename) - 4},
|
|
IBD);
|
|
|
|
return(DB_SUCCESS);
|
|
}
|