[Next][Prev] [Right] [Left] [Up] [Index] [Root]

THE MAGMA PROFILER

 
Acknowledgements
 
Introduction
 
Profiler Basics
 
Exploring the Call Graph
      Internal Reports
      HTML Reports
 
Recursion and the Profiler







DETAILS

 
Introduction

 
Profiler Basics
      SetProfile(b): BoolElt ->
      ProfileReset(): ->
      ProfileGraph(): -> GrphDir
      Example Prof_basic-profiling (H6E1)

 
Exploring the Call Graph

      Internal Reports
            ProfilePrintByTotalCount(G): GrphDir ->
            ProfilePrintByTotalTime(G): GrphDir ->
            ProfilePrintChildrenByCount(G, n): GrphDir, GrphVert ->
            ProfilePrintChildrenByTime(G, n): GrphDir, GrphVert ->
            Example Prof_profile-reports (H6E2)

      HTML Reports
            ProfileHTMLOutput(G, prefix): GrphDir, MonStgElt ->

 
Recursion and the Profiler
      Example Prof_profiler-recursion (H6E3)

[Next][Prev] [Right] [____] [Up] [Index] [Root]
Version: V2.19 of Wed Apr 24 15:09:57 EST 2013