Module Kv_hash.Frontend
The frontend: record updates in two logs (rotating between them).
module Nv_map_ss_ = Nv_map_ss_private.Nv_map_ss0module Nv_map_ii_ = Nv_map_ss_.Nv_map_ii_module Partition_ii = Partition.Partition_iimodule Merge_process_ : sig ... endmodule KV : sig ... endmodule Op : sig ... endmodule Log_file_w : sig ... endmodule Log_file_r : sig ... endmodule Control_fields : sig ... endmodule Control : sig ... endmodule Writer_1 : sig ... endThe writer is responsible for taking updates and recording in log, and periodically rotating logs and firing the merge process.
module type WRITER = sig ... endmodule Writer = Writer_2module Test : functor () sig ... end