LeanProfiler

LeanProfiler

Table of Contents

1.	Record your first run
2.	How a span becomes a report
3.	Design the capture
4.	Read the trace and summary
5.	Compare two runs
6.	Choose the right profiler
7.	Profile TorchLean

6. Choose the right profiler

6.1.	Before `main`: Lean's profilers
6.2.	After `main`: LeanProfiler
6.3.	Inside PyTorch: PyTorch Profiler
6.4.	Similar controls, different observations
6.5.	Read the timing columns carefully
6.6.	Use both around a foreign boundary
6.7.	Start with the symptom
6.8.	References

6.8. References

←6.7. Start with the symptom 7. Profile TorchLean→

6.8. References🔗

Lean, Lean.Util.Profile API.
Lean, Lean.Util.Trace API.
Lean, Lean.Util.Profiler API.
Lean, Init.System.IO API.
Lean, Lean 4.31 profiler release note.
PyTorch, torch.profiler reference.
PyTorch, profiler recipe.
PyTorch, profiling a module.
Perfetto, Trace Event format.

←6.7. Start with the symptom 7. Profile TorchLean→