blob: fc589d65a43154ae231df673d3764dbd57815c6f (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
|
// Copyright Yahoo. Licensed under the terms of the Apache 2.0 license. See LICENSE in the project root.
#pragma once
#include <vespa/vespalib/util/executor.h>
#include <coroutine>
#include <exception>
#include <stdexcept>
namespace vespalib::coro {
struct ScheduleFailedException : std::runtime_error {
using std::runtime_error::runtime_error;
};
// Schedule the current coroutine on the given executor. Throws an
// exception if the request was rejected by the executor.
auto schedule(Executor &executor) {
struct [[nodiscard]] awaiter {
Executor &executor;
awaiter(Executor &executor_in)
: executor(executor_in) {}
bool await_ready() const noexcept { return false; }
void await_suspend(std::coroutine_handle<> handle) __attribute__((noinline)) {
struct ResumeTask : Executor::Task {
std::coroutine_handle<> handle;
ResumeTask(std::coroutine_handle<> handle_in)
: handle(handle_in) {}
void run() override { handle.resume(); }
};
Executor::Task::UP task = std::make_unique<ResumeTask>(handle);
task = executor.execute(std::move(task));
if (task) {
throw ScheduleFailedException("rejected by executor");
}
}
void await_resume() const noexcept {}
};
return awaiter(executor);
}
// Try to schedule the current coroutine on the given executor. If the
// awaiter returns true, the coroutine is now run by the executor. If
// the awaiter returns false, the request was rejected by the executor
// and the coroutine is still running in our original context.
auto try_schedule(Executor &executor) {
struct [[nodiscard]] awaiter {
Executor &executor;
bool accepted;
awaiter(Executor &executor_in)
: executor(executor_in), accepted(true) {}
bool await_ready() const noexcept { return false; }
bool await_suspend(std::coroutine_handle<> handle) __attribute__((noinline)) {
struct ResumeTask : Executor::Task {
std::coroutine_handle<> handle;
ResumeTask(std::coroutine_handle<> handle_in)
: handle(handle_in) {}
void run() override { handle.resume(); }
};
Executor::Task::UP task = std::make_unique<ResumeTask>(handle);
task = executor.execute(std::move(task));
if (task) {
// need to start with accepted == true to avoid race
// with handle.resume() from executor thread before
// await_suspend has returned.
accepted = false;
return false;
}
return true;
}
[[nodiscard]] bool await_resume() const noexcept { return accepted; }
};
return awaiter(executor);
}
}
|