Overhauling SC atomics in C11 and OpenCL