The Magma Profiler

• Introduction
• Profiler Basics
  • SetProfile(b): BoolElt
  • GetProfile() → BoolElt
  • ProfileReset()
  • ProfileGraph() → GrphDir
  • Example: Basic Profiling
• Exploring the Call Graph
  • Internal Reports
    • ProfilePrintByTotalCount(G): GrphDir
    • ProfilePrintByTotalTime(G): GrphDir
    • ProfilePrintChildrenByCount(G, n): GrphDir, GrphVert
    • ProfilePrintChildrenByCount(G, n): GrphDir, RngIntElt
    • ProfilePrintChildrenByTime(G, n): GrphDir, GrphVert
    • ProfilePrintChildrenByTime(G, n): GrphDir, RngIntElt
    • Example: Profile Reports
  • HTML Reports
    • ProfileHTMLOutput(G, prefix): GrphDir, MonStgElt
• Recursion and the Profiler
  • Example: Profiler Recursion