By analyzing mutators activity. Only the compacting GCs have to stop the world.
If so, how can you (as a GC) be sure that while you were adding up all the pointers to an address, and finding none, that another one was not made?
Mystified
It must stop the thread surely?