sajasdf的博客

编译器会对程序进行某种优化但两种优化合并同时产生是，会发生严重的错误所以但WMM仍然有很多问题。。。

non−atomic⊏    relaxed    ⊏    release/acquice    ⊏scnon-atomic \sqsubset \; \; relaxed \; \; \sqsubset \; \; release/acquice \;\; \sqsubset scnon−atomic⊏relaxed⊏release/acquice⊏scDefinition给定一个C11的执行图G，我们称两个事件a,b,是C11冲突的当那么成G是C11-racy， 当G的事件a,b发生C11raceC1

Definition （Execution graph of a command) 一个命令的执行图。表示通过限制G为事件而获取的顺序执行图，修改他们的线程描述符为0，丢弃rf边。sc是G.E上的一个全序，G被称为顺序一致的，即sc，当。给定一个线程Tidh和一个执行图G，G。G是程序P的执行图（结果为O），如果G。也就是说,每一个读操作都读取自写操作。是P（i）的执行图，对于每个Tid。一个执行图被称为顺序一致的，当。上述两种定义是等价的！一个执行图被称为完整的当。

并发的操作语义

内存模型

Overview