package octez-libs

  1. Overview
  2. Docs
A package that contains multiple base libraries used by the Octez suite

Install 

dune-project
 Dependency

www.tezos.com Readme Edit opam file Versions (5)

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-18.1.tar.gz
sha256=aa2f5bc99cc4ca2217c52a1af2a2cdfd3b383208cb859ca2e79ca0903396ca1d
sha512=d68bb3eb615e3dcccc845fddfc9901c95b3c6dc8e105e39522ce97637b1308a7fa7aa1d271351d5933febd7476b2819e1694f31198f1f0919681f1f9cc97cb3a

doc/octez-libs.requester/Tezos_requester/Requester_impl/Make_memory_full_requester/index.html

Module Requester_impl.Make_memory_full_requesterSource

A helper to avoid having to use the full-fledged Requester.Make * functor. We take the Requester.REQUEST module as parameter (instead * of hardcoding the use of Simple_request), because * callers that use Simple_request likely want to observe * the underlying effects (see the ref in Simple_request) and hence * want to pass their own instance. * * Like Requester.Make, this returns an instance of FULL_REQUESTER. * Note that, contrary to a production requester, the instance returned * by this functor does not use the disk, it runs entirely in memory.

Parameters

module H : Requester.HASH
module P : PARAMETERS with type key = H.t
module R : Requester.REQUEST with type param = unit and type key = H.t

Signature

include Requester.REQUESTER with type key = H.t with type value = P.value with type param = bool
Sourcetype t
Sourcetype key = H.t

The index key

Sourcetype value = P.value

The indexed data

Sourcetype param = bool

validation clue

Sourceval known : t -> key -> bool Lwt.t

know t k returns true iff the key is present in the memory table or the disk.

Sourcetype Tezos_base.TzPervasives.error +=
  1. | Missing_data of key

Return value if it is found in-memory, or else on disk. Otherwise fail with error Missing_data.

Sourceval read_opt : t -> key -> value option Lwt.t

Same as read but returns None if not found.

Sourceval inject : t -> key -> value -> bool Lwt.t

inject t k v returns false if k is already present in the memory table or in the disk, or has already been requested. Otherwise it updates the memory table and return true

fetch t ?peer ?timeout k param returns the value when it is known. It can fail with Timeout k if timeout is provided and the value isn't know before the timeout expires. It can fail with Cancel if the request is canceled.

The key is first looked up in memory, then on disk. If not present and not already requested, it schedules a request, and blocks until the requester is notified with notify. param is used to validate the notified value once it is received. (see also PROBE and notify).

Requests are re-sent via a 1.5 exponential back-off, with initial delay set to Request.initial_delay. If the function is called multiple time with the same key but with distinct peers, the internal scheduler randomly chooses the requested peer (at each retry).

Sourceval clear_or_cancel : t -> key -> unit

Remove the data from the memory table if present. Otherwise decrements the number of watcher to this data. If their is only one watcher any pending fetch promises are resolved with the error Canceled.

The "disk" storage

Sourcetype request_param = unit

Configuration parameter to the Request service

Sourcetype notified_value = P.value

type of values notified to the requester

Sourceval pending : t -> key -> bool

pending t k returns true iff the key status is pending

Sourceval watch : t -> (key * value) Lwt_stream.t * Lwt_watcher.stopper

Monitor all the fetched data. A given data will appear only once.

notify t peer k nv notifies the requester that a value has been received for key k, from peer peer. nv is a *notified value*. The notified value is validated using Probe.probe, and the param provided at fetching time (see PROBE). If valid, the memory table is updated and all promises waiting on this key are resolved.

If the key is not pending the notification is ignored.

Sourceval memory_table_length : t -> int

memory_table_length t returns the number of keys either known or pending in the memory table of t

Sourceval pending_requests : t -> int

Returns the number of requests currently pending

Sourceval create : ?random_table:bool -> ?global_input:(key * value) Lwt_watcher.input -> request_param -> store -> t

create ?random_table ?global_input r s creates a requester. r is the configuration parameter passed to Request functions.

The value for random_table determines whether the underlying hashtable randomises its hash (see Stdlib.Hashtbl.create and specifically the documentation of the random parameter). The default depends on environment variables and Stdlib.Hashtbl.randomize has been called.

Sourceval shutdown : t -> unit Lwt.t