std.parallelism.task - multiple declarations
- Function task
- Function task
- Function task
- Struct Task
Function task
Creates a on the GC heap that calls an alias. This may be executed
via Task or by submitting to a
Task.executeInNewThreadstd.parallelism.TaskPool. A globally accessible instance of
is provided by TaskPoolstd.parallelism.taskPool.
Prototype
auto task(alias fun, Args...)( Args args );
Returns
A pointer to the .
Task
Examples
// Read two files into memory at the same time. import std.file; void main() { // Create and execute a Task for reading // foo.txt. auto file1Task = task!read("foo.txt"); file1Task.executeInNewThread(); // Read bar.txt in parallel. auto file2Data = read("bar.txt"); // Get the results of reading foo.txt. auto file1Data = file1Task.yieldForce; }
// Sorts an array using a parallel quick sort algorithm. // The first partition is done serially. Both recursion // branches are then executed in parallel. // // Timings for sorting an array of 1,000,000 doubles on // an Athlon 64 X2 dual core machine: // // This implementation: 176 milliseconds. // Equivalent serial implementation: 280 milliseconds void parallelSort(T)(T[] data) { // Sort small subarrays serially. if(data.length < 100) { std.algorithm.sort(data); return; } // Partition the array. swap(data[$ / 2], data[$ - 1]); auto pivot = data[$ - 1]; bool lessThanPivot(T elem) { return elem < pivot; } auto greaterEqual = partition!lessThanPivot(data[0..$ - 1]); swap(data[$ - greaterEqual.length - 1], data[$ - 1]); auto less = data[0..$ - greaterEqual.length - 1]; greaterEqual = data[$ - greaterEqual.length..$]; // Execute both recursion branches in parallel. auto recurseTask = task!parallelSort(greaterEqual); taskPool.put(recurseTask); parallelSort(less); recurseTask.yieldForce; }
Function task
Creates a on the GC heap that calls a function pointer, delegate, or
class/struct with overloaded opCall.
Task
Prototype
auto task(F, Args...)( F delegateOrFp, Args args ) if (is(typeof(delegateOrFp(args))) && !isSafeTask!F);
Examples
// Read two files in at the same time again, // but this time use a function pointer instead // of an alias to represent std.file.read. import std.file; void main() { // Create and execute a Task for reading // foo.txt. auto file1Task = task(&read, "foo.txt"); file1Task.executeInNewThread(); // Read bar.txt in parallel. auto file2Data = read("bar.txt"); // Get the results of reading foo.txt. auto file1Data = file1Task.yieldForce; }
Notes
This function takes a non-scope delegate, meaning it can be
used with closures. If you can't allocate a closure due to objects
on the stack that have scoped destruction, see , which
takes a scope delegate.
scopedTask
Function task
Version of usable from task@safe code. Usage mechanics are
identical to the non-@safe case, but safety introduces some restrictions:
1. must be @safe or @trusted.
fun
2. F must not have any unshared aliasing as defined by
std.traits.hasUnsharedAliasing. This means it
may not be an unshared delegate or a non-shared class or struct
with overloaded opCall. This also precludes accepting template
alias parameters.
3. Args must not have unshared aliasing.
4. must not return by reference.
fun
5. The return type must not have unshared aliasing unless is
funpure or the is executed via TaskexecuteInNewThread instead
of using a .
TaskPool
Prototype
auto task(F, Args...)( F fun, Args args ) @trusted if (is(typeof(fun(args))) && isSafeTask!F);
Struct Task
represents the fundamental unit of work. A Task may be
executed in Taskparallel with any other . Using this struct directly
allows future/promise parallelism. In this paradigm, a function (or delegate
or other callable) is executed in a thread other than the one it was called
from. The calling thread does not block while the function is being executed.
A call to Task, workForce, or yieldForce is used to
ensure that the spinForce has finished executing and to obtain the return
value, if any. These functions and Task also act as full memory barriers,
meaning that any memory writes made in the thread that executed the done
are guaranteed to be visible in the calling thread after one of these functions
returns.
Task
The std.parallelism.task and std.parallelism.scopedTask functions can
be used to create an instance of this struct. See for usage examples.
task
Function results are returned from , yieldForce and
spinForce by ref. If workForcefun returns by ref, the reference will point
to the returned reference of fun. Otherwise it will point to a
field in this struct.
Copying of this struct is disabled, since it would provide no useful semantics. If you want to pass this struct around, you should do so by reference or pointer.
Properties
| Name | Type | Description |
|---|---|---|
done
[get]
|
bool |
Returns true if the is finished executing.
|
spinForce
[get]
|
Task. |
If the isn't started yet, execute it in the current thread.
If it's done, return its return value, if any. If it's in progress,
busy spin until it's done, then return the return value. If it threw
an exception, rethrow that exception.
|
workForce
[get]
|
Task. |
If this was not started yet, execute it in the current
thread. If it is finished, return its result. If it is in progress,
execute any other from the instance that
this was submitted to until this one
is finished. If it threw an exception, rethrow that exception.
If no other tasks are available or this was executed using
, wait on a condition variable.
|
yieldForce
[get]
|
Task. |
If the isn't started yet, execute it in the current thread.
If it's done, return its return value, if any. If it's in progress,
wait on a condition variable. If it threw an exception, rethrow that
exception.
|
Methods
| Name | Description |
|---|---|
executeInNewThread
|
Create a new thread for executing this , execute it in the
newly created thread, then terminate the thread. This can be used for
future/promise parallelism. An explicit priority may be given
to the . If one is provided, its value is forwarded to
. See std.parallelism.task for
usage example.
|
Aliases
| Name | Description |
|---|---|
ReturnType
|
The return type of the function called by this . This can be
void.
|
Bugs
Changes to ref and out arguments are not propagated to the
call site, only to args in this struct.