package core_profiler

  1. Overview
  2. Docs
Module type
Class type

Open this Std for online use.

include Core_profiler_disabled.Intf.Profiler_intf with type Delta_timer.state = private Core.Time_ns.t and type Delta_probe.state = private int
module Profiler = Online.Profiler
module Timer = Online.Timer

A Timer contains only a time stamp and no extra information; however, it is useful because (in Offline) the current time is recorded when measurements are made.

module Probe = Online.Probe

A Probe records some integer value that is passed to at along with a timestamp.

module Delta_probe = Online.Delta_probe

Delta_probe is an optimized two-probe group to track changes to some counter.

module Delta_timer = Online.Delta_timer

Delta_timer is an optimized two-probe group to track time differences between calls to start and stop.