Module `Irmin_pack_unix.Pack_key`Source

Sourcetype 'hash t

The type of keys referencing values stored in the irmin-pack backend.

Sourcetype safe =

| SAFE

Sourceand unsafe =

| UNSAFE

Sourcetype ('hash, _) unsafe_state = private

| Direct : {
1. hash : 'hash;
2. offset : Optint.Int63.t;
3. length : int;
4. volume_identifier : Lower.volume_identifier option;
} -> ('hash, safe) unsafe_state
(*
A "direct" pointer to a value stored at offset in the pack-file (with hash hash and length length). Such keys can be dereferenced from the store with a single IO read, without needing to consult the index.
They are built in-memory (e.g. after adding a fresh value to the pack file), but have no corresponding encoding format, as the pack format keeps length information with the values themselves.
When decoding a inode, which references its children as single offsets, we fetch the length information of the child at the same time as fetching its hash (which we must do anyway in order to do an integrity check), creating keys of this form.
*)
| Indexed : 'hash -> ('hash, safe) unsafe_state
(*
A pointer to an object in the pack file that is indexed. Reading the object necessitates consulting the index, after which the key can be promoted to Direct.
Such keys result from decoding pointers to other store objects (nodes or commits) from commits or from the branch store.
*)
| Offset : Optint.Int63.t -> ('hash, unsafe) unsafe_state
(*
Same as Direct, but the hash and length of the object have not been fetched. Only used to speed up the GC traversal.
*)

The internal state of a key (read with inspect).

Invariant: keys of the form Indexed always reference values that have entries in the index (as otherwise these keys could not be dereferenced).

Sourcetype 'hash state = ('hash, safe) unsafe_state

Undereferencable keys

A key k is "undereferencable" with respect to some store handle t if find t k <> Some _. Such keys should not arise during regular operation of a single Irmin repository, but are still technically constructible in the following ways:

storage corruption. When decoding a key from disk, we may not immediately check that it is dereferenceable for performance reasons. In this case, any corruption to the key (or the referenced section of the store) will be discovered on attempted find (or mem).

passing keys between store handles. Read-only handles on a pack store must explicitly reload to observe recent writes to the store. This means that any keys built by a read-write instance and passed to a read-only instance will be undereferencable until that reader has reloaded.

passing keys between repositories. Keys created for one Irmin repository may not be dereferenced with respect to another by design.

Sourceval inspect : 'hash t -> 'hash state

Source

val v_direct : 
  offset:Optint.Int63.t ->
  length:int ->
  ?volume_identifier:Lower.volume_identifier ->
  'h ->
  'h t

Sourceval v_indexed : 'h -> 'h t

Sourceval v_offset : Optint.Int63.t -> 'h t

Source

val promote_exn : 
  offset:Optint.Int63.t ->
  length:int ->
  ?volume_identifier:Lower.volume_identifier ->
  'h t ->
  unit

Source

val set_volume_identifier_exn : 
  volume_identifier:Lower.volume_identifier option ->
  'h t ->
  unit

Sourceval to_offset : 'h t -> Optint.Int63.t option

Sourceval to_hash : 'h t -> 'h

Sourceval to_length : 'h t -> int option

Sourcemodule type S = sig ... end

Sourcemodule Make (Hash : Irmin.Hash.S) : S with type hash = Hash.t

Sourcemodule type Store_spec = sig ... end

Sourcemodule Store_spec : Store_spec

Install

Dune Dependency

Authors

Maintainers

Sources

doc/irmin_pack_unix/Irmin_pack_unix/Pack_key/index.html

Module `Irmin_pack_unix.Pack_key`Source

Undereferencable keys

package octez-internal-libs

Install

Dune Dependency

Authors

Maintainers

Sources

doc/irmin_pack_unix/Irmin_pack_unix/Pack_key/index.html

Module Irmin_pack_unix.Pack_keySource

Undereferencable keys

Module `Irmin_pack_unix.Pack_key`Source