Exactly that, lock-free algorithms are specially hard to get a correct implementation without tracing GC support.