package irmin-bench

You can search for identifiers within the package.

in-package search v0.2.0

Irmin benchmarking suite

Install

Dune Dependency

github.com Readme Changelog ISC License Edit opam file Versions (3)

Authors

T

Thomas Gazagnaire

Maintainers

T

thomas@gazagnaire.org

Sources

irmin-3.10.0.tbz

sha256=92a9de7a0a2a35c2feba0c35a806b1f0df24c1c0d15164eebf3f919296d26715

sha512=0203ec5117a851ad5afeb2f9091659b4e142e231b6b945caab93f4d7beb23397c8ac43f7056e91d18f4bff0be1062f6ae966d221f877c229328c0cbbf29fd9f0

doc/irmin-bench.traces/Irmin_traces/Trace_definitions/Replayable_trace/index.html

Module `Trace_definitions.Replayable_trace`Source

Replayable_trace, a trace of Tezos's interactions with Irmin.

Interleaved Contexts and Commits

All the recorded operations in Tezos operate on (and create new) immutable records of type context. Most of the time, everything is linear (i.e. the input context to an operation is the latest output context), but there sometimes are several parallel chains of contexts, where all but one will end up being discarded.

Similarly to contexts, commits are not always linear, i.e. a checkout may choose a parent that is not the latest commit.

To solve this conundrum when replaying the trace, we need to remember all the context_id -> tree and trace commit hash -> real commit hash pairs to make sure an operation is operating on the right parent.

In the trace, the context indices and the commit hashes are 'scoped', meaning that they are tagged with a boolean information indicating if this is the very last occurence of that value in the trace. This way we can discard a recorded pair as soon as possible.

In practice, there is only 1 context and 1 commit in history, and sometimes 0 or 2, but the code is ready for more.

Sourcemodule V0 : sig ... end

Sourcemodule Latest = V0

include module type of struct include Latest end

Sourceval version : int

Sourcetype header = unit

Sourceval header_t : unit Repr.t

Sourcetype 'a scope = 'a V0.scope =

| Forget of 'a
| Keep of 'a

Sourceval scope_t : 'a Repr.t -> 'a scope Repr.t

Sourcetype key = string list

Sourceval key_t : string list Repr.t

Sourcetype hash = string

Sourceval hash_t : string Repr.t

Sourcetype message = string

Sourceval message_t : string Repr.t

Sourcetype context_id = int64

Sourceval context_id_t : int64 Repr.t

Sourcetype add = V0.add = {

key : key;
value : string;
in_ctx_id : context_id scope;
out_ctx_id : context_id scope;

}

Sourceval add_t : add Repr.t

Sourcetype copy = V0.copy = {

key_src : key;
key_dst : key;
in_ctx_id : context_id scope;
out_ctx_id : context_id scope;

}

Sourceval copy_t : copy Repr.t

Sourcetype commit = V0.commit = {

hash : hash scope;
date : int64;
message : message;
parents : hash scope list;
in_ctx_id : context_id scope;

}

Sourceval commit_t : commit Repr.t

Sourcetype row = V0.row =

| Checkout of hash scope * context_id scope
| Add of add
| Remove of key * context_id scope * context_id scope
| Copy of copy
| Find of key * bool * context_id scope
| Mem of key * bool * context_id scope
| Mem_tree of key * bool * context_id scope
| Commit of commit

Sourceval row_t : row Repr.t

include sig ... end

Sourceval decode_i32 : int32 Repr.decode_bin

Sourceval encode_i32 : int32 Repr.encode_bin

Sourceval encode_lheader : unit Repr.encode_bin

Sourceval encode_lrow : V0.row Repr.encode_bin

Sourceval magic : Irmin_traces__Trace_common.Magic.t

Sourceval read_with_prefix_exn : (string -> int ref -> 'a) -> in_channel -> 'a

Source

val decoded_seq_of_encoded_chan_with_prefixes : 
  'a Repr.ty ->
  in_channel ->
  unit ->
  'a Seq.node

Sourceval open_reader : string -> unit * (unit -> V0.row Seq.node)

Sourcetype writer = {

path : string;
channel : out_channel;
buffer : Buffer.t;

}

Sourceval create_file : string -> unit -> writer

Sourceval append_row : writer -> V0.row -> unit

Sourceval flush : writer -> unit

Sourceval close : writer -> unit

Sourceval remove : writer -> unit

On This Page

Interleaved Contexts and Commits