Add fallback for forward naming table.
commiteaf39d801ebbd8675c2d15739f723a1b87c66c92
authorJulia Pitts <jupi@fb.com>
Fri, 7 Jun 2019 14:19:24 +0000 (7 07:19 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Fri, 7 Jun 2019 14:23:05 +0000 (7 07:23 -0700)
tree8faf89aed34b5c64188d857a27883b9f9834fd0e
parentd70cb099b65cf6d2c88800b83509abcb1e09031c
Add fallback for forward naming table.

Summary: Add a forward naming table fallback!  It operates pretty much identically to the reverse naming table fallback, in that we have an in-memory structure that contains changes (using tombstones to track deletion), and if there isn't a local change then we fall back to using the SQLite version.

Differential Revision: D15580744

fbshipit-source-id: 2427a07a5f48f5097849584f983cd63bda0a8bee
hphp/hack/src/deps/fileInfo.ml
hphp/hack/src/naming/naming_table.ml
hphp/hack/src/naming/naming_table.mli
hphp/hack/src/server/saveStateService.ml
hphp/hack/src/server/serverInitCommon.ml
hphp/hack/src/server/serverInitTypes.ml
hphp/hack/src/server/serverLazyInit.ml
hphp/hack/src/server/serverTypeCheck.ml
hphp/hack/test/integration_ml/integration_test_base.ml
hphp/hack/test/integration_ml/saved_state/test_naming_table_sqlite_fallback.ml