Report copyright - GPS+ : Reasoning about Fences and Relaxed Atomics · the traditional strong (i.e., sequentially consistent) memory model. This makes the task of reasoning about concurrent programs
Please pass captcha verification before submit form