The following table shows two processors and their read/write operations on two different variables $a$ and $b$ (initially $a=b=0$). After the operations, which of following statements are correct?