Package async_kernel v0.9.0

async_kernel

Async_kernel
Async_kernel__
Async_kernel__Async_conditionAsync's implementation of the standard notion of a "condition" variable.
Async_kernel__Async_gcAsync's analog of Core_kernel.Gc.
Async_kernel__Async_invariant
Async_kernel__Async_invariant_intfThis module defines signatures that extend Core_kernel.Invariant with an Async submodule for invariants that use async computation and return unit Deferred.t.
Async_kernel__Async_quickcheck
Async_kernel__Async_quickcheck_intf
Async_kernel__Async_streamAn immutable sequence of values, with a possibly incomplete tail that may be extended asynchronously.
Async_kernel__BvarA Bvar is a synchronization point that allows one to broadcast a value to clients waiting on the broadcast. With a Bvar, one can efficiently notify multiple clients of edge-triggered conditions, repeating as each edge trigger occurs.
Async_kernel__Clock_intfSchedule jobs to run at a time in the future.
Async_kernel__Clock_ns
Async_kernel__ConfigSettings that globally affect the behavior of Async.
Async_kernel__DebugInternal Async debugging functions.
Async_kernel__DeferredA value that will become determined asynchronously.
Async_kernel__Deferred0Internal to Async -- see Deferred for the public API.
Async_kernel__Deferred1
Async_kernel__Deferred_array
Async_kernel__Deferred_list
Async_kernel__Deferred_map
Async_kernel__Deferred_memoMemoization functions like in Core_kernel.Memo, with re-raising of exceptions thrown asynchronously.
Async_kernel__Deferred_option
Async_kernel__Deferred_or_errorThe deferred analog of Core.Or_error. It is exposed in std.ml as Deferred.Or_error.
Async_kernel__Deferred_queueAll Deferred_queue iteration functions first copy the queue (to a list) and then start calling the user function f. So, if f modifies the queue, that will have no effect on the iteration.
Async_kernel__Deferred_result
Async_kernel__Deferred_sequence
Async_kernel__Deferred_sequence_unit_tests
Async_kernel__Deferred_std
Async_kernel__Deferred_unit_tests
Async_kernel__Eager_deferredEager_deferred partially implements the Deferred interface, with a type 'a t equal to 'a Deferred.t, but where the operations are "eager", that is built upon a world where bind, map, and upon eagerly apply their closure without preemption in the case the deferred they are working with is already determined.
Async_kernel__Execution_contextThe context in which an Async job runs.
Async_kernel__External_job
Async_kernel__HandlerA continuation that captures the current Async execution context.
Async_kernel__Import
Async_kernel__IvarA write-once cell that can be empty or full (i.e. hold a single value).
Async_kernel__Ivar0Internal to Async -- see Ivar for the public API.
Async_kernel__Ivar_fillerIvar_filler is a reference to an ivar that allows one to fill the ivar, but not to read it. This allows the implementation to drop the reference to the ivar once it is full, which can be useful to avoid holding onto unused memory.
Async_kernel__Job
Async_kernel__Job_pool
Async_kernel__Job_queueInternal to Async -- a queue of jobs to run.
Async_kernel__Lazy_deferredA delayed computation that can produce a deferred.
Async_kernel__Limiter
Async_kernel__Monad_sequence
Async_kernel__Monad_sequence_unit_tests
Async_kernel__Monitor
Async_kernel__Monitor0
Async_kernel__MvarAn Mvar is a mutable location that is either empty or contains a value. One can put or set the value, and wait on value_available for the location to be filled in either way.
Async_kernel__Pipe
Async_kernel__PriorityThe priority of a job.
Async_kernel__Require_explicit_time_sourceDeprecates functions that use wall-clock time, so that code must be explicit about what time source is used. Idiomatic usage is:
Async_kernel__SchedulerInternal to Async -- see Async_unix.Scheduler for the public API.
Async_kernel__Scheduler0
Async_kernel__Scheduler1
Async_kernel__Synchronous_time_source
Async_kernel__Synchronous_time_source0A synchronous version of Async_kernel.Time_source. advance_by_alarms runs alarms immediately, rather than enqueueing Async jobs.
Async_kernel__TailA pointer to the end of an Async_stream that can be used to extend the stream.
Async_kernel__ThrottleA way to limit the number of concurrent computations.
Async_kernel__Throttle_debugDebugging for Throttle.
Async_kernel__Throttle_unit_tests
Async_kernel__Time_ns
Async_kernel__Time_source
Async_kernel__Time_source0
Async_kernel__Time_source_intfA time source holds a time (possibly wall-clock time, possibly simulated time) and gives the ability to schedule Async jobs to run when that time advances. There is a single wall-clock time source (returned by wall_clock ()) that the Async scheduler drives and uses for the Clock_ns module. One can also create a user-controlled time source via create, and advance its clock as desired. This is useful so that state machines can depend on a notion of time that is distinct from wall-clock time.
Async_kernel__Timing_wheel_ns
Async_kernel__Types

Info

authors
  • Jane Street Group, LLC <opensource@janestreet.com>
change log
deps
homepage
issues
licenses
  • Apache-2.0
licenses
maintainers
  • opensource@janestreet.com
versionv0.9.0