Add GC worker wall time pcts to profiling table
commitb458c346ab0846cd5bbfae9c9c3827f83ef96da8
authorGabe Levi <gabe@fb.com>
Sat, 15 Sep 2018 01:00:00 +0000 (14 18:00 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Sat, 15 Sep 2018 01:15:50 +0000 (14 18:15 -0700)
tree4a480e30c8ef5671a695de0cc392899c7c3c574a
parentdc15f2a80ea9341be9f40c2e3df4928d3c4a0050
Add GC worker wall time pcts to profiling table

Summary:
On workers we measure how much wall time is spent in GC while running a job. This is cool to show in the profiling table!

Since it overlaps with the run time, we do need to subtract GC time from the run time to make the percentages add up to 100%

If it's not obvious, `GC m` is minor gc and `GC M` is major gc

Reviewed By: samwgoldman

Differential Revision: D9826945

fbshipit-source-id: ce4d31c8c5b20f17f7b563aa175ee1d10e07b78a
hphp/hack/src/procs/worker.ml