hack_parallel

Parallel and shared memory library
Library hack_parallel.interface

Parameters

module Value : Value.Type

Signature

type key = UserKeyType.t
type t = Value.t
module KeySet = Set.Make(UserKeyType)
module KeyMap = MyMap.Make(UserKeyType)
val add : key -> t -> unit
val get : key -> t option
val get_old : key -> t option
val get_old_batch : KeySet.t -> t option KeyMap.t
val remove_old_batch : KeySet.t -> unit
val find_unsafe : key -> t
val get_batch : KeySet.t -> t option KeyMap.t
val remove_batch : KeySet.t -> unit
val string_of_key : key -> string
val mem : key -> bool
val mem_old : key -> bool
val oldify_batch : KeySet.t -> unit
val revive_batch : KeySet.t -> unit
module LocalChanges : sig ... end