include module type of Async_kernel__.Scheduler0 with type Scheduler0.t := Async_kernel__.Scheduler0.tinclude Async_kernel__.Types.Schedulertype t = {mutable check_access : (unit ‑> unit) option; |
mutable job_pool : Async_kernel__.Types.Job_pool.t; |
normal_priority_jobs : Async_kernel__.Types.Job_queue.t; |
low_priority_jobs : Async_kernel__.Types.Job_queue.t; |
very_low_priority_workers : Async_kernel__.Types.Very_low_priority_worker.t Core_kernel.Deque.t; |
mutable main_execution_context : Async_kernel__.Types.Execution_context.t; |
mutable current_execution_context : Async_kernel__.Types.Execution_context.t; |
mutable uncaught_exn : (Core_kernel.Exn.t * Core_kernel.Sexp.t) option; |
mutable cycle_count : int; |
mutable cycle_start : Async_kernel__.Import.Time_ns.t; |
mutable run_every_cycle_start : (unit ‑> unit) list; |
mutable last_cycle_time : Async_kernel__.Import.Time_ns.Span.t; |
mutable last_cycle_num_jobs : int; |
mutable time_source : Core_kernel.read_write Async_kernel__.Types.Time_source.t1; |
external_jobs : Async_kernel__.Types.External_job.t Core_kernel.Thread_safe_queue.t; |
mutable thread_safe_external_job_hook : unit ‑> unit; |
mutable job_queued_hook : (Async_kernel.Priority.t ‑> unit) option; |
mutable event_added_hook : (Async_kernel__.Import.Time_ns.t ‑> unit) option; |
mutable yield : (unit, Core_kernel.read_write) Async_kernel__.Types.Bvar.t; |
mutable yield_until_no_jobs_remain : (unit, Core_kernel.read_write) Async_kernel__.Types.Bvar.t; |
mutable check_invariants : bool; |
mutable max_num_jobs_per_priority_per_cycle : Async_kernel__.Import.Max_num_jobs_per_priority_per_cycle.t; |
mutable record_backtraces : bool; |
mutable on_start_of_cycle : unit ‑> unit; |
mutable on_end_of_cycle : unit ‑> unit; |
}val events : t ‑> Async_kernel__Types.Job_or_event.t Core_kernel.Timing_wheel_ns.tval set_execution_context : t ‑> Async_kernel__Types.Execution_context.t ‑> unitmodule Synchronous_time_source = Async_kernel__.Synchronous_time_source0module Event = Synchronous_time_source.Eventmodule Alarm = Core_kernel.Timing_wheel_ns.Alarmmodule Ivar : sig ... endmodule Bvar : sig ... endmodule Very_low_priority_worker : sig ... endtype t = Async_kernel__.Scheduler0.t = {mutable check_access : (unit ‑> unit) option; |
mutable job_pool : Async_kernel__.Job_pool.t; |
normal_priority_jobs : Async_kernel__.Job_queue.t; |
low_priority_jobs : Async_kernel__.Job_queue.t; |
very_low_priority_workers : Very_low_priority_worker.t Core_kernel.Deque.t; |
mutable main_execution_context : Async_kernel.Execution_context.t; |
mutable current_execution_context : Async_kernel.Execution_context.t; |
mutable uncaught_exn : (Core_kernel.Exn.t * Core_kernel.Sexp.t) option; |
mutable cycle_count : int; |
mutable cycle_start : Async_kernel__.Import.Time_ns.t; |
mutable run_every_cycle_start : (unit ‑> unit) list; |
mutable last_cycle_time : Async_kernel__.Import.Time_ns.Span.t; |
mutable last_cycle_num_jobs : int; |
mutable time_source : Core_kernel.read_write Synchronous_time_source.T1.t; |
external_jobs : Async_kernel__.External_job.t Core_kernel.Thread_safe_queue.t; |
mutable thread_safe_external_job_hook : unit ‑> unit; |
mutable job_queued_hook : (Async_kernel.Priority.t ‑> unit) option; |
mutable event_added_hook : (Async_kernel__.Import.Time_ns.t ‑> unit) option; |
mutable yield : (unit, Core_kernel.read_write) Async_kernel__.Types.Bvar.t Core_kernel.sexp_opaque; |
mutable yield_until_no_jobs_remain : (unit, Core_kernel.read_write) Async_kernel__.Types.Bvar.t Core_kernel.sexp_opaque; |
mutable check_invariants : bool; |
mutable max_num_jobs_per_priority_per_cycle : Async_kernel__.Import.Max_num_jobs_per_priority_per_cycle.t; |
mutable record_backtraces : bool; |
mutable on_start_of_cycle : unit ‑> unit; |
mutable on_end_of_cycle : unit ‑> unit; |
}val on_end_of_cycle : t ‑> unit ‑> unitval set_on_end_of_cycle : t ‑> (unit ‑> unit) ‑> unitval on_start_of_cycle : t ‑> unit ‑> unitval set_on_start_of_cycle : t ‑> (unit ‑> unit) ‑> unitval record_backtraces : t ‑> boolval set_record_backtraces : t ‑> bool ‑> unitval max_num_jobs_per_priority_per_cycle : t ‑> Async_kernel__.Import.Max_num_jobs_per_priority_per_cycle.tval set_max_num_jobs_per_priority_per_cycle : t ‑> Async_kernel__.Import.Max_num_jobs_per_priority_per_cycle.t ‑> unitval check_invariants : t ‑> boolval set_check_invariants : t ‑> bool ‑> unitval yield_until_no_jobs_remain : t ‑> (unit, Core_kernel.read_write) Async_kernel__.Types.Bvar.t Core_kernel.sexp_opaqueval set_yield_until_no_jobs_remain : t ‑> (unit, Core_kernel.read_write) Async_kernel__.Types.Bvar.t Core_kernel.sexp_opaque ‑> unitval yield : t ‑> (unit, Core_kernel.read_write) Async_kernel__.Types.Bvar.t Core_kernel.sexp_opaqueval set_yield : t ‑> (unit, Core_kernel.read_write) Async_kernel__.Types.Bvar.t Core_kernel.sexp_opaque ‑> unitval event_added_hook : t ‑> (Async_kernel__.Import.Time_ns.t ‑> unit) optionval set_event_added_hook : t ‑> (Async_kernel__.Import.Time_ns.t ‑> unit) option ‑> unitval job_queued_hook : t ‑> (Async_kernel.Priority.t ‑> unit) optionval set_job_queued_hook : t ‑> (Async_kernel.Priority.t ‑> unit) option ‑> unitval thread_safe_external_job_hook : t ‑> unit ‑> unitval set_thread_safe_external_job_hook : t ‑> (unit ‑> unit) ‑> unitval external_jobs : t ‑> Async_kernel__.External_job.t Core_kernel.Thread_safe_queue.tval time_source : t ‑> Core_kernel.read_write Synchronous_time_source.T1.tval set_time_source : t ‑> Core_kernel.read_write Synchronous_time_source.T1.t ‑> unitval last_cycle_num_jobs : t ‑> intval set_last_cycle_num_jobs : t ‑> int ‑> unitval last_cycle_time : t ‑> Async_kernel__.Import.Time_ns.Span.tval set_last_cycle_time : t ‑> Async_kernel__.Import.Time_ns.Span.t ‑> unitval run_every_cycle_start : t ‑> (unit ‑> unit) listval set_run_every_cycle_start : t ‑> (unit ‑> unit) list ‑> unitval cycle_start : t ‑> Async_kernel__.Import.Time_ns.tval set_cycle_start : t ‑> Async_kernel__.Import.Time_ns.t ‑> unitval cycle_count : t ‑> intval set_cycle_count : t ‑> int ‑> unitval uncaught_exn : t ‑> (Core_kernel.Exn.t * Core_kernel.Sexp.t) optionval set_uncaught_exn : t ‑> (Core_kernel.Exn.t * Core_kernel.Sexp.t) option ‑> unitval current_execution_context : t ‑> Async_kernel.Execution_context.tval set_current_execution_context : t ‑> Async_kernel.Execution_context.t ‑> unitval main_execution_context : t ‑> Async_kernel.Execution_context.tval set_main_execution_context : t ‑> Async_kernel.Execution_context.t ‑> unitval very_low_priority_workers : t ‑> Very_low_priority_worker.t Core_kernel.Deque.tval low_priority_jobs : t ‑> Async_kernel__.Job_queue.tval normal_priority_jobs : t ‑> Async_kernel__.Job_queue.tval job_pool : t ‑> Async_kernel__.Job_pool.tval set_job_pool : t ‑> Async_kernel__.Job_pool.t ‑> unitval check_access : t ‑> (unit ‑> unit) optionval set_check_access : t ‑> (unit ‑> unit) option ‑> unitmodule Fields : sig ... endval sexp_of_t : t ‑> Base.Sexp.tval uncaught_exn_unwrapped : t ‑> (Core_kernel.Exn.t * Core_kernel.Sexp.t) optionval uncaught_exn : t ‑> Core_kernel.Error.t optionval num_pending_jobs : t ‑> intval num_jobs_run : t ‑> intval invariant : t ‑> unitval free_job : t ‑> Async_kernel__.Job_pool.slots Core_kernel.Pool.Pointer.t ‑> Core_kernel__.Import.unitval enqueue : t ‑> Async_kernel.Execution_context.t ‑> ('a ‑> unit) ‑> 'a ‑> unitval enqueue_job : t ‑> (Async_kernel.Execution_context.t * (Obj.t ‑> unit) * Obj.t, [ `S0 of Async_kernel.Execution_context.t | `S1 of Obj.t ‑> unit | `S2 of Obj.t ]) Core_kernel.Pool.Slots.t Core_kernel.Pool.Pointer.t ‑> free_job:bool ‑> Core_kernel__.Import.unitval handle_fired : 'a Synchronous_time_source.T1.t ‑> Async_kernel__Job_or_event.t ‑> Core_kernel__.Import.unitval create : unit ‑> tval is_dead : t ‑> boolval set_check_access : t ‑> (unit ‑> unit) option ‑> unitval t_ref : t Core_kernel.refval check_access : t ‑> unitval t : unit ‑> tval current_execution_context : t ‑> Async_kernel.Execution_context.tval with_execution_context : t ‑> Async_kernel__Types.Execution_context.t ‑> f:(unit ‑> 'a) ‑> 'aval create_job : t ‑> Async_kernel.Execution_context.t ‑> ('a ‑> unit) ‑> 'a ‑> (Async_kernel.Execution_context.t, Obj.t ‑> unit, Obj.t) Core_kernel.Pool.Slots.t3 Core_kernel.Pool.Pointer.tval got_uncaught_exn : t ‑> Core_kernel.Exn.t ‑> Core_kernel.Sexp.t ‑> unitval start_cycle : t ‑> max_num_jobs_per_priority:Async_kernel__.Import.Max_num_jobs_per_priority_per_cycle.t ‑> unitstart_cycle t ~max_num_jobs_per_priority enables subsequent calls of run_jobs
to run up to max_num_jobs_per_priority jobs of each priority level.
val run_jobs : t ‑> (unit, exn * Core_kernel.Backtrace.t) Core_kernel._resultrun_jobs t removes jobs from t one at a time and runs them, stopping as soon
as an unhandled exception is raised, or when no more jobs can be run at any priority,
as per ~max_num_jobs_per_priority.
val stabilize : t ‑> (unit, exn) Core_kernel._resultval create_time_source : ?timing_wheel_config:Core_kernel.Timing_wheel_ns.Config.t ‑> now:Core_kernel.Timing_wheel_ns.Time.t ‑> unit ‑> 'a Synchronous_time_source.T1.tval wall_clock : unit ‑> Synchronous_time_source.t