Log whether a SharedMem GC cycle was done 'aggressively'
commite855e1b498a7ec1ac616f67d4c12c32a0fb74371
authorJez Ng <jezng@fb.com>
Thu, 17 Sep 2015 00:41:38 +0000 (16 17:41 -0700)
committerhhvm-bot <hhvm-bot@fb.com>
Thu, 17 Sep 2015 01:00:33 +0000 (16 18:00 -0700)
tree49cfca414e518598f427ffb33ee3735a561d83cc
parent2f431b8fd729afff1880929f8d0760037192097a
Log whether a SharedMem GC cycle was done 'aggressively'

Summary: "gentle" collections are done in the middle of processing a user request, so
I hope this happens pretty rarely... let's verify

Reviewed By: @dlreeves

Differential Revision: D2438273
hphp/hack/src/heap/sharedMem.ml
hphp/hack/src/stubs/eventLogger.ml