我正在读取内核代码，在一个地方我看到了if语句中的一个表达式，如下所示
if (value == (SPINLOCK_SHARED | 1) - 1) {
............
}
其中SPINLOCK_SHARED = 0x80000000是预定义的常量.
我想知道为什么我们需要(SPINLOCK_SHARED | 1) - 1来进行类型转换？表达式的结果将是80000000--与0x80000000相同，不是吗？然而，为什么"或1"和"减1"很重要呢？
我有一种感觉，好像我错过了什么..
只是为了清楚起见才这么做的，仅此而已.这是因为atom_fetchadd_int()(例如在sys/splock2.h中)返回加法/减法之前的值，并且该值被传递给_spin_lock_contested()
请注意，C编译器完全预先计算所有常量表达式.事实上，编译器甚至可以根据使用传入过程参数的条件优化出内联代码，当这些参数中传递了过程常数时.这就是为什么在sys/lock中内联使用lockmgr().h有一个 case 陈述....因为整个case语句将被优化，并转化为对相应函数的直接调用.
此外，在所有这些锁定功能中，原子运算符的开销使所有其他计算相形见绌两到三个数量级.
-哑光