Up – Package index » riot » Library riot.scheduler » Scheduler » Pool

Module `Scheduler.Pool`Source

Sourceval get_pool : unit -> pool

Sourceval set_pool : pool -> unit

Sourceval shutdown : pool -> unit

Sourceval register_process : pool -> 'a -> Core.Process.t -> unit

val make : 
  ?rnd:Random.State.t ->
  domains:int ->
  main:t ->
  unit ->
  pool * unit Domain.t list