Preemption is GC for memory reordering (2019)

The article discusses the use of preemption as a source of pre-paid barriers for lock-free code in userspace, and presents a solution using a daemon called barrierd that tracks interrupt times to provide implicit barriers.