writeup/figures/rmw_mo2.dot

   1 digraph rmw_mo2 {
   2 margin=0
   3
   4 N1 [label="A: v.store(1)", shape=none];
   5 N2 [label="B: v.rmw()", shape=none];
   6
   7 N1 -> N2 [label="mo", color="#00aa00", style=dashed, penwidth=3];
   8 }