不管是多线程还是多进程,涉及到共享相同的内存时,需要确保好同步问题。
对线程来说,需要确保每个线程看到一致的数据视图。
如果每个线程使用的变量都是其他线程不会读取和修改的,那么就不存在一致性问题,同样的,如果变量是只读的,多个线程同时读取该变量也不会有一致性问题。但是如果其中的某个线程去改变该变量,其他线程也能读取或者修改的时候,我们就需要对这些线程进行同步,确保他们访问变量的存储内容时不会访问到无效的值。
当线程修改变量的时候,其他线程在读取这个变量时可能会看到一个不一致的值,在变量修改时间多于一个存储器访问周期的处理器结构中,当存储器读与写这两个周期交叉,不一致就会出现。
不同步的情况:
同步情况:
如果修改操作是原子操作,那么就不存在竞争。另外,如果数据总是以顺序一致出现,就不需要额外的同步,多个线程观察不到数据不一致时,就不需要额外的同步。