sig
type condition
type wait_entry
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 wait :
Netmcore_condition.wait_entry ->
Netmcore_condition.condition -> Netmcore_mutex.mutex -> unit
val signal : Netmcore_condition.condition -> unit
val broadcast : Netmcore_condition.condition -> unit
val destroy_condition : Netmcore_condition.condition -> unit
val destroy_wait_set : Netmcore_condition.wait_set -> unit
end
