fix races when grabbing new chunks
commit8726a6caf4180ca2d8e9296e75c242a4e2837b7e
authorBin Liu <binliu@fb.com>
Mon, 28 Sep 2020 16:56:26 +0000 (28 09:56 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Mon, 28 Sep 2020 16:58:48 +0000 (28 09:58 -0700)
tree23606309c025b607491d3f8dc1052e3daae68056
parent61b9b63f1cc70f39e4155f07e1010338e43b3098
fix races when grabbing new chunks

Summary: The race could cause multiple thread to share the same chunk (which is actually OK in release builds, because a chunk uses atomic operations for bump allocation). Fix it so we can turn it on again.

Reviewed By: oulgen

Differential Revision: D23764532

fbshipit-source-id: af4604dfd8c7fdf690aad6e88b4b5500c5228588
hphp/util/read-only-arena.h