HomeIsabelle/Phabricator

Change to use load-acquire to lock and swap-release to unlock.