我遇到了一个竞争条件的例子:
def inc(n)
n + 1
end
sum = 0
threads = (1..10).map do
Thread.new do
10_000.times do
sum = inc(sum)
end
end
end
threads.each(&:join)
p sum
Run Code Online (Sandbox Code Playgroud)
线程以pararell运行,并且有可能当一个线程读取sum的值时,另一个线程完成递增它,但前者即将用旧值完成自己的递增,因此sum将不会改变.
但我想知道,为什么当我将'sum = inc(sum)'行替换为'sum + = 1'时,输出似乎总是正确的.
这是为什么?
是因为调用方法的开销与仅执行变量赋值相比是如此巨大,因此一些线程"失去同步"导致输出不正确?
我假设,即使有一个直的+ + 1,我仍然可以观察到一个竞争条件,但只有当我做了更长的求和循环等时?