如果向一个变量写入值，而这个变量接下来可能会被另一个线程读取；或者一个变量读值，而这个变量可能是之前被另一个线程写入的，此时必须同步。