测试代码如下:
#include
<
stdio.h
>
#include
<
pthread.h
>
![](https://i-blog.csdnimg.cn/blog_migrate/6810355c2f78c12e91b7997a8e8c583a.gif)
#define
TIMES 999999U
#define
THR_MAX 6
![](https://i-blog.csdnimg.cn/blog_migrate/6810355c2f78c12e91b7997a8e8c583a.gif)
unsigned
int
counts
=
0
;
![](https://i-blog.csdnimg.cn/blog_migrate/6810355c2f78c12e91b7997a8e8c583a.gif)
void
*
thrdFunc(
void
*
)
![](https://i-blog.csdnimg.cn/blog_migrate/a41954a27d6ad96fa2c2cf816e677448.gif)
...
{
for ( int i=0;i < TIMES; ++i )
![](https://i-blog.csdnimg.cn/blog_migrate/37c8bf68cdc3cc81759c34160776bc53.gif)
...{
++counts;
}
return NULL;
}
![](https://i-blog.csdnimg.cn/blog_migrate/6810355c2f78c12e91b7997a8e8c583a.gif)
int
main()
![](https://i-blog.csdnimg.cn/blog_migrate/a41954a27d6ad96fa2c2cf816e677448.gif)
...
{
pthread_t pid[THR_MAX];
for ( int i = 0; i < THR_MAX; ++i )
![](https://i-blog.csdnimg.cn/blog_migrate/37c8bf68cdc3cc81759c34160776bc53.gif)
...{
pthread_create( &pid[i], NULL, thrdFunc, NULL );
}
for ( int i = 0; i < THR_MAX; ++i )
![](https://i-blog.csdnimg.cn/blog_migrate/37c8bf68cdc3cc81759c34160776bc53.gif)
...{
pthread_join( pid[i], NULL );
}
if ( counts != TIMES*THR_MAX )
![](https://i-blog.csdnimg.cn/blog_migrate/37c8bf68cdc3cc81759c34160776bc53.gif)
...{
printf( "FAIL:%d ", counts );
}
else
![](https://i-blog.csdnimg.cn/blog_migrate/37c8bf68cdc3cc81759c34160776bc53.gif)
...{
printf( "OK:%d ", counts );
}
![](https://i-blog.csdnimg.cn/blog_migrate/6a9c071a08f1dae2d3e1c512000eef41.gif)
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操作不可看作为原子操作。