如何检测 Interlocked.Add 中的溢出（或下溢）

Question

我想使用Interlocked.Add 方法，因为它对于int 和long 更快。我有以下其他类型的代码：

short x = Sum(source, range.Item1, range.Item2);
checked
{   
    lock (syncRoot)
        result += x;                                          
} 

但我发现 Interlocked 不处理溢出。如何确定发生了上溢或下溢？ x 可以是正数也可以是负数。

var x = Sum(source, range.Item1, range.Item2);
Interlocked.Add(ref result, x);
bool overflow = ...
if (overflow)
   throw new OverflowException();

我在 MSDN 上找到了以下提示，但不知道如何实施此检查：

此方法通过包装处理溢出条件：如果值位于 location1 为 Int32.MaxValue 且值为 1，结果为 Int32.MinValue;如果值为 2，则结果为 (Int32.MinValue + 1)；和 以此类推。不抛出异常。

Answer 1

Interlocked.Add 返回新值。如果新值小于旧值，则发生溢出。问题是您无法通过这种方式获取旧值。

您可以使用CAS loop 原子地读取旧值、检查溢出并原子地写入新值。

请注意，无论是锁还是互锁操作都无法扩展。互锁操作仅仅是硬件锁。从绝对意义上讲，它们更快，并且不会受到争用的影响。但是以高频率执行此操作根本不会受益于多个 CPU。