Question

任何人都知道,表达方式是原子建筑的价值。审议以下职能。能否保证这一行动的原样? (尽管需要额外的周期来计算2 << nr?

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

感谢!

Answer 1

The expressionset ? 2 << nr : 0 must be evaluation before the _sync_fetch_and_or( operation isstart. 因此,进入<代码>addr的单向和(或)途径是原子——无问题。

Just to be clear - the read/modify/write actions to the memory pointed to by addr will occur atomically - the evaluation of the value to be or ed in will not be atomic (but it doesn t need to be).

Answer 2

您的职能将相当于这一职能(很可能甚至会编纂到相同的法典):

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将原子执行。你们也许想要改变你们的作用,看好这种作用,以便你们之后的人不会被混淆。

友情链接