（x | y）-y为什么不能简单地是x甚至`x | 0`

我正在阅读内核代码，在一个地方，我看到了一个语句内部的表达式，if例如

if (value == (SPINLOCK_SHARED | 1) - 1) {
         ............
}

其中SPINLOCK_SHARED = 0x80000000是预定义常数。

我想知道为什么我们需要(SPINLOCK_SHARED | 1) - 1-用于类型转换？表达式的结果将是80000000-与0x80000000相同，不是吗？但是，“或1”和“减1”为何重要？

感觉好像我想不到的东西..

这样做只是为了清楚起见，仅此而已。这是因为atomic_fetchadd_int（）（例如sys / spinlock2.h）将值PRIOR返回到加/减，并且该值传递给_spin_lock_contested（）

请注意，C编译器会完全预先计算所有常量表达式。实际上，当过程在参数中传递常量时，编译器甚至可以基于使用传递的过程参数的条件优化内联代码。这就是为什么sys / lock.h中内联的lockmgr（）具有case语句...的原因，因为将优化整个case语句并将其分解为对适当函数的直接调用。

同样，在所有这些锁定功能中，原子操作的开销使所有其他计算都相差两个或三个数量级。

-马特

在中找到该代码_spin_lock_contested，_spin_lock_quick当其他人尝试获取该锁时调用该代码：

count = atomic_fetchadd_int(&spin->counta, 1);
if (__predict_false(count != 0)) {
    _spin_lock_contested(spin, ident, count);
}

如果没有比赛，则count（先前的值）应该为0，但不是。该count值作为参数传递给_spin_lock_contested作为value参数。这value然后与检查if从OP：

/*
 * WARNING! Caller has already incremented the lock.  We must
 *      increment the count value (from the inline's fetch-add)
 *      to match.
 *
 * Handle the degenerate case where the spinlock is flagged SHARED
 * with only our reference.  We can convert it to EXCLUSIVE.
 */
if (value == (SPINLOCK_SHARED | 1) - 1) {
    if (atomic_cmpset_int(&spin->counta, SPINLOCK_SHARED | 1, 1))
        return;
}

请记住，这value是的前一个值spin->counta，而后者已经增加了1，我们希望spin->counta等于value + 1（除非与此同时有所变化）。

因此，检查spin->counta == SPINLOCK_SHARED | 1（的前提atomic_cmpset_int）是否对应于检查是否value + 1 == SPINLOCK_SHARED | 1可以重写为value == (SPINLOCK_SHARED | 1) - 1（同样，如果在此期间没有任何更改）。

尽管value == (SPINLOCK_SHARED | 1) - 1可以改写为value == SPINLOCK_SHARED，但它仍然保持原样，以阐明比较的意图（即，将递增的先前值与测试值进行比较）。

还是哇 答案似乎是：为了清楚和代码一致。

我认为目标可能是忽略最低有效位：

• 如果以二进制表示的SPINLOCK_SHARED为xxx0->结果为xxx0
• 如果SPINLOCK_SHARED = xxx1->结果也是xxx0

使用位掩码表达式会更清楚吗？

的效果

(SPINLOCK_SHARED | 1) - 1

是为了确保在与比较之前清除结果的低位value。我同意这似乎毫无意义，但显然低阶位具有特定用法或含义，而这在代码中并不明显，我认为我们必须假设开发人员有充分的理由这样做。一个有趣的问题是- | 1) -1您正在查看的整个代码库中是否使用了相同的模式（）？

这是写位掩码的一种混淆方式。可读版本：value == (SPINLOCK_SHARED & ~1u)。

这样做最多是为了处理其他几种情况。例如，在这种情况下，我们说SPINLOCK_SHARED不能为1：

int SPINLOCK_SHARED = 0x01

int res = (SPINLOCK_SHARED | 1) - 1 // 0