hack_parallel

Parallel and shared memory library
Library hack_parallel

Parameters

module Value : Value.Type

Signature

include NoCache with type t = Value.t with type key = UserKeyType.t with module KeySet = Set.Make(UserKeyType) with module KeyMap = MyMap.Make(UserKeyType)
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
val write_through : key -> t -> unit
val get_no_cache : key -> t option