Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
20,993 Commits
2 Branches
0 Tags
189 MiB
Commit Graph

3 Commits (master)

Author SHA1 Message Date
Antonin Décimo 873b31496b Represent eventlog_startup_pid as long int 2020-07-17 19:49:27 +02:00
Enguerrand Decorne f674c275aa instrumented runtime: change environment variable from OCAML_EVENTLOG_FILE to OCAML_EVENTLOG_PREFIX 2020-07-08 03:13:56 +02:00
Enguerrand Decorne b7f0494df5 Rewrite the instrumented runtime to store traces in the CTF format. 
The instrumentation code in the instrumented runtime was replaced
with new APIs to gather runtime statistics and output them in a new format
(Common Trace Format).
This commit also exposes new functions in the Gc module to pause or resume
instrumentation during a program execution (Gc.eventlog_pause and
Gc.eventlog_resume).
 2020-04-30 10:32:01 +02:00