【讨论】++int是否为原子操作

测试代码如下：

#include <stdio.h>
#include <pthread.h>

#define TIMES 999999U
#define THR_MAX 6

unsigned int counts = 0;

void *thrdFunc(void*)
...{    
    for ( int i=0;i < TIMES; ++i )
    ...{
        ++counts;
    }
    return NULL;
}

int main()
...{
    pthread_t pid[THR_MAX];
    for ( int i = 0; i < THR_MAX; ++i )
    ...{
        pthread_create( &pid[i], NULL, thrdFunc, NULL );
    }
    for ( int i = 0; i < THR_MAX; ++i )
    ...{
        pthread_join( pid[i], NULL );
    }
    
    if ( counts != TIMES*THR_MAX )
    ...{
        printf( "FAIL:%d ", counts );
    }
    else
    ...{
        printf( "OK:%d ", counts );
    }

    return 0;
}

以上代码分别 在X86（GCC编译器）和XScale处理器上测试，多次测试的结果是：

X86上输出OK，而XScale输出FAIL。

分析如下：X86是CISC（复杂指令集）处理器，有直接操作内存的指令，示例中++counts;被编译成incl counts。XScale是RISC（精简指令集）处理器，RISC是基于Load/Store的指令集，没有直接操作内存的指令，示例中++counts;被编译为，

ldr r2, .L5
ldr r3, .L5
ldr r3, [r3, #0] 
add r3, r3, #1 
str r3, [r2, #0]

因此++int在像X86这样的CISC处理器中可以是原子操作，而在RISC处理器中不可能是原子操作。

同时，也和编译器有关，以上结果是在未优化的情况下。

一般来说，++int操作不可看作为原子操作。