gcc原子运算符中的表达式

表达 set ? 2 << nr : 0 必须在 __sync_fetch_and_or() 操作已启动。因此,获取和/或访问 addr 会是原子的-没问题。

只是为了清楚-指向内存的读/修改/写操作 地址 将以原子的方式发生-对要计算或要计算的值的计算将不是原子的(但不需要)。

您的函数将等同于此函数(它们甚至可能编译为完全相同的代码):

static inline test_and_set_bit(volatile void *addr, int nr, int set) {
    const int bit = set ? 2 << nr : 0;
    __sync_fetch_and_or(addr, bit);
}

表达式不会被“原子地”计算,但因为它包含所有不相关的局部变量。这个 __sync_fetch_and_or 将以原子方式执行。你可能想把你的功能改成这个样子,这样人们就不会对你感到困惑。