mirror of
https://github.com/MariaDB/server.git
synced 2025-01-30 18:41:56 +01:00
783625d78f
liburing is a new optional dependency (WITH_URING=auto|yes|no) that replaces libaio when it is available. aio_uring: class which wraps io_uring stuff aio_uring::bind()/unbind(): optional optimization aio_uring::submit_io(): mutex prevents data race. liburing calls are thread-unsafe. But if you look into it's implementation you'll see atomic operations. They're used for synchronization between kernel and user-space only. That's why our own synchronization is still needed. For systemd, we add LimitMEMLOCK=524288 (ulimit -l 524288) because the io_uring_setup system call that is invoked by io_uring_queue_init() requests locked memory. The value was found empirically; with 262144, we would occasionally fail to enable io_uring when using the maximum values of innodb_read_io_threads=64 and innodb_write_io_threads=64. aio_uring::thread_routine(): Tolerate -EINTR return from io_uring_wait_cqe(), because it may occur on shutdown on Ubuntu 20.10 (Groovy Gorilla). This was mostly implemented by Eugene Kosov. Systemd integration and improved startup/shutdown error handling by Marko Mäkelä.
185 lines
5.1 KiB
C++
185 lines
5.1 KiB
C++
/* Copyright (C) 2021, MariaDB Corporation.
|
|
|
|
This program is free software; you can redistribute itand /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 02111 - 1301 USA*/
|
|
|
|
#include "tpool_structs.h"
|
|
#include "tpool.h"
|
|
#include "mysql/service_my_print_error.h"
|
|
#include "mysqld_error.h"
|
|
|
|
#include <liburing.h>
|
|
|
|
#include <algorithm>
|
|
#include <vector>
|
|
#include <thread>
|
|
#include <mutex>
|
|
|
|
namespace
|
|
{
|
|
|
|
class aio_uring final : public tpool::aio
|
|
{
|
|
public:
|
|
aio_uring(tpool::thread_pool *tpool, int max_aio) : tpool_(tpool)
|
|
{
|
|
if (io_uring_queue_init(max_aio, &uring_, 0) != 0)
|
|
{
|
|
switch (const auto e= errno) {
|
|
case ENOMEM:
|
|
case ENOSYS:
|
|
my_printf_error(ER_UNKNOWN_ERROR, e == ENOMEM
|
|
? "io_uring_queue_init() failed with ENOMEM:"
|
|
" try larger ulimit -l\n"
|
|
: "io_uring_queue_init() failed with ENOSYS:"
|
|
" try uprading the kernel\n",
|
|
ME_ERROR_LOG | ME_WARNING);
|
|
break;
|
|
default:
|
|
my_printf_error(ER_UNKNOWN_ERROR,
|
|
"io_uring_queue_init() failed with errno %d\n",
|
|
ME_ERROR_LOG | ME_WARNING, e);
|
|
}
|
|
throw std::runtime_error("aio_uring()");
|
|
}
|
|
|
|
thread_= std::thread(thread_routine, this);
|
|
}
|
|
|
|
~aio_uring() noexcept
|
|
{
|
|
{
|
|
std::lock_guard<std::mutex> _(mutex_);
|
|
io_uring_sqe *sqe= io_uring_get_sqe(&uring_);
|
|
io_uring_prep_nop(sqe);
|
|
io_uring_sqe_set_data(sqe, nullptr);
|
|
auto ret= io_uring_submit(&uring_);
|
|
if (ret != 1)
|
|
{
|
|
my_printf_error(ER_UNKNOWN_ERROR,
|
|
"io_uring_submit() returned %d during shutdown:"
|
|
" this may cause a hang\n",
|
|
ME_ERROR_LOG | ME_FATAL, ret);
|
|
abort();
|
|
}
|
|
}
|
|
thread_.join();
|
|
io_uring_queue_exit(&uring_);
|
|
}
|
|
|
|
int submit_io(tpool::aiocb *cb) final
|
|
{
|
|
cb->iov_base= cb->m_buffer;
|
|
cb->iov_len= cb->m_len;
|
|
|
|
// The whole operation since io_uring_get_sqe() and till io_uring_submit()
|
|
// must be atomical. This is because liburing provides thread-unsafe calls.
|
|
std::lock_guard<std::mutex> _(mutex_);
|
|
|
|
io_uring_sqe *sqe= io_uring_get_sqe(&uring_);
|
|
if (cb->m_opcode == tpool::aio_opcode::AIO_PREAD)
|
|
io_uring_prep_readv(sqe, cb->m_fh, static_cast<struct iovec *>(cb), 1,
|
|
cb->m_offset);
|
|
else
|
|
io_uring_prep_writev(sqe, cb->m_fh, static_cast<struct iovec *>(cb), 1,
|
|
cb->m_offset);
|
|
io_uring_sqe_set_data(sqe, cb);
|
|
|
|
return io_uring_submit(&uring_) == 1 ? 0 : -1;
|
|
}
|
|
|
|
int bind(native_file_handle &fd) final
|
|
{
|
|
std::lock_guard<std::mutex> _(files_mutex_);
|
|
auto it= std::lower_bound(files_.begin(), files_.end(), fd);
|
|
assert(it == files_.end() || *it != fd);
|
|
files_.insert(it, fd);
|
|
return io_uring_register_files_update(&uring_, 0, files_.data(),
|
|
files_.size());
|
|
}
|
|
|
|
int unbind(const native_file_handle &fd) final
|
|
{
|
|
std::lock_guard<std::mutex> _(files_mutex_);
|
|
auto it= std::lower_bound(files_.begin(), files_.end(), fd);
|
|
assert(*it == fd);
|
|
files_.erase(it);
|
|
return io_uring_register_files_update(&uring_, 0, files_.data(),
|
|
files_.size());
|
|
}
|
|
|
|
private:
|
|
static void thread_routine(aio_uring *aio)
|
|
{
|
|
for (;;)
|
|
{
|
|
io_uring_cqe *cqe;
|
|
if (int ret= io_uring_wait_cqe(&aio->uring_, &cqe))
|
|
{
|
|
if (ret == -EINTR) // this may occur during shutdown
|
|
break;
|
|
my_printf_error(ER_UNKNOWN_ERROR,
|
|
"io_uring_wait_cqe() returned %d\n",
|
|
ME_ERROR_LOG | ME_FATAL, ret);
|
|
abort();
|
|
}
|
|
|
|
auto *iocb= static_cast<tpool::aiocb*>(io_uring_cqe_get_data(cqe));
|
|
if (!iocb)
|
|
break;
|
|
|
|
int res= cqe->res;
|
|
if (res < 0)
|
|
{
|
|
iocb->m_err= -res;
|
|
iocb->m_ret_len= 0;
|
|
}
|
|
else
|
|
{
|
|
iocb->m_err= 0;
|
|
iocb->m_ret_len= res;
|
|
}
|
|
|
|
io_uring_cqe_seen(&aio->uring_, cqe);
|
|
|
|
iocb->m_internal_task.m_func= iocb->m_callback;
|
|
iocb->m_internal_task.m_arg= iocb;
|
|
iocb->m_internal_task.m_group= iocb->m_group;
|
|
aio->tpool_->submit_task(&iocb->m_internal_task);
|
|
}
|
|
}
|
|
|
|
io_uring uring_;
|
|
std::mutex mutex_;
|
|
tpool::thread_pool *tpool_;
|
|
std::thread thread_;
|
|
|
|
std::vector<native_file_handle> files_;
|
|
std::mutex files_mutex_;
|
|
};
|
|
|
|
} // namespace
|
|
|
|
namespace tpool
|
|
{
|
|
|
|
aio *create_linux_aio(thread_pool *pool, int max_aio)
|
|
{
|
|
try {
|
|
return new aio_uring(pool, max_aio);
|
|
} catch (std::runtime_error& error) {
|
|
return nullptr;
|
|
}
|
|
}
|
|
|
|
} // namespace tpool
|