package obatcher

  1. Overview
  2. Docs
A Framework for building Batched Concurrent Data Structures

Install

Dune Dependency

Authors

Maintainers

Sources

obatcher-1.1.tbz
sha256=2ee8f97a1e4a55899f8fdc48aa422e553d6a4d256e71b59e4257448beaf27dd3
sha512=61d0645dc5bd6955f3e663f133d27d9c8c61081e24bc8d88e73f86380432e783fa50bc4d980a9b17ccb949f6af9b90ef834f379ec9171b692745f05d9a34c0f9

doc/obatcher.ds/Ds/Batched_skiplist/Make/Batched/index.html

Module Make.BatchedSource

Sourcetype cfg = {
  1. size : int;
}
Sourcetype 'a op =
  1. | Insert : V.t -> unit op
  2. | Member : V.t -> bool op
  3. | Size : int op
Sourcetype wrapped_op =
  1. | Mk : 'a op * 'a Picos.Computation.t -> wrapped_op
Sourceval init : ?cfg:cfg -> unit -> Sequential.t
Sourcetype intermediate = {
  1. batch_size : int;
  2. maxinsertlevel : int ref;
  3. level_arr : int array;
  4. new_node_arr : Sequential.node array;
  5. new_node_back_arr : Sequential.node array;
  6. prev_node_idx : int array;
}
Sourceval build_node : Sequential.t -> int -> V.t -> intermediate -> unit
Sourceval relate_nodes : Sequential.t -> int -> intermediate -> unit
Sourceval merge_list : Sequential.t -> int -> intermediate -> unit
Sourceval remove_duplicates : 'a array -> int -> int
Sourceval par_insert : Sequential.t -> V.t array -> unit
Sourceval par_size : Sequential.t -> int array -> int array
Sourceval run : Sequential.t -> wrapped_op array -> unit
OCaml

Innovation. Community. Security.