| commit | 4a66e41548fe1df7dffaf5395fe2f4371bb0c7aa | |
| author | Gabe Levi <gabe@fb.com> | |
| Fri, 27 Oct 2017 17:46:38 +0000 (27 10:46 -0700) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Fri, 27 Oct 2017 17:59:38 +0000 (27 10:59 -0700) | ||
| tree | ba7f670d257f73eaad175f078723abd545499546 | treesnapshot (tar.gz zip) |
| parent | f063a951f297620500b08fdb5a429bb77af41f60 | commitdiff |
Add compression stats to --sharedmemory-log-level 1
Summary:
Some people on the Flow team were curious about our shared memory compression ratio and how it might change. This diff adds those stats to the --sharedmemory-log-level output.
Closes https://github.com/facebook/flow/pull/5070
Reviewed By: andrewjkennedy
Differential Revision: D6022466
Pulled By: gabelevi
fbshipit-source-id: 435c6ade64bca3804b70ca78c92b7ebd0eba03c4
Summary:
Some people on the Flow team were curious about our shared memory compression ratio and how it might change. This diff adds those stats to the --sharedmemory-log-level output.
Closes https://github.com/facebook/flow/pull/5070
Reviewed By: andrewjkennedy
Differential Revision: D6022466
Pulled By: gabelevi
fbshipit-source-id: 435c6ade64bca3804b70ca78c92b7ebd0eba03c4
| hphp/hack/src/heap/hh_shared.c | diffblobblamehistory | |
| hphp/hack/src/heap/sharedMem.ml | diffblobblamehistory |