upload naming table during full init
commit31754eeda77354d4e30e9af026b3c331447962b4
authorMillie Chen <milliechen@meta.com>
Mon, 17 Oct 2022 16:54:53 +0000 (17 09:54 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Mon, 17 Oct 2022 16:54:53 +0000 (17 09:54 -0700)
treed22921f48b3443805c954e0fc491929ecc314037
parent19cc52b594b015296d6ca41a4139416b0bae37bb
upload naming table during full init

Summary:
Since all remote worker machines migrated to eden, we've been seeing unprecedentedly long naming table build times. This diff uploads the naming table to manifold and has the remote workers download them directly.

This is almost a 10x speedup.

Reviewed By: bobrenjc93

Differential Revision: D40403493

fbshipit-source-id: 36c8977354f3ccd6fbba94d395f43fc0a778921e
hphp/hack/src/server/serverApi.ml
hphp/hack/src/server/serverLazyInit.ml
hphp/hack/src/stubs/remoteWorker.ml
hphp/hack/src/typing/service/typing_service_types.ml