Preemption is GC for memory reordering (2019) · HackerLangs