We use an inter processor interrupt mechanism to guarantee observability of writes from the GC thread(s).

We have opened a discussion with Apple, this is tracking the progress of the discussion