GPU profiling infrastructure for performance analysis.

Provides types and utilities for measuring GPU kernel execution times and exporting profiling data for visualization.

structure Hesper.ProfileEvent : Type

A single profiling event with name, timestamps, and duration

• eventName : String
• startTime : UInt64
• endTime : UInt64
• durationMs : Float

def Hesper.instReprProfileEvent.repr : ProfileEvent → Nat → Std.Format

Equations

• One or more equations did not get rendered due to their size.

instance Hesper.instReprProfileEvent : Repr ProfileEvent

Equations

• Hesper.instReprProfileEvent = { reprPrec := Hesper.instReprProfileEvent.repr }

instance Hesper.instBEqProfileEvent : BEq ProfileEvent

Equations

• Hesper.instBEqProfileEvent = { beq := Hesper.instBEqProfileEvent.beq }

def Hesper.instBEqProfileEvent.beq : ProfileEvent → ProfileEvent → Bool

Equations

• One or more equations did not get rendered due to their size.
• Hesper.instBEqProfileEvent.beq x✝¹ x✝ = false

def Hesper.ProfileEvent.fromTimestamps (name : String) (start end_ : UInt64) : ProfileEvent

Create a ProfileEvent from start and end timestamps (in nanoseconds)

Equations

• Hesper.ProfileEvent.fromTimestamps name start end_ = { eventName := name, startTime := start, endTime := end_, durationMs := (end_.toNat - start.toNat).toFloat / 1000000.0 }

def Hesper.ProfileEvent.durationNs (e : ProfileEvent) : Nat

Get duration in nanoseconds

Equations

• e.durationNs = e.endTime.toNat - e.startTime.toNat

def Hesper.ProfileEvent.durationUs (e : ProfileEvent) : Float

Get duration in microseconds

Equations

• e.durationUs = e.durationNs.toFloat / 1000.0

instance Hesper.ProfileEvent.instToString : ToString ProfileEvent

Equations

• One or more equations did not get rendered due to their size.

instance Hesper.ProfileEvent.instOrd : Ord ProfileEvent

Ordering by start time for sorting events

Equations

• Hesper.ProfileEvent.instOrd = { compare := fun (a b : Hesper.ProfileEvent) => compare a.startTime b.startTime }

structure Hesper.ProfileSummary : Type

Summary statistics for a collection of profiling events

• totalEvents : Nat
• totalDurationMs : Float
• minDurationMs : Float
• maxDurationMs : Float
• avgDurationMs : Float

instance Hesper.instReprProfileSummary : Repr ProfileSummary

Equations

• Hesper.instReprProfileSummary = { reprPrec := Hesper.instReprProfileSummary.repr }

def Hesper.instReprProfileSummary.repr : ProfileSummary → Nat → Std.Format

Equations

• One or more equations did not get rendered due to their size.

def Hesper.ProfileSummary.fromEvents (events : List ProfileEvent) : ProfileSummary

Compute summary statistics from a list of events

Equations

• One or more equations did not get rendered due to their size.

instance Hesper.ProfileSummary.instToString : ToString ProfileSummary

Equations

• One or more equations did not get rendered due to their size.

def Hesper.groupByKernel (events : List ProfileEvent) : List (String × List ProfileEvent)

Group events by name and compute per-kernel statistics

Equations

• One or more equations did not get rendered due to their size.

def Hesper.printReport (events : List ProfileEvent) : IO Unit

Print a profiling report to the console

Equations

• One or more equations did not get rendered due to their size.