better cgroup monitoring
commit523e5b11de9875194aee67fb47797554a398005f
authorLucian Wischik <ljw@fb.com>
Fri, 10 Dec 2021 20:28:40 +0000 (10 12:28 -0800)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Fri, 10 Dec 2021 20:30:26 +0000 (10 12:30 -0800)
tree3267428766e1df208dc7ba37367b1d5af8b55496
parent42325a709f1ce75246b9bf2459eb31332b606bbd
better cgroup monitoring

Differential Revision: D33011513

fbshipit-source-id: 905bca03720b42edabd113a9bde354879cec57eb
12 files changed:
hphp/hack/src/server/serverApi.ml
hphp/hack/src/server/serverInitCommon.ml
hphp/hack/src/server/serverTypeCheck.ml
hphp/hack/src/stubs/logging/hackEventLogger.ml
hphp/hack/src/typing/typing_check_service.ml
hphp/hack/src/typing/typing_check_service.mli
hphp/hack/src/utils/cgroup/cgroupProfiler.ml
hphp/hack/src/utils/cgroup/cgroupProfiler.mli
hphp/hack/src/utils/cgroup/cgroupWatcher.c [new file with mode: 0644]
hphp/hack/src/utils/cgroup/dune
hphp/hack/test/integration_ml/test_interrupt.ml
hphp/hack/test/integration_ml/test_lazy_decl_idempotence.ml