A | |
Array [Deferred] | |
Async_condition |
Async's implementation of the standard notion of a "condition" variable.
|
Async_config [Std] | |
Async_gc |
Async's analog of
Core.Gc .
|
Async_or_error |
The deferred analog of
Core.Or_error .
|
Async_stream |
An immutable sequence of values, with a possibly incomplete tail that may be extended
asynchronously.
|
C | |
Clock [Std] | |
Clock |
Schedule jobs to run at a time in the future.
|
Condition [Std] | |
Config |
Settings that globally affect the behavior of async.
|
Consumer [Pipe] | |
D | |
Debug [Throttle_debug] | |
Debug [Import] | |
Debug |
Internal async debugging functions.
|
Debug_in_this_directory [Import] | |
Deferred [Std] | |
Deferred [Ivar] |
The
Deferred module exposed here is for async's internal use only.
|
Deferred [Deferred_intf] | |
Deferred |
A value that will become determined asynchronously.
|
Deferred_intf |
default
how is `Sequential
|
Deferred_std | |
Deferred_unit_tests | |
Direct [Raw_scheduler.T.Fields] | |
Direct [Raw_monitor.Fields] | |
Direct [Execution_context.Fields] | |
E | |
Epoll_max_ready_events [Import] | |
Epoll_max_ready_events [Config] | |
Event [Clock] |
Events provide abortable versions of
at and after .
|
Execution_context [Std] | |
Execution_context |
The context in which an async job runs.
|
Exported_for_scheduler [Monitor] | |
F | |
Fields [Raw_scheduler.T] | |
Fields [Raw_monitor] | |
Fields [Execution_context] | |
File_descr_watcher [Config] | |
Flushed_result [Pipe] | |
G | |
Gc [Std] | |
H | |
Handler [Std] | |
Handler [Raw_ivar] | |
Handler [Raw_deferred] | |
Handler [Ivar.Deferred] | |
Handler |
A continuation that captures the current async execution context.
|
I | |
Import | |
Infix [Deferred] | |
Ivar [Std] | |
Ivar |
A write-once cell that can be empty or full (i.e.
|
J | |
Job |
Internal to async -- an atomic unit of work to be run by the scheduler.
|
Jobs |
Internal to async -- queues of jobs to run, one at each priority level.
|
K | |
Kill_index |
Internal to async -- a timestamp used to implement
Monitor.kill .
|
L | |
Lazy_deferred [Std] | |
Lazy_deferred |
A delayed computation that can produce a deferred.
|
List [Deferred] | |
List [Async_or_error] | |
M | |
Map [Deferred] | |
Max_inter_cycle_timeout [Import] | |
Max_inter_cycle_timeout [Config] | |
Max_num_jobs_per_priority_per_cycle [Import] | |
Max_num_jobs_per_priority_per_cycle [Config] | |
Max_num_open_file_descrs [Import] | |
Max_num_open_file_descrs [Config] | |
Max_num_threads [Import] | |
Max_num_threads [Config] | |
Monitor [Std] | |
Monitor [Raw_scheduler] | |
Monitor |
The part of the
Execution_context that determines what to do when there is an
unhandled exception.
|
Monitor_unit_tests | |
O | |
Option [Deferred] | |
Or_error [Deferred] | |
P | |
Pipe [Std] | |
Pipe |
A buffered FIFO communication channel.
|
Pretty [Raw_monitor] | |
Print_debug_messages_for [Config] | |
Priority [Std] | |
Priority |
The priority of a job.
|
Q | |
Queue [Deferred] | |
R | |
Raw_deferred |
Internal to async -- see
Deferred for the public API.
|
Raw_handler | |
Raw_ivar |
Internal to async -- see
Ivar for the public API.
|
Raw_monitor | |
Raw_scheduler | |
Raw_stream | |
Reader [Pipe] | |
Result [Deferred] | |
S | |
Scheduler |
Internal to async -- see
Async_unix.Scheduler for the public API.
|
Sequencer [Throttle] |
A sequencer is a throttle that is specialized to only allow one job at a time and to,
by default, not continue on error.
|
Sequencer [Std] | |
Std | |
Stream [Tail] | |
Stream [Std] | |
T | |
T [Raw_scheduler] | |
T [Raw_handler] | |
T2 [Throttle] |
We use a phantom type to distinguish between throttles, which have
max_concurrent_jobs >= 1 , and sequencers, which have max_concurrent_jobs = 1 .
|
Tail |
A pointer to the end of an
Async_stream that can be used to extend the stream.
|
Tail [Std] | |
Test |
Nothing here.
|
Throttle |
A way to limit the number of concurrent computations.
|
Throttle [Std] | |
Throttle_debug |
Debugging for
Throttle .
|
Throttle_unit_tests |
This signature is here to remind us to update the unit tests whenever we change
Throttle .
|
W | |
Writer [Pipe] |