input/uring: safe cancellation
My concept with `class CancellableOperation` doesn't work properly, because the kernel may continue to write to the given buffer as soon as the read finishes. To fix this, this commit adds `class ReadOperation` which owns the buffer and the `struct iovec`. Instances of this class persist until the read really finishes, even if the operation is canceled.
This commit is contained in:
parent
4001379663
commit
85bab67083
@ -24,7 +24,7 @@
|
|||||||
#include "system/Error.hxx"
|
#include "system/Error.hxx"
|
||||||
#include "io/Open.hxx"
|
#include "io/Open.hxx"
|
||||||
#include "io/UniqueFileDescriptor.hxx"
|
#include "io/UniqueFileDescriptor.hxx"
|
||||||
#include "io/uring/Operation.hxx"
|
#include "io/uring/ReadOperation.hxx"
|
||||||
#include "io/uring/Queue.hxx"
|
#include "io/uring/Queue.hxx"
|
||||||
#include "util/RuntimeError.hxx"
|
#include "util/RuntimeError.hxx"
|
||||||
|
|
||||||
@ -50,14 +50,14 @@ static const size_t URING_RESUME_AT = 384 * 1024;
|
|||||||
static EventLoop *uring_input_event_loop;
|
static EventLoop *uring_input_event_loop;
|
||||||
static Uring::Queue *uring_input_queue;
|
static Uring::Queue *uring_input_queue;
|
||||||
|
|
||||||
class UringInputStream final : public AsyncInputStream, Uring::Operation {
|
class UringInputStream final : public AsyncInputStream, Uring::ReadHandler {
|
||||||
Uring::Queue ů
|
Uring::Queue ů
|
||||||
|
|
||||||
UniqueFileDescriptor fd;
|
UniqueFileDescriptor fd;
|
||||||
|
|
||||||
uint64_t next_offset = 0;
|
uint64_t next_offset = 0;
|
||||||
|
|
||||||
struct iovec iov;
|
std::unique_ptr<Uring::ReadOperation> read_operation;
|
||||||
|
|
||||||
public:
|
public:
|
||||||
UringInputStream(EventLoop &event_loop, Uring::Queue &_uring,
|
UringInputStream(EventLoop &event_loop, Uring::Queue &_uring,
|
||||||
@ -82,13 +82,18 @@ public:
|
|||||||
|
|
||||||
~UringInputStream() noexcept override {
|
~UringInputStream() noexcept override {
|
||||||
BlockingCall(GetEventLoop(), [this](){
|
BlockingCall(GetEventLoop(), [this](){
|
||||||
CancelUring();
|
CancelRead();
|
||||||
});
|
});
|
||||||
}
|
}
|
||||||
|
|
||||||
private:
|
private:
|
||||||
void SubmitRead() noexcept;
|
void SubmitRead() noexcept;
|
||||||
|
|
||||||
|
void CancelRead() noexcept {
|
||||||
|
if (read_operation)
|
||||||
|
read_operation.release()->Cancel();
|
||||||
|
}
|
||||||
|
|
||||||
protected:
|
protected:
|
||||||
/* virtual methods from AsyncInputStream */
|
/* virtual methods from AsyncInputStream */
|
||||||
void DoResume() override;
|
void DoResume() override;
|
||||||
@ -96,13 +101,15 @@ protected:
|
|||||||
|
|
||||||
private:
|
private:
|
||||||
/* virtual methods from class Uring::Operation */
|
/* virtual methods from class Uring::Operation */
|
||||||
void OnUringCompletion(int res) noexcept override;
|
void OnRead(std::unique_ptr<std::byte[]> buffer,
|
||||||
|
std::size_t size) noexcept override;
|
||||||
|
void OnReadError(int error) noexcept override;
|
||||||
};
|
};
|
||||||
|
|
||||||
void
|
void
|
||||||
UringInputStream::SubmitRead() noexcept
|
UringInputStream::SubmitRead() noexcept
|
||||||
{
|
{
|
||||||
assert(!IsUringPending());
|
assert(!read_operation);
|
||||||
|
|
||||||
int64_t remaining = size - next_offset;
|
int64_t remaining = size - next_offset;
|
||||||
if (remaining <= 0)
|
if (remaining <= 0)
|
||||||
@ -114,16 +121,10 @@ UringInputStream::SubmitRead() noexcept
|
|||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
|
|
||||||
auto *s = uring.GetSubmitEntry();
|
read_operation = std::make_unique<Uring::ReadOperation>();
|
||||||
assert(s != nullptr); // TODO: what if the submit queue is full?
|
read_operation->Start(uring, fd, next_offset,
|
||||||
|
std::min(w.size, URING_MAX_READ),
|
||||||
iov.iov_base = w.data;
|
*this);
|
||||||
iov.iov_len = std::min<size_t>(std::min<uint64_t>(remaining,
|
|
||||||
URING_MAX_READ),
|
|
||||||
w.size);
|
|
||||||
|
|
||||||
io_uring_prep_readv(s, fd.Get(), &iov, 1, next_offset);
|
|
||||||
uring.Push(*s, *this);
|
|
||||||
}
|
}
|
||||||
|
|
||||||
void
|
void
|
||||||
@ -135,7 +136,7 @@ UringInputStream::DoResume()
|
|||||||
void
|
void
|
||||||
UringInputStream::DoSeek(offset_type new_offset)
|
UringInputStream::DoSeek(offset_type new_offset)
|
||||||
{
|
{
|
||||||
CancelUring();
|
CancelRead();
|
||||||
|
|
||||||
next_offset = offset = new_offset;
|
next_offset = offset = new_offset;
|
||||||
SeekDone();
|
SeekDone();
|
||||||
@ -143,31 +144,38 @@ UringInputStream::DoSeek(offset_type new_offset)
|
|||||||
}
|
}
|
||||||
|
|
||||||
void
|
void
|
||||||
UringInputStream::OnUringCompletion(int res) noexcept
|
UringInputStream::OnRead(std::unique_ptr<std::byte[]> data,
|
||||||
|
std::size_t nbytes) noexcept
|
||||||
{
|
{
|
||||||
|
read_operation.reset();
|
||||||
|
|
||||||
const std::lock_guard<Mutex> protect(mutex);
|
const std::lock_guard<Mutex> protect(mutex);
|
||||||
assert(!IsBufferFull());
|
|
||||||
assert(IsBufferFull() == (GetBufferSpace() == 0));
|
|
||||||
|
|
||||||
if (res <= 0) {
|
|
||||||
try {
|
|
||||||
if (res == 0)
|
|
||||||
throw std::runtime_error("Premature end of file");
|
|
||||||
else
|
|
||||||
throw MakeErrno(-res, "Read failed");
|
|
||||||
} catch (...) {
|
|
||||||
postponed_exception = std::current_exception();
|
|
||||||
}
|
|
||||||
|
|
||||||
|
if (nbytes == 0) {
|
||||||
|
postponed_exception = std::make_exception_ptr(std::runtime_error("Premature end of file"));
|
||||||
InvokeOnAvailable();
|
InvokeOnAvailable();
|
||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
|
|
||||||
CommitWriteBuffer(res);
|
auto w = PrepareWriteBuffer();
|
||||||
next_offset += res;
|
assert(w.size >= nbytes);
|
||||||
|
memcpy(w.data, data.get(), nbytes);
|
||||||
|
CommitWriteBuffer(nbytes);
|
||||||
|
next_offset += nbytes;
|
||||||
SubmitRead();
|
SubmitRead();
|
||||||
}
|
}
|
||||||
|
|
||||||
|
void
|
||||||
|
UringInputStream::OnReadError(int error) noexcept
|
||||||
|
{
|
||||||
|
read_operation.reset();
|
||||||
|
|
||||||
|
const std::lock_guard<Mutex> protect(mutex);
|
||||||
|
|
||||||
|
postponed_exception = std::make_exception_ptr(MakeErrno(error, "Read failed"));
|
||||||
|
InvokeOnAvailable();
|
||||||
|
}
|
||||||
|
|
||||||
InputStreamPtr
|
InputStreamPtr
|
||||||
OpenUringInputStream(const char *path, Mutex &mutex)
|
OpenUringInputStream(const char *path, Mutex &mutex)
|
||||||
{
|
{
|
||||||
|
70
src/io/uring/ReadOperation.cxx
Normal file
70
src/io/uring/ReadOperation.cxx
Normal file
@ -0,0 +1,70 @@
|
|||||||
|
/*
|
||||||
|
* Copyright 2020 Max Kellermann <max.kellermann@gmail.com>
|
||||||
|
*
|
||||||
|
* Redistribution and use in source and binary forms, with or without
|
||||||
|
* modification, are permitted provided that the following conditions
|
||||||
|
* are met:
|
||||||
|
*
|
||||||
|
* - Redistributions of source code must retain the above copyright
|
||||||
|
* notice, this list of conditions and the following disclaimer.
|
||||||
|
*
|
||||||
|
* - Redistributions in binary form must reproduce the above copyright
|
||||||
|
* notice, this list of conditions and the following disclaimer in the
|
||||||
|
* documentation and/or other materials provided with the
|
||||||
|
* distribution.
|
||||||
|
*
|
||||||
|
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
|
||||||
|
* ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
|
||||||
|
* LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
|
||||||
|
* FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
|
||||||
|
* FOUNDATION OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
|
||||||
|
* INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
|
||||||
|
* (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
|
||||||
|
* SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
|
||||||
|
* HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
|
||||||
|
* STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
|
||||||
|
* ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
|
||||||
|
* OF THE POSSIBILITY OF SUCH DAMAGE.
|
||||||
|
*/
|
||||||
|
|
||||||
|
#include "ReadOperation.hxx"
|
||||||
|
#include "Queue.hxx"
|
||||||
|
#include "io/FileDescriptor.hxx"
|
||||||
|
|
||||||
|
#include <cassert>
|
||||||
|
|
||||||
|
namespace Uring {
|
||||||
|
|
||||||
|
void
|
||||||
|
ReadOperation::Start(Queue &queue, FileDescriptor fd, off_t offset,
|
||||||
|
std::size_t size, ReadHandler &_handler) noexcept
|
||||||
|
{
|
||||||
|
assert(!buffer);
|
||||||
|
|
||||||
|
handler = &_handler;
|
||||||
|
|
||||||
|
buffer = std::make_unique<std::byte[]>(size);
|
||||||
|
|
||||||
|
auto *s = queue.GetSubmitEntry();
|
||||||
|
assert(s != nullptr); // TODO: what if the submit queue is full?
|
||||||
|
|
||||||
|
iov.iov_base = buffer.get();
|
||||||
|
iov.iov_len = size;
|
||||||
|
|
||||||
|
io_uring_prep_readv(s, fd.Get(), &iov, 1, offset);
|
||||||
|
queue.Push(*s, *this);
|
||||||
|
}
|
||||||
|
|
||||||
|
void
|
||||||
|
ReadOperation::OnUringCompletion(int res) noexcept
|
||||||
|
{
|
||||||
|
if (handler == nullptr)
|
||||||
|
/* operation was canceled */
|
||||||
|
delete this;
|
||||||
|
else if (res >= 0)
|
||||||
|
handler->OnRead(std::move(buffer), res);
|
||||||
|
else
|
||||||
|
handler->OnReadError(-res);
|
||||||
|
}
|
||||||
|
|
||||||
|
} // namespace Uring
|
88
src/io/uring/ReadOperation.hxx
Normal file
88
src/io/uring/ReadOperation.hxx
Normal file
@ -0,0 +1,88 @@
|
|||||||
|
/*
|
||||||
|
* Copyright 2020 Max Kellermann <max.kellermann@gmail.com>
|
||||||
|
*
|
||||||
|
* Redistribution and use in source and binary forms, with or without
|
||||||
|
* modification, are permitted provided that the following conditions
|
||||||
|
* are met:
|
||||||
|
*
|
||||||
|
* - Redistributions of source code must retain the above copyright
|
||||||
|
* notice, this list of conditions and the following disclaimer.
|
||||||
|
*
|
||||||
|
* - Redistributions in binary form must reproduce the above copyright
|
||||||
|
* notice, this list of conditions and the following disclaimer in the
|
||||||
|
* documentation and/or other materials provided with the
|
||||||
|
* distribution.
|
||||||
|
*
|
||||||
|
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
|
||||||
|
* ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
|
||||||
|
* LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
|
||||||
|
* FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
|
||||||
|
* FOUNDATION OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
|
||||||
|
* INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
|
||||||
|
* (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
|
||||||
|
* SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
|
||||||
|
* HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
|
||||||
|
* STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
|
||||||
|
* ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
|
||||||
|
* OF THE POSSIBILITY OF SUCH DAMAGE.
|
||||||
|
*/
|
||||||
|
|
||||||
|
#pragma once
|
||||||
|
|
||||||
|
#include "Operation.hxx"
|
||||||
|
|
||||||
|
#include <cstddef>
|
||||||
|
#include <memory>
|
||||||
|
|
||||||
|
#include <sys/uio.h> // for struct iovec
|
||||||
|
|
||||||
|
class FileDescriptor;
|
||||||
|
|
||||||
|
namespace Uring {
|
||||||
|
|
||||||
|
class Queue;
|
||||||
|
|
||||||
|
class ReadHandler {
|
||||||
|
public:
|
||||||
|
virtual void OnRead(std::unique_ptr<std::byte[]> buffer,
|
||||||
|
std::size_t size) noexcept = 0;
|
||||||
|
|
||||||
|
/**
|
||||||
|
* @param error an errno value
|
||||||
|
*/
|
||||||
|
virtual void OnReadError(int error) noexcept = 0;
|
||||||
|
};
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Read into a newly allocated buffer.
|
||||||
|
*
|
||||||
|
* Instances of this class must be allocated with `new`, because
|
||||||
|
* cancellation will require this object (and the allocated buffer) to
|
||||||
|
* persist until the kernel completes the operation.
|
||||||
|
*/
|
||||||
|
class ReadOperation final : Operation {
|
||||||
|
ReadHandler *handler;
|
||||||
|
|
||||||
|
struct iovec iov;
|
||||||
|
|
||||||
|
std::unique_ptr<std::byte[]> buffer;
|
||||||
|
|
||||||
|
public:
|
||||||
|
void Start(Queue &queue, FileDescriptor fd, off_t offset,
|
||||||
|
std::size_t size, ReadHandler &_handler) noexcept;
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Cancel this operation. This instance will be freed using
|
||||||
|
* `delete` after the kernel has finished cancellation,
|
||||||
|
* i.e. the caller resigns ownership.
|
||||||
|
*/
|
||||||
|
void Cancel() noexcept {
|
||||||
|
handler = nullptr;
|
||||||
|
}
|
||||||
|
|
||||||
|
private:
|
||||||
|
/* virtual methods from class Operation */
|
||||||
|
void OnUringCompletion(int res) noexcept override;
|
||||||
|
};
|
||||||
|
|
||||||
|
} // namespace Uring
|
@ -21,6 +21,7 @@ uring = static_library(
|
|||||||
'Ring.cxx',
|
'Ring.cxx',
|
||||||
'Queue.cxx',
|
'Queue.cxx',
|
||||||
'Operation.cxx',
|
'Operation.cxx',
|
||||||
|
'ReadOperation.cxx',
|
||||||
include_directories: inc,
|
include_directories: inc,
|
||||||
dependencies: [
|
dependencies: [
|
||||||
liburing,
|
liburing,
|
||||||
|
Loading…
Reference in New Issue
Block a user