连续两个printf输出变量不一致的情况

giant1st

1. #include <stdio.h>
   
2. #include <stdlib.h>
   
3. #include <string.h>
   
4. //#include <stddef.h>
   
5. #pragma pack(8)
   
6. 
   
7. #define SETBIT(a,i)   ((a)[(i) / 8] |= (1 << (7 - (i) % 8)))
   
8. 
   
9. typedef struct _testStru{
   
10.     char chArr[8];
    
11.     char *pCh;
    
12. }testStru;
    
13. 
    
14. int main()
    
15. {
    
16.     testStru* test=(testStru *)calloc(1, sizeof(testStru));
    
17.     printf("test.chArr1 is %x.\n", test->pCh);
    
18.     SETBIT(test->chArr, 65);   //故意内存越界
    
19. 
    
20.     printf("test.chArr2 is %p.\n", test->pCh);
    
21.     printf("test.chArr3 is %p.\n", test->pCh);
    
22. 
    
23.     return 0;
    
24. 
    
25. }

复制代码

只是模拟的我们程序中的一个用例，第二个printf打印的值竟然是没有SETBIT前的值，第三个printf才变成更新后的值，求解释。。。。


我在一个linux  server上用gcc version 4.1.2 20080704 (Red Hat 4.1.2-52)竟然模拟不出来。。。

frogsu

程序运行起来后就是一个进程了，进程空间里一般分为代码正文段、数据段、BSS段、heap及stack等五个部分，如果你的程序越界访问了那很可能会破坏进程空间的分配。像你以上的程序，要是想看到一致的效果，可以在
SETBIT(test->chArr, 65);   //故意内存越界
mb(); //设置屏障
再看看两个打印是否一致。

liuiang

什么版本的编译器和运行环境能模拟出来你这个问题？

liuiang

我理解这只是编译器的优化行为，所以加barrier()即可，不需要mb()。

#define barrier() __asm__ __volatile__("": : :"memory")

giant1st

typedef struct _testStru{
    char chArr[8];
    volatile char *pCh;
}testStru;

现在感觉是 pCh的值进行了优化
回复 3# stephen_du


   

giant1st

回复 4# liuiang

这个问题我用 RedHat 和 GCC没有模拟出来。

问题重现是在 Octeon的硬件+Vxworks OS+ GCC


   

liuiang

我在gcc 4.4.5上，用-O3优化，能够模拟出问题。

问题可能是编译器对读写进行了乱序优化导致的。

janetliu9

其实就是没有显式的对pCh就行写，只是SETBIT 对pCh有side effect, 如果pCh在一个寄存器里面，然后 SETBIT, 再去读pCh,这个过程中 编译器认为pCh的值没变，所以没有再去从内存取，所以是错的，这种情况只能加barrier或者volentile 人工保证不出问题,