HomeIsabelle/Phabricator

Lock the localTableLock mutex before releasing spaces when a scanning thread…

Description

Lock the localTableLock mutex before releasing spaces when a scanning thread has completed. This acts as a
write barrier to ensure that modifications are seen by a different thread if it takes ownership.

Details

Provenance
dcjmAuthored on Jul 31 2023, 5:40 PM
Parents
rPOLYML0a55a1de2912: Make sure X30 is not expected to be preserved across a trap.
Branches
Unknown
Tags
Unknown