一个线程的操作结果对另一个线程是可见的，当且仅当前者的操作先于后者