2016-03-01 19:30:42 +00:00
|
|
|
module vibe.internal.async;
|
|
|
|
|
|
|
|
import std.traits : ParameterTypeTuple;
|
|
|
|
import std.typecons : tuple;
|
2016-06-14 06:01:03 +00:00
|
|
|
import vibe.core.core : hibernate, switchToTask;
|
|
|
|
import vibe.core.task : InterruptException, Task;
|
2016-03-01 19:30:42 +00:00
|
|
|
import vibe.core.log;
|
|
|
|
import core.time : Duration, seconds;
|
|
|
|
|
|
|
|
|
2016-06-14 06:01:03 +00:00
|
|
|
auto asyncAwait(Callback, alias action, alias cancel, string func = __FUNCTION__)()
|
|
|
|
if (!is(Object == Duration)) {
|
2016-06-14 07:26:12 +00:00
|
|
|
Waitable!(action, cancel, ParameterTypeTuple!Callback) waitable;
|
|
|
|
asyncAwaitAny!(true, func)(waitable);
|
|
|
|
return tuple(waitable.results);
|
2016-06-14 06:01:03 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
auto asyncAwait(Callback, alias action, alias cancel, string func = __FUNCTION__)(Duration timeout)
|
2016-03-01 19:30:42 +00:00
|
|
|
{
|
2016-06-14 07:26:12 +00:00
|
|
|
Waitable!(action, cancel, ParameterTypeTuple!Callback) waitable;
|
|
|
|
asyncAwaitAny!(true, func)(timeout, waitable);
|
|
|
|
return tuple(waitable.results);
|
2016-06-14 06:01:03 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
auto asyncAwaitUninterruptible(Callback, alias action, string func = __FUNCTION__)()
|
|
|
|
nothrow {
|
2016-06-14 07:26:12 +00:00
|
|
|
Waitable!(action, (cb) { assert(false, "Action cannot be cancelled."); }, ParameterTypeTuple!Callback) waitable;
|
|
|
|
asyncAwaitAny!(false, func)(waitable);
|
|
|
|
return tuple(waitable.results);
|
2016-06-14 06:01:03 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
auto asyncAwaitUninterruptible(Callback, alias action, alias cancel, string func = __FUNCTION__)(Duration timeout)
|
|
|
|
nothrow {
|
2016-06-14 07:26:12 +00:00
|
|
|
Waitable!(action, cancel, ParameterTypeTuple!Callback) waitable;
|
|
|
|
asyncAwaitAny!(false, func)(timeout, waitable);
|
|
|
|
return tuple(waitable.results);
|
2016-06-14 06:01:03 +00:00
|
|
|
}
|
|
|
|
|
2016-06-14 07:26:12 +00:00
|
|
|
struct Waitable(alias wait, alias cancel, Results...) {
|
|
|
|
alias Callback = void delegate(Results) @safe nothrow;
|
|
|
|
Results results;
|
|
|
|
bool cancelled;
|
|
|
|
void waitCallback(Callback cb) { wait(cb); }
|
|
|
|
void cancelCallback(Callback cb) { cancel(cb); }
|
|
|
|
}
|
|
|
|
|
2016-06-15 16:21:04 +00:00
|
|
|
void asyncAwaitAny(bool interruptible, string func = __FUNCTION__, Waitables...)(Duration timeout, ref Waitables waitables)
|
2016-06-14 07:26:12 +00:00
|
|
|
{
|
|
|
|
if (timeout == Duration.max) asyncAwaitAny!(interruptible, func)(waitables);
|
|
|
|
else {
|
|
|
|
import eventcore.core;
|
|
|
|
|
2016-10-05 12:40:29 +00:00
|
|
|
auto tm = eventDriver.timers.create();
|
2016-10-24 06:22:37 +00:00
|
|
|
eventDriver.timers.set(tm, timeout, 0.seconds);
|
2016-10-05 12:40:29 +00:00
|
|
|
scope (exit) eventDriver.timers.releaseRef(tm);
|
2016-06-14 07:26:12 +00:00
|
|
|
Waitable!(
|
2016-10-05 12:40:29 +00:00
|
|
|
cb => eventDriver.timers.wait(tm, cb),
|
2016-10-24 06:22:37 +00:00
|
|
|
cb => eventDriver.timers.cancelWait(tm),
|
2016-06-14 07:26:12 +00:00
|
|
|
TimerID
|
|
|
|
) timerwaitable;
|
|
|
|
asyncAwaitAny!(interruptible, func)(timerwaitable, waitables);
|
|
|
|
}
|
|
|
|
}
|
2016-06-14 06:01:03 +00:00
|
|
|
|
2016-06-15 16:21:04 +00:00
|
|
|
void asyncAwaitAny(bool interruptible, string func = __FUNCTION__, Waitables...)(ref Waitables waitables)
|
2016-06-14 07:26:12 +00:00
|
|
|
if (Waitables.length >= 1 && !is(Waitables[0] == Duration))
|
|
|
|
{
|
|
|
|
import std.meta : staticMap;
|
|
|
|
import std.algorithm.searching : any;
|
|
|
|
|
|
|
|
/*scope*/ staticMap!(CBDel, Waitables) callbacks; // FIXME: avoid heap delegates
|
2016-03-01 19:30:42 +00:00
|
|
|
|
2016-06-14 07:26:12 +00:00
|
|
|
bool[Waitables.length] fired;
|
2016-06-15 16:21:04 +00:00
|
|
|
ScopeGuard[Waitables.length] scope_guards;
|
|
|
|
bool any_fired = false;
|
2016-03-01 19:30:42 +00:00
|
|
|
Task t;
|
|
|
|
|
2016-06-17 20:33:04 +00:00
|
|
|
bool still_inside = true;
|
|
|
|
scope (exit) still_inside = false;
|
|
|
|
|
2016-10-04 15:51:24 +00:00
|
|
|
debug(VibeAsyncLog) logDebugV("Performing %s async operations in %s", waitables.length, func);
|
2016-06-15 16:21:04 +00:00
|
|
|
|
2016-06-14 07:26:12 +00:00
|
|
|
foreach (i, W; Waitables) {
|
2016-06-17 20:33:04 +00:00
|
|
|
/*scope*/auto cb = (typeof(Waitables[i].results) results) @safe nothrow {
|
|
|
|
assert(still_inside, "Notification fired after asyncAwait had already returned!");
|
|
|
|
logDebugV("Waitable %s in %s fired (istask=%s).", i, func, t != Task.init);
|
2016-06-14 07:26:12 +00:00
|
|
|
fired[i] = true;
|
2016-06-15 16:21:04 +00:00
|
|
|
any_fired = true;
|
2016-06-14 07:26:12 +00:00
|
|
|
waitables[i].results = results;
|
|
|
|
if (t != Task.init) switchToTask(t);
|
|
|
|
};
|
2016-06-17 20:33:04 +00:00
|
|
|
callbacks[i] = cb;
|
2016-03-01 19:30:42 +00:00
|
|
|
|
2016-10-04 15:51:24 +00:00
|
|
|
debug(VibeAsyncLog) logDebugV("Starting operation %s", i);
|
2016-06-14 07:26:12 +00:00
|
|
|
waitables[i].waitCallback(callbacks[i]);
|
2016-06-17 20:33:04 +00:00
|
|
|
|
2016-10-04 15:51:24 +00:00
|
|
|
scope ccb = () @safe nothrow {
|
2016-06-14 07:26:12 +00:00
|
|
|
if (!fired[i]) {
|
2016-10-04 15:51:24 +00:00
|
|
|
debug(VibeAsyncLog) logDebugV("Cancelling operation %s", i);
|
2016-06-14 07:26:12 +00:00
|
|
|
waitables[i].cancelCallback(callbacks[i]);
|
2016-06-17 20:33:04 +00:00
|
|
|
waitables[i].cancelled = true;
|
2016-06-15 16:21:04 +00:00
|
|
|
any_fired = true;
|
|
|
|
fired[i] = true;
|
2016-06-14 07:26:12 +00:00
|
|
|
}
|
2016-06-17 20:33:04 +00:00
|
|
|
};
|
|
|
|
scope_guards[i] = ScopeGuard(ccb);
|
|
|
|
|
2016-06-15 16:21:04 +00:00
|
|
|
if (any_fired) {
|
2016-10-04 15:51:24 +00:00
|
|
|
debug(VibeAsyncLog) logDebugV("Returning to %s without waiting.", func);
|
2016-06-15 16:21:04 +00:00
|
|
|
return;
|
2016-06-14 07:26:12 +00:00
|
|
|
}
|
2016-03-01 19:30:42 +00:00
|
|
|
}
|
2016-06-14 07:26:12 +00:00
|
|
|
|
2016-10-04 15:51:24 +00:00
|
|
|
debug(VibeAsyncLog) logDebugV("Need to wait in %s (%s)...", func, interruptible ? "interruptible" : "uninterruptible");
|
2016-06-17 20:33:04 +00:00
|
|
|
|
2016-06-14 07:26:12 +00:00
|
|
|
t = Task.getThis();
|
2016-06-17 20:33:04 +00:00
|
|
|
|
2016-06-14 07:26:12 +00:00
|
|
|
do {
|
|
|
|
static if (interruptible) {
|
|
|
|
bool interrupted = false;
|
|
|
|
hibernate(() @safe nothrow {
|
2016-10-04 15:51:24 +00:00
|
|
|
debug(VibeAsyncLog) logDebugV("Got interrupted in %s.", func);
|
2016-06-14 07:26:12 +00:00
|
|
|
interrupted = true;
|
|
|
|
});
|
2016-10-04 15:51:24 +00:00
|
|
|
debug(VibeAsyncLog) logDebugV("Task resumed (fired=%s, interrupted=%s)", fired, interrupted);
|
2016-06-14 07:26:12 +00:00
|
|
|
if (interrupted)
|
|
|
|
throw new InterruptException;
|
2016-06-17 20:33:04 +00:00
|
|
|
} else {
|
|
|
|
hibernate();
|
2016-10-04 15:51:24 +00:00
|
|
|
debug(VibeAsyncLog) logDebugV("Task resumed (fired=%s)", fired);
|
2016-06-17 20:33:04 +00:00
|
|
|
}
|
2016-06-15 16:21:04 +00:00
|
|
|
} while (!any_fired);
|
2016-06-14 07:26:12 +00:00
|
|
|
|
2016-10-04 15:51:24 +00:00
|
|
|
debug(VibeAsyncLog) logDebugV("Return result for %s.", func);
|
2016-03-01 19:30:42 +00:00
|
|
|
}
|
2016-06-14 07:26:12 +00:00
|
|
|
|
|
|
|
private alias CBDel(Waitable) = void delegate(typeof(Waitable.results)) @safe nothrow;
|
2016-06-15 16:21:04 +00:00
|
|
|
|
|
|
|
private struct ScopeGuard { @safe nothrow: void delegate() op; ~this() { if (op !is null) op(); } }
|
|
|
|
|
|
|
|
@safe nothrow /*@nogc*/ unittest {
|
|
|
|
int cnt = 0;
|
|
|
|
auto ret = asyncAwaitUninterruptible!(void delegate(int), (cb) { cnt++; cb(42); });
|
|
|
|
assert(ret[0] == 42);
|
|
|
|
assert(cnt == 1);
|
2016-06-17 20:33:04 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
@safe nothrow /*@nogc*/ unittest {
|
|
|
|
int a, b, c;
|
|
|
|
Waitable!(
|
|
|
|
(cb) { a++; cb(42); },
|
|
|
|
(cb) { assert(false); },
|
|
|
|
int
|
|
|
|
) w1;
|
|
|
|
Waitable!(
|
|
|
|
(cb) { b++; },
|
|
|
|
(cb) { c++; },
|
|
|
|
int
|
|
|
|
) w2;
|
|
|
|
|
|
|
|
asyncAwaitAny!false(w1, w2);
|
|
|
|
assert(w1.results[0] == 42 && w2.results[0] == 0);
|
|
|
|
assert(a == 1 && b == 0 && c == 0);
|
|
|
|
|
|
|
|
asyncAwaitAny!false(w2, w1);
|
|
|
|
assert(w1.results[0] == 42 && w2.results[0] == 0);
|
|
|
|
assert(a == 2 && b == 1 && c == 1);
|
|
|
|
}
|