https://5dok.net/document/lq58k13q-specification-verification-atomic-operations-gpgpu-programs.html