trace.profiler.output
Firefox Profiler integration
- interval : Milliseconds
- startTime : Milliseconds
- processType : Nat
- product : String
- preprocessedProfileVersion : Nat
- sampleUnits : SampleUnits
Instances For
- time : Array Milliseconds
- weight : Array Milliseconds
- weightType : String
- threadCPUDelta : Array Microseconds
- length : Nat
Instances For
- length : Nat
Instances For
Push an entry into a frame table.
Equations
Instances For
- name : String
- processType : String
- isMainThread : Bool
- samples : SamplesTable
- markers : RawMarkerTable
- stackTable : StackTable
- frameTable : FrameTable
- resourceTable : ResourceTable
- funcTable : FuncTable
Instances For
- meta : ProfileMeta
Instances For
Thread with maps necessary for computing max sharing indices
- stringMap : Std.HashMap String Nat
- funcMap : Std.HashMap Nat Nat
- lastTime : Float
Last timestamp encountered: stop time of preceding sibling, or else start time of parent.
Instances For
def
Lean.Firefox.Profile.export
(name : String)
(startTime : Float)
(traceStates : Array TraceState)
(opts : Options)
:
Equations
Instances For
- sampleMap : Std.HashMap Nat Nat
Max sharing map for samples