package irmin-bench

  1. Overview
  2. Docs
Irmin benchmarking suite

Install 

dune-project
 Dependency

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

Authors

  1. T
    Thomas Gazagnaire

Maintainers

  1. T
    thomas@gazagnaire.org

Sources

irmin-3.11.0.tbz
sha256=09996fbcc2c43e117a9bd8e9028c635e81cccb264d5e02d425ab8b06bbacdbdb
sha512=0391a6bf7b94a1edd50a3a8df9e58961739fa78d7d689d61f56bc87144483bad2ee539df595c33d9d52c29b3458da5dddf3a73b5eb85e49c4667c26d2cd46be1

doc/irmin-bench.traces/Irmin_traces/Trace_stat_summary_utils/Resample/index.html

Module Trace_stat_summary_utils.ResampleSource

This Resample module offers 3 ways to resample a 1d vector:

  • At the lowest level, using should_sample.
  • Using create_acc / accumulate / finalise.
  • At the highest level, using resample_vector.

Both downsampling and upsampling are possible:

> upsampling
vec0: |       |       |        |  (len0:4)
vec1: |    |    |    |    |    |  (len1:6)
> identity
vec0: |       |       |        |  (len0:4)
vec1: |       |       |        |  (len1:4)
> downsampling
vec0: |    |    |    |    |    |  (len0:6)
vec1: |       |       |        |  (len1:4)

The first and last point of the input and output sequences are always equal.

Sourceval should_sample : i0:int -> len0:int -> i1:int -> len1:int -> [ `After | `Before | `Inside of float | `Out_of_bounds ]

When resampling a 1d vector from len0 to len1, this function locates a destination point with index i1 relative to the range i0 - 1 excluded and i0 included.

When both i0 and i1 equal 0, the result is `Inside 1..

len0 and len1 should be greater or equal to 2.

Sourcetype acc
Sourceval create_acc : [ `Interpolate | `Next_neighbor ] -> len0:int -> len1:int -> v00:float -> acc

Creates a resampling accumulator.

Requires the first point of vec0.

Sourceval accumulate : acc -> float -> acc
Sourceval finalise : acc -> curve
Sourceval resample_vector : [< `Interpolate | `Next_neighbor ] -> curve -> int -> curve

resample_vector mode vec0 len1 is vec1, a curve of length len1, created by resampling vec0.

It internally relies on the should_sample function.