Include CPU times in profiling
commita5a3f933d64b78ffdec5c389a18016d38a94d77b
authorGabe Levi <gabe@fb.com>
Tue, 13 Dec 2016 00:16:27 +0000 (12 16:16 -0800)
committerHhvm Bot <hhvm-bot-bot@fb.com>
Thu, 15 Dec 2016 20:24:20 +0000 (15 12:24 -0800)
tree1cb490a16f1946580634b1545fadf71c46437b5e
parent6271deff86422d84503204d2198a02f840f67d8e
Include CPU times in profiling

Summary:
Our automated performance profiling thus far has been using wall
times. Wall times are somewhat sensitive to environmental factors, though. The
hope is that CPU times will be more reliable.

This is a little tricky, since each worker needs to record its own CPU times
and send them back to the master process. Luckily, we already have the
`Measure` library which does this :)

Reviewed By: samwgoldman

Differential Revision: D4282968

fbshipit-source-id: c8a989c0b97d501d48d032852d40a5c91da4d9bd
hphp/hack/src/heap/sharedMem.ml
hphp/hack/src/procs/worker.ml
hphp/hack/src/utils/measure.ml
hphp/hack/src/utils/measure.mli