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.10.0.tbz
sha256=92a9de7a0a2a35c2feba0c35a806b1f0df24c1c0d15164eebf3f919296d26715
sha512=0203ec5117a851ad5afeb2f9091659b4e142e231b6b945caab93f4d7beb23397c8ac43f7056e91d18f4bff0be1062f6ae966d221f877c229328c0cbbf29fd9f0

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.