multithreading - Interlocked.CompareExchange 的返回值是否有充分的理由

Question

Interlocked.CompareExchange() 方法 ( docs ) 粗略地说:

“我有一个变量，我想我知道它当前有什么值。如果我是对的，请将值更改为那个”。

关键是这个方法可以用来在多线程上下文中安全地更新变量。如果调用者认为它知道值是什么后值发生了变化，那么其他线程已经进行了该更改，因此该线程需要重试(或任何其他适当的行为)

Interlocked.CompareExchange() 的返回值是“变量的原始值”。即我们认为在调用时知道其值的变量的实际值。

这似乎……很奇怪。

我似乎很清楚，几乎每次调用此方法之后都会将返回值与先前相信的值进行比较。即您想知道您是否赢得了更新值(value)的竞赛。“对话”就这样开始了。

• “我有一个变量，我认为它的值是 X。如果我是对的，请将它设置为 Y。”
• 然后 CompareExchange() 说“当你问我时，变量的值为 Z”，然后我将其与我之前的 X 进行比较我推断我是否赢了。

为什么 CompareExchange() 不只返回一个 boolean 成功标志？ (很像 TryParse() 等)

调用时变量的值不会有用，除非有一些非常模糊的情况，因为你立即拥有的值已经过时了；其他线程可能在收到返回值后更新了变量。

为什么返回那个值，而不是更有用的 bool 值？

Answer 1

Why return that value, rather than the more obviously useful boolean?

比较时的值比 bool 值更有用。尽管您可能认为竞争条件晦涩难懂，但它们可能正是我们拥有这种方法的原因。 bool 返回仅表示该值与比较时的比较数相同。

您仍然可以通过将返回值与比较值进行比较来导出 bool 值。 CompareExchange (location1, value, comparand) == comparand。事实上，如果需要，这种形式非常适合模板或宏。

但是，如果返回的是false，我们只知道值是不同的。读回值不会让我们知道比较时的实际值是多少。

如果我们有比较值，我们可以:

• 使用该信息找出谁在比赛中击败了我们
• 如果是单例，则立即返回该值(根据需要处理任何替换)。