OCaml client to GDB machine interface, superseded by https://github.com/copy/gdbprofiler
ygrek/ocaml-gdb
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
master
Could not load branches
Nothing to show
Could not load tags
Nothing to show
{{ refName }}
default
Name already in use
A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?
Code
-
Clone
Use Git or checkout with SVN using the web URL.
Work fast with our official CLI. Learn more.
- Open with GitHub Desktop
- Download ZIP
Sign In Required
Please sign in to use Codespaces.
Launching GitHub Desktop
If nothing happens, download GitHub Desktop and try again.
Launching GitHub Desktop
If nothing happens, download GitHub Desktop and try again.
Launching Xcode
If nothing happens, download Xcode and try again.
Launching Visual Studio Code
Your codespace will open once ready.
There was a problem preparing your codespace, please try again.
Latest commit
Git stats
Files
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
Rich man's profiler =================== Introduction ------------ RMP is a stack sampling profiler based on ocaml-gdb library for communication with GDB machine interface (GDB/MI). Stack sampling profiler works by taking many stack traces of the profiled process and aggregating similar traces together, providing empirical evidence of program behaviour with statistical estimation of percentage of time spent in different code paths. This means, that profiler will show not only cpu-bound hotspots, but also all places where the code is waiting for the kernel call to finish (e.g. sleep, blocking IO, etc). One nice property of stack sampling approach is that the profiled program needn't be modified or restarted - profiler only needs the permission to attach to the running process and collect stack traces for the short period of time. See http://poormansprofiler.org/ for general description of this technique. Rationale --------- RMP attaches GDB to the profiled program once and then instructs it to probe the stack of the inferior process periodically. The traces are aggregated and displayed/updated immediately. It has access to all the information that GDB provides (static stack unwinding, debug symbols, etc). Interactive mode allows to stop/resume profiling at any time (e.g. when enough information is available or waiting for the process to engage into some specific activity). RMP was devised to fill the gap between existing solutions : * gprof Instrumenting profiler, requires recompilation, instrumentation influences code behaviour significantly (inflating execution time for small functions). * pmp Poor man's profiler shell script works by calling gdb several times each time attaching to the process, collecting trace and detaching. This extremely simple approach works everywhere and yields tons of useful information. Unfortunately, it also incurs significant pauses in the profiled process and takes quite a bit of time to collect the traces, also doesn't have interactive mode. * linux perf Works only on linux, needs to be compiled with the matching version of kernel headers. Can profile both kernel and userland, but only the code that saves frame pointer on the stack. This is true for the majority of C code, but doesn't hold for the OCaml native code (in default mode). ----
About
OCaml client to GDB machine interface, superseded by https://github.com/copy/gdbprofiler
Resources
Stars
Watchers
Forks
Packages 0
No packages published