tur/taskgroup
structured concurrency with scoped TaskGroup.
Since: Phase T22
task-group-new
(task-group-new :ptr<void>)
create a new empty TaskGroup.
An opaque ptr<void> handle to the TaskGroupBlock.
(let [g (task-group-new)] ...) ; => ptr<void>
Since: Phase T22
fiber-cancelled?
(fiber-cancelled? :bool)
check whether the current fiber has been cancelled.
true if the thread-local cancelled flag is set; false otherwise.
(if (fiber-cancelled?) ...) ; => bool
Since: Phase T22
task-group-cancelled?
(task-group-cancelled? [group :ptr<void>] :bool)
check whether a specific task group has been cancelled.
| group | task group handle returned by task-group-new |
true if the group's cancelled flag is set; false otherwise.
(if (task-group-cancelled? g) ...) ; => bool
Since: Phase T22
task-group-should-exit?
(task-group-should-exit? [group :ptr<void>] :bool)
return true if the current task should stop, checking both fiber and group cancellation.
| group | task group handle returned by task-group-new |
true if either the current fiber or the group has been cancelled.
(if (task-group-should-exit? g) ...) ; => bool
Since: Phase T22
fiber-should-exit?
(fiber-should-exit? :bool)
check whether the current fiber should exit (without group context).
true if the thread-local cancelled flag is set.
(if (fiber-should-exit?) ...) ; => bool
Since: Phase T22
task-group-done?
(task-group-done? [group :ptr<void>] :bool)
check whether all tasks in the group have completed.
| group | task group handle returned by task-group-new |
true if all spawned tasks have called task-group-task-done.
(if (task-group-done? g) ...) ; => bool
Since: Phase T22
task-group-task-done
(task-group-task-done [group :ptr<void>] :nil)
signal that the calling task has completed; must be called by each spawned task.
| group | task group handle returned by task-group-new |
(task-group-task-done g)
Since: Phase T22
task-group-wait
(task-group-wait [group :ptr<void>] :nil)
block until all tasks in the group have completed.
| group | task group handle returned by task-group-new |
(task-group-wait g)
Since: Phase T22
task-group-cancel
(task-group-cancel [group :ptr<void>] :nil)
cooperatively cancel all tasks in the group (reason: manual).
| group | task group handle returned by task-group-new |
(task-group-cancel g)
Since: Phase T22
task-group-cancel-with-reason
(task-group-cancel-with-reason [group :ptr<void> reason :int] :nil)
cancel all tasks in the group with a specific reason code.
| group | task group handle returned by task-group-new | |
| reason | cancel reason: 0=manual, 1=panic, 2=timeout, 3=error |
(task-group-cancel-with-reason g 2)
Since: Phase T22
task-group-cancel-panic
(task-group-cancel-panic [group :ptr<void>] :nil)
cancel the group with reason 1 (panic).
| group | task group handle returned by task-group-new |
(task-group-cancel-panic g)
Since: Phase T22
task-group-cancel-timeout
(task-group-cancel-timeout [group :ptr<void>] :nil)
cancel the group with reason 2 (timeout).
| group | task group handle returned by task-group-new |
(task-group-cancel-timeout g)
Since: Phase T22
task-group-cancel-error
(task-group-cancel-error [group :ptr<void>] :nil)
cancel the group with reason 3 (error).
| group | task group handle returned by task-group-new |
(task-group-cancel-error g)
Since: Phase T22
task-group-cancel-reason
(task-group-cancel-reason [group :ptr<void>] :int)
return the reason code why the group was cancelled.
| group | task group handle returned by task-group-new |
An int reason code: 0=manual, 1=panic, 2=timeout, 3=error.
(task-group-cancel-reason g) ; => int
Since: Phase T22
task-group-spawn
(task-group-spawn [group :ptr<void> f :ptr<void>] :ptr<void>)
spawn a fiber into the task group and return its handle.
| group | task group handle returned by task-group-new | |
| f | zero-argument fiber entry-point function pointer |
A ptr<void> fiber handle that can be passed to task-group-join.
(let [h (task-group-spawn g my-fiber-fn)] ...) ; => ptr<void>
Since: Phase T22
task-group-join
(task-group-join [group :ptr<void> handle :ptr<void>] :nil)
wait for a specific spawned fiber to complete.
| group | task group handle returned by task-group-new | |
| handle | fiber handle returned by task-group-spawn |
(task-group-join g h)
Since: Phase T22
task-handle-done?
(task-handle-done? [handle :ptr<void>] :bool)
non-blocking check whether a specific spawned fiber has completed.
| handle | fiber handle returned by task-group-spawn |
true if the fiber is done or the handle is NULL.
(if (task-handle-done? h) ...) ; => bool
Since: Phase T22
task-group-free
(task-group-free [group :ptr<void>] :nil)
destroy a task group and release its memory.
| group | task group handle returned by task-group-new |
(task-group-free g)
Since: Phase T22
task-group-with
(task-group-with [group & body])
task-group-with-timeout
(task-group-with-timeout [group ms & body])
spawn-timeout-thread
(spawn-timeout-thread [group :ptr<void> ms :int] :ptr<void>)
spawn a background thread that cancels the group after ms milliseconds.
| group | task group handle returned by task-group-new | |
| ms | delay in milliseconds before the group is cancelled |
A ptr<void> thread handle (detached; free with join-timeout-thread).
Since: Phase T22
join-timeout-thread
(join-timeout-thread [t :ptr<void>] :nil)
free the handle of a detached timeout thread.
| t | thread handle returned by spawn-timeout-thread |
(join-timeout-thread t)
Since: Phase T22
task-group-with-cancellation
(task-group-with-cancellation [group & body])
task-group-spawn-async
(task-group-spawn-async [group :ptr<void> f :ptr<void>] :ptr<void>)
spawn an async computation into a task group and return a Future.
| group | task group handle returned by task-group-new | |
| f | no-argument function returning int64_t to run as a fiber |
A ptr<void> Future fulfilled with f's return value when the fiber completes.
(let [fut (task-group-spawn-async g my-thunk)] (await fut)) ; => ptr<void>
Since: Phase T22
task-group-async
(task-group-async [group async-thunk])
Internal definitions
__fiber_set_cancelled-- set the current fiber's cancelled flag (internal use only).__tg-async-entry-- internal fiber entry point for task-group-spawn-async (internal use only).