In other words, the non-suspendable thread must not cause any changes in the reachable GC object graph. It's more or less equivalent to the problem that a concurrent GC faces when the collector runs in parallel with the mutator (program).