同步与异步
有两个线程在并发执行以下代码段, 其中 g 是 int 类型的全局变量。 请
问当两个线程都执行完毕该代码段后, g 的值的取值范围为50000-100000。
for (int i = 1; i <= 50000; i++) {
g += 1;
}
当多个控制线程共享内容的内存时,需要确保每个线程看到一致的数据视图。如果每个线程使用的变量都是其他线程不会读取和修改的,那么就不存在一致性的问题。但是,当一个线程可以修改的变量,其他线程亦可以读取或者修改的时候,我们就需要对这些线程进行同步,确保他们在访问变量的存储内容时不会访问到无效的值。
上面的题就是一个例子,(除过一些特别极端的情况)上面的取值范围为50000-100000,为什么会出现这种情况呢
两个或多个线程试图在同一时间修改统一变量时,需要进行同步。
而对于同步这个概念,之前总是不是很理解,把同步和异步混淆。以为同步是同时发生,异步是不同时间发生,这是不对的
同步是让不同的线程对一个变量的操作不是同时发生,因为如果一个线程在对一个变量进行写操作的时候,另一个线程对这个变量进行读操作(这时另一个线程的写操作并没有完成),这时就会产生一些不一致的值。
考虑变量增量操作的情况,增量操作通常分解为以下三步。
1.从内存单元读入寄存器
2.在寄存器中对变量进行增量操作
3.把新的值写回内存单元
如果两个线程试图几乎在同一时间对统一变量做增量操作而不进行同步的话,结果就可能出现不一致,变量可能比原来增加了1,也有可能比原来增加2,具体增加了1还是2要取决与第二个线程开始操作时获取的数值。如果第二个线程执行第一步要比第一个线程执行第三步要早,第二个线程读到的值与第一个线程一样,为变量加1,然后再写回去,事实上没有实际的效果,总的来说变量只增加了1