Profiling library

In Offline, a Delta_probe differs from a two point Group in that for each start/stop pair, only one message is written to the buffer. This means that only the delta in the probe is available, as opposed to deltas in both probe and time.

module Profiler : sig ... end

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.

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

module Delta_probe : sig ... end

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

module Delta_timer : sig ... end

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