Add a --stats option to the client
commit8d680f5405f426f3c90cd610bdbc954575dea5d5
authorJez Ng <jezng@fb.com>
Sat, 22 Aug 2015 01:07:10 +0000 (21 18:07 -0700)
committerhhvm-bot <hhvm-bot@fb.com>
Sat, 22 Aug 2015 01:30:30 +0000 (21 18:30 -0700)
tree86c4a5336bd5a94f63765fdb70f05115338b82ac
parent220bbc644bd9e81807f71c46b5e1439aaad5eea1
Add a --stats option to the client

Summary: Not all stats are worth logging for every user. Things like the initial heap
size are pretty deterministic if you know the input (i.e. the files being
checked). In fact, it's *only* useful information if you know the input.  This
flag enables us to collect these types of stats: Things that would be useful
for a benchmark script to know, so it can say "for these inputs, under these
conditions, here's how hh_server behaves".

Reviewed By: @dabek

Differential Revision: D2369302
hphp/hack/src/client/clientArgs.ml
hphp/hack/src/client/clientCheck.ml
hphp/hack/src/client/clientEnv.ml
hphp/hack/src/heap/sharedMem.ml
hphp/hack/src/server/serverInit.ml
hphp/hack/src/server/serverRpc.ml
hphp/hack/src/utils/stats.ml [new file with mode: 0644]