Platform Development tools

The development and maintenance process of the Mavryk platform is facilitated by some specialized tools. Some of these tools are included in the Mavkit repository, because of a close coupling with the code itself (see Scope of the Mavkit repository for the policy of selecting such tools). They provide, for example, support for profiling or for benchmarking different subsystems of Mavkit.

On the other hand, contributing to the development of the Mavkit repository requires installing some additional infrastructure, which is not needed by regular Mavkit users. For instance, developers need Python for building the documentation.

The tools for platform developers, as well as the configuration of the additional infrastructure, are documented in the following pages.

• Profiling the Mavkit node
  • Memory profiling the OCaml heap
  • Memory profiling the C heap
  • Performance profiling
• Benchmarking with Snoop
  • Architecture of mavkit-snoop
  • Snoop usage tutorial
  • In-depth usage example: more control over your benchmark
  • Rewriting Micheline with mavryk-micheline-rewriting
  • Snoop and the Michelson Interpreter
• Time measurement PPX
  • Getting started
  • Compatible OCaml Attributes
  • Instrumenting the mavkit-node executable
• Python Environment
  • Installation
  • Adding new dependencies
• Pre-Commit Hook