package core_profiler
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=ac2dcb95988ed8cbd11af45d699d74aef7f71821a764d06ce4799b357acc4604
doc/core_profiler/Core_profiler/index.html
Module Core_profiler
Source
This file is automatically generated by a target in the build system. Do not modify it by hand.
Running a program with offline metrics collection causes it to write out a data file on exit. This data file is typically called profiler.dat
. The collected metrics can then be analyzed using profiler-tool.exe
.
Use this module for online tracking of perf metrics. When using this module, the metrics are written out to stdout every second. There is no mertric file generated for offline analysis. The rate at which metrics are dumped to stdout is controlled by the environment variable CORE_PROFILER=PRINT_INTERVAL=N
where N
is the integer number of seconds to wait between outputs.
Timer, Probe, Groups and Group points are all assigned globally unique Id.t
s.
Time_ns
and Time
represents time since 1970 (the unix epoch). When writing out perf mertics, we don't have enough bits to express nanos since the unix epch. Instead we record an arbitrary point of time as the Profiler_epoch.t
. Times can be stored with respect to this epoch.
Open this Std for offline use of probes.
Open this Std for online use.