package tezos-requester

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

tezos-requester
- Tezos_requester
  - Requester
    
    DISK_TABLE
    
    FULL_REQUESTER
    
    MEMORY_TABLE
    
    Make
    
    Disk_table
    
    Hash
    
    Memory_table
    
    Precheck
    
    Request
    
    PRECHECK
    
    REQUEST
    
    REQUESTER
  - Requester_event
    
    Make
    
    Hash

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module Hash : sig ... end

module Disk_table : DISK_TABLE with type key := Hash.t

module Memory_table : MEMORY_TABLE with type key := Hash.t

module Request : REQUEST with type key := Hash.t

module Precheck : PRECHECK with type key := Hash.t and type value := Disk_table.value

Signature

include FULL_REQUESTER
  with type key = Hash.t
   and type value = Disk_table.value
   and type param = Precheck.param
   and type request_param = Request.param
   and type notified_value = Precheck.notified_value
   and type store = Disk_table.store

include REQUESTER
  with type key = Hash.t
  with type value = Disk_table.value
  with type param = Precheck.param

type t

type key = Hash.t

The index key

type value = Disk_table.value

The indexed data

type param = Precheck.param

validation clue

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

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

type Tezos_base__TzPervasives.error +=

| Missing_data of key

type Tezos_base__TzPervasives.error +=

| Canceled of key

type Tezos_base__TzPervasives.error +=

| Timeout of key

val read : 
  t ->
  key ->
  (value, Tezos_error_monad.TzCore.error list) result Lwt.t

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

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

Same as read but returns None if not found.

val fetch : 
  t ->
  ?peer:Tezos_base.P2p_peer.Id.t ->
  ?timeout:Tezos_base.Time.System.Span.t ->
  key ->
  param ->
  (value, Tezos_error_monad.TzCore.error list) result Lwt.t

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 PRECHECK 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).

val clear_or_cancel : t -> key -> unit

Remove the data from the memory table if present. Otherwise cancel all pending requests. Any pending fetch promises are resolved with the error Canceled.

type store = Disk_table.store

The "disk" storage

type request_param = Request.param

Configuration parameter to the Request service

type notified_value = Precheck.notified_value

type of values notified to the requester

val pending : t -> key -> bool

pending t k returns true iff the key status is pending

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

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

val 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

val notify : 
  t ->
  Tezos_base.P2p_peer.Id.t ->
  key ->
  notified_value ->
  unit Lwt.t

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 Precheck.precheck, and the param provided at fetching time (see PRECHECK). 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.

val memory_table_length : t -> int

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

val pending_requests : t -> int

Returns the number of requests currently pending

val 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.

val shutdown : t -> unit Lwt.t