Core_profilermodule Check_environment : sig ... endmodule Common : sig ... endmodule Fstats : sig ... endmodule Header_protocol : sig ... endThis file is automatically generated by a target in the build system. Do not modify it by hand.
module Offline : sig ... endRunning 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.
module Online : sig ... endUse 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.
module Probe_id : sig ... endTimer, Probe, Groups and Group points are all assigned globally unique Id.ts.
module Probe_type : sig ... endmodule Profiler_epoch : sig ... endTime_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.
module Protocol : sig ... endmodule Std_offline : sig ... endOpen this Std for offline use of probes.
module Std_online : sig ... endOpen this Std for online use.