This machine processes CapabilityUsageSpan spans and produces metrics that contain the duration and category of each such span and each idle period in between.

A CapabilityUsageSpan is either a GCSpan or a MutatorSpan.

The type of process using a capability, which is either a mutator thread or garbage collection.

Get the CapabilityUser associated with a CapabilityUsageSpan.

Show the category of a CapabilityUser as either GC or Mutator.

This machine runs processGCSpans and processMutatorSpans in parallel and combines their output.

This is effectively a fanout of processGCSpans and processMutatorSpans, the latter of which runs processThreadStateSpans internally. If you are running processThreadStateSpans as well, then using asMutatorSpans and constructing the fanout yourself is more efficient.

Generalised version of processCapabilityUsageSpans that can be adapted to work on arbitrary types using a getter and a pair of lenses.

A GCSpan represents a segment of time during which the specified capability ran GC.

This machine processes StartGC and EndGC events to produce GCSpan values that represent the segments of time a capability spent in GC.

This processor uses the following finite-state automaton:

      ┌─(EndGC)───┐
      │           ↓
    ┌→[   Idle    ]─┐
    │               │
(EndGC)         (StartGC)
    │               │
    └─[    GC     ]←┘
      ↑           │
      └─(StartGC)─┘

The transition from GC to Idle yields a GC span.

Generalised version of processGCSpans that can be adapted to work on arbitrary types using a getter and a lens.

A MutatorSpan represents a segment of time during which the specified capability ran the specified mutator thread.

This machine converts any Running ThreadStateSpan to a MutatorSpan.

Generalised version of asMutatorSpans that can be adapted to work on arbitrary types using a getter and a lens.

This machine processes RunThread and StopThread events to produce tMutatorSpan values that represent the segments of time a capability spent executating a mutator.

This processor uses the following finite-state automaton:

      ┌─(StopThread[X])─┐
      │                 ↓
    ┌→[      Idle       ]─┐
    │                     │
(StopThread[X])       (RunThread[X])
    │                     │
    └─[   Mutator[X]    ]←┘
      ↑                 │
      └─(RunThread[X])──┘

The transition from Mutator[X] to Idle yields a MutatorSpan. While in the Mutator[X] state, any RunThread[Y] or StopThread[Y] events result in an error. Furthermore, when a StopThread[X] event with the ThreadFinished status is processed, the thread X is added to a set of finished threads, and any further RunThread[X] events for that thread are ignored. This is done because the GHC RTS frequently emits a RunThread[X] event immediately after a StopThread[X] event with the ThreadFinished status.

This runs processThreadStateSpans internally. If you are also running processThreadStateSpans, then post-composing it with asMutatorSpans is more efficient.

Generalised version of processMutatorSpans that can be adapted to work on arbitrary types using a getter and a lens.

The ThreadLabel type represents the association of a label with a thread starting at a given time.

This machine processes ThreadLabel events and yields ThreadLabel values.

The execution states of a mutator thread.

Pretty-print a thread state as Running, Blocked, or Finished.

Get the ThreadState status, if the ThreadState is Blocked.

Get the ThreadState capability, if the ThreadState is Running.

A span representing the state of a mutator thread.

This machine processes RunThread and StopThread events to produce tThreadStateSpan values that represent segments of time where a thread is running, blocked, or finished.

This processor uses the following finite-state automaton:

      ┌─(StopThread)─┐
      │              ↓
    ┌→[   Blocked    ]─┐
    │                  │
(StopThread)       (RunThread)
    │                  │
    └─[   Running    ]←┘
      ↑              │
      └─(RunThread)──┘

The transitions from Blocked to Blocked, Blocked to Running, and Running to Running yield a ThreadStateSpan. There are additional transitions (not pictured) from either state to the final Finished state with a StopThread event with the ThreadFinished status.

Generalised version of processThreadStateSpans that can be adapted to work on arbitrary types using a getter and a lens.

This machine processes HeapAllocated events into metrics.

This machine processes HeapSize events into metrics.

This machine processes BlocksSize events into metrics.

This machine processes HeapLive events into metrics.

The type of data associated with a MemReturn event.

This machine processes MemReturn events into metrics.

This machine processes HeapProfSampleString events into metrics. Furthermore, it processes the HeapProfBegin and ProgramArgs events to determine the heap profile breakdown, processes InfoTableProv events to build an info table map, if necessary, and processes HeapProfSampleBegin and HeapProfSampleEnd events to maintain an era stack.

Parses the HeapProfBreakdown command-line arguments:

heapProfBreakdownEitherReader "T" == Left HeapProfBreakdownClosureType
heapProfBreakdownEitherReader "c" == Left HeapProfBreakdownCostCentre
heapProfBreakdownEitherReader "m" == Left HeapProfBreakdownModule
heapProfBreakdownEitherReader "d" == Left HeapProfBreakdownClosureDescr
heapProfBreakdownEitherReader "y" == Left HeapProfBreakdownTypeDescr
heapProfBreakdownEitherReader "e" == Left HeapProfBreakdownEra
heapProfBreakdownEitherReader "r" == Left HeapProfBreakdownRetainer
heapProfBreakdownEitherReader "b" == Left HeapProfBreakdownBiography
heapProfBreakdownEitherReader "i" == Left HeapProfBreakdownInfoTable

Shows a HeapProfBreakdown as its corresponding command-line flag:

heapProfBreakdownShow HeapProfBreakdownClosureType == "-hT"
heapProfBreakdownShow HeapProfBreakdownCostCentre == "-hc"
heapProfBreakdownShow HeapProfBreakdownModule == "-hm"
heapProfBreakdownShow HeapProfBreakdownClosureDescr == "-hd"
heapProfBreakdownShow HeapProfBreakdownTypeDescr == "-hy"
heapProfBreakdownShow HeapProfBreakdownEra == "-he"
heapProfBreakdownShow HeapProfBreakdownRetainer == "-hr"
heapProfBreakdownShow HeapProfBreakdownBiography == "-hb"
heapProfBreakdownShow HeapProfBreakdownInfoTable == "-hi"