Benchmarking with Snoop

If you have a piece of code for which you’d like to construct a model predictive of its performance, octez-snoop is the tool to help you do that. This tool allows to benchmark any given piece of OCaml code and use these measures to fit cost models predictive of execution time.

It is in particular used to derive the functions in the Michelson gas cost API, computing the gas costs in the Tezos protocol.

Architecture of octez-snoop

• Architecture of octez-snoop
  • High-level description
  • Code organization
  • Defining benchmarks: the Generator module
  • Defining a predictive model: the Model module
  • The Measure module
  • Computing parameter fits: the Inference module

Using octez-snoop by example

• Usage example
  • Step 1: Defining the benchmark
  • Step 2: Checking the timer
  • Step 3: Benchmarking
  • Step 3.5: (optional) Removing outliers
  • Step 4: Fitting the model
  • Step 5: Generating code

Rewriting Micheline terms

• Rewriting Micheline with tezos-micheline-rewriting
  • Constructing Micheline terms
  • Manipulating paths in Micheline terms
  • Pattern-matching Micheline
  • Performing substitutions
  • An example?

Writing your very own benchmarks and models for the Michelson interpreter

• Snoop and the Michelson Interpreter
  • Interpreter Workload
  • Interpreter Models
  • Interpreter benchmarks
  • Testing