Write a Blog >>
CC 2017
Sun 5 - Mon 6 February 2017 Austin, Texas, United States
Sun 5 Feb 2017 10:30 - 10:55 at 404 - Concurrency & Parallelism Chair(s): Sebastian Hack

We show how partial redundancy elimination (PRE) can be instantiated to perform \emph{provably correct}
fence elimination for multi-threaded programs running on top of the x86, ARM and IBM Power relaxed memory models.
We have implemented our algorithm in the backends of the \texttt{LLVM} compiler infrastructure. The optimisation does not induce an observable overhead at compile-time and can result in up-to 10% speedup on some benchmarks.