ruby - 多线程循环

Question

我有以下代码 ( from a Ruby tutorial ):

require 'thread'

count1 = count2 = 0
difference = 0
counter = Thread.new do
   loop do
      count1 += 1
      count2 += 1
   end
end
spy = Thread.new do
   loop do
      difference += (count1 - count2).abs
   end
end
sleep 1

puts "count1 :  #{count1}"
puts "count2 :  #{count2}"
puts "difference : #{difference}"
counter.join(2)
spy.join(2)
puts "count1 :  #{count1}"
puts "count2 :  #{count2}"
puts "difference : #{difference}"

这是一个使用Mutex.synchronize 的例子。在我的电脑上，结果与教程大不相同。调用 join 后，计数有时相等:

count1 :  5321211
count2 :  6812638
difference : 0
count1 :  27307724
count2 :  27307724
difference : 0

有时不是:

count1 :  4456390
count2 :  5981589
difference : 0
count1 :  25887977
count2 :  28204117
difference : 0

我不明白为什么差异仍然是 0，即使计数显示的数字非常不同。

add 操作可能如下所示:

val = fetch_current(count1)
add 1 to val
store val back into count1

和 count2 类似的东西。 Ruby 可以在线程之间切换执行，因此它可能不会完成对变量的写入，但是当 CPU 返回到线程时，它应该从被中断的行继续，对吗？

而且仍然只有一个线程正在写入变量。在 loop do block 内，count2 += 1 怎么可能被执行更多次？

Answer 1

执行

puts "count1 :  #{count1}"

需要一些时间(虽然可能很短)。它不是在一个实例中完成的。因此，连续两行并不神秘:

puts "count1 :  #{count1}"
puts "count2 :  #{count2}"

显示不同的计数。简单地说，counter 线程经过一些循环并在执行第一个 puts 时递增计数。

同样，当

difference += (count1 - count2).abs

被计算时，原则上计数可能会递增，而 count1 在 count2 被引用之前被引用。但是在那个时间跨度内没有执行任何命令，我猜测它引用 count1 所花费的时间比 counter 线程所花费的时间要短得多通过另一个循环。请注意，在前者中完成的操作是在后者中完成的操作的适当子集。如果差异足够大，这意味着 counter 线程在 - 方法的参数调用期间没有经历循环周期，则 count1 和 count2 将显示为相同的值。

一个预测是，如果你在引用 count1 之后但在引用 count2 之前进行一些昂贵的计算，那么 difference 将会出现:

difference += (count1.tap{some_expensive_calculation} - count2).abs
# => larger `difference`