2016-03-01 19:30:42 +00:00
|
|
|
/**
|
|
|
|
Contains interfaces and enums for evented I/O drivers.
|
|
|
|
|
2020-03-14 18:47:20 +00:00
|
|
|
Copyright: © 2012-2020 Sönke Ludwig
|
2016-03-01 19:30:42 +00:00
|
|
|
Authors: Sönke Ludwig
|
|
|
|
License: Subject to the terms of the MIT license, as written in the included LICENSE.txt file.
|
|
|
|
*/
|
|
|
|
module vibe.core.task;
|
|
|
|
|
2016-06-14 06:01:03 +00:00
|
|
|
import vibe.core.log;
|
2016-03-01 19:30:42 +00:00
|
|
|
import vibe.core.sync;
|
|
|
|
|
2019-04-13 15:12:00 +00:00
|
|
|
import core.atomic : atomicOp, atomicLoad, cas;
|
2016-03-01 19:30:42 +00:00
|
|
|
import core.thread;
|
|
|
|
import std.exception;
|
|
|
|
import std.traits;
|
|
|
|
import std.typecons;
|
|
|
|
|
|
|
|
|
|
|
|
/** Represents a single task as started using vibe.core.runTask.
|
|
|
|
|
|
|
|
Note that the Task type is considered weakly isolated and thus can be
|
|
|
|
passed between threads using vibe.core.concurrency.send or by passing
|
|
|
|
it as a parameter to vibe.core.core.runWorkerTask.
|
|
|
|
*/
|
|
|
|
struct Task {
|
|
|
|
private {
|
|
|
|
shared(TaskFiber) m_fiber;
|
|
|
|
size_t m_taskCounter;
|
|
|
|
import std.concurrency : ThreadInfo, Tid;
|
|
|
|
static ThreadInfo s_tidInfo;
|
|
|
|
}
|
|
|
|
|
2020-03-14 18:47:20 +00:00
|
|
|
enum basePriority = 0x00010000;
|
|
|
|
|
2016-03-01 19:30:42 +00:00
|
|
|
private this(TaskFiber fiber, size_t task_counter)
|
|
|
|
@safe nothrow {
|
|
|
|
() @trusted { m_fiber = cast(shared)fiber; } ();
|
|
|
|
m_taskCounter = task_counter;
|
|
|
|
}
|
|
|
|
|
2016-11-04 20:33:01 +00:00
|
|
|
this(in Task other)
|
|
|
|
@safe nothrow {
|
|
|
|
m_fiber = () @trusted { return cast(shared(TaskFiber))other.m_fiber; } ();
|
|
|
|
m_taskCounter = other.m_taskCounter;
|
|
|
|
}
|
2016-03-01 19:30:42 +00:00
|
|
|
|
|
|
|
/** Returns the Task instance belonging to the calling task.
|
|
|
|
*/
|
2016-11-04 20:33:01 +00:00
|
|
|
static Task getThis() @safe nothrow
|
2016-03-01 19:30:42 +00:00
|
|
|
{
|
|
|
|
// In 2067, synchronized statements where annotated nothrow.
|
|
|
|
// DMD#4115, Druntime#1013, Druntime#1021, Phobos#2704
|
|
|
|
// However, they were "logically" nothrow before.
|
|
|
|
static if (__VERSION__ <= 2066)
|
|
|
|
scope (failure) assert(0, "Internal error: function should be nothrow");
|
|
|
|
|
|
|
|
auto fiber = () @trusted { return Fiber.getThis(); } ();
|
|
|
|
if (!fiber) return Task.init;
|
|
|
|
auto tfiber = cast(TaskFiber)fiber;
|
2017-04-14 21:04:08 +00:00
|
|
|
if (!tfiber) return Task.init;
|
2016-12-19 19:24:08 +00:00
|
|
|
// FIXME: returning a non-.init handle for a finished task might break some layered logic
|
2019-04-13 15:12:00 +00:00
|
|
|
return Task(tfiber, tfiber.getTaskStatusFromOwnerThread().counter);
|
2016-03-01 19:30:42 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
nothrow {
|
2016-12-19 19:24:08 +00:00
|
|
|
package @property inout(TaskFiber) taskFiber() inout @system { return cast(inout(TaskFiber))m_fiber; }
|
|
|
|
@property inout(Fiber) fiber() inout @system { return this.taskFiber; }
|
2016-03-01 19:30:42 +00:00
|
|
|
@property size_t taskCounter() const @safe { return m_taskCounter; }
|
2016-12-19 19:24:08 +00:00
|
|
|
@property inout(Thread) thread() inout @trusted { if (m_fiber) return this.taskFiber.thread; return null; }
|
2016-03-01 19:30:42 +00:00
|
|
|
|
2018-04-07 23:30:43 +00:00
|
|
|
/** Determines if the task is still running or scheduled to be run.
|
2016-03-01 19:30:42 +00:00
|
|
|
*/
|
2019-04-13 15:12:00 +00:00
|
|
|
@property bool running()
|
2016-03-01 19:30:42 +00:00
|
|
|
const @trusted {
|
|
|
|
assert(m_fiber !is null, "Invalid task handle");
|
2019-04-13 15:12:00 +00:00
|
|
|
auto tf = this.taskFiber;
|
|
|
|
try if (tf.state == Fiber.State.TERM) return false; catch (Throwable) {}
|
|
|
|
auto st = m_fiber.getTaskStatus();
|
|
|
|
if (st.counter != m_taskCounter)
|
2018-04-07 23:30:43 +00:00
|
|
|
return false;
|
2019-04-13 15:12:00 +00:00
|
|
|
return st.initialized;
|
2016-03-01 19:30:42 +00:00
|
|
|
}
|
|
|
|
|
2016-12-19 19:24:08 +00:00
|
|
|
package @property ref ThreadInfo tidInfo() @system { return m_fiber ? taskFiber.tidInfo : s_tidInfo; } // FIXME: this is not thread safe!
|
2017-10-24 07:44:54 +00:00
|
|
|
package @property ref const(ThreadInfo) tidInfo() const @system { return m_fiber ? taskFiber.tidInfo : s_tidInfo; } // FIXME: this is not thread safe!
|
2017-07-18 20:51:09 +00:00
|
|
|
|
2017-10-24 07:44:54 +00:00
|
|
|
/** Gets the `Tid` associated with this task for use with
|
|
|
|
`std.concurrency`.
|
|
|
|
*/
|
2016-12-19 19:24:08 +00:00
|
|
|
@property Tid tid() @trusted { return tidInfo.ident; }
|
2017-10-24 07:44:54 +00:00
|
|
|
/// ditto
|
|
|
|
@property const(Tid) tid() const @trusted { return tidInfo.ident; }
|
2016-03-01 19:30:42 +00:00
|
|
|
}
|
|
|
|
|
2016-11-04 20:33:01 +00:00
|
|
|
T opCast(T)() const @safe nothrow if (is(T == bool)) { return m_fiber !is null; }
|
2016-03-01 19:30:42 +00:00
|
|
|
|
2019-04-13 15:12:00 +00:00
|
|
|
void join() @trusted { if (m_fiber) m_fiber.join!true(m_taskCounter); }
|
|
|
|
void joinUninterruptible() @trusted nothrow { if (m_fiber) m_fiber.join!false(m_taskCounter); }
|
|
|
|
void interrupt() @trusted nothrow { if (m_fiber) m_fiber.interrupt(m_taskCounter); }
|
2016-03-01 19:30:42 +00:00
|
|
|
|
2016-11-04 20:33:01 +00:00
|
|
|
string toString() const @safe { import std.string; return format("%s:%s", () @trusted { return cast(void*)m_fiber; } (), m_taskCounter); }
|
2016-03-01 19:30:42 +00:00
|
|
|
|
2016-06-17 20:33:04 +00:00
|
|
|
void getDebugID(R)(ref R dst)
|
|
|
|
{
|
|
|
|
import std.digest.md : MD5;
|
|
|
|
import std.bitmanip : nativeToLittleEndian;
|
|
|
|
import std.base64 : Base64;
|
|
|
|
|
|
|
|
if (!m_fiber) {
|
|
|
|
dst.put("----");
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
MD5 md;
|
|
|
|
md.start();
|
2016-11-04 20:33:01 +00:00
|
|
|
md.put(nativeToLittleEndian(() @trusted { return cast(size_t)cast(void*)m_fiber; } ()));
|
|
|
|
md.put(nativeToLittleEndian(m_taskCounter));
|
2016-06-17 20:33:04 +00:00
|
|
|
Base64.encode(md.finish()[0 .. 3], dst);
|
2016-12-10 13:13:44 +00:00
|
|
|
if (!this.running) dst.put("-fin");
|
2016-06-17 20:33:04 +00:00
|
|
|
}
|
2017-02-22 17:35:51 +00:00
|
|
|
string getDebugID()
|
|
|
|
@trusted {
|
|
|
|
import std.array : appender;
|
|
|
|
auto app = appender!string;
|
|
|
|
getDebugID(app);
|
|
|
|
return app.data;
|
|
|
|
}
|
2016-06-17 20:33:04 +00:00
|
|
|
|
2016-11-04 20:33:01 +00:00
|
|
|
bool opEquals(in ref Task other) const @safe nothrow { return m_fiber is other.m_fiber && m_taskCounter == other.m_taskCounter; }
|
|
|
|
bool opEquals(in Task other) const @safe nothrow { return m_fiber is other.m_fiber && m_taskCounter == other.m_taskCounter; }
|
2016-03-01 19:30:42 +00:00
|
|
|
}
|
|
|
|
|
2020-03-14 18:47:20 +00:00
|
|
|
|
|
|
|
/** Settings to control the behavior of newly started tasks.
|
|
|
|
*/
|
|
|
|
struct TaskSettings {
|
|
|
|
/** Scheduling priority of the task
|
|
|
|
|
|
|
|
The priority of a task is roughly proportional to the amount of
|
|
|
|
times it gets scheduled in comparison to competing tasks. For
|
|
|
|
example, a task with priority 100 will be scheduled every 10 rounds
|
|
|
|
when competing against a task with priority 1000.
|
|
|
|
|
|
|
|
The default priority is defined by `basePriority` and has a value
|
|
|
|
of 65536. Priorities should be computed relative to `basePriority`.
|
|
|
|
|
|
|
|
A task with a priority of zero will only be executed if no other
|
|
|
|
non-zero task is competing.
|
|
|
|
*/
|
|
|
|
uint priority = Task.basePriority;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2016-06-14 06:01:03 +00:00
|
|
|
/**
|
|
|
|
Implements a task local storage variable.
|
|
|
|
|
|
|
|
Task local variables, similar to thread local variables, exist separately
|
|
|
|
in each task. Consequently, they do not need any form of synchronization
|
|
|
|
when accessing them.
|
|
|
|
|
|
|
|
Note, however, that each TaskLocal variable will increase the memory footprint
|
|
|
|
of any task that uses task local storage. There is also an overhead to access
|
|
|
|
TaskLocal variables, higher than for thread local variables, but generelly
|
|
|
|
still O(1) (since actual storage acquisition is done lazily the first access
|
|
|
|
can require a memory allocation with unknown computational costs).
|
|
|
|
|
|
|
|
Notice:
|
|
|
|
FiberLocal instances MUST be declared as static/global thread-local
|
|
|
|
variables. Defining them as a temporary/stack variable will cause
|
|
|
|
crashes or data corruption!
|
|
|
|
|
|
|
|
Examples:
|
|
|
|
---
|
|
|
|
TaskLocal!string s_myString = "world";
|
|
|
|
|
|
|
|
void taskFunc()
|
|
|
|
{
|
|
|
|
assert(s_myString == "world");
|
|
|
|
s_myString = "hello";
|
|
|
|
assert(s_myString == "hello");
|
|
|
|
}
|
|
|
|
|
|
|
|
shared static this()
|
|
|
|
{
|
|
|
|
// both tasks will get independent storage for s_myString
|
|
|
|
runTask(&taskFunc);
|
|
|
|
runTask(&taskFunc);
|
|
|
|
}
|
|
|
|
---
|
|
|
|
*/
|
|
|
|
struct TaskLocal(T)
|
|
|
|
{
|
|
|
|
private {
|
|
|
|
size_t m_offset = size_t.max;
|
|
|
|
size_t m_id;
|
|
|
|
T m_initValue;
|
|
|
|
bool m_hasInitValue = false;
|
|
|
|
}
|
|
|
|
|
|
|
|
this(T init_val) { m_initValue = init_val; m_hasInitValue = true; }
|
|
|
|
|
|
|
|
@disable this(this);
|
|
|
|
|
|
|
|
void opAssign(T value) { this.storage = value; }
|
|
|
|
|
|
|
|
@property ref T storage()
|
2016-11-04 20:33:01 +00:00
|
|
|
@safe {
|
|
|
|
import std.conv : emplace;
|
|
|
|
|
2016-06-14 06:01:03 +00:00
|
|
|
auto fiber = TaskFiber.getThis();
|
|
|
|
|
|
|
|
// lazily register in FLS storage
|
|
|
|
if (m_offset == size_t.max) {
|
|
|
|
static assert(T.alignof <= 8, "Unsupported alignment for type "~T.stringof);
|
|
|
|
assert(TaskFiber.ms_flsFill % 8 == 0, "Misaligned fiber local storage pool.");
|
|
|
|
m_offset = TaskFiber.ms_flsFill;
|
|
|
|
m_id = TaskFiber.ms_flsCounter++;
|
|
|
|
|
|
|
|
|
|
|
|
TaskFiber.ms_flsFill += T.sizeof;
|
|
|
|
while (TaskFiber.ms_flsFill % 8 != 0)
|
|
|
|
TaskFiber.ms_flsFill++;
|
|
|
|
}
|
|
|
|
|
|
|
|
// make sure the current fiber has enough FLS storage
|
|
|
|
if (fiber.m_fls.length < TaskFiber.ms_flsFill) {
|
|
|
|
fiber.m_fls.length = TaskFiber.ms_flsFill + 128;
|
2016-11-04 20:33:01 +00:00
|
|
|
() @trusted { fiber.m_flsInit.length = TaskFiber.ms_flsCounter + 64; } ();
|
2016-06-14 06:01:03 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// return (possibly default initialized) value
|
2016-11-04 20:33:01 +00:00
|
|
|
auto data = () @trusted { return fiber.m_fls.ptr[m_offset .. m_offset+T.sizeof]; } ();
|
|
|
|
if (!() @trusted { return fiber.m_flsInit[m_id]; } ()) {
|
|
|
|
() @trusted { fiber.m_flsInit[m_id] = true; } ();
|
2016-06-14 06:01:03 +00:00
|
|
|
import std.traits : hasElaborateDestructor, hasAliasing;
|
|
|
|
static if (hasElaborateDestructor!T || hasAliasing!T) {
|
|
|
|
void function(void[], size_t) destructor = (void[] fls, size_t offset){
|
|
|
|
static if (hasElaborateDestructor!T) {
|
|
|
|
auto obj = cast(T*)&fls[offset];
|
|
|
|
// call the destructor on the object if a custom one is known declared
|
|
|
|
obj.destroy();
|
|
|
|
}
|
|
|
|
else static if (hasAliasing!T) {
|
|
|
|
// zero the memory to avoid false pointers
|
|
|
|
foreach (size_t i; offset .. offset + T.sizeof) {
|
|
|
|
ubyte* u = cast(ubyte*)&fls[i];
|
|
|
|
*u = 0;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
};
|
|
|
|
FLSInfo fls_info;
|
|
|
|
fls_info.fct = destructor;
|
|
|
|
fls_info.offset = m_offset;
|
|
|
|
|
|
|
|
// make sure flsInfo has enough space
|
2016-11-04 20:33:01 +00:00
|
|
|
if (TaskFiber.ms_flsInfo.length <= m_id)
|
|
|
|
TaskFiber.ms_flsInfo.length = m_id + 64;
|
2016-06-14 06:01:03 +00:00
|
|
|
|
2016-11-04 20:33:01 +00:00
|
|
|
TaskFiber.ms_flsInfo[m_id] = fls_info;
|
2016-06-14 06:01:03 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
if (m_hasInitValue) {
|
2017-07-15 22:08:07 +00:00
|
|
|
static if (__traits(compiles, () @trusted { emplace!T(data, m_initValue); } ()))
|
2016-11-04 20:33:01 +00:00
|
|
|
() @trusted { emplace!T(data, m_initValue); } ();
|
2016-06-14 06:01:03 +00:00
|
|
|
else assert(false, "Cannot emplace initialization value for type "~T.stringof);
|
2016-11-04 20:33:01 +00:00
|
|
|
} else () @trusted { emplace!T(data); } ();
|
2016-06-14 06:01:03 +00:00
|
|
|
}
|
2016-11-04 20:33:01 +00:00
|
|
|
return *() @trusted { return cast(T*)data.ptr; } ();
|
2016-06-14 06:01:03 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
alias storage this;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/** Exception that is thrown by Task.interrupt.
|
|
|
|
*/
|
|
|
|
class InterruptException : Exception {
|
|
|
|
this()
|
|
|
|
@safe nothrow {
|
|
|
|
super("Task interrupted.");
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
High level state change events for a Task
|
|
|
|
*/
|
|
|
|
enum TaskEvent {
|
|
|
|
preStart, /// Just about to invoke the fiber which starts execution
|
|
|
|
postStart, /// After the fiber has returned for the first time (by yield or exit)
|
|
|
|
start, /// Just about to start execution
|
|
|
|
yield, /// Temporarily paused
|
|
|
|
resume, /// Resumed from a prior yield
|
|
|
|
end, /// Ended normally
|
|
|
|
fail /// Ended with an exception
|
|
|
|
}
|
|
|
|
|
2017-07-16 20:07:59 +00:00
|
|
|
struct TaskCreationInfo {
|
|
|
|
Task handle;
|
|
|
|
const(void)* functionPointer;
|
|
|
|
}
|
|
|
|
|
2016-06-14 06:01:03 +00:00
|
|
|
alias TaskEventCallback = void function(TaskEvent, Task) nothrow;
|
2017-07-16 20:07:59 +00:00
|
|
|
alias TaskCreationCallback = void function(ref TaskCreationInfo) nothrow @safe;
|
2016-06-14 06:01:03 +00:00
|
|
|
|
|
|
|
/**
|
|
|
|
The maximum combined size of all parameters passed to a task delegate
|
|
|
|
|
|
|
|
See_Also: runTask
|
|
|
|
*/
|
|
|
|
enum maxTaskParameterSize = 128;
|
2016-03-01 19:30:42 +00:00
|
|
|
|
|
|
|
|
|
|
|
/** The base class for a task aka Fiber.
|
|
|
|
|
|
|
|
This class represents a single task that is executed concurrently
|
|
|
|
with other tasks. Each task is owned by a single thread.
|
|
|
|
*/
|
2016-06-14 06:01:03 +00:00
|
|
|
final package class TaskFiber : Fiber {
|
|
|
|
static if ((void*).sizeof >= 8) enum defaultTaskStackSize = 16*1024*1024;
|
|
|
|
else enum defaultTaskStackSize = 512*1024;
|
|
|
|
|
2019-04-13 15:12:00 +00:00
|
|
|
private enum Flags {
|
|
|
|
running = 1UL << 0,
|
|
|
|
initialized = 1UL << 1,
|
|
|
|
interrupt = 1UL << 2,
|
|
|
|
|
|
|
|
shiftAmount = 3,
|
|
|
|
flagsMask = (1<<shiftAmount) - 1
|
|
|
|
}
|
|
|
|
|
2016-03-01 19:30:42 +00:00
|
|
|
private {
|
|
|
|
import std.concurrency : ThreadInfo;
|
2016-06-14 06:01:03 +00:00
|
|
|
import std.bitmanip : BitArray;
|
|
|
|
|
|
|
|
// task queue management (TaskScheduler.m_taskQueue)
|
|
|
|
TaskFiber m_prev, m_next;
|
|
|
|
TaskFiberQueue* m_queue;
|
2016-03-01 19:30:42 +00:00
|
|
|
|
2016-06-14 06:01:03 +00:00
|
|
|
Thread m_thread;
|
|
|
|
ThreadInfo m_tidInfo;
|
2020-03-14 18:47:20 +00:00
|
|
|
uint m_staticPriority, m_dynamicPriority;
|
2019-04-13 15:12:00 +00:00
|
|
|
shared ulong m_taskCounterAndFlags = 0; // bits 0-Flags.shiftAmount are flags
|
2020-03-14 18:47:20 +00:00
|
|
|
|
2017-05-30 09:00:37 +00:00
|
|
|
bool m_shutdown = false;
|
2016-06-14 06:01:03 +00:00
|
|
|
|
2016-06-17 20:33:04 +00:00
|
|
|
shared(ManualEvent) m_onExit;
|
2016-06-14 06:01:03 +00:00
|
|
|
|
|
|
|
// task local storage
|
|
|
|
BitArray m_flsInit;
|
|
|
|
void[] m_fls;
|
|
|
|
|
2017-06-10 23:35:57 +00:00
|
|
|
package int m_yieldLockCount;
|
2016-06-14 06:01:03 +00:00
|
|
|
|
|
|
|
static TaskFiber ms_globalDummyFiber;
|
|
|
|
static FLSInfo[] ms_flsInfo;
|
|
|
|
static size_t ms_flsFill = 0; // thread-local
|
|
|
|
static size_t ms_flsCounter = 0;
|
2016-03-01 19:30:42 +00:00
|
|
|
}
|
|
|
|
|
2016-06-14 06:01:03 +00:00
|
|
|
|
|
|
|
package TaskFuncInfo m_taskFunc;
|
|
|
|
package __gshared size_t ms_taskStackSize = defaultTaskStackSize;
|
|
|
|
package __gshared debug TaskEventCallback ms_taskEventCallback;
|
2017-07-16 20:07:59 +00:00
|
|
|
package __gshared debug TaskCreationCallback ms_taskCreationCallback;
|
2016-06-14 06:01:03 +00:00
|
|
|
|
|
|
|
this()
|
|
|
|
@trusted nothrow {
|
|
|
|
super(&run, ms_taskStackSize);
|
2019-09-17 12:35:52 +00:00
|
|
|
m_onExit = createSharedManualEvent();
|
2016-03-01 19:30:42 +00:00
|
|
|
m_thread = Thread.getThis();
|
|
|
|
}
|
|
|
|
|
2016-06-14 06:01:03 +00:00
|
|
|
static TaskFiber getThis()
|
|
|
|
@safe nothrow {
|
2017-07-16 20:07:59 +00:00
|
|
|
auto f = () @trusted nothrow { return Fiber.getThis(); } ();
|
2017-06-10 23:35:57 +00:00
|
|
|
if (auto tf = cast(TaskFiber)f) return tf;
|
2016-06-14 06:01:03 +00:00
|
|
|
if (!ms_globalDummyFiber) ms_globalDummyFiber = new TaskFiber;
|
|
|
|
return ms_globalDummyFiber;
|
|
|
|
}
|
|
|
|
|
2017-02-01 10:05:53 +00:00
|
|
|
// expose Fiber.state as @safe on older DMD versions
|
|
|
|
static if (!__traits(compiles, () @safe { return Fiber.init.state; } ()))
|
|
|
|
@property State state() @trusted const nothrow { return super.state; }
|
2016-06-14 06:01:03 +00:00
|
|
|
|
|
|
|
private void run()
|
2017-02-16 10:56:04 +00:00
|
|
|
nothrow {
|
2017-02-22 18:52:22 +00:00
|
|
|
import std.algorithm.mutation : swap;
|
2016-10-24 06:22:37 +00:00
|
|
|
import std.concurrency : Tid, thisTid;
|
2017-02-22 18:52:22 +00:00
|
|
|
import std.encoding : sanitize;
|
2019-06-16 19:31:39 +00:00
|
|
|
import vibe.core.core : isEventLoopRunning, recycleFiber, taskScheduler, yield, yieldLock;
|
2017-07-18 20:51:09 +00:00
|
|
|
|
2016-06-14 06:01:03 +00:00
|
|
|
version (VibeDebugCatchAll) alias UncaughtException = Throwable;
|
|
|
|
else alias UncaughtException = Exception;
|
|
|
|
try {
|
|
|
|
while (true) {
|
|
|
|
while (!m_taskFunc.func) {
|
|
|
|
try {
|
2018-02-14 12:11:51 +00:00
|
|
|
debug (VibeTaskLog) logTrace("putting fiber to sleep waiting for new task...");
|
2016-06-14 06:01:03 +00:00
|
|
|
Fiber.yield();
|
|
|
|
} catch (Exception e) {
|
|
|
|
logWarn("CoreTaskFiber was resumed with exception but without active task!");
|
|
|
|
logDiagnostic("Full error: %s", e.toString().sanitize());
|
|
|
|
}
|
2017-05-30 09:00:37 +00:00
|
|
|
if (m_shutdown) return;
|
2016-06-14 06:01:03 +00:00
|
|
|
}
|
|
|
|
|
2019-04-13 15:12:00 +00:00
|
|
|
debug assert(Thread.getThis() is m_thread, "Fiber moved between threads!?");
|
|
|
|
|
2017-02-22 18:52:22 +00:00
|
|
|
TaskFuncInfo task;
|
|
|
|
swap(task, m_taskFunc);
|
2020-03-14 18:47:20 +00:00
|
|
|
m_dynamicPriority = m_staticPriority = task.settings.priority;
|
2016-06-14 06:01:03 +00:00
|
|
|
Task handle = this.task;
|
|
|
|
try {
|
2019-04-13 15:12:00 +00:00
|
|
|
atomicOp!"|="(m_taskCounterAndFlags, Flags.running); // set running
|
|
|
|
scope(exit) atomicOp!"&="(m_taskCounterAndFlags, ~Flags.flagsMask); // clear running/initialized
|
2016-06-14 06:01:03 +00:00
|
|
|
|
2016-10-24 06:22:37 +00:00
|
|
|
thisTid; // force creation of a message box
|
2016-06-14 06:01:03 +00:00
|
|
|
|
|
|
|
debug if (ms_taskEventCallback) ms_taskEventCallback(TaskEvent.start, handle);
|
|
|
|
if (!isEventLoopRunning) {
|
2018-02-14 12:11:51 +00:00
|
|
|
debug (VibeTaskLog) logTrace("Event loop not running at task start - yielding.");
|
2016-10-24 06:22:37 +00:00
|
|
|
taskScheduler.yieldUninterruptible();
|
2018-02-14 12:11:51 +00:00
|
|
|
debug (VibeTaskLog) logTrace("Initial resume of task.");
|
2016-06-14 06:01:03 +00:00
|
|
|
}
|
2017-02-22 18:52:22 +00:00
|
|
|
task.call();
|
2016-06-14 06:01:03 +00:00
|
|
|
debug if (ms_taskEventCallback) ms_taskEventCallback(TaskEvent.end, handle);
|
2019-04-13 15:12:00 +00:00
|
|
|
|
|
|
|
debug if (() @trusted { return (cast(shared)this); } ().getTaskStatus().interrupt)
|
|
|
|
logDebug("Task exited while an interrupt was in flight.");
|
2016-06-14 06:01:03 +00:00
|
|
|
} catch (Exception e) {
|
|
|
|
debug if (ms_taskEventCallback) ms_taskEventCallback(TaskEvent.fail, handle);
|
|
|
|
import std.encoding;
|
|
|
|
logCritical("Task terminated with uncaught exception: %s", e.msg);
|
|
|
|
logDebug("Full error: %s", e.toString().sanitize());
|
|
|
|
}
|
|
|
|
|
2019-04-13 15:12:00 +00:00
|
|
|
debug assert(Thread.getThis() is m_thread, "Fiber moved?");
|
2016-06-16 08:58:12 +00:00
|
|
|
|
2016-06-14 06:01:03 +00:00
|
|
|
this.tidInfo.ident = Tid.init; // clear message box
|
|
|
|
|
2018-02-14 12:11:51 +00:00
|
|
|
debug (VibeTaskLog) logTrace("Notifying joining tasks.");
|
2019-06-16 19:31:39 +00:00
|
|
|
|
|
|
|
// Issue #161: This fiber won't be resumed before the next task
|
|
|
|
// is assigned, because it is already marked as de-initialized.
|
|
|
|
// Since ManualEvent.emit() will need to switch tasks, this
|
|
|
|
// would mean that only the first waiter is notified before
|
|
|
|
// this fiber gets a new task assigned.
|
|
|
|
// Using a yield lock forces all corresponding tasks to be
|
|
|
|
// enqueued into the schedule queue and resumed in sequence
|
|
|
|
// at the end of the scope.
|
|
|
|
auto l = yieldLock();
|
|
|
|
|
2016-06-17 20:33:04 +00:00
|
|
|
m_onExit.emit();
|
2016-06-14 06:01:03 +00:00
|
|
|
|
|
|
|
// make sure that the task does not get left behind in the yielder queue if terminated during yield()
|
|
|
|
if (m_queue) m_queue.remove(this);
|
|
|
|
|
|
|
|
// zero the fls initialization ByteArray for memory safety
|
|
|
|
foreach (size_t i, ref bool b; m_flsInit) {
|
|
|
|
if (b) {
|
|
|
|
if (ms_flsInfo !is null && ms_flsInfo.length >= i && ms_flsInfo[i] != FLSInfo.init)
|
|
|
|
ms_flsInfo[i].destroy(m_fls);
|
|
|
|
b = false;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-02-22 15:14:26 +00:00
|
|
|
assert(!m_queue, "Fiber done but still scheduled to be resumed!?");
|
|
|
|
|
2019-04-13 15:12:00 +00:00
|
|
|
debug assert(Thread.getThis() is m_thread, "Fiber moved between threads!?");
|
|
|
|
|
2016-06-14 06:01:03 +00:00
|
|
|
// make the fiber available for the next task
|
|
|
|
recycleFiber(this);
|
|
|
|
}
|
|
|
|
} catch(UncaughtException th) {
|
|
|
|
logCritical("CoreTaskFiber was terminated unexpectedly: %s", th.msg);
|
|
|
|
logDiagnostic("Full error: %s", th.toString().sanitize());
|
2017-02-16 10:56:04 +00:00
|
|
|
} catch (Throwable th) {
|
|
|
|
import std.stdio : stderr, writeln;
|
2017-07-18 20:51:09 +00:00
|
|
|
import core.stdc.stdlib : abort;
|
2017-02-16 10:56:04 +00:00
|
|
|
try stderr.writeln(th);
|
|
|
|
catch (Exception e) {
|
|
|
|
try stderr.writeln(th.msg);
|
|
|
|
catch (Exception e) {}
|
|
|
|
}
|
2017-07-18 20:51:09 +00:00
|
|
|
abort();
|
2016-06-14 06:01:03 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2016-03-01 19:30:42 +00:00
|
|
|
/** Returns the thread that owns this task.
|
|
|
|
*/
|
|
|
|
@property inout(Thread) thread() inout @safe nothrow { return m_thread; }
|
|
|
|
|
|
|
|
/** Returns the handle of the current Task running on this fiber.
|
|
|
|
*/
|
2019-04-13 15:12:00 +00:00
|
|
|
@property Task task()
|
|
|
|
@safe nothrow {
|
|
|
|
auto ts = getTaskStatusFromOwnerThread();
|
|
|
|
if (!ts.initialized) return Task.init;
|
|
|
|
return Task(this, ts.counter);
|
|
|
|
}
|
2016-03-01 19:30:42 +00:00
|
|
|
|
2016-11-04 20:33:01 +00:00
|
|
|
@property ref inout(ThreadInfo) tidInfo() inout @safe nothrow { return m_tidInfo; }
|
2016-03-01 19:30:42 +00:00
|
|
|
|
2017-05-30 09:00:37 +00:00
|
|
|
/** Shuts down the task handler loop.
|
|
|
|
*/
|
|
|
|
void shutdown()
|
|
|
|
@safe nothrow {
|
2019-04-13 15:12:00 +00:00
|
|
|
debug assert(Thread.getThis() is m_thread);
|
|
|
|
|
|
|
|
assert(!() @trusted { return cast(shared)this; } ().getTaskStatus().initialized);
|
|
|
|
|
2017-05-30 09:00:37 +00:00
|
|
|
m_shutdown = true;
|
|
|
|
while (state != Fiber.State.TERM)
|
|
|
|
() @trusted {
|
|
|
|
try call(Fiber.Rethrow.no);
|
|
|
|
catch (Exception e) assert(false, e.msg);
|
|
|
|
} ();
|
2018-02-22 15:14:26 +00:00
|
|
|
}
|
2017-05-30 09:00:37 +00:00
|
|
|
|
2016-06-14 06:01:03 +00:00
|
|
|
/** Blocks until the task has ended.
|
2016-03-01 19:30:42 +00:00
|
|
|
*/
|
2017-01-29 19:20:08 +00:00
|
|
|
void join(bool interruptiple)(size_t task_counter)
|
2019-04-13 15:12:00 +00:00
|
|
|
shared @trusted {
|
2016-12-19 19:24:08 +00:00
|
|
|
auto cnt = m_onExit.emitCount;
|
2019-04-13 15:12:00 +00:00
|
|
|
while (true) {
|
|
|
|
auto st = getTaskStatus();
|
|
|
|
if (!st.initialized || st.counter != task_counter)
|
|
|
|
break;
|
2017-01-29 19:20:08 +00:00
|
|
|
static if (interruptiple)
|
2017-02-22 17:35:51 +00:00
|
|
|
cnt = m_onExit.wait(cnt);
|
2017-01-29 19:20:08 +00:00
|
|
|
else
|
2017-02-22 17:35:51 +00:00
|
|
|
cnt = m_onExit.waitUninterruptible(cnt);
|
|
|
|
}
|
2016-06-14 06:01:03 +00:00
|
|
|
}
|
2016-03-01 19:30:42 +00:00
|
|
|
|
2016-06-14 06:01:03 +00:00
|
|
|
/** Throws an InterruptExeption within the task as soon as it calls an interruptible function.
|
2016-03-01 19:30:42 +00:00
|
|
|
*/
|
2016-06-17 20:33:04 +00:00
|
|
|
void interrupt(size_t task_counter)
|
2019-04-13 15:12:00 +00:00
|
|
|
shared @safe nothrow {
|
2016-06-14 06:01:03 +00:00
|
|
|
import vibe.core.core : taskScheduler;
|
|
|
|
|
2019-04-13 15:12:00 +00:00
|
|
|
auto caller = () @trusted { return cast(shared)TaskFiber.getThis(); } ();
|
|
|
|
|
|
|
|
assert(caller !is this, "A task cannot interrupt itself.");
|
2016-06-17 20:33:04 +00:00
|
|
|
|
2019-04-13 15:12:00 +00:00
|
|
|
while (true) {
|
|
|
|
auto tcf = atomicLoad(m_taskCounterAndFlags);
|
|
|
|
auto st = getTaskStatus(tcf);
|
|
|
|
if (!st.initialized || st.interrupt || st.counter != task_counter)
|
|
|
|
return;
|
|
|
|
auto tcf_int = tcf | Flags.interrupt;
|
|
|
|
if (cas(&m_taskCounterAndFlags, tcf, tcf_int))
|
|
|
|
break;
|
|
|
|
}
|
2019-01-22 10:39:31 +00:00
|
|
|
|
2019-04-13 15:12:00 +00:00
|
|
|
if (caller.m_thread is m_thread) {
|
|
|
|
auto thisus = () @trusted { return cast()this; } ();
|
|
|
|
debug (VibeTaskLog) logTrace("Resuming task with interrupt flag.");
|
2020-03-15 08:02:18 +00:00
|
|
|
auto defer = caller.m_yieldLockCount > 0;
|
|
|
|
taskScheduler.switchTo(thisus.task, defer ? TaskSwitchPriority.prioritized : TaskSwitchPriority.immediate);
|
2019-04-13 15:12:00 +00:00
|
|
|
} else {
|
|
|
|
debug (VibeTaskLog) logTrace("Set interrupt flag on task without resuming.");
|
|
|
|
}
|
2016-06-14 06:01:03 +00:00
|
|
|
}
|
2016-03-01 19:30:42 +00:00
|
|
|
|
2019-04-13 15:12:00 +00:00
|
|
|
/** Sets the fiber to initialized state and increments the task counter.
|
|
|
|
|
|
|
|
Note that the task information needs to be set up first.
|
|
|
|
*/
|
2016-03-01 19:30:42 +00:00
|
|
|
void bumpTaskCounter()
|
|
|
|
@safe nothrow {
|
2019-04-13 15:12:00 +00:00
|
|
|
debug {
|
|
|
|
auto ts = atomicLoad(m_taskCounterAndFlags);
|
|
|
|
assert((ts & Flags.flagsMask) == 0, "bumpTaskCounter() called on fiber with non-zero flags");
|
|
|
|
assert(m_taskFunc.func !is null, "bumpTaskCounter() called without initializing the task function");
|
|
|
|
}
|
|
|
|
|
|
|
|
() @trusted { atomicOp!"+="(m_taskCounterAndFlags, (1 << Flags.shiftAmount) + Flags.initialized); } ();
|
|
|
|
}
|
|
|
|
|
|
|
|
private auto getTaskStatus()
|
|
|
|
shared const @safe nothrow {
|
|
|
|
return getTaskStatus(atomicLoad(m_taskCounterAndFlags));
|
|
|
|
}
|
|
|
|
|
|
|
|
private auto getTaskStatusFromOwnerThread()
|
|
|
|
const @safe nothrow {
|
|
|
|
debug assert(Thread.getThis() is m_thread);
|
|
|
|
return getTaskStatus(atomicLoad(m_taskCounterAndFlags));
|
|
|
|
}
|
|
|
|
|
|
|
|
private static auto getTaskStatus(ulong counter_and_flags)
|
|
|
|
@safe nothrow {
|
|
|
|
static struct S {
|
|
|
|
size_t counter;
|
|
|
|
bool running;
|
|
|
|
bool initialized;
|
|
|
|
bool interrupt;
|
|
|
|
}
|
|
|
|
S ret;
|
|
|
|
ret.counter = cast(size_t)(counter_and_flags >> Flags.shiftAmount);
|
|
|
|
ret.running = (counter_and_flags & Flags.running) != 0;
|
|
|
|
ret.initialized = (counter_and_flags & Flags.initialized) != 0;
|
|
|
|
ret.interrupt = (counter_and_flags & Flags.interrupt) != 0;
|
|
|
|
return ret;
|
2016-03-01 19:30:42 +00:00
|
|
|
}
|
2016-06-14 06:01:03 +00:00
|
|
|
|
|
|
|
package void handleInterrupt(scope void delegate() @safe nothrow on_interrupt)
|
|
|
|
@safe nothrow {
|
2019-04-13 15:12:00 +00:00
|
|
|
assert(() @trusted { return Task.getThis().fiber; } () is this,
|
|
|
|
"Handling interrupt outside of the corresponding fiber.");
|
|
|
|
if (getTaskStatusFromOwnerThread().interrupt && on_interrupt) {
|
2018-02-14 12:11:51 +00:00
|
|
|
debug (VibeTaskLog) logTrace("Handling interrupt flag.");
|
2019-04-13 15:12:00 +00:00
|
|
|
clearInterruptFlag();
|
2016-06-14 06:01:03 +00:00
|
|
|
on_interrupt();
|
|
|
|
}
|
|
|
|
}
|
2016-06-16 08:58:12 +00:00
|
|
|
|
|
|
|
package void handleInterrupt()
|
|
|
|
@safe {
|
2019-04-13 15:12:00 +00:00
|
|
|
assert(() @trusted { return Task.getThis().fiber; } () is this,
|
|
|
|
"Handling interrupt outside of the corresponding fiber.");
|
|
|
|
if (getTaskStatusFromOwnerThread().interrupt) {
|
|
|
|
clearInterruptFlag();
|
2016-06-16 08:58:12 +00:00
|
|
|
throw new InterruptException;
|
2016-12-10 13:13:44 +00:00
|
|
|
}
|
2016-06-16 08:58:12 +00:00
|
|
|
}
|
2019-04-13 15:12:00 +00:00
|
|
|
|
|
|
|
private void clearInterruptFlag()
|
|
|
|
@safe nothrow {
|
|
|
|
auto tcf = atomicLoad(m_taskCounterAndFlags);
|
|
|
|
auto st = getTaskStatus(tcf);
|
|
|
|
while (true) {
|
|
|
|
assert(st.initialized);
|
|
|
|
if (!st.interrupt) break;
|
|
|
|
auto tcf_int = tcf & ~Flags.interrupt;
|
|
|
|
if (cas(&m_taskCounterAndFlags, tcf, tcf_int))
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
2016-03-01 19:30:42 +00:00
|
|
|
}
|
|
|
|
|
2020-03-15 08:02:18 +00:00
|
|
|
|
|
|
|
/** Controls the priority to use for switching execution to a task.
|
|
|
|
*/
|
|
|
|
enum TaskSwitchPriority {
|
|
|
|
/** Rescheduled according to the tasks priority
|
|
|
|
*/
|
|
|
|
normal,
|
|
|
|
|
|
|
|
/** Rescheduled with maximum priority.
|
|
|
|
|
|
|
|
The task will resume as soon as the current task yields.
|
|
|
|
*/
|
|
|
|
prioritized,
|
|
|
|
|
|
|
|
/** Switch to the task immediately.
|
|
|
|
*/
|
|
|
|
immediate
|
|
|
|
}
|
|
|
|
|
2016-06-14 06:01:03 +00:00
|
|
|
package struct TaskFuncInfo {
|
2017-02-22 18:52:22 +00:00
|
|
|
void function(ref TaskFuncInfo) func;
|
2017-02-22 17:35:51 +00:00
|
|
|
void[2*size_t.sizeof] callable;
|
|
|
|
void[maxTaskParameterSize] args;
|
2017-07-16 20:07:59 +00:00
|
|
|
debug ulong functionPointer;
|
2020-03-14 18:47:20 +00:00
|
|
|
TaskSettings settings;
|
2017-02-22 17:35:51 +00:00
|
|
|
|
2017-02-22 18:52:22 +00:00
|
|
|
void set(CALLABLE, ARGS...)(ref CALLABLE callable, ref ARGS args)
|
2017-02-22 17:35:51 +00:00
|
|
|
{
|
2017-02-22 18:52:22 +00:00
|
|
|
assert(!func, "Setting TaskFuncInfo that is already set.");
|
|
|
|
|
2017-02-22 17:35:51 +00:00
|
|
|
import std.algorithm : move;
|
|
|
|
import std.traits : hasElaborateAssign;
|
2017-07-18 20:51:09 +00:00
|
|
|
import std.conv : to;
|
2017-02-22 17:35:51 +00:00
|
|
|
|
|
|
|
static struct TARGS { ARGS expand; }
|
|
|
|
|
2017-07-15 08:12:52 +00:00
|
|
|
static assert(CALLABLE.sizeof <= TaskFuncInfo.callable.length,
|
|
|
|
"Storage required for task callable is too large ("~CALLABLE.sizeof~" vs max "~callable.length~"): "~CALLABLE.stringof);
|
2017-02-22 17:35:51 +00:00
|
|
|
static assert(TARGS.sizeof <= maxTaskParameterSize,
|
|
|
|
"The arguments passed to run(Worker)Task must not exceed "~
|
2017-07-15 08:12:52 +00:00
|
|
|
maxTaskParameterSize.to!string~" bytes in total size: "~TARGS.sizeof.stringof~" bytes");
|
2017-02-22 17:35:51 +00:00
|
|
|
|
2017-07-16 20:07:59 +00:00
|
|
|
debug functionPointer = callPointer(callable);
|
|
|
|
|
2017-02-22 18:52:22 +00:00
|
|
|
static void callDelegate(ref TaskFuncInfo tfi) {
|
2017-02-22 17:35:51 +00:00
|
|
|
assert(tfi.func is &callDelegate, "Wrong callDelegate called!?");
|
|
|
|
|
|
|
|
// copy original call data to stack
|
|
|
|
CALLABLE c;
|
|
|
|
TARGS args;
|
|
|
|
move(*(cast(CALLABLE*)tfi.callable.ptr), c);
|
|
|
|
move(*(cast(TARGS*)tfi.args.ptr), args);
|
|
|
|
|
|
|
|
// reset the info
|
|
|
|
tfi.func = null;
|
|
|
|
|
|
|
|
// make the call
|
|
|
|
mixin(callWithMove!ARGS("c", "args.expand"));
|
|
|
|
}
|
|
|
|
|
2017-02-22 18:52:22 +00:00
|
|
|
func = &callDelegate;
|
2017-02-22 17:35:51 +00:00
|
|
|
|
2017-02-22 18:52:22 +00:00
|
|
|
() @trusted {
|
|
|
|
static if (hasElaborateAssign!CALLABLE) initCallable!CALLABLE();
|
|
|
|
static if (hasElaborateAssign!TARGS) initArgs!TARGS();
|
|
|
|
typedCallable!CALLABLE = callable;
|
2017-02-22 17:35:51 +00:00
|
|
|
foreach (i, A; ARGS) {
|
2017-02-22 18:52:22 +00:00
|
|
|
static if (needsMove!A) args[i].move(typedArgs!TARGS.expand[i]);
|
|
|
|
else typedArgs!TARGS.expand[i] = args[i];
|
2017-02-22 17:35:51 +00:00
|
|
|
}
|
|
|
|
} ();
|
|
|
|
}
|
|
|
|
|
2017-02-22 18:52:22 +00:00
|
|
|
void call()
|
|
|
|
{
|
|
|
|
this.func(this);
|
|
|
|
}
|
2016-03-01 19:30:42 +00:00
|
|
|
|
2016-06-14 06:01:03 +00:00
|
|
|
@property ref C typedCallable(C)()
|
2016-03-01 19:30:42 +00:00
|
|
|
{
|
2016-06-14 06:01:03 +00:00
|
|
|
static assert(C.sizeof <= callable.sizeof);
|
|
|
|
return *cast(C*)callable.ptr;
|
|
|
|
}
|
|
|
|
|
|
|
|
@property ref A typedArgs(A)()
|
|
|
|
{
|
|
|
|
static assert(A.sizeof <= args.sizeof);
|
|
|
|
return *cast(A*)args.ptr;
|
|
|
|
}
|
|
|
|
|
|
|
|
void initCallable(C)()
|
2017-02-23 14:49:59 +00:00
|
|
|
nothrow {
|
|
|
|
static const C cinit;
|
2016-06-14 06:01:03 +00:00
|
|
|
this.callable[0 .. C.sizeof] = cast(void[])(&cinit)[0 .. 1];
|
|
|
|
}
|
|
|
|
|
|
|
|
void initArgs(A)()
|
2017-02-23 14:49:59 +00:00
|
|
|
nothrow {
|
|
|
|
static const A ainit;
|
2016-06-14 06:01:03 +00:00
|
|
|
this.args[0 .. A.sizeof] = cast(void[])(&ainit)[0 .. 1];
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-07-16 20:07:59 +00:00
|
|
|
private ulong callPointer(C)(ref C callable)
|
|
|
|
@trusted nothrow @nogc {
|
|
|
|
alias IP = ulong;
|
|
|
|
static if (is(C == function)) return cast(IP)cast(void*)callable;
|
|
|
|
else static if (is(C == delegate)) return cast(IP)callable.funcptr;
|
|
|
|
else static if (is(typeof(&callable.opCall) == function)) return cast(IP)cast(void*)&callable.opCall;
|
|
|
|
else static if (is(typeof(&callable.opCall) == delegate)) return cast(IP)(&callable.opCall).funcptr;
|
|
|
|
else return cast(IP)&callable;
|
|
|
|
}
|
|
|
|
|
2016-06-14 06:01:03 +00:00
|
|
|
package struct TaskScheduler {
|
2016-06-17 20:33:04 +00:00
|
|
|
import eventcore.driver : ExitReason;
|
|
|
|
import eventcore.core : eventDriver;
|
|
|
|
|
2016-06-14 06:01:03 +00:00
|
|
|
private {
|
|
|
|
TaskFiberQueue m_taskQueue;
|
|
|
|
}
|
|
|
|
|
2016-06-16 08:58:12 +00:00
|
|
|
@safe:
|
2016-06-14 06:01:03 +00:00
|
|
|
|
|
|
|
@disable this(this);
|
|
|
|
|
2016-06-16 08:58:12 +00:00
|
|
|
@property size_t scheduledTaskCount() const nothrow { return m_taskQueue.length; }
|
2016-06-14 06:01:03 +00:00
|
|
|
|
|
|
|
/** Lets other pending tasks execute before continuing execution.
|
|
|
|
|
|
|
|
This will give other tasks or events a chance to be processed. If
|
|
|
|
multiple tasks call this function, they will be processed in a
|
|
|
|
fírst-in-first-out manner.
|
|
|
|
*/
|
|
|
|
void yield()
|
2016-06-16 08:58:12 +00:00
|
|
|
{
|
|
|
|
auto t = Task.getThis();
|
|
|
|
if (t == Task.init) return; // not really a task -> no-op
|
2016-12-19 19:24:08 +00:00
|
|
|
auto tf = () @trusted { return t.taskFiber; } ();
|
2019-06-16 19:31:39 +00:00
|
|
|
debug (VibeTaskLog) logTrace("Yielding (interrupt=%s)", () @trusted { return (cast(shared)tf).getTaskStatus().interrupt; } ());
|
2016-12-19 19:24:08 +00:00
|
|
|
tf.handleInterrupt();
|
|
|
|
if (tf.m_queue !is null) return; // already scheduled to be resumed
|
2020-03-14 18:47:20 +00:00
|
|
|
doYieldAndReschedule(t);
|
2016-12-19 19:24:08 +00:00
|
|
|
tf.handleInterrupt();
|
2016-06-16 08:58:12 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
nothrow:
|
|
|
|
|
2016-06-17 20:33:04 +00:00
|
|
|
/** Performs a single round of scheduling without blocking.
|
|
|
|
|
|
|
|
This will execute scheduled tasks and process events from the
|
|
|
|
event queue, as long as possible without having to wait.
|
|
|
|
|
|
|
|
Returns:
|
|
|
|
A reason is returned:
|
|
|
|
$(UL
|
|
|
|
$(LI `ExitReason.exit`: The event loop was exited due to a manual request)
|
|
|
|
$(LI `ExitReason.outOfWaiters`: There are no more scheduled
|
|
|
|
tasks or events, so the application would do nothing from
|
|
|
|
now on)
|
|
|
|
$(LI `ExitReason.idle`: All scheduled tasks and pending events
|
|
|
|
have been processed normally)
|
|
|
|
$(LI `ExitReason.timeout`: Scheduled tasks have been processed,
|
|
|
|
but there were no pending events present.)
|
|
|
|
)
|
|
|
|
*/
|
|
|
|
ExitReason process()
|
|
|
|
{
|
2017-06-10 23:35:57 +00:00
|
|
|
assert(TaskFiber.getThis().m_yieldLockCount == 0, "May not process events within an active yieldLock()!");
|
|
|
|
|
2016-06-17 20:33:04 +00:00
|
|
|
bool any_events = false;
|
|
|
|
while (true) {
|
|
|
|
// process pending tasks
|
2016-12-10 13:13:44 +00:00
|
|
|
bool any_tasks_processed = schedule() != ScheduleStatus.idle;
|
2016-06-17 20:33:04 +00:00
|
|
|
|
2018-02-14 12:11:51 +00:00
|
|
|
debug (VibeTaskLog) logTrace("Processing pending events...");
|
2016-10-05 12:40:29 +00:00
|
|
|
ExitReason er = eventDriver.core.processEvents(0.seconds);
|
2018-02-14 12:11:51 +00:00
|
|
|
debug (VibeTaskLog) logTrace("Done.");
|
2016-06-17 20:33:04 +00:00
|
|
|
|
|
|
|
final switch (er) {
|
|
|
|
case ExitReason.exited: return ExitReason.exited;
|
|
|
|
case ExitReason.outOfWaiters:
|
|
|
|
if (!scheduledTaskCount)
|
|
|
|
return ExitReason.outOfWaiters;
|
|
|
|
break;
|
|
|
|
case ExitReason.timeout:
|
|
|
|
if (!scheduledTaskCount)
|
2016-12-10 13:13:44 +00:00
|
|
|
return any_events || any_tasks_processed ? ExitReason.idle : ExitReason.timeout;
|
2016-06-17 20:33:04 +00:00
|
|
|
break;
|
|
|
|
case ExitReason.idle:
|
|
|
|
any_events = true;
|
|
|
|
if (!scheduledTaskCount)
|
|
|
|
return ExitReason.idle;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/** Performs a single round of scheduling, blocking if necessary.
|
|
|
|
|
|
|
|
Returns:
|
|
|
|
A reason is returned:
|
|
|
|
$(UL
|
|
|
|
$(LI `ExitReason.exit`: The event loop was exited due to a manual request)
|
|
|
|
$(LI `ExitReason.outOfWaiters`: There are no more scheduled
|
|
|
|
tasks or events, so the application would do nothing from
|
|
|
|
now on)
|
|
|
|
$(LI `ExitReason.idle`: All scheduled tasks and pending events
|
|
|
|
have been processed normally)
|
|
|
|
)
|
|
|
|
*/
|
|
|
|
ExitReason waitAndProcess()
|
|
|
|
{
|
|
|
|
// first, process tasks without blocking
|
|
|
|
auto er = process();
|
|
|
|
|
|
|
|
final switch (er) {
|
|
|
|
case ExitReason.exited, ExitReason.outOfWaiters: return er;
|
|
|
|
case ExitReason.idle: return ExitReason.idle;
|
|
|
|
case ExitReason.timeout: break;
|
|
|
|
}
|
|
|
|
|
|
|
|
// if the first run didn't process any events, block and
|
|
|
|
// process one chunk
|
2018-02-14 12:11:51 +00:00
|
|
|
debug (VibeTaskLog) logTrace("Wait for new events to process...");
|
2016-10-24 06:22:37 +00:00
|
|
|
er = eventDriver.core.processEvents(Duration.max);
|
2018-02-14 12:11:51 +00:00
|
|
|
debug (VibeTaskLog) logTrace("Done.");
|
2016-06-17 20:33:04 +00:00
|
|
|
final switch (er) {
|
|
|
|
case ExitReason.exited: return ExitReason.exited;
|
|
|
|
case ExitReason.outOfWaiters:
|
|
|
|
if (!scheduledTaskCount)
|
|
|
|
return ExitReason.outOfWaiters;
|
|
|
|
break;
|
|
|
|
case ExitReason.timeout: assert(false, "Unexpected return code");
|
|
|
|
case ExitReason.idle: break;
|
|
|
|
}
|
|
|
|
|
|
|
|
// finally, make sure that all scheduled tasks are run
|
|
|
|
er = process();
|
|
|
|
if (er == ExitReason.timeout) return ExitReason.idle;
|
|
|
|
else return er;
|
|
|
|
}
|
|
|
|
|
2016-06-16 08:58:12 +00:00
|
|
|
void yieldUninterruptible()
|
2016-06-14 06:01:03 +00:00
|
|
|
{
|
|
|
|
auto t = Task.getThis();
|
|
|
|
if (t == Task.init) return; // not really a task -> no-op
|
2016-12-19 19:24:08 +00:00
|
|
|
auto tf = () @trusted { return t.taskFiber; } ();
|
|
|
|
if (tf.m_queue !is null) return; // already scheduled to be resumed
|
2020-03-14 18:47:20 +00:00
|
|
|
doYieldAndReschedule(t);
|
2016-06-14 06:01:03 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/** Holds execution until the task gets explicitly resumed.
|
|
|
|
*/
|
|
|
|
void hibernate()
|
|
|
|
{
|
|
|
|
import vibe.core.core : isEventLoopRunning;
|
|
|
|
auto thist = Task.getThis();
|
|
|
|
if (thist == Task.init) {
|
|
|
|
assert(!isEventLoopRunning, "Event processing outside of a fiber should only happen before the event loop is running!?");
|
|
|
|
static import vibe.core.core;
|
2016-06-16 08:58:12 +00:00
|
|
|
vibe.core.core.runEventLoopOnce();
|
2016-06-14 06:01:03 +00:00
|
|
|
} else {
|
|
|
|
doYield(thist);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/** Immediately switches execution to the specified task without giving up execution privilege.
|
|
|
|
|
|
|
|
This forces immediate execution of the specified task. After the tasks finishes or yields,
|
|
|
|
the calling task will continue execution.
|
|
|
|
*/
|
2020-03-15 08:02:18 +00:00
|
|
|
void switchTo(Task t, TaskSwitchPriority priority)
|
2016-06-14 06:01:03 +00:00
|
|
|
{
|
|
|
|
auto thist = Task.getThis();
|
2016-06-16 08:58:12 +00:00
|
|
|
|
|
|
|
if (t == thist) return;
|
|
|
|
|
2016-12-19 19:24:08 +00:00
|
|
|
auto thisthr = thist ? thist.thread : () @trusted { return Thread.getThis(); } ();
|
2016-06-14 06:01:03 +00:00
|
|
|
assert(t.thread is thisthr, "Cannot switch to a task that lives in a different thread.");
|
2018-02-22 15:14:26 +00:00
|
|
|
|
|
|
|
auto tf = () @trusted { return t.taskFiber; } ();
|
|
|
|
if (tf.m_queue) {
|
2020-03-15 08:02:18 +00:00
|
|
|
// don't reset the position of already scheduled tasks
|
|
|
|
if (priority == TaskSwitchPriority.normal) return;
|
|
|
|
|
2018-02-22 15:14:26 +00:00
|
|
|
debug (VibeTaskLog) logTrace("Task to switch to is already scheduled. Moving to front of queue.");
|
|
|
|
assert(tf.m_queue is &m_taskQueue, "Task is already enqueued, but not in the main task queue.");
|
|
|
|
m_taskQueue.remove(tf);
|
|
|
|
assert(!tf.m_queue, "Task removed from queue, but still has one set!?");
|
|
|
|
}
|
|
|
|
|
2020-03-15 08:02:18 +00:00
|
|
|
if (thist == Task.init && priority == TaskSwitchPriority.immediate) {
|
2017-06-10 23:35:57 +00:00
|
|
|
assert(TaskFiber.getThis().m_yieldLockCount == 0, "Cannot yield within an active yieldLock()!");
|
2018-02-14 12:11:51 +00:00
|
|
|
debug (VibeTaskLog) logTrace("switch to task from global context");
|
2016-06-14 06:01:03 +00:00
|
|
|
resumeTask(t);
|
2018-02-14 12:11:51 +00:00
|
|
|
debug (VibeTaskLog) logTrace("task yielded control back to global context");
|
2016-06-14 06:01:03 +00:00
|
|
|
} else {
|
2016-12-19 19:24:08 +00:00
|
|
|
auto thistf = () @trusted { return thist.taskFiber; } ();
|
2017-06-10 23:35:57 +00:00
|
|
|
assert(!thistf || !thistf.m_queue, "Calling task is running, but scheduled to be resumed!?");
|
2016-06-16 08:58:12 +00:00
|
|
|
|
2018-02-14 12:11:51 +00:00
|
|
|
debug (VibeTaskLog) logDebugV("Switching tasks (%s already in queue)", m_taskQueue.length);
|
2020-03-15 08:02:18 +00:00
|
|
|
final switch (priority) {
|
|
|
|
case TaskSwitchPriority.normal:
|
|
|
|
reschedule(tf);
|
|
|
|
break;
|
|
|
|
case TaskSwitchPriority.prioritized:
|
|
|
|
tf.m_dynamicPriority = uint.max;
|
|
|
|
reschedule(tf);
|
|
|
|
break;
|
|
|
|
case TaskSwitchPriority.immediate:
|
|
|
|
tf.m_dynamicPriority = uint.max;
|
|
|
|
m_taskQueue.insertFront(thistf);
|
|
|
|
m_taskQueue.insertFront(tf);
|
|
|
|
doYield(thist);
|
|
|
|
break;
|
2017-06-10 23:35:57 +00:00
|
|
|
}
|
2016-06-14 06:01:03 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/** Runs any pending tasks.
|
|
|
|
|
|
|
|
A pending tasks is a task that is scheduled to be resumed by either `yield` or
|
|
|
|
`switchTo`.
|
|
|
|
|
|
|
|
Returns:
|
|
|
|
Returns `true` $(I iff) there are more tasks left to process.
|
|
|
|
*/
|
2016-12-10 13:13:44 +00:00
|
|
|
ScheduleStatus schedule()
|
2017-07-20 11:36:27 +00:00
|
|
|
nothrow {
|
2016-12-10 13:13:44 +00:00
|
|
|
if (m_taskQueue.empty)
|
|
|
|
return ScheduleStatus.idle;
|
|
|
|
|
|
|
|
|
2016-06-14 06:01:03 +00:00
|
|
|
assert(Task.getThis() == Task.init, "TaskScheduler.schedule() may not be called from a task!");
|
|
|
|
|
2020-03-14 18:47:20 +00:00
|
|
|
if (m_taskQueue.empty) return ScheduleStatus.idle;
|
2016-06-14 06:01:03 +00:00
|
|
|
|
2020-03-14 18:47:20 +00:00
|
|
|
foreach (i; 0 .. m_taskQueue.length) {
|
2016-06-14 06:01:03 +00:00
|
|
|
auto t = m_taskQueue.front;
|
|
|
|
m_taskQueue.popFront();
|
2020-03-14 18:47:20 +00:00
|
|
|
|
|
|
|
// reset priority
|
|
|
|
t.m_dynamicPriority = t.m_staticPriority;
|
|
|
|
|
2018-02-14 12:11:51 +00:00
|
|
|
debug (VibeTaskLog) logTrace("resuming task");
|
2019-04-13 15:12:00 +00:00
|
|
|
auto task = t.task;
|
|
|
|
if (task != Task.init)
|
|
|
|
resumeTask(t.task);
|
2018-02-14 12:11:51 +00:00
|
|
|
debug (VibeTaskLog) logTrace("task out");
|
2016-06-14 06:01:03 +00:00
|
|
|
|
2020-03-14 18:47:20 +00:00
|
|
|
if (m_taskQueue.empty) break;
|
2016-06-14 06:01:03 +00:00
|
|
|
}
|
|
|
|
|
2018-02-14 12:11:51 +00:00
|
|
|
debug (VibeTaskLog) logDebugV("schedule finished - %s tasks left in queue", m_taskQueue.length);
|
2017-02-22 17:35:51 +00:00
|
|
|
|
2016-12-10 13:13:44 +00:00
|
|
|
return m_taskQueue.empty ? ScheduleStatus.allProcessed : ScheduleStatus.busy;
|
2016-06-14 06:01:03 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/// Resumes execution of a yielded task.
|
|
|
|
private void resumeTask(Task t)
|
2017-07-20 11:36:27 +00:00
|
|
|
nothrow {
|
2016-06-14 06:01:03 +00:00
|
|
|
import std.encoding : sanitize;
|
|
|
|
|
2019-04-13 15:12:00 +00:00
|
|
|
assert(t != Task.init, "Resuming null task");
|
|
|
|
|
2018-02-14 12:11:51 +00:00
|
|
|
debug (VibeTaskLog) logTrace("task fiber resume");
|
2016-06-14 06:01:03 +00:00
|
|
|
auto uncaught_exception = () @trusted nothrow { return t.fiber.call!(Fiber.Rethrow.no)(); } ();
|
2018-02-14 12:11:51 +00:00
|
|
|
debug (VibeTaskLog) logTrace("task fiber yielded");
|
2016-06-14 06:01:03 +00:00
|
|
|
|
|
|
|
if (uncaught_exception) {
|
|
|
|
auto th = cast(Throwable)uncaught_exception;
|
|
|
|
assert(th, "Fiber returned exception object that is not a Throwable!?");
|
|
|
|
|
|
|
|
assert(() @trusted nothrow { return t.fiber.state; } () == Fiber.State.TERM);
|
|
|
|
logError("Task terminated with unhandled exception: %s", th.msg);
|
|
|
|
logDebug("Full error: %s", () @trusted { return th.toString().sanitize; } ());
|
|
|
|
|
|
|
|
// always pass Errors on
|
|
|
|
if (auto err = cast(Error)th) throw err;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-03-15 08:02:18 +00:00
|
|
|
private void reschedule(TaskFiber tf)
|
2020-03-14 18:47:20 +00:00
|
|
|
{
|
2020-03-15 07:59:17 +00:00
|
|
|
import std.algorithm.comparison : min;
|
2020-03-14 18:47:20 +00:00
|
|
|
|
|
|
|
// insert according to priority, limited to a priority
|
|
|
|
// factor of 1:10 in case of heavy concurrency
|
|
|
|
m_taskQueue.insertBackPred(tf, 10, (t) {
|
|
|
|
if (t.m_dynamicPriority >= tf.m_dynamicPriority)
|
|
|
|
return true;
|
|
|
|
|
|
|
|
// increase dynamic priority each time a task gets overtaken to
|
|
|
|
// ensure a fair schedule
|
2020-03-15 07:59:17 +00:00
|
|
|
t.m_dynamicPriority += min(t.m_staticPriority, uint.max - t.m_dynamicPriority);
|
2020-03-14 18:47:20 +00:00
|
|
|
return false;
|
|
|
|
});
|
2020-03-15 08:02:18 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
private void doYieldAndReschedule(Task task)
|
|
|
|
{
|
|
|
|
auto tf = () @trusted { return task.taskFiber; } ();
|
|
|
|
|
|
|
|
reschedule(tf);
|
2020-03-14 18:47:20 +00:00
|
|
|
|
|
|
|
doYield(task);
|
|
|
|
}
|
|
|
|
|
2016-06-14 06:01:03 +00:00
|
|
|
private void doYield(Task task)
|
|
|
|
{
|
2017-06-10 23:35:57 +00:00
|
|
|
assert(() @trusted { return task.taskFiber; } ().m_yieldLockCount == 0, "May not yield while in an active yieldLock()!");
|
2016-06-14 06:01:03 +00:00
|
|
|
debug if (TaskFiber.ms_taskEventCallback) () @trusted { TaskFiber.ms_taskEventCallback(TaskEvent.yield, task); } ();
|
|
|
|
() @trusted { Fiber.yield(); } ();
|
|
|
|
debug if (TaskFiber.ms_taskEventCallback) () @trusted { TaskFiber.ms_taskEventCallback(TaskEvent.resume, task); } ();
|
2018-02-22 15:14:26 +00:00
|
|
|
assert(!task.m_fiber.m_queue, "Task is still scheduled after resumption.");
|
2016-03-01 19:30:42 +00:00
|
|
|
}
|
|
|
|
}
|
2016-06-14 06:01:03 +00:00
|
|
|
|
2016-12-10 13:13:44 +00:00
|
|
|
package enum ScheduleStatus {
|
|
|
|
idle,
|
|
|
|
allProcessed,
|
|
|
|
busy
|
|
|
|
}
|
|
|
|
|
2016-06-14 06:01:03 +00:00
|
|
|
private struct TaskFiberQueue {
|
|
|
|
@safe nothrow:
|
|
|
|
|
|
|
|
TaskFiber first, last;
|
|
|
|
size_t length;
|
|
|
|
|
|
|
|
@disable this(this);
|
|
|
|
|
|
|
|
@property bool empty() const { return first is null; }
|
|
|
|
|
|
|
|
@property TaskFiber front() { return first; }
|
|
|
|
|
|
|
|
void insertFront(TaskFiber task)
|
|
|
|
{
|
2016-06-16 08:58:12 +00:00
|
|
|
assert(task.m_queue is null, "Task is already scheduled to be resumed!");
|
2016-06-14 06:01:03 +00:00
|
|
|
assert(task.m_prev is null, "Task has m_prev set without being in a queue!?");
|
|
|
|
assert(task.m_next is null, "Task has m_next set without being in a queue!?");
|
|
|
|
task.m_queue = &this;
|
|
|
|
if (empty) {
|
|
|
|
first = task;
|
|
|
|
last = task;
|
|
|
|
} else {
|
|
|
|
first.m_prev = task;
|
|
|
|
task.m_next = first;
|
|
|
|
first = task;
|
|
|
|
}
|
|
|
|
length++;
|
|
|
|
}
|
|
|
|
|
|
|
|
void insertBack(TaskFiber task)
|
|
|
|
{
|
2016-06-16 08:58:12 +00:00
|
|
|
assert(task.m_queue is null, "Task is already scheduled to be resumed!");
|
2016-06-14 06:01:03 +00:00
|
|
|
assert(task.m_prev is null, "Task has m_prev set without being in a queue!?");
|
|
|
|
assert(task.m_next is null, "Task has m_next set without being in a queue!?");
|
|
|
|
task.m_queue = &this;
|
|
|
|
if (empty) {
|
|
|
|
first = task;
|
|
|
|
last = task;
|
|
|
|
} else {
|
|
|
|
last.m_next = task;
|
|
|
|
task.m_prev = last;
|
|
|
|
last = task;
|
|
|
|
}
|
|
|
|
length++;
|
|
|
|
}
|
|
|
|
|
2020-03-14 18:47:20 +00:00
|
|
|
// inserts a task after the first task for which the predicate yields `true`,
|
|
|
|
// starting from the back. a maximum of max_skip tasks will be skipped
|
|
|
|
// before the task is inserted regardless of the predicate.
|
|
|
|
void insertBackPred(TaskFiber task, size_t max_skip,
|
|
|
|
scope bool delegate(TaskFiber) @safe nothrow pred)
|
|
|
|
{
|
|
|
|
assert(task.m_queue is null, "Task is already scheduled to be resumed!");
|
|
|
|
assert(task.m_prev is null, "Task has m_prev set without being in a queue!?");
|
|
|
|
assert(task.m_next is null, "Task has m_next set without being in a queue!?");
|
|
|
|
|
|
|
|
for (auto t = last; t; t = t.m_prev) {
|
|
|
|
if (!max_skip-- || pred(t)) {
|
|
|
|
task.m_queue = &this;
|
|
|
|
task.m_next = t.m_next;
|
2020-03-15 09:34:37 +00:00
|
|
|
if (task.m_next) task.m_next.m_prev = task;
|
2020-03-14 18:47:20 +00:00
|
|
|
t.m_next = task;
|
|
|
|
task.m_prev = t;
|
|
|
|
if (!task.m_next) last = task;
|
|
|
|
length++;
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
insertFront(task);
|
|
|
|
}
|
|
|
|
|
2016-06-14 06:01:03 +00:00
|
|
|
void popFront()
|
|
|
|
{
|
|
|
|
if (first is last) last = null;
|
|
|
|
assert(first && first.m_queue == &this, "Popping from empty or mismatching queue");
|
|
|
|
auto next = first.m_next;
|
|
|
|
if (next) next.m_prev = null;
|
|
|
|
first.m_next = null;
|
|
|
|
first.m_queue = null;
|
|
|
|
first = next;
|
|
|
|
length--;
|
|
|
|
}
|
|
|
|
|
|
|
|
void remove(TaskFiber task)
|
|
|
|
{
|
|
|
|
assert(task.m_queue is &this, "Task is not contained in task queue.");
|
|
|
|
if (task.m_prev) task.m_prev.m_next = task.m_next;
|
|
|
|
else first = task.m_next;
|
|
|
|
if (task.m_next) task.m_next.m_prev = task.m_prev;
|
|
|
|
else last = task.m_prev;
|
|
|
|
task.m_queue = null;
|
|
|
|
task.m_prev = null;
|
|
|
|
task.m_next = null;
|
2018-08-26 11:03:14 +00:00
|
|
|
length--;
|
2016-06-14 06:01:03 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-08-26 11:03:14 +00:00
|
|
|
unittest {
|
|
|
|
auto f1 = new TaskFiber;
|
|
|
|
auto f2 = new TaskFiber;
|
|
|
|
|
|
|
|
TaskFiberQueue q;
|
|
|
|
assert(q.empty && q.length == 0);
|
|
|
|
q.insertFront(f1);
|
|
|
|
assert(!q.empty && q.length == 1);
|
|
|
|
q.insertFront(f2);
|
|
|
|
assert(!q.empty && q.length == 2);
|
|
|
|
q.popFront();
|
|
|
|
assert(!q.empty && q.length == 1);
|
|
|
|
q.popFront();
|
|
|
|
assert(q.empty && q.length == 0);
|
|
|
|
q.insertFront(f1);
|
|
|
|
q.remove(f1);
|
|
|
|
assert(q.empty && q.length == 0);
|
|
|
|
}
|
|
|
|
|
2020-03-14 18:47:20 +00:00
|
|
|
unittest {
|
|
|
|
auto f1 = new TaskFiber;
|
|
|
|
auto f2 = new TaskFiber;
|
|
|
|
auto f3 = new TaskFiber;
|
|
|
|
auto f4 = new TaskFiber;
|
|
|
|
auto f5 = new TaskFiber;
|
2020-03-15 09:34:37 +00:00
|
|
|
auto f6 = new TaskFiber;
|
2020-03-14 18:47:20 +00:00
|
|
|
TaskFiberQueue q;
|
2020-03-15 09:34:37 +00:00
|
|
|
|
|
|
|
void checkQueue()
|
|
|
|
{
|
|
|
|
TaskFiber p;
|
|
|
|
for (auto t = q.front; t; t = t.m_next) {
|
|
|
|
assert(t.m_prev is p);
|
|
|
|
assert(t.m_next || t is q.last);
|
|
|
|
p = t;
|
|
|
|
}
|
|
|
|
|
|
|
|
TaskFiber n;
|
|
|
|
for (auto t = q.last; t; t = t.m_prev) {
|
|
|
|
assert(t.m_next is n);
|
|
|
|
assert(t.m_prev || t is q.first);
|
|
|
|
n = t;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-03-14 18:47:20 +00:00
|
|
|
q.insertBackPred(f1, 0, delegate bool(tf) { assert(false); });
|
2020-03-15 09:34:37 +00:00
|
|
|
assert(q.first is f1 && q.last is f1);
|
|
|
|
checkQueue();
|
|
|
|
|
2020-03-14 18:47:20 +00:00
|
|
|
q.insertBackPred(f2, 0, delegate bool(tf) { assert(false); });
|
2020-03-15 09:34:37 +00:00
|
|
|
assert(q.first is f1 && q.last is f2);
|
|
|
|
checkQueue();
|
|
|
|
|
2020-03-14 18:47:20 +00:00
|
|
|
q.insertBackPred(f3, 1, (tf) => false);
|
2020-03-15 09:34:37 +00:00
|
|
|
assert(q.first is f1 && q.last is f2);
|
|
|
|
assert(f1.m_next is f3);
|
|
|
|
assert(f3.m_prev is f1);
|
|
|
|
checkQueue();
|
|
|
|
|
2020-03-14 18:47:20 +00:00
|
|
|
q.insertBackPred(f4, 10, (tf) => false);
|
2020-03-15 09:34:37 +00:00
|
|
|
assert(q.first is f4 && q.last is f2);
|
|
|
|
checkQueue();
|
|
|
|
|
2020-03-14 18:47:20 +00:00
|
|
|
q.insertBackPred(f5, 10, (tf) => true);
|
2020-03-15 09:34:37 +00:00
|
|
|
assert(q.first is f4 && q.last is f5);
|
|
|
|
checkQueue();
|
|
|
|
|
|
|
|
q.insertBackPred(f6, 10, (tf) => tf is f4);
|
|
|
|
assert(q.first is f4 && q.last is f5);
|
|
|
|
assert(f4.m_next is f6);
|
|
|
|
checkQueue();
|
2020-03-14 18:47:20 +00:00
|
|
|
}
|
|
|
|
|
2016-06-14 06:01:03 +00:00
|
|
|
private struct FLSInfo {
|
|
|
|
void function(void[], size_t) fct;
|
|
|
|
size_t offset;
|
|
|
|
void destroy(void[] fls) {
|
|
|
|
fct(fls, offset);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-02-22 17:35:51 +00:00
|
|
|
// mixin string helper to call a function with arguments that potentially have
|
|
|
|
// to be moved
|
|
|
|
package string callWithMove(ARGS...)(string func, string args)
|
|
|
|
{
|
|
|
|
import std.string;
|
|
|
|
string ret = func ~ "(";
|
|
|
|
foreach (i, T; ARGS) {
|
|
|
|
if (i > 0) ret ~= ", ";
|
|
|
|
ret ~= format("%s[%s]", args, i);
|
|
|
|
static if (needsMove!T) ret ~= ".move";
|
|
|
|
}
|
|
|
|
return ret ~ ");";
|
|
|
|
}
|
|
|
|
|
|
|
|
private template needsMove(T)
|
|
|
|
{
|
|
|
|
template isCopyable(T)
|
|
|
|
{
|
|
|
|
enum isCopyable = __traits(compiles, (T a) { return a; });
|
|
|
|
}
|
|
|
|
|
|
|
|
template isMoveable(T)
|
|
|
|
{
|
|
|
|
enum isMoveable = __traits(compiles, (T a) { return a.move; });
|
|
|
|
}
|
|
|
|
|
|
|
|
enum needsMove = !isCopyable!T;
|
|
|
|
|
|
|
|
static assert(isCopyable!T || isMoveable!T,
|
|
|
|
"Non-copyable type "~T.stringof~" must be movable with a .move property.");
|
|
|
|
}
|
|
|
|
|
|
|
|
unittest {
|
|
|
|
enum E { a, move }
|
|
|
|
static struct S {
|
|
|
|
@disable this(this);
|
|
|
|
@property S move() { return S.init; }
|
|
|
|
}
|
|
|
|
static struct T { @property T move() { return T.init; } }
|
|
|
|
static struct U { }
|
|
|
|
static struct V {
|
|
|
|
@disable this();
|
|
|
|
@disable this(this);
|
|
|
|
@property V move() { return V.init; }
|
|
|
|
}
|
|
|
|
static struct W { @disable this(); }
|
|
|
|
|
|
|
|
static assert(needsMove!S);
|
|
|
|
static assert(!needsMove!int);
|
|
|
|
static assert(!needsMove!string);
|
|
|
|
static assert(!needsMove!E);
|
|
|
|
static assert(!needsMove!T);
|
|
|
|
static assert(!needsMove!U);
|
|
|
|
static assert(needsMove!V);
|
|
|
|
static assert(!needsMove!W);
|
|
|
|
}
|