Module `File_manager.Make`Source

Abstraction that governs the lifetime of the various files that are part of a pack store (except the branch store).

The file manager handles the files one by one and makes explicit all the interactions between them (except the index which is handled at a high level).

Parameters

module Control : Control_file.S with module Io = Io.Unix

module Dict : Append_only_file.S with module Io = Control.Io

module Suffix : Append_only_file.S with module Io = Control.Io

module Index : sig ... end

module Errs : Errors.S with module Io = Control.Io

Signature

Sourcemodule Io = Control.Io

Sourcemodule Control = Control

Sourcemodule Dict = Dict

Sourcemodule Suffix = Suffix

Sourcemodule Index = Index

Sourcetype t

Sourceval control : t -> Control.t

Sourceval dict : t -> Dict.t

Sourceval suffix : t -> Suffix.t

Sourceval index : t -> Index.t

type create_error := [

| Io.create_error
| Io.write_error
| Io.open_error
| Io.mkdir_error
| `Not_a_directory of string
| `Index_failure of string

]

Source

val create_rw : 
  overwrite:bool ->
  Irmin.Backend.Conf.t ->
  (t, [> create_error ]) result

Note on SWMR consistency: It is undefined for a reader to attempt an opening before create_rw is over.

Note on crash consistency: Crashing during create_rw leaves the storage in an undefined state.

Note on errors: If create_rw returns an error, the storage is left in an undefined state and some file descriptors might not be closed.

type open_rw_error := [

| `Corrupted_control_file
| `Double_close
| `File_exists of string
| `Index_failure of string
| `Invalid_argument
| `Invalid_layout
| `Io_misc of Control.Io.misc_error
| `Migration_needed
| `No_such_file_or_directory
| `Not_a_directory of string
| `Not_a_file
| `Read_on_closed
| `Read_out_of_bounds
| `Ro_not_allowed
| `Sys_error of string
| `V3_store_from_the_future
| `Write_on_closed
| `Index_failure of string
| `Unknown_major_pack_version of string

]

Sourceval open_rw : Irmin.Backend.Conf.t -> (t, [> open_rw_error ]) result

Note on SWMR consistency: It is undefined for a reader to attempt and opening during an open_rw.

Note on crash consistency: If open_rw crashes during open_rw_migrate_from_v1_v2, the storage is left in an undefined state. Otherwise the storage is unaffected.

Note on errors: If open_rw returns an error during open_rw_migrate_from_v1_v2, the storage is left in an undefined state. Otherwise the storage is unaffected. Anyhow, some file descriptors might not be closed.

type open_ro_error := [

| `Corrupted_control_file
| `File_exists of string
| `Io_misc of Io.misc_error
| `Migration_needed
| `No_such_file_or_directory
| `Not_a_file
| `Read_on_closed
| `V3_store_from_the_future
| `Index_failure of string
| `Unknown_major_pack_version of string

]

Sourceval open_ro : Irmin.Backend.Conf.t -> (t, [> open_ro_error ]) result

Note on SWMR consistency: TODO: doc

Note on crash consistency: The storage is never mutated.

Note on errors: The storage is never mutated. Some file descriptors might not be closed.

type close_error := [

| `Double_close
| `Index_failure of string
| `Io_misc of Io.misc_error
| `Pending_flush

]

Sourceval close : t -> (unit, [> close_error ]) result

Close all the files.

This call fails if the append buffers are not in a flushed stated. This situation will most likely never occur because the append buffers will contain data only during the scope of a batch function.

After

type flush_error := [

| `Index_failure of string
| `Io_misc of Io.misc_error
| `Ro_not_allowed
| `Write_on_closed

]

Sourceval flush : t -> (unit, [> flush_error ]) result

type reload_error := [

| `Corrupted_control_file
| `Index_failure of string
| `Invalid_argument
| `Io_misc of Io.misc_error
| `Read_on_closed
| `Read_out_of_bounds
| `Rw_not_allowed
| `Unknown_major_pack_version of string

]

Sourceval reload : t -> (unit, [> reload_error ]) result

Source

val register_dict_consumer : 
  t ->
  after_reload:(unit -> (unit, Io.read_error) result) ->
  unit

Sourceval register_suffix_consumer : t -> after_flush:(unit -> unit) -> unit

type version_error := [

| `Corrupted_control_file
| `Corrupted_legacy_file
| `Invalid_layout
| `Io_misc of Io.misc_error
| `No_such_file_or_directory
| `Not_a_directory of string
| `Unknown_major_pack_version of string

]

Sourceval version : root:string -> (Irmin_pack.Version.t, [> version_error ]) result

version ~root is the version of the files at root.

Install

Dune Dependency

Authors

Maintainers

Sources

doc/irmin-pack.unix/Irmin_pack_unix/File_manager/Make/index.html

Module `File_manager.Make`Source

Parameters

Signature

package irmin-pack

Install

Dune Dependency

Authors

Maintainers

Sources

doc/irmin-pack.unix/Irmin_pack_unix/File_manager/Make/index.html

Module File_manager.MakeSource

Parameters

Signature

Module `File_manager.Make`Source