Plasma GitLab Archive
Projects Blog Knowledge

sig
  type condition
  type wait_entry
  type wait_entry_e
  type wait_set
  val dummy_condition : unit -> Netmcore_condition.condition
  val dummy_wait_set : unit -> Netmcore_condition.wait_set
  val create_condition :
    Netmcore_heap.mutator -> Netmcore_condition.condition
  val create_wait_set : Netmcore_heap.mutator -> Netmcore_condition.wait_set
  val alloc_wait_entry :
    Netmcore_heap.mutator ->
    Netmcore_condition.wait_set -> Netmcore_condition.wait_entry
  val free_wait_entry :
    Netmcore_heap.mutator ->
    Netmcore_condition.wait_set -> Netmcore_condition.wait_entry -> unit
  val alloc_wait_entry_e :
    Netmcore_heap.mutator ->
    Netmcore_condition.wait_set -> string -> Netmcore_condition.wait_entry_e
  val free_wait_entry_e :
    Netmcore_heap.mutator ->
    Netmcore_condition.wait_set -> Netmcore_condition.wait_entry_e -> unit
  val wait :
    Netmcore_condition.wait_entry ->
    Netmcore_condition.condition -> Netmcore_mutex.mutex -> unit
  val wait_e :
    ?debug_name:string ->
    Netmcore_condition.wait_entry_e ->
    Netmcore_condition.condition ->
    Netmcore_mutex.mutex ->
    Unixqueue.event_system ->
    (unit -> 'Uq_engines.engine) -> 'Uq_engines.engine
  val signal : Netmcore_condition.condition -> unit
  val broadcast : Netmcore_condition.condition -> unit
  val pipe_name : Netmcore_condition.wait_entry_e -> string
  val destroy_condition : Netmcore_condition.condition -> unit
  val destroy_wait_set : Netmcore_condition.wait_set -> unit
  module Debug : sig val enable : bool Pervasives.ref end
end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml