> Also it seems that it requires locking?

STM requires locking in the same way that GC requires malloc. It gets it right so that the programmer doesn't mess it up.

A non-compacting GC still needs a good malloc because it needs to avoid heap fragmentation.